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
https://t.co/ByrEOZE66e
Bay Area Racket Meet-up - Saturday June 6, 3pm for people interested in Racket & Lisps, #fp and related topics at Noisebridge hackerspace, SF. Register at https://t.co/a2VRuN2bpR Ann:
https://t.co/D8kwL9vT5m
#racket#lisp#scheme
Racket meet-up: Saturday, 6 June 2026 at 18:00 UTC
EVERYONE WELCOME 😁
Announcement, Jitsi Meet link & discussion at https://t.co/qnpD28Ha3J
#lisp#scheme
Racket - the Language-Oriented Programming Language - version 9.2 is now available from https://t.co/J2xyfrffWD
See https://t.co/vjaBxp6fCI for the release announcement and highlights.
RacketCon 2026: call for participation
The (sixteenth RacketCon) really will be in Oakland, CA on October 3-4 (Sat-Sun).
If you are interested in presenting on want to nominate someone please see
https://t.co/UAOgR2bBYe
Bay Area Racket Meet-up - June 6, 3pm
Social event for people interested in the Racket programming language, other Lisps, functional programming, language-oriented programming and related topics.
RSVP https://t.co/a2VRuN2bpR
Ann: https://t.co/D8kwL9vT5m
UK Racket meet-up: London 7:30pm Tuesday 19 May 2026
at The City Pride 🍕28 Farringdon Ln, London EC1R 3AU
Join us for discussion and pizza. All welcome.
https://t.co/lxkQUi2pTM
https://t.co/Y4PJgwGIlA
https://t.co/5nHdXKjjkN
#racket#lisp#scheme#functionalprogramming
New release of racket-audio
“now also works with ffmpeg as backend and there's no special C-layer necessary anymore. The needed audio libraries are used directly.”
https://t.co/2Z5fo6U5oz
Available now from https://t.co/mZzikaEwf7
RacketCon 2026: call for participation
The (sixteenth RacketCon) really will be in Oakland, CA on October 3-4 (Sat-Sun).
If you are interested in presenting on want to nominate someone please see
https://t.co/UAOgR2bBYe
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"
https://t.co/HacLWUlU30
For examples with comments, see: https://t.co/T1Zuv3rNwp
#Racket#python
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.
https://t.co/URVAZ3TPkp
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
https://t.co/ByrEOZE66e
I have an hour-long video that laboriously works out and discusses various encodings into the lambda calculus (video): https://t.co/DSYlklBPdz (notes): https://t.co/YdxYXH3tzy
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.
https://t.co/WbMGh8pO13
https://t.co/7P68OQ14Wy
https://t.co/c0U6cw4rk8
https://t.co/xn707dz7AI
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: https://t.co/LW6sDCfnWa