what an odd summer it must be for mathematicians.
Any conversation
Spotted this Royal Air Force A400 over the lake yesterday, it was so different from civil planes www.planespotters.net/โฆ/zm420-royal-air-force-โฆatlas-c1-a400m-180
there's no fundamental physical limit that prevents silicon from developing taste and judgement, but language is a lossy compression of reality.
taste comes from experience, from the shadowy mass of episodic memory, which swirls and convects at the boundary of consciousness. the ideas recombine into new ones in the nuclear reactor of the hippocampus.
but no matter how imbued with meaning and expertise is a handmade wardrobe we still get our shit from ikea
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.
been building a voice first os using jev and some small voice models. I'm surprised how well it's working and I'm very close to the point where I can go into a feedback mode and tell it what behavior I want changed, it will spin up Claude or codex inside itself and setup the build to restart itself and continue with new code. tempted to let it build itself completely


