Hacker News: yaccb3https://news.ycombinator.com/user?id=yaccb3Hacker News RSShttps://hnrss.org/hnrss v2.1.1Mon, 22 Jun 2026 21:13:15 +0000<![CDATA[New comment by yaccb3 in "Everything is logarithms"]]>Look, the whole thing actually makes sense and the core idea is pretty cool because it's true that a lot of stuff in math looks identical. But in my opinion this is way too much of a macro-level overgeneralization and you risk throwing everything into the same pot, which ends up diluting the actual point of things.I mean, if you take a hammer and a meat mallet, at the end of the day they're both chunks of metal used to hit stuff, but if you bunch them together without making any distinction, you lose track of why you use one to drive nails into a wall and the other to prep cutlets.Saying everything is just one big logarithm is a nice mental exercise, but I feel like it flattens out the differences too much and makes you lose the practical utility of the individual math tools, which are meant to solve completely different problems.

]]>Sun, 21 Jun 2026 22:18:27 +0000https://news.ycombinator.com/item?id=48623171yaccb3https://news.ycombinator.com/item?id=48623171https://news.ycombinator.com/item?id=48623171<![CDATA[Does a recent proof on open induction formalize the logical limits of LLMs?]]>Article URL: https://arxiv.org/abs/2606.17275

Comments URL: https://news.ycombinator.com/item?id=48588207

Points: 1

# Comments: 0

]]>Thu, 18 Jun 2026 16:54:56 +0000https://arxiv.org/abs/2606.17275yaccb3https://news.ycombinator.com/item?id=48588207https://news.ycombinator.com/item?id=48588207