Heel blij met de vooruitgang op HVM4. SupGen is nu ingebouwd, en we hebben (eindelijk) een geïntegreerd type-systeem, wat betekent dat HVM ook als een super snelle, parallelle bewijsverifier zal functioneren. Het zou me niet verbazen als het OOMs sneller is dan Lean, en ik denk dat dat nuttig kan zijn bij het construeren van theorem proving RL-omgevingen. Ook: Ik ben weer verliefd op C. Alles is nu C, zelfs de parser. Wanneer de codebase te snel groeit, besteed ik de volgende verschillende prompts alleen om de codekwaliteit te polijsten en te verbeteren. Dit houdt de codebase onder controle. Komend uit Haskell, waardeer ik hoe stabiel en snel alles is. Misschien zijn we niet zo ver verwijderd van tijden waarin het schrijven van web-apps in C daadwerkelijk haalbaar wordt.