Racket
LightNews LightNews
banner
racket-lang.org
Racket
@racket-lang.org
450 followers 21 following 190 posts
Racket is...
* A language-oriented programming project
* a family of programming languages
* a native code compiler and other tools,
* a diverse community 😁
Join us at https://racket.discourse.group/

https://racket-lang.org/
Posts Replies Media Videos
Pinned
racket-lang.org
Racket @racket-lang.org · 20d
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
youtu.be/7Twlh-Opq5E
How Cloudflare Uses Racket and Rosette to Verify DNS Changes
Keynote James Larisch and Suleman Ahmad How Cloudflare Uses Racket and Rosette to Verify DNS Changes Since 2022, Cloudflare has used Racket and Rosette to prevent DNS-related bugs. Cloudflare…
youtu.be
racket-lang.org
Teach Yourself Racket - a flânerie by Prabhakar Ragde

"Racket is a modern functional programming language, a dialect of Lisp and Scheme, good for exploration of ideas and rapid prototyping."

cs.uwaterloo.ca/~plragde/fla...
Teach Yourself Racket
(a flânerie by Prabhakar Ragde)
cs.uwaterloo.ca
November 9, 2025 at 5:20 PM
racket-lang.org
Rhombus SSL: Secure Communication

"The ssl library supports secure network communication via the OpenSSL API and libraries that are included with Racket or provided by the operating system."

docs.racket-lang.org/rhombus-ssl/...
#rhombuslang #openssl
Rhombus SSL: Secure Communication
import: ssl package: rhombus-ssl-lib
docs.racket-lang.org
November 9, 2025 at 10:33 AM
racket-lang.org
Curvy arrows!!! 🤩
"The lexical structure is shown with arrows overlaid on the program text. When the mouse cursor passes over a variable, DrRacket draws an arrow from the binding location to the variable, or from the binding location to every bound occurrence of the variable." https://docs.racket-lang.org/drracket/buttons.html#%28idx._%28gentag._10._%28lib._scribblings%2Fdrracket%2Fdrracket..scrbl%29%29%29
October 25, 2025 at 9:25 PM
racket-lang.org
Playlist for the (fifteenth RacketCon) October 4-5, 2025 at UMass Boston

youtube.com/playlist?lis...
(fifteenth RacketCon)
October 4-5, 2025 UMass Boston
youtube.com
October 25, 2025 at 8:10 PM
racket-lang.org
"It Works": More Adventures with Racket and Emacs
presentation by Greg Hendershott at the (fifteenth RacketCon) October 4-5, 2025 UMass Boston
youtu.be/OJqocEYhgng
#Emacs #racket #lisp
October 25, 2025 at 7:04 PM
racket-lang.org
A Match-Like DSL for Deep Immutable Updates

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

youtu.be/rwafaIfdOf0
October 24, 2025 at 10:53 PM
racket-lang.org
Compositional Object Oriented Prototypes
presentation by François-René Rideau at the (fifteenth RacketCon)
October 4-5, 2025
UMass Boston

youtu.be/OpT2W45w9MQ
Compositional Object Oriented Prototypes DiskStation Oct 23 1130 2025 DownloadConflict
François-René Rideau Compositional Object Oriented Prototypes We reconstruct a theory of object-orientation from first principles, as modularity and extensibility together. Mixin inheritance then…
youtu.be
October 24, 2025 at 10:23 PM
racket-lang.org
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
youtu.be/7Twlh-Opq5E
How Cloudflare Uses Racket and Rosette to Verify DNS Changes
Keynote James Larisch and Suleman Ahmad How Cloudflare Uses Racket and Rosette to Verify DNS Changes Since 2022, Cloudflare has used Racket and Rosette to prevent DNS-related bugs. Cloudflare…
youtu.be
October 24, 2025 at 9:22 PM
racket-lang.org
CS Pictionary!

