HackerLangs
TopNewTrendsCommentsPastAskShowJobs

skinner_

no profile record

comments

skinner_
·mese scorso·discuss
> You can skirt around not reasoning in research math because so much of it is just extremely tedious symbolic manipulation.

LOL
skinner_
·mese scorso·discuss
> You just know nothing about math and are happy to parrot bullshit AI salesmen are selling you.

Not the parent poster here. I do know things about math. I wrote a few papers related to the unit distance problem (https://arxiv.org/abs/2311.10069, https://arxiv.org/abs/2406.15317) and spent quite some time trying to solve it. I had no chance of coming up with the proof that the spicy autocomplete came up with. Dumb benchmark, sure.
skinner_
·3 mesi fa·discuss
My use case is wildly different from CSS, HTML etc. I use numerical algorithms to solve problems in pure mathematics. AI models are now better than me and my colleagues at writing code, and we are pretty good in the first place. The catch is that we do not ask AI to write whole applications, we ask it to implement building blocks like "For finite X subset R^d, find all pairs (Y, Z), Y subset X, Z subset X such that Y and Z are congruent".
skinner_
·4 mesi fa·discuss
Also, if Claude had regurgitated a known solution, it would have come up with it in the first exploration round, not the 31st, as it actually did.
skinner_
·5 mesi fa·discuss
I think the nuanced take on Joel's rant is this: it was good advice for 26 years. It became slightly less good advice a few months ago. This is a good time to warn overenthuastic people that it’s still good advice in 2026, and to start a discussion about which of its assumptions remain to be true in 2027 and later.
skinner_
·6 mesi fa·discuss
Then I think you’ll like our project which aims to find the missing link between transformers and swarm simulations:

https://github.com/danielvarga/transformer-as-swarm

Basically a boid simulation where a swarm of birds can collectively solve MNIST. The goal is not some new SOTA architecture, it is to find the right trade-off where the system already exhibits complex emergent behavior while the swarming rules are still simple.

It is currently abandoned due to a serious lack of free time (*), but I would consider collaborating with anyone willing to put in some effort.

(*) In my defense, I’m not slacking meanwhile: https://arxiv.org/abs/2510.26543 https://arxiv.org/abs/2510.16522 https://www.youtube.com/watch?v=U5p3VEOWza8
skinner_
·7 mesi fa·discuss
https://www.astralcodexten.com/p/in-search-of-ai-psychosis is very relevant, but the main reason I’m posting it here is that, unlike this paper, it takes the opportunity to build the cleverest pun out of the same ingredients:

Folie A Deux Ex Machina
skinner_
·8 mesi fa·discuss
I interpreted it loosely, as "be aware of the possibility, and stop looking at it at the first signs of issues".
skinner_
·8 mesi fa·discuss
100% frontpage-worthy! Frankly I was already bored with all those pelicans, and a bit worried that the labs are overfitting on pelicans specifically. This test clearly demonstrates that they are not.
skinner_
·9 mesi fa·discuss
That's very cool, but it's not an apples to apples comparison. The reasoning model learned how to do long multiplication. (Either from the internet, or from generated examples of long multiplication that were used to sharpen its reasoning skills. In principle, it might have invented it on its own during RL, but no, I don't think so.)

In this paper, the task is to learn how to multiply, strictly from AxB=C examples, with 4-digit numbers. Their vanilla transformer can't learn it, but the one with (their variant of) chain-of-thought can. These are transformers that have never encountered written text, and are too small to understand any of it anyway.
skinner_
·9 mesi fa·discuss
If being probabilistic prevented learning deterministic functions, transformers couldn’t learn addition either. But they can, so that can't be the reason.
skinner_
·9 mesi fa·discuss
> But which contributes more, they ask? Who gives a shit, really?

Funding agencies? Should they prioritize established researchers or newcomers? Should they support many smaller grant proposals or fewer large ones?
skinner_
·anno scorso·discuss
In your opinion, why did they choose the open source way instead of doing it in a military bunker? (Metaphorical not literal bunker.)