@david_chisnall @mjg59 I suspect CHERI would make running LLM-generated code more feasible, and probably less risky. I'm not saying this to be an annoying contrarian, but rather that stronger underlying models seems to make playing with garbage LLM code more viable. Terry Tao has been using them to generate quick and dirty proofs, cha bu duo.

@Nfoonf @mjg59 for most people using LLMs, its a trade-off for things that matter more in their lives

@Nfoonf @mjg59 one, you're clearly not a carpenter if you think they don't pay rent, maintenance costs, overhead, professional licensing, etc. two, you don't understand how the industry works. production is a really big deal, even if you're a craftsman.

craftmanship has always been for the well-to-do. most people get buy with what they can get cheaply, which means sending everything with uncalibrated nailguns, close-enough tolerances and twisted studs here.

@mjg59 heh, poked the bear with this one.

unfortunately most computer users are also not set up in a way where a subtle piece of malware injected into a python script or something could ruin their day.

tao uses them for generating proofs, which seems to work, and I have had some use to similar ends. they're quite bad if you have any delay in your feedback loop though