@racket-lang.org on Bluesky

JavaScript RequiredThis is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is. Learn more about Bluesky at bsky.social and atproto.com.

Post

Racket

racket-lang.org

did:plc:55jpbxvlzoxmt4karrkj6mre

Cloudflare blog post about using racket + rosette: "How we prevent conflicts in authoritative DNS configuration using formal verification" describes using racket + rosette for formal verification of cloudflare configurations. https://buff.ly/4hVvYcN

2024-11-18T18:07:47.882Z