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 its population bomb explosion. Climate…
It’s not a tangent. It’s how these things turn out. If you want to silence people speaking their minds and instead of humming along and cheer your neo-communist vision of the future. Then by all means go ahead and…
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. Same pig but different shades of…
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 tried, I was a dumb but code happy…
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 internet specially is cruel phony place…
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 violent seemingly normal people can be. I…
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 technology is DOA in India.
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 products and customers. Absolutely scummy…
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 awful. The only good sources are…
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. Kevin Buzzard talks about it a lot, but…
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 the verification tools are finally…
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!!
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 its population bomb explosion. Climate…
It’s not a tangent. It’s how these things turn out. If you want to silence people speaking their minds and instead of humming along and cheer your neo-communist vision of the future. Then by all means go ahead and…
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. Same pig but different shades of…
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 tried, I was a dumb but code happy…
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 internet specially is cruel phony place…
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 violent seemingly normal people can be. I…
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 technology is DOA in India.
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 products and customers. Absolutely scummy…
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 awful. The only good sources are…
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. Kevin Buzzard talks about it a lot, but…
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 the verification tools are finally…
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!!