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
hillelwayne.com
did:plc:rvlyeda73kxm7l2weegk73pa
I have TWO new essays to share today!
First, a blog post about formal methods called "Don't let Alloy facts make your specs a fiction": https://www.hillelwayne.com/post/alloy-facts/
Second, a newsletter post about what we can learn by studying for loops. Yes, really. https://buttondown.email/hillelwayne/archive/some-notes-on-for-loops/
Enjoy!
2024-04-10T17:11:41.957Z