wal.sh
home > events > racketcon > 2025 · Oct 04, 2025
racketconracketschemerhombusrosetteformal-verificationumass-boston2025

RacketCon 2025 (fifteenth)

Table of Contents

1. Overview

2. Notes

  • Fifteenth RacketCon
  • Attended in person at UMass Boston
  • "The campus was completely empty and I just waited until Matthias Felleisen walked in late"

2.1. Day 1 (October 4)

Time Speaker Talk
9:00 James Larisch & Suleman Ahmad How Cloudflare Uses Racket and Rosette to Verify DNS Changes (Keynote)
10:15 François-René Rideau Compositional Object Oriented Prototypes
10:45 Mike Delmonaco A Match-Like DSL for Deep Immutable Updates
1:30 Todd Jonker Ion Fusion
2:00 Greg Hendershott "It Works": More Adventures with Racket and Emacs
2:30 Cameron Moy Roulette for Racketeers
3:30 Ari Prakash & Zachary Eisbach miniDusa: An Extensible Finite-Choice Logic Programming Language
4:00 Jonathan Simpson Browsing (and serving) the Slow Internet with Racket
4:30 Asher Olsen PROG Rock: Listening to old Lisp code

2.2. Day 2 (October 5)

Time Speaker Talk
9:00 Michael Ballantyne Advanced Macrology: 5 Macro Programming Patterns You (No Longer) Need to Know
9:30 Jared Gentner Great Composers Steal: Obbligato Reuse of Racket in Tonart
10:00 Matthew Flatt Rhombus Update
11:00 Sam Tobin-Hochstadt The State of Racket
11:30   Racket Town Hall

2.3. Highlights

  • TBD

2.4. People Met

  • TBD

3. Talks of Interest

3.1. Ion Fusion - Todd Jonker

Ion Fusion is a customizable programming language that unifies the semantics of persistent data and the code that manipulates it. Oriented around the Amazon Ion data format.

3.2. How Cloudflare Uses Racket and Rosette - James Larisch & Suleman Ahmad

Keynote on using Racket + Rosette for formal verification of DNS configuration changes.

3.3. "It Works": More Adventures with Racket and Emacs - Greg Hendershott

racket-mode author on Emacs integration.

3.4. Rhombus Update - Matthew Flatt

Update on Rhombus, the new surface syntax for Racket.

4. Links