# How Cloudflare Uses Racket and Rosette to Verify DNS Changes

**URL:** <https://racket.discourse.group/t/how-cloudflare-uses-racket-and-rosette-to-verify-dns-changes/3983>\
**Category:** General\
**Tags:** racketcon, video, rosette\
**Created:** [October 24, 2025, 9:47pm UTC](https://racket.discourse.group/t/how-cloudflare-uses-racket-and-rosette-to-verify-dns-changes/3983 "2025-10-24T21:47:46Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![spdegabrielle](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/spdegabrielle/32/95_2.png) [@spdegabrielle](https://racket.discourse.group/u/spdegabrielle)\
**Post date:** [October 24, 2025, 9:47pm UTC](https://racket.discourse.group/t/how-cloudflare-uses-racket-and-rosette-to-verify-dns-changes/3983/1 "2025-10-24T21:47:46Z")

</div>

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://global.discourse-cdn.com/free1/uploads/racket/original/2X/c/cb75770850a216e52a911b922b5c2a7af82070c8.jpeg "How Cloudflare Uses Racket and Rosette to Verify DNS Changes") ](https://www.youtube.com/watch?v=7Twlh-Opq5E)

[https://youtu.be/7Twlh-Opq5E](https://youtu.be/7Twlh-Opq5E)

(More to come)

-social posts-

[https://functional.cafe/@racketlang/115431239062381834](https://functional.cafe/@racketlang/115431239062381834)  
[https://bsky.app/profile/racket-lang.org/post/3m3xsm67vzv2e](https://bsky.app/profile/racket-lang.org/post/3m3xsm67vzv2e)  
[https://x.com/racketlang/status/1981833606931575004](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.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/](https://www.reddit.com/r/lisp/comments/1ofa0v8/how_cloudflare_uses_racket_and_rosette_to_verify/)

---

<div class="post-metadata">

**Author:** ![spdegabrielle](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/spdegabrielle/32/95_2.png) [@spdegabrielle](https://racket.discourse.group/u/spdegabrielle)\
**Post date:** [October 25, 2025, 7:11pm UTC](https://racket.discourse.group/t/how-cloudflare-uses-racket-and-rosette-to-verify-dns-changes/3983/2 "2025-10-25T19:11:28Z")

</div>

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

[![](https://global.discourse-cdn.com/free1/uploads/racket/original/2X/c/cfd17d40086f0cb2fbf8ccbfadee32561cba54b0.jpeg ""It Works": More Adventures with Racket and Emacs") ](https://www.youtube.com/watch?v=OJqocEYhgng)

Stephen :beetle:

---

<div class="post-metadata">

**Author:** ![spdegabrielle](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/spdegabrielle/32/95_2.png) [@spdegabrielle](https://racket.discourse.group/u/spdegabrielle)\
**Post date:** [October 25, 2025, 9:05pm UTC](https://racket.discourse.group/t/how-cloudflare-uses-racket-and-rosette-to-verify-dns-changes/3983/3 "2025-10-25T21:05:57Z")

</div>

All uploaded - playlist for the (fifteenth RacketCon) October 4-5, 2025 at UMass Boston:  
https://www.youtube.com/embed/videoseries?list=PLXr4KViVC0qI3GixTBDcayVOZG6DcRFPp&wmode=transparent&rel=0&autohide=1&showinfo=1&enablejsapi=1

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