This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
mr. TIM
timkellogg.me
did:plc:ckaz32jwl6t2cno6fmuw2nhn
i’m not actually sure this is true. Meaning that spec-driven dev & formal methods haven’t been picked up and there’s probably a reason for it
mainly: it’s cheaper & easier to use the code as the single source of truth rather than let specs & proofs diverge from the code
[contains quote post or other embedded content]
2026-07-26T13:29:01.564Z