Racket

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

pyffi - Use Python from Racket "The library pyffi makes it possible to use Python libraries from Racket." "a Racket program can call Python function and invoke Python methods" pyffi-team.github.io/pyffi/ For examples with comments, see: github.com/pyffi-team/pyf… #Racket #python

It's now official: (sixteenth RacketCon) really will be in Oakland, CA on October 3-4 (Sat-Sun).

Qi meet-up today/tonight > An embeddable, general-purpose language to allow convenient framing of programming logic in terms of functional flows. A flow is a function from inputs to outputs, and Qi provides compact notation for describing complex flows. discord.gg/m47WxaXNuy

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

I have an hour-long video that laboriously works out and discusses various encodings into the lambda calculus (video): youtube.com/watch?v=EjNalq… (notes): kmicinski.com/cis352-s26/chu…

UK Racket meet-up tonight! Tuesday 21 April 7:30pm at The City Pride 🍕28 Farringdon Ln, London EC1R 3AU Join us for discussion and pizza. All welcome.

Racket meet-up: Saturday, 2 May 2026 at 18:00 UTC EVERYONE WELCOME 😁 Announcement, Jitsi Meet link & discussion at racket.discourse.group/t/racket-meet-… #lisp #scheme #Racket #functionalprogramming #metaprogramming

@ShriramKMurthi @mpeytonjones @_julesh_ @spdegabrielle Next meet-up is rapidly approaching - discussion of FP (and Haskell) is welcome. x.com/racketlang/sta…

(Alt text for gif: ‘Would you like to know more’ from satirical film starship troopers)

OH: Rhombus now has an FFI for direct use of C-based foreign libraries... Would you like to know more? Join us in #rhombus on the Racket Discord: discord.gg/QYwmjgQmAS

@mpeytonjones @_julesh_ Meanwhile @spdegabrielle has kept the London @racketlang one going… (I nearly attended it, too, in Feb.)

Are there *really* no FP meetups in London? I find this hard to believe, but we can't find anything...

UK Racket meet-up: London Tuesday 21 April 7:30pm at The City Pride 🍕 28 Farringdon Ln, London EC1R 3AU Join us for discussion and pizza. All welcome. racket.discourse.group/t/uk-racket-me… racket.discourse.group/tag/event/9 luma.com/8zqv0paq eventbrite.com/e/uk-racket-me…

Happy easter!

UK Racket meet-up: London Tuesday 21 April 7:30pm at The City Pride 🍕28 Farringdon Ln, London EC1R 3AU Join us for discussion and pizza. All welcome. racket.discourse.group/tag/event/9 luma.com/8zqv0paq eventbrite.com/e/uk-racket-me…

Happy International Transgender Day of Visibility. Racket has a meet-up on April 4th and everyone is welcome Details at racket.discourse.group/t/racket-meet-…

Ruckus is pretty cool #lisp #ios

Brisbane Functional Programming Group #BFPG Hack Day is back on Saturday March 28th at UQ. Come learn, share, and shave your yak! luma.com/uu28az9h #FP #Haskell #OCaml #Idris #Gleam #Lean #Scala #Erlang #Elixir #FSharp #Clojure #Lisp #Agda #Rocq #Rust #Scheme #Racket

Join us! All welcome

@samth @racketlang How does ai handle racket?

racket-nonogram now supports automatically generating “mega nonogram” puzzles from standard puzzles