Puneet Goel retweetledi
Puneet Goel
195 posts

Puneet Goel
@coverification
Co-Founder @coverify Developer @EmbeddedUVM
India Katılım Ocak 2010
152 Takip Edilen163 Takipçiler
Puneet Goel retweetledi
Puneet Goel retweetledi

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

English
Puneet Goel retweetledi

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
Rahul Raj@x_rahulraj
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.
English
Puneet Goel retweetledi

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

English
Puneet Goel retweetledi

“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.
English
Puneet Goel retweetledi

AXI over Ethernet to build large FPGA clusters drive.google.com/file/d/17AIyGf…
English
Puneet Goel retweetledi
Puneet Goel retweetledi

@kaseyklimes Uninitialized variable
Returning pointer to the stack
Are the usual suspects
English
Puneet Goel retweetledi

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.
English
Puneet Goel retweetledi

"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
digitimes.com/news/a20241101…
English
Puneet Goel retweetledi
Puneet Goel retweetledi
Puneet Goel retweetledi

Tessolve to buy German chip designer for Rs 400 crore - The Economic Times m.economictimes.com/tech/technolog… via @GoogleNews
English
Puneet Goel retweetledi

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/PressReleasePa…
English
Puneet Goel retweetledi

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/PressReleasePa…
English
Puneet Goel retweetledi

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.
English
Puneet Goel retweetledi
Puneet Goel retweetledi

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

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.
English







