Viewing profile — sadfev

No Groundwater is depleting due to out of control and growing population. And those people are demanding higher quality of life. India is severely undeveloped and polluted due to i…

[flagged]

All these “War on” political grandstanding does is kill a lot of people, increase a lot of taxes and inflate the poor into destitution. War on Drugs. War on Terror. War on Cancer. …

It’s dead and has been for a decade

11 years ago, I did something like that. I was trying to use particle swarm optimization to efficiently update neural network weights, it didn’t work well. Don’t ask me why I even …

Now this looks promising! I hope with advent of modules we can get package manager half as good as cargo but for C++

This is a perpetually failed project waste tax payer money on incompetent scientists and engineers. #NotAScienceEquipment #wontlaunch

It’s not going up. ESA’s incompetence makes sure that this telescope doesn’t see the light of space.

I like this management style, quick and dirty! No meddling or prodding. The people know where they stand and not waste time in limbo.

This something that excites me immensely! I always had trouble following Principia’s notations!

Mozilla is a terrible organization and Firefox is a joke

Good riddance, but if history is a guide then an even more awful human being will head that toxic garbage of a company.

It’s a bubble. All tech are trading at high valuations due to infinite money printing. Docu’s fundamental business is worth $5B at best.

His efforts and crusade went unnoticed for years and after his tragic death due to years of harassment and mental torture by lawyers and police, nothing changed. The world and inte…

Unfortunately the competitiveness of x86 for desktop is completely lost now. Apple has destroyed x86. If only Apple had a decent API for GPGPU programming!

I am not sure if it’s a good thing that humans collaborate with awful humans. It’s a great service of Social media which exposes how awful humans are. How hateful, vengeful and vio…

Won’t get approval. Telecom operators of India have captured the regulatory regime. No matter the color of govt, Local telcos will fight this to death. Starlink though a good techn…

Nothing it’s just hysteria. There were some companies who made awful decision of canceling existing and future orders. The suppliers and wholesalers have moved on to different prod…

Yes please. I am sick of Pinterest links in images.

Brave is the last bastion of good open source commercial software. I will try to support them as long as they aren’t bankrupt.

I think CoqIDE is great and ProofGeneral (Emacs) is something all Coq experts use. I have the opposite experience with Lean 4, the VSCode integration is horrid and documentation is…

I was wondering about that too. They are perhaps most important tools for both CS and pure mathematics. It’s very interesting that Lean has exploded in the mathematics community. K…

This is something I am very interested in, There’s lot of work to be done when it comes to building verified and explainable learning systems (not just neural networks). I think th…

Sheesh it’s one thing to be opinionated and taking a swipe or two to express frustration. The way Peter behaved and continue to behave on Twitter is classic case of cyberbulling!!