Co-Founder @coverify Developer @EmbeddedUVM

India
Joined January 2010
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?
124
1,726
16
10,881
222,691
❗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. 💪
63
759
8
4,245
172,170
The second test file, exe2.c, now compiles and runs with the dmd #AArch64 compiler code generator. The bugs are a little sparser now.
1
12
745
Puneet Goel retweeted
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
I went to buy pencil box in a local stationary shop today. I was shocked to see that Chinese boxes have replaced most of the Indian Make boxes. The shopkeeper said that kids don’t like basic design boxes. These boxes are not selling cheap anymore. By saving a few lacs by not hiring good Industrial Designers and Mechanical Engineers, our industries lost 100 crore worth markets to China.
3
3
2
38
2,913
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: joinindianarmy.nic.in Last Date to Register: 10th April 2025 #IndianArmy #Agniveer #JoinIndianArmy
1,015
3,667
203
28,260
39,503,619
Puneet Goel retweeted
“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.
22
74
9
744
870,937
AXI over Ethernet to build large FPGA clusters drive.google.com/file/d/17AI…
9
1
46
2,192
Puneet Goel retweeted
Best real world takedown of a protester I have ever seen. And it's not even close
1,415
5,796
897
59,619
5,319,096
Replying to @kaseyklimes
Uninitialized variable Returning pointer to the stack Are the usual suspects
1
5
172
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.
3
19
1,726
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: 🧵
1,404
7,432
662
55,838
11,315,885
The "Indian" that the Lutyens ecosystem didn't want anywhere near the White House! Usha Bala Chilukuri Vance.
278
3,209
127
24,989
691,392
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. pib.gov.in/PressReleasePage.…
1,399
6,529
156
41,717
3,564,887
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. pib.gov.in/PressReleasePage.…
1,655
7,394
136
58,345
4,785,353
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.
4,873
35,864
1,320
318,733
25,019,389
Try the #dlang D programming language! Best metaprogramming of all the languages.
4
4
42
5,609
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.
61
48
3
496
38,692