Racket
@racketlang
Official Twitter account for the Racket programming language. Please ask questions at http://racket.discourse.group or http://discord.gg/6Zq8sH5
You might like
Cloudflare blog post about using racket + rosette: "How we prevent conflicts in authoritative DNS configuration using formal verification" describes using racket + rosette for formal verification of cloudflare configurations. buff.ly/4hVvYcN
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
'A Match-Like DSL for Deep Immutable Updates' with Mike Delmonaco is about to start at con.racket-lang.org
'Compositional Object Oriented Prototypes' with François-René Rideau has just started at RacketCon view at con.racket-lang.org
'How Cloudflare Uses Racket and Rosette to Verify DNS Changes' has started RacketCon Watch at con.racket-lang.org #cloudflare #rosettelang
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 eventbrite.com/e/racketcon-20…
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-meet-…
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-meet-…
Built-Package Catalog The package-build service archives the most recently built form of each package at pkg-build.racket-lang.org/server/built/c… Built packages can install much faster than the original source packages! pkg-build.racket-lang.org/about.html
RacketCon is on Saturday! con.racket-lang.org Please consider supporting with an remote participant ticket ($10): eventbrite.com/e/racketcon-20… The livestream is expensive and is how a significant proportion who can't attend in person participate in RacketCon.
10 days to RacketCon See the programme and register at con.racket-lang.org racket.discourse.group/t/fifteenth-ra…
12 days to RacketCon Join us to learn about miniDusa: An Extensible Finite-Choice Logic Programming Language Presentation details at con.racket-lang.org RacketCon is 4-5 October at UMass Boston and online. Register now.
12 days to RacketCon Join us to learn about Roulette - a new discrete probabilistic programming language that combines high-performance exact inference with expressive language features Presentation details at con.racket-lang.org RacketCon is 4-5 Oct Boston and online.
Racket 8.18 is now available as a snap: fosstodon.org/@zygoon/115237… Thank you @zygoon
United States Trends
- 1. phil 97.6K posts
- 2. phan 83K posts
- 3. Falcons 16.9K posts
- 4. Bills 86.5K posts
- 5. Jorge Polanco 6,904 posts
- 6. Columbus 236K posts
- 7. Tyler Allgeier N/A
- 8. Bijan 4,042 posts
- 9. Mitch Garver N/A
- 10. Mike Hughes N/A
- 11. Doug Eddings 1,118 posts
- 12. Josh Allen 6,659 posts
- 13. #DirtyBirds 1,344 posts
- 14. Kincaid 1,826 posts
- 15. Knox 3,275 posts
- 16. Josh Naylor 1,597 posts
- 17. #RiseUp N/A
- 18. Monday Night Football 7,776 posts
- 19. Joe Davis N/A
- 20. Middle East 333K posts
You might like
-
Yaron (Ron) Minsky
@yminsky -
Edward Kmett
@kmett -
David Van Horn
@lambda_calculus -
Erik Meijer
@headinthebox -
Tweag
@tweagio -
Well-Typed
@welltyped -
ICFP Conference
@icfp_conference -
Graham Hutton
@haskellhutt -
Shriram Krishnamurthi (primary: Bluesky)
@ShriramKMurthi -
Conrad Barski
@lisperati -
Neil Mitchell (neildmitchell @🪡)
@ndm_haskell -
Sam Tobin-Hochstadt
@samth
Something went wrong.
Something went wrong.