RacketCon 2025 (fifteenth)
Table of Contents
Overview
- Date: October 4-5, 2025
- Location: UMass Boston
- URL: https://con.racket-lang.org/
Notes
- Fifteenth RacketCon
- Attended in person at UMass Boston
- "The campus was completely empty and I just waited until Matthias Felleisen walked in late"
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 |
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 |
Highlights
- TBD
People Met
- TBD
Talks of Interest
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.
How Cloudflare Uses Racket and Rosette - James Larisch & Suleman Ahmad
Keynote on using Racket + Rosette for formal verification of DNS configuration changes.
"It Works": More Adventures with Racket and Emacs - Greg Hendershott
racket-mode author on Emacs integration.
Rhombus Update - Matthew Flatt
Update on Rhombus, the new surface syntax for Racket.
Great Composers Steal: Obbligato Reuse of Racket in Tonart - Jared Gentner
"…has a hat"