This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Racket
racket-lang.org
did:plc:55jpbxvlzoxmt4karrkj6mre
How Cloudflare Uses Racket and Rosette to Verify DNS Changes
Keynote presentation by James Larisch and Suleman Ahmad at (fifteenth RacketCon) October 4-5, 2025 UMass Boston
youtu.be/7Twlh-Opq5E
https://youtu.be/7Twlh-Opq5E
2025-10-24T21:22:07.256Z