This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Martin Kleppmann
martin.kleppmann.com
did:plc:vzmlifz3ghar4cu2hj3srga2
I just came across this paper arxiv.org/abs/2509.22908 which coins the term "vericoding" for using LLMs to generate formally verified code, and presents benchmark results for several languages
[contains quote post or other embedded content]
2026-01-15T09:52:21.134Z