Racket - the Language-Oriented Programming Language - version 8.14 is now available from download.racket-lang.org See blog.racket-lang.org/2024/08/racket… for the release announcement and highlights.

Racket is a community developed open source project and we welcome new contributors. See racket/README.md to learn how you can be a part of this amazing project.

Racketeers may be interested in the complete LACI (Logic and Computation Intertwined), which prepares one for Agda or Coq by constructing a small proof assistant (Proust) in Racket. cs.uwaterloo.ca/~plragde/flane… (thanks to Prabhakar Ragde for sharing this)

Have you got your RacketCon ticket yet? con.racket-lang.org

Get yours at con.racket-lang.org - remote and in-person available.

Hilarious news: racket-lang.org is blocked on the ICFP Conference WiFi 🤣 (thank you for the tip Mike Sperber )

Everyone is welcome to join us on Jitsi Meet for the Racket meet-up: Saturday, 7 September, 2024 at 18:00 UTC Announcement at racket.discourse.group/t/racket-meet-… EVERYONE WELCOME 😁

!!machine only 28 days till RacketCon!

25 DAYS TILL RacketCon con.racket-lang.org To register, [buy a ticket via Eventbrite](eventbrite.com/e/racketcon-20…). If you cannot attend in-person, there is an option on Eventbrite for remote participation to support the livestream.