Love the idea! Love the UI!
Any conversation
I notice that language models are much better at programming than at writing. This is largely because, in programming, they have a closed feedback loop that allows them to find errors. Writing is much more complicated because the feedback is much more diffuse and delayed over time. In fact, it is often not well-defined.
Sigh. On the heels of , I just went into our garage to find a panel of insulation fallen to the ground, riddled with mouse droppings. ๐คข๐ซ
Cleaned it up (gloved and masked, naturally), but probably means we need to re-insulate the whole garage. Which will undoubtedly uncover a leak or some other issue. The fun never ends!
I never have enough time but Iโd love to do a bit more recreational programming with esoterical languages like kitten, , and . AoC and Project Euler are good because they just require an answer but thereโs also loads of simple puzzles online that rely on being able to submit the code in common languages. Iโve been wondering, however, if I could use an LLM to take those problems and create a verification harness for any language I like.
Looks like you-know-who has finally come for nitter. :-(
nitter.net

