Puneet Goel

Co-Founder @coverify
Developer @EmbeddedUVM

[Open Letter @openletteryt]

One side did everything to blame 26/11 on RSS.

The other side did everything to bring its real mastermind to India to punish.

Tell me which one is Anti-India?

[Megh Updates 🚨™ @MeghUpdates]

❗Throwback — PM Modi BOLDLY called out the release of Tahawwur Rana.

2011: US court freed 26/11 plotter.
2025: The same system approved his EXTRADITION 🔥

— What changed? India’s leadership - PM Modi. 💪

[WalterBright @WalterBright]

The second test file, exe2.c, now compiles and runs with the dmd #AArch64 compiler code generator. The bugs are a little sparser now.

[arun mampazhy @nano_arun]

Have been facing this issue with many things for many years now - in some areas (like toys) there is some improvement over the last few years, but anything with some electronics in it (like the record-and-sing back or talking ones etc) is still heavily Chinese

[Directorate General of Recruiting - Indian Army @DIRECTORATERTG]

Agniveer – A Calling Beyond a Career! 🇮🇳

Joining the Indian Army as an Agniveer is not just about a job—it’s about honor, discipline, and service to the nation.

Through the Agnipath Scheme, you serve the nation and embark on a journey that empowers you with:
✅ World-class training
✅ Leadership & teamwork skills that last a lifetime
✅ A chance to serve & protect the nation
✅ Financial security & career opportunities for a bright future

The Agniveer program is your gateway to adventure, pride, and national service. If you have the passion to serve, the courage to lead, and the discipline to grow, this is your time!

Learn more: https://t.co/UIFLTAukFZ
Last Date to Register: 10th April 2025

#IndianArmy #Agniveer #JoinIndianArmy

[FAR.AI @farairesearch]

“It's important to avoid over-claiming about how much [formal verification] could solve our problems.”

@dodds_zac explains why we need to balance verification methods with practical safety work.

[Edmund Humenberger @ico_TC]

AXI over Ethernet to build large FPGA clusters https://t.co/T8UIWmkR5F

[Brick Suit @Brick_Suit]

Best real world takedown of a protester I have ever seen.
And it's not even close

[WalterBright @WalterBright]

@kaseyklimes Uninitialized variable

Returning pointer to the stack

Are the usual suspects

[WalterBright @WalterBright]

Finally got move constructors implemented and folded in to #dlang. The tricky part was not breaking existing code, despite the syntax of a move constructor being the same as that of a copy constructor. Thanks to Timon Gehr and Manu Evans for their invaluable help! Look for it in the next release.

[arun mampazhy @nano_arun]

"PSMC announced that it has received the initial payment from Tata Group for its fab IP business in India"

Basically the license/ToT fee.. hopefully for 28nm etc

https://t.co/cVdHzjEMQb

[Alex Penunuri @penunurialex]

In 1974, Steve Jobs came to India in search for enlightenment.

7 months later, he returned with a philosophy that would later build Apple into a $1 trillion empire.

Here’s the philosophy: 🧵

[Rahul Shivshankar @RShivshankar]

The "Indian" that the Lutyens ecosystem didn't want anywhere near the White House!

Usha Bala Chilukuri Vance.

[arun mampazhy @nano_arun]

Tessolve to buy German chip designer for Rs 400 crore - The Economic Times https://t.co/RGJK9yzSDK via @GoogleNews

[Narendra Modi @narendramodi]

A big boost to making education more accessible.

The Cabinet has approved the PM-Vidyalaxmi scheme to support youngsters with quality education. It is a significant step towards empowering the Yuva Shakti and building a brighter future for our nation.
https://t.co/8DpWWktAeG

[Narendra Modi @narendramodi]

Today’s Cabinet decision on the infusion of equity of Rs. 10,700 crore in the Food Corporation of India will enhance its capacity to manage food procurement and distribution efficiently. It will also ensure better support for farmers and contribute to national food security. https://t.co/jq3aSDDehV

[Narendra Modi @narendramodi]

Had a great conversation with my friend, President @realDonaldTrump, congratulating him on his spectacular victory. Looking forward to working closely together once again to further strengthen India-US relations across technology, defence, energy, space and several other sectors.

[Alok Bhatt @alok_bhatt]

This guy is made up of a different metal.

[WalterBright @WalterBright]

@awesomekling @ladybirdbrowser @SwiftLang Try the #dlang D programming language! Best metaprogramming of all the languages.

[Uncle Bob Martin @unclebobmartin]

So…Google has explained, to Congress, why searches involving Trump have been suppressed lately.

It was … a bug.

Because, you know, software has bugs, right? I mean — you can’t expect software to not have bugs, that’s unreasonable. Bugs are just a normal characteristic of all software, right? So don’t worry, we’ll fix it in the next release.

So now we understand that there are people who put a high value on bugs. Those people are… lawyers. Every time that we, programmers, tell the world that bugs are inevitable, the lawyers who defend corrupt practices smile.