Rendered at 11:41:54 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
soupspaces 9 hours ago [-]
Tldw Proof generation is easier now, verification and understanding isn't. Relying on experts is reduced by requiring formal proofs, but may not scale.