ur-whale

List of reasons to ditch chrome is very, very, very long, first among which it is becoming the prime enshitification tool for the internet.

But Safari is not the solution until they make it fully (FULLY) open-source, because all Apple trying to do is replace the king of enshitification hill by their own.

firefox ftw

> what if someone does this to the Windows OS?

That would reveal the quality of the Windows OS codebase.

My bet is the result ain't gonna be pretty.

Look the guy over is doing it too!

Not guilty your honor.

Some argument dude.

> Can't think of a more flagrant and succinct declaration that the US believes itself "above the law."

I don't think you understand the concept of "sovereignty"

> DYFI IX

Wanna tell us common folks what that means?

I believe this whole AI vs. mathematicians story is only at the very beginning and that Mathematicians have an extremely narrow view of what's happening.

In particular, for Mathematicians worried about the inscrutability of AI-generated proofs and about the fact that Maths is first and foremost about understanding rather than proving for the sake of proving, they're vastly underestimating what AI will be able to deliver in years to come.

IMO, it's very likely that:

    - AI will not just be able to prove theorems but more importantly *increase* the speed at which we *intuitively* understand the phenomenon under scrutiny. All these AI companies are busy using AIs to prove stuff, none of them has yet tried to point an AI in the direction of making an existing proof more understandable and intuitive to a human. My bet is there will be AIs trying to find the shortest path (where shorter = easier to understand) from an existing body of knowledge to a theorem proof, thereby iteratively slowly but surely "compressing" the whole universe of Mathematical knowledge over time (and making it easier for humans to digest).

    - Same story for "discovering new mathematics", the other many-times-rehashed concern that AI-doing-math will impede that particular endeavor. Who's to say we can't define a bunch of criteria that quantify "interesting", point a bunch of AI's at it and press the button?

> is probably more like seeing the ending to a mystery novel

lots of people enjoy knowing the end of the story as they start a book, and it does not prevent them from enjoying the book in the slightest.

Something that always comes as a great surprise to those who don't.

All of these reactions from Mathematicians keep reminding me of - true or urban legend, doesn't matter - the ballad of John Henry [1] who, according to the lore, died trying to compete with a steam powered drill.

[1] https://en.wikipedia.org/wiki/John_Henry_(folklore)

> What do you run on a $5 VPS that's worth keeping online 24/7?

DNS servers

[EDIT]: wireguard node for my private VPN

Beautiful, and such a cool idea, would love to do this with my house.

"trotted out".

Love the expression. So accurate. And no irony here.

> And to the self-hosters out there, the economics of 4.1 Flash mean self-hosting is not worth it. If saving money is your goal, you will never recoup the costs.

Self-hosting is, for most enterprises, absolutely not about economics but rather about data confidentiality.

And in that regard, yes, the open-source weight models, especially the chinese ones will eat the fat closed US model's lunch big time.

A short problem description on the github page would have been nice.

> Why can't it be shipped as a shared library

Shared libraries are a bad idea that is simply taking way too long to just die the horrible death it deserves.

> Big companies have big egos

More likely the Google eng. director who tried to get rid of it because of not-invented-here syndrome (it was built in a different org) got a new job or changed company.

> Imagine you get up one morning and most open questions in math are solved lol.

More time available for mini-golf?

> I guess I never want to do business in France.

Good call.

> What an abominable court system.

I you wanted to do business there, the court system would be the least of your worries.

There is a very large difference between how the rule of law is perceived and understood in french culture and anglo cultures.

Especially when it comes to the government/administration and folks working in it: the very notion that they, as well as folks working in the judicial system are subject to it as if they were normal members of the flock, is indeed, as another poster pointed out, complete anathema.

Not to mention the fact that the day humans switch to asymmetric warfare (guerilla warfare mode) against the infrastructure that powers AI, it's going to be a cold day in hell before AI can defend against that: the humanoid, tazer / machine gun carrying robots had better get a lot better than they currently are.

> Yann LeCun and Andrew Ng are noteworthy in being the only two big names in AI who have that opinion.

They're also the only two not trying to weaponize FUD to bolster their reputation and patch the gaping financial holes in their doomed commercial enterprise.

>> No attempts to monetize have been made or will be made

> I'm disappointed.

So am I.

A true fan of the movie would have remembered the following quote: "money? ... [thinks hard for a couple of seconds and then remembers] ... I like money!"

[EDIT]: https://www.youtube.com/watch?v=sZHCVyllnck

> So, the guy that HN loves to mock and poke fun at - Richard Stallman - was utterly correct after all.

Yes, he was correct indeed.

But the fact that the message was broadcasted by a dude rocking the personality of a psychotic 4 year old and the general looks of ... let's not go there ... basically prevented everyone with a normal outlook on life to pay attention.

There's this famous chapter of the Little Prince that depicts this exactly, "asteroid B-612" :

https://www.patternrecognition.asia/jin/prince/english/lpe04...

> 5x faster Edge Functions: V8 isolates to Firecracker MicroVMs

Off-topic, but ...

I've noticed over the last 5 years I find myself increasingly incapable of understanding the title of HN posts upon first reading them.

And then sometimes also, reading the article itself does not help either.

The likely explanation is that I'm probably getting old and senile, but maybe, just maybe, I am not the only one experiencing this.

This post's title is a decent example, albeit far from the worse I've read.

I think HN should have a feature to graph the level of incomprehensibility of post titles over time.

An LLM should probably be able to measure this automatically.

> requires you to continuously push updates

Sounds like a perfect job to automate by an always-on LLM.

Did you thing it was still the 2000's or something?

That you were still free to write code, put it out there and have people use it freely?

A decade ago, I made a joke comment to a friend that you were soon going to need a carry permit to operate a compiler.

Joke's not so funny in 2026.

> EDG can also be used as a C++-to-C compiler.

Nice to see this still exists!

After all, this is how it all started back in the days of - what was it called again ? - yeah, cfront

https://en.wikipedia.org/wiki/Cfront

> How difficult would it be to have a massively parallel computer system made out of many tiny, simple microcontroller-like chips?

It's scaling the communication that becomes hard.

In this project they daisy-chain SPI. I don't believe that would scale very far.