This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Mike Wasson
mikewasson.net
did:plc:rw7zditkwtgo7synt7hvmkol
Which is great, because there's some problems LLMs aren't well-suited for but other computational tools are, and astonishingly LLMs can sometimes detect when those other tools should be used. I am waiting for somebody to combine an LLM with a theorem proving system.
2025-08-29T12:33:10.810Z