mkl

5 ms·

1.
by mkl 6d ago
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.
2.
by mkl 6d ago
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 th
3.
by mkl 6d ago
Kevin Buzzard. https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h... , discussed recently here: https://news.ycombinator.com/item?id=49568667
4.
by mkl 11d ago
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.
5.
by mkl 11d ago
The official list is at https://improbable.com/ig/winners/?amp=1#ig2026 but Ars Technica has a lot more detail.
6.
by mkl 11d ago
Why do Sol and Terra use 26 input tokens when the others use 16?
7.
Meet the Ig Nobel Prize Winners(arstechnica.com)
119 points by mkl 11d ago|46 comments
8.
by mkl 14d ago
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.
9.
by mkl 15d ago
Only with "display: grid;"?
10.
by mkl 15d ago
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
11.
by mkl 16d ago
In NZ it's easy, and some GPs can do it as of earlier this year.
12.
by mkl 16d ago
Ah, another over-claiming university press release. That explains it!
13.
by mkl 17d ago
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
14.
by mkl 17d ago
> 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.
15.
by mkl 17d ago
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
16.
by mkl 18d ago
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.
17.
by mkl 19d ago
https://htmx.org/essays/lore/#hinges
18.
by mkl 19d ago
> (plus at game) Typo of "a"?
19.
by mkl 20d ago
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.
20.
by mkl 22d ago
I think JPEGs will be around forever, but JPEG XL can losslessly recompress JPEGs to be smaller, so that would be one way.
21.
by mkl 22d ago
No, Cerebras holds the weights in SRAM - they are changeable, not baked in.
22.
by mkl 23d ago
No it doesn't. There is no mention of Qwen at all.
23.
by mkl 25d ago
It uses the kitty graphics protocol, if you're wondering how it can look like that instead of being rendered with text characters.
24.
by mkl 29d ago
At least two people. Link to link to links (because there is a relevant reply here): https://news.ycombinator.com/item?id=49347038
25.
by mkl 29d ago
That sounds more like rolling shutter effect: https://en.wikipedia.org/wiki/Rolling_shutter
26.
by mkl 1mo ago
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:&#x2F
27.
by mkl 1mo ago
Krita is good at editing images, so it is an image editor. It is also good at digital painting, and that's where much of its development focus lies.
28.
by mkl 1mo ago
A lot of extra force when slowing down from faster speeds though, no matter where the motor is added.
29.
by mkl 1mo ago
With only one you can't detect rotation around the axis that goes through the sensor, and for rotation close to that axis the resolution will be very poor.
30.
by mkl 1mo ago
They are differentials. https://en.wikipedia.org/wiki/Differential_(mathematics) has some info but is not great as a beginning introduction. dx is an infinitesimal bit of x, and dy is an infinitesimal bit of y. dx here

More ›