Arya Sekhar

web2 security researcher, open source contributor, sophomore @lnmiit, jaipur

[Arya Sekhar @intel_ears]

I solved DevHub on Hack The Box! https://t.co/gycXatMhag

EASY -----> not so medium

#HackTheBox #HTB #CyberSecurity #EthicalHacking #InfoSec #PenTesting

[Arya Sekhar @intel_ears]

Week 2 goals:

- Fix Python version issues in the Docker environment
- Open PRs for all 6 documented instruction gaps
- Run the agent on riscv-tournament modules
- Keep shipping 🚀

[Arya Sekhar @intel_ears]

Week 1 of my work under guidance of @SteveHoover99 — building AI that automatically converts hardware description code, with mathematical proof of correctness at every step. 🧵

#OpenSource #Hardware #TLVerilog #AI #FormalVerification #RISCV #EDA

[Arya Sekhar @intel_ears]

Why does this matter?

There's a massive amount of open-source Verilog hardware code that could be smaller, cleaner, and less bug-prone if converted to TL-Verilog.

We're building the automation to do that at scale — and every conversion becomes training data for future LLMs.

[Arya Sekhar @intel_ears]

Lesss goo !!! 🚀

[The Linux Foundation @linuxfoundation]

🚨 A huge moment for the open source community in India.

For years, Linus Torvalds and Dirk Hohndel have taken the keynote stage together at Open Source Summits around the globe - and next month this must-see conversation is coming to Open Source Summit India!

You can’t miss this. Join us 16-17 June in Mumbai at the Jio World Convention Centre.

Register today! https://t.co/esOg8WNA98

#OSSummit

[Arya Sekhar @intel_ears]

@Rudraps_2005 Count me in 😉

[Arya Sekhar @intel_ears]

Mumbai, mi yet aahe 🙏🏻

I will be attending Open Source Summit India 2026 (June 16–17) . Can't wait to meet folks from the community. See you there? 👋

#OSSummit #OpenSource

[Arya Sekhar @intel_ears]

@R3DD404 Congrats 👏

[Arya Sekhar @intel_ears]

A few weeks back, I got the opportunity to create challenges for the CTF at @BSidesExeter . Hope the participants loved the challenges

[Arya Sekhar @intel_ears]

My goal this summer is to work on AI-assisted conversion of Verilog to TL-Verilog, extending the agentic flow that uses LLMs and formal equivalence verification to automatically refactor open-source hardware designs. Really excited to contribute to something this impactful!

[Arya Sekhar @intel_ears]

Hi everyone

Posting after a long time. I am starting as a summer internship @RedwoodEDA .

Looking forward to contribute under the guidance of @SteveHoover99

[Arya Sekhar @intel_ears]

@R3DD404 Thanks bro ❤️

[Arya Sekhar @intel_ears]

Turning 21 today ✌🏻

Happy birthday to me 🥳

[Arya Sekhar @intel_ears]

A year older, a little wiser, and still hungry for bigger goals 🚀
Happy Birthday to me 🎂
Hope the younger me feels proud of me someday soon 🥲

[Arya Sekhar @intel_ears]

@pdiscoveryio Much need tbh

[Arya Sekhar @intel_ears]

Hi everyone

Posting after a long time. I am starting as a summer internship @RedwoodEDA .

Looking forward to contribute under the guidance of @SteveHoover99

[Arya Sekhar @intel_ears]

@BsidesMussoorie Being a beginner and passionate about cybersecurity, it will be a great opportunity to learn from the greats, meeting the bests'of the industry. And most importantly do networking with peer security researchers/bug hunters. And what can be better then doing all these in Mussoorie

[Arya Sekhar @intel_ears]

@0xanonviral @OMikoxbt @SoulBoardFdn 🔥🔥🔥