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 its population bomb explosion.

Climate scare-mongering doesn’t solve the root problem.

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 cancel me.

Keep your precious silicon valley socialist/totalitarian club to yourself.

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

US govt has become unbelievably bloated and overreaches every aspect of life today.

Slogans like these help them keep expanding and hurting the people.

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 undergrad!

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

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 which hardly remembers anything good, dismisses worthwhile endeavors while engaging in irrelevant culture wars.

Yes what Aaron did was illegal but the whole point of his crusade was that how unjust and inaccessible scientific research was to average person.

Neither the morally bankrupt left nor the completely inept libertarians took up his cause after his death.

His death will forever be in vain. It is a reminder for everyone to only take up “fashionable causes” which aren’t that important and only important for political mud slinging.

It is a reminder for all young people and me, don’t take up worthy causes, don’t try to change the world for better, they will kill you and make you irrelevant forever.

Just look after yourself like everyone does!

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 think it’s a good thing that humans have fractured and awful people are separated from non awful people.

There is only harm towards nature and humans (mostly non awful/non aggressive humans) when there is lots of human collaboration.

Instead of de-carbonization, we need a technological and political decoupling of human beings. That’s the only hope for humanity and all the innocent flora and fauna of earth.

De-globalization is too far too late. We are on the no point of return from absolute and rapid annihilation of nature and humanity.

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 companies like GM,Ford,VW and Stellantis are the culprits.

Also it doesn’t help the fact that California the most corrupt state in US history is fighting with the most corrupt dock workers Union in SF port.

Corruption, inefficiency and stupidity are creating mass hysteria.

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 papers for Lean4.

Granted I can go back to Lean3 but why would I?

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 I haven’t seen a talk which explains why Lean succeeded in creating a gargantuan math library whereas Coq only recently got respectable math library in “MathComp” (I am also including Analysis library).

I would like to know apart from social reasons what technical choices lead to Lean dominating (ordinary/regular/pure) mathematics.

I hear “quotients” but no one actual explains with a concrete example.

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 getting better to the point of them being useful for this kind of stuff. L

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!!

With great difficulty and often at the expense of sleep, leisure and other activities. I unfortunately don’t have a set process and doing exercises and making progress seems slow because it is slow!!

I love videos and articles these are the most efficient way to absorb essential concepts provided they are written/released either by experts or great teachers.

Books are good references and great resources for problems/exercises but working through an entire book can be a chore.

The only thing I can claim to be good at is that I am persistent and I come back again and again either to same material or similar material for deeper understanding.

Now part me still wishes I should have continued on in academia after my PhD, because there I had license to read.

Muller*

They will keep shoveling Miller’s and other Indologists outdated supremacist ideas until Indians meekly submit and accept it.

There’s no reasoning with supremacists.

I think that’s a better approach.

I hope some of the implicit stigma around older undergrads goes away too.

Not everyone is motivated or gifted enough at 18 to grind through 4 years while maximizing social interactions and general happiness.

I really do believe university education is very beneficial to most people but at different stages of their lives and one solution fits all is not good.

I also think Ruby should be the natural successor to peel on all *Nix systems.

Ruby is ridiculously useful. Python edges it out for scientific/engineering applications because of Scipy and now Machine Learning ecosystem.

Ruby is Smalltalk becoming successful. Ruby meta programming is very nice. Ruby is OO both internally and externally. Unlike Python which doesn’t feel very OO.

2. Verification is key! I don’t want more garbage (there’s already plenty) in app stores. They should charge a flat one time fee or for smaller developers give the option of higher fee/transaction till the amount is paid and then revert back to normal fees.