How Cloudflare Uses Racket and Rosette to Verify DNS Changes

General
, ,
1

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

https://youtu.be/7Twlh-Opq5E

(More to come)

-social posts-

https://functional.cafe/@racketlang/115431239062381834
https://bsky.app/profile/racket-lang.org/post/3m3xsm67vzv2e
https://x.com/racketlang/status/1981833606931575004
https://www.linkedin.com/feed/update/urn:li:activity:7387600000853372929?utm_source=share&utm_medium=member_desktop&rcm=ACoAAAMnICgBJetbwOL1X0unCOplveRUejMJ_08
https://www.reddit.com/r/lisp/comments/1ofa0v8/how_cloudflare_uses_racket_and_rosette_to_verify/

2 Likes
2

More videos incoming! starting with...

"It Works": More Adventures with Racket and Emacs

presentation by Greg Hendershott at the (fifteenth RacketCon) October 4-5, 2025 UMass Boston

Stephen :beetle:

3

All uploaded - playlist for the (fifteenth RacketCon) October 4-5, 2025 at UMass Boston:

https://youtube.com/playlist?list=PLXr4KViVC0qI3GixTBDcayVOZG6DcRFPp&si=hUYuNyI9aPq8-JUZ