Ooh #racketlang improved its threading game.
Racket v9.0

_posted by Stephen De Gabrielle and John Clements_ We are pleased to announce Racket v9.0 is now available from https://download.racket-lang.org/. **Racket 9.0 is here!** A major release is always exciting and Racket 9.0 is no exception in that it intr...

The official steering committee of the Scheme programming language is calling a vote to replace themselves

Quoting the memo:

The outgoing Steering Committee was elected in 2009 and successfully oversaw the production and ratification of the R7RS small language report until 2013. Unfortunately, during the protracted initial development of the R7RS large language after that, it fell dormant.

The current Scheme Working Group resolved in September 2025 to ask the Steering Commitee for a new election because it felt that after such long dormancy the outgoing Steering Committee was no longer able, as a group, to make and implement decisions effectively.

The Scheme standardization process charter says, ‘The Steering Committee itself shall establish procedures for replacing its members.’ The outgoing Steering Committee unanimously decided to delegate this task to the current Working Group. The Working Group has very closely modelled the procedure to be used this time on the procedure used last time.

The Working Group has written a statement to candidates and voters explaining what it hopes for in a new steering committee.

Lobste.rs thread

#tech #software #Scheme #SchemeLang #ProgrammingLanguage #R7RS #R7RSLarge #Lisp #FunctionalProgramming #Guile #GuileScheme #ChezScheme #ChickenScheme #GambitScheme #RacketLang #Racket

🎉 Two new SDKs to announce for our geocoding API: OCaml and Racket both written by our friend Rome Stone 🙌

Blog post: https://blog.opencagedata.com/post/ocaml-and-racketlang-sdks-for-the-opencage-geocoding-api

and with that we now have more than 40 different SDKs for you to chose from to make your geocoding as simple as possible. See the full list:
https://opencagedata.com/sdks

#ocaml #racketlang

Racket v8.18

http://blog.racket-lang.org/2025/08/racket-v8-18.html

posted by Stephen De Gabrielle We are pleased to announce Racket v8.18 is now available from https://download.racket-lang.org/. As of this release: The racket-lang.org website no longer distributes Racket BC bundles, but it includes...

#racketlang #lisp @racketlang !racket@lemmy.ml @racket

Racket v8.18

_posted by Stephen De Gabrielle_ We are pleased to announce Racket v8.18 is now available from https://download.racket-lang.org/. As of this release:: The racket-lang.org website no longer distributes Racket BC bundles, but it includes pre-built bundl...

Racket v8.17

http://blog.racket-lang.org/2025/05/racket-v8-17.html

posted by Stephen De Gabrielle We are pleased to announce Racket v8.17 is now available from https://download.racket-lang.org/. As of this release: The new drracket-core package provides a version of drracket with a smaller set of...

#racketlang #lisp @racketlang !racket@lemmy.ml @racket

Racket v8.17

_posted by Stephen De Gabrielle_ We are pleased to announce Racket v8.17 is now available from https://download.racket-lang.org/. As of this release:: The new `drracket-core` package provides a version of drracket with a smaller set of dependencies. T...

Racket - the Language-Oriented Programming Language - version 8.17 is now available from https://download.racket-lang.org
See https://blog.racket-lang.org/2025/05/racket-v8-17.html for the release announcement and highlights.
#lisp #racketlang #scheme
Download Racket

If you have an idea for a presentation you’d like to give at RacketCon 2025, please write to the RacketCon organizers for consideration. All Racket-y ideas are welcome. We’d love to have you!
https://con.racket-lang.org/
#RacketLang #RacketLisp
(fifteenth RacketCon)

Readings shared April 15, 2025

The readings shared in Bluesky on 15 April 2025 are Simplified and verified: A second look at a proof-producing union-find algorithm. ~ Lukas Stevens, Rebecca Ghidini. #ITP #IsabelleHOL First-order r

Vestigium
Decomposing factorial of 300K as the product of 300K factors larger than 100K. ~ Gustavo. https://gus-massa.blogspot.com/2025/04/decomposing-factorial-of-300k-as.html #Programming #RacketLang #FunctionalProgramming #Math
Decomposing factorial of 300K as the product of 300K factors larger than 100K

A few days ago, Terence Tao proposed a challenge to decompose the 300K! as the product of 300K factors larger than 100K . A smaller example ...