Good morning, techno.
Konstantin Scharf - Still Moving
Any conversation
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.
working on permanent.sh a coding agent for the growing and seemingly permanent underclass of people that are left behind by the unbelievable pace of progress in ai
the big labs are fighting over felonybench (exploitbench) and google deepmind ceo left to work on drug discovery

