mkl

Citation? Wikipedia has a clear Greek etymology:

> Alexander, originally from the Greek Ἀλέξανδρος (Aléxandros), from αλέξειν aléxein meaning "to ward off, keep off, turn away, defend, protect" and ἀνδρός andrós, genitive of ἀνήρ anḗr meaning "man".

> Meaning "Defender, protector of man"

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

> previously unseen lunar crater that’s a whopping 728 feet across, more than twice the length of an American football field.

For the rest of the world, it's about 222m.

> objects the size of monster truck tires

FFS, just use metric! Apparently that's about 1.7m.

It takes about 5 seconds to open Wikipedia and type "TLA+".

*best, not better

I think this is overly optimistic; it assumes universities reacted instantly and pivoted to teaching coding with AI as soon as it was feasible. In actuality, university curriculums cannot change quickly, and AI capabilities are changing much faster. In my experience, some students are using AI to write code, but then have no idea what's going on. The "skill" of typing "Write a function to do [basic thing]" will not make them AI-native or help them in the workplace.

Is it any good at autoformalisation? I think it's likely to take focused fine-tuning to get something small enough that is still good at that.

Lots of people are talking about that, and have been for a while. Autoformalisation is clearly going to be a big deal, so mathematicians have been discussing it seriously, and using it where resources allow. A fine-tuned distilled model that could do it on high-end consumer hardware could really help.

Edit: There's also quite a bit of learning needed to use the tools, and to understand enough to confirm that the theorem being verified is what you think. And of course a lot of maths can't yet be expressed in Lean as the foundations haven't been built up enough.

Kevin Buzzard. https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h..., discussed recently here: https://news.ycombinator.com/item?id=49568667

They're not claiming controlling robot arms with language models is a sensible or efficient thing to do, they're trying it to see what happens.

The official list is at https://improbable.com/ig/winners/?amp=1#ig2026 but Ars Technica has a lot more detail.

Why do Sol and Terra use 26 input tokens when the others use 16?

It's just a play on the name, and it's pretty common. claude.ai has nothing to do with Anguilla, John Romero's rome.ro has nothing to do with Romania, twitch.tv has nothing to do with Tuvalu, etc.

Only with "display: grid;"?

I get what you mean, but those are the ankles. The knees are higher up and bend the same way as a person's. https://en.wikipedia.org/wiki/Bird_feet_and_legs

In NZ it's easy, and some GPs can do it as of earlier this year.

Ah, another over-claiming university press release. That explains it!

Isn't this well known? The human retina has fewer blue-sensitive cone cells, and very few in the fovea, which sees the sharpest details: https://en.wikipedia.org/wiki/Cone_cell#Distribution

> There has to be some not-yet-discovered way to have a capcha that is easy for any human but impossible for robot.

Why? We are not so special or magical.

Monty itself seems much more interesting than a Go wrapper for a WASM runtime running the Rust implementation that runs the Python code. There was a big discussion about it 6 months ago: https://news.ycombinator.com/item?id=46918254

I'm not the same person, but probably. There are at least two errors in the quoted fragment, though personally I don't think either is especially indicative of a lack of intelligence.

> (plus at game)

Typo of "a"?

Past discussions:

https://news.ycombinator.com/item?id=10374436, 27 comments 11 years ago.

https://news.ycombinator.com/item?id=26373539, 30 comments 5 years ago.

I think JPEGs will be around forever, but JPEG XL can losslessly recompress JPEGs to be smaller, so that would be one way.

No, Cerebras holds the weights in SRAM - they are changeable, not baked in.

No it doesn't. There is no mention of Qwen at all.

It uses the kitty graphics protocol, if you're wondering how it can look like that instead of being rendered with text characters.

At least two people. Link to link to links (because there is a relevant reply here): https://news.ycombinator.com/item?id=49347038

That sounds more like rolling shutter effect: https://en.wikipedia.org/wiki/Rolling_shutter

Wikipedia says "The book has a pure, proof-heavy focus and is aimed at upper-division undergraduates who have been exposed to linear algebra in a prior course." [1], so it seems to be a different category of book?

[1] https://en.wikipedia.org/wiki/Linear_Algebra_(book)