marvinborner

I found that models without "reasoning" were quite bad at writing code in my programming language bruijn [0], whereas for humans it is entirely possible to get used to writing de Bruijn indices instead of variables. The recent "reasoning" models just write the code in different languages and write a small translating engine to bruijn, such that it bypasses the parts it struggles with (counting abstractions).

[0]: https://bruijn.marvinborner.de/

Interestingly, in MARSQWEGES -> MARSCHWEGES, but not in WASCHBBSCH (WASQBUSQ)

The Bend1 launch was very successful, with 1000+ hn upvotes [0] and with several youtube videos with up to 1M+ views [1] [2] - that's where a lot of the popularity came from, I believe. They just recycled the Bend1 repo for Bend2 even though it's a completely different language.

[0] https://news.ycombinator.com/item?id=40390287

[1] https://www.youtube.com/watch?v=HCOQmKTFzYY

[2] https://www.youtube.com/watch?v=NaytZOiX3fs

To me, the most relevant aspect is the time it takes to open. I can't believe how slow the startup time in common linux distributions is by default, it's so annoying, by the time it opens I already forgot what I wanted to do. Alacritty has this cool feature where you only ever have to "open" a single terminal, whereas new windows can be created very efficiently with `alacritty msg create-window`, being forks of the initial window. It makes using my pc a lot more comfortable.

I initially interpreted this as "Artificial Intelligence _is_ [defined as] writing about as well as humans", which would imply that common LLMs are slowly approaching Artifical Intelligence. Though English is not my native language.

The relevant issue for mastodon itself is https://github.com/mastodon/mastodon/issues/12423