|
How Cloudflare Uses Racket and Rosette to Verify DNS Changes
|
|
2
|
113
|
October 25, 2025
|
|
A Multi-Language-Oriented Macro System by Michael Ballantyne at the (fourteenth RacketCon) is now available
|
|
11
|
377
|
March 3, 2025
|
|
Racket Town Hall at the (fourteenth RacketCon) is now available
|
|
0
|
34
|
November 2, 2024
|
|
The State of Racket by Sam Tobin-Hochstadt at the (fourteenth RacketCon) is now available
|
|
0
|
65
|
November 2, 2024
|
|
Mutation Testing Better Than Coverage by Charlie Ray at the (fourteenth RacketCon) is now available
|
|
1
|
48
|
November 2, 2024
|
|
'Racket Syntax: The Great, the Good and the Back to the Drawing Board' by Allan Schougaard at the (fourteenth RacketCon) is now available
|
|
1
|
90
|
November 1, 2024
|
|
Sorted Collections in Rebellion by Jacqueline Firth at the (fourteenth RacketCon) is now available
|
|
0
|
32
|
October 31, 2024
|
|
First class Prompt Engineering with llm lang! (This is a bad idea.) by William Bowman at the (fourteenth RacketCon) is now available
|
|
0
|
87
|
October 30, 2024
|
|
Keynote presentation by Hal Abelson and Gerald Sussman at the fourteenth RacketCon
|
|
5
|
127
|
October 30, 2024
|
|
Type Tailoring Teach an Old Type Checker New Tricks by Ashton Wiersdorf at the (fourteenth RacketCon) is now available
|
|
0
|
24
|
October 29, 2024
|
|
Trouble with Typed Racket? Try Contract Profile! by Nathaniel Hejduk at the (fourteenth RacketCon) is now available
|
|
0
|
27
|
October 28, 2024
|
|
'Frosthaven Manager - Built by the Community' by Ben Knoble at (fourteenth RacketCon)
|
|
6
|
56
|
October 26, 2024
|
|
[Invited Talk] Gregor Kiczales - Strategies and Technology for Teaching HtDP at Scale
|
|
0
|
52
|
October 23, 2024
|
|
Quick intro to using Racket in VSCode
|
|
0
|
627
|
October 23, 2022
|
|
Racket on Twitch!
|
|
14
|
457
|
November 12, 2021
|