This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Hillel is taking a break
hillelwayne.com
did:plc:rvlyeda73kxm7l2weegk73pa
Finally found a good example of SMT solving for the book! I've been blocked for a while, because while SMT has a lot of uses, all of the easy-to-show examples are toys. But I finally realized a practical example: given some outputs an RNG, reverse-engineering the parameters!
2025-04-13T17:29:51.180Z