racket.discourse.group/t/cs-piction...
CS Pictionary!
A bit of fun happened at the Qi meeting yesterday that can’t wait for the next Qi meeting notes CS Pictionary! What started as a Python script became a Racket version thanks to @SamPhillips and…
racket.discourse.group
October 18, 2025 at 11:48 AM
racket-lang.org
Happy Ada Lovelace Day 2025
There an easter egg in DrRacket, can you find it?
findingada.com
October 14, 2025 at 6:01 AM
Reposted by Racket
ecsodikas.eu
Hello lovely Racket community. Can someone tell me If I can call all Racket packages from Rhombus directly or do I need a wrapper for them?
October 7, 2025 at 4:12 PM
racket-lang.org
Hope everyone had a great RacketCon. Many thanks to the presenters, participants in-person and remote, the organisers and UMass Boston for hosting us.
Please send feedback to the team at [email protected]
Racket
Videos about or related to the programming language Racket, mostly drawn from RacketCon presentations. This channel publishes videos from Racket events and may also re-publish video from other places.
www.youtube.com
October 6, 2025 at 10:34 AM
racket-lang.org
Rhombus update 10am(EDT) con.racket-lang.org
#rhombuslang rhombus-lang.org
(fifteenth RacketCon)
con.racket-lang.org
October 5, 2025 at 2:00 PM
racket-lang.org
RacketCon Day 2 starts with 'Advanced Macrology: 5 Macro Programming Patterns You (No Longer) Need to Know' at 9:00am EDT (13:00 UTC)
watch at con.racket-lang.org
(fifteenth RacketCon)
con.racket-lang.org
October 5, 2025 at 9:32 AM
racket-lang.org
"It Works": More Adventures with Racket and Emacs con.racket-lang.org
(fifteenth RacketCon)
con.racket-lang.org
October 4, 2025 at 6:03 PM
racket-lang.org
Todd Jonker has just started 'Ion Fusion' at con.racket-lang.org
(fifteenth RacketCon)
con.racket-lang.org
October 4, 2025 at 5:33 PM
racket-lang.org
'A Match-Like DSL for Deep Immutable Updates' with Mike Delmonaco is about to start at con.racket-lang.org
(fifteenth RacketCon)
con.racket-lang.org
October 4, 2025 at 2:47 PM
racket-lang.org
'Compositional Object Oriented Prototypes' with François-René Rideau has just started at RacketCon view at con.racket-lang.org
(fifteenth RacketCon)
con.racket-lang.org
October 4, 2025 at 2:19 PM
racket-lang.org
'How Cloudflare Uses Racket and Rosette to Verify DNS Changes' has started RacketCon
Watch at con.racket-lang.org
#cloudflare #rosettelang
(fifteenth RacketCon)
con.racket-lang.org
October 4, 2025 at 1:19 PM
racket-lang.org
42 min till RacketCon starts
FREE live stream at con.racket-lang.org
we have a #racketcon chat channel on the racket discord at discord.gg/UCFKsryPkW

If you can afford it: please register for $10 USD to help support the livestream www.eventbrite.com/e/racketcon-...
(fifteenth RacketCon)
con.racket-lang.org
October 4, 2025 at 11:46 AM
racket-lang.org
Everyone is welcome to join us for the Racket meet-up - RacketCon party🎉: Saturday, 4 October 2025 at 17:00 UTC (note UPDATED earlier time due to RacketCon) see racket.discourse.group/t/racket-mee...
racket.discourse.group
October 4, 2025 at 9:54 AM
racket-lang.org
Everyone is welcome to join us for the Racket meet-up - RacketCon party🎉: Saturday, 4 October 2025 at 17:30 UTC (note earlier time due to RacketCon) announcement at racket.discourse.group/t/racket-mee...
Racket meet-up - RacketCon party 🎉 - Saturday, 4 October 2025 at 17:30 UTC
Everyone is welcome to join us for the :racket: Racket meet-up RacketCon party🎉: Saturday, 4 October 2025 at 17:30 UTC. We have moved the meet-up 30 minutes earlier so we don't clash with the much…
racket.discourse.group
October 3, 2025 at 2:45 PM
Reposted by Racket
shriram.bsky.social
OOPSLA 2026 deadline is just a week away! Can you please help us get the word out by sharing? Thanks!
2026.splashcon.org/track/oopsla...
SPLASH 2026 - OOPSLA - SPLASH 2026
Welcome to the website of the SPLASH 2026 conference. We are working hard to fill the website with all related information. Please check back soon! In the meantime, please consider this overview of th...
2026.splashcon.org
October 2, 2025 at 1:16 PM
racket-lang.org
Happy Birthday Eiffel 🎂

October 1986 (at OOPSLA!)

www.eiffel.org
Eiffel Community
Welcome to the community portal for Eiffel, the programming language for tackling tomorrow’s problems today.
www.eiffel.org
October 1, 2025 at 8:39 AM
racket-lang.org
Built-Package Catalog
The package-build service archives the most recently built form of each package at pkg-build.racket-lang.org/server/built...
Built packages can install much faster than the original source packages!

pkg-build.racket-lang.org/about.html
Racket: About Package Builds
For every package that is registered at https://pkgs.racket-lang.org/, the package-build service starts with the current release, periodically checks for package updates, and attempts to build each package...
pkg-build.racket-lang.org
September 30, 2025 at 9:27 AM