33:05
Malt: A Deep Learning Framework for Racket - Anurag Mendhekar and Daniel P Friedman - RacketCon 2023
1.3K views • 7 months ago
29:41
#lang Karp: Formulating and Random Testing NP Reductions - Chenhao Zhang - RacketCon 2023
404 views • 7 months ago
32:36
Redeeming Open Source with ABE - Sid Kasivajhula, feat. Michael Ballantyne - RacketCon 2023
477 views • 7 months ago
28:42
Introducing Rackith - Sage Gerard - RacketCon 2023
820 views • 7 months ago
50:35
Racket Town Hall - Racket Management - RacketCon 2023
351 views • 7 months ago
1:00:29
From Here To Lambda And Back Again - Douglas Crockford - RacketCon 2023
3.6K views • 7 months ago
27:49
Crafting Interpreters in Typed Racket - Micah Cantor - RacketCon 2023
1.4K views • 7 months ago
24:53
keyring: Uniformly Access Secrets - Sam Phillips - RacketCon 2023
185 views • 7 months ago
25:20
Data Integrity via Smart Structs - David Storrs - RacketCon 2023
227 views • 7 months ago
33:13
Teaching and Learning Compilers Incrementally - Jeremy Siek - RacketCon 2023
1.5K views • 7 months ago
28:53
Incrementally Developing Support for Racket to Wasm Compilation - Adam Perlin - RacketCon 2023
457 views • 7 months ago
27:48
Mutate: Inject Bugs into Your Programs! - Lukas Lazarek - RacketCon 2023
442 views • 7 months ago
30:16
The State of Racket - Sam Tobin-Hochstadt - RacketCon 2023
956 views • 7 months ago
31:39
Esterel in Racket - Robby Findler - RacketCon 2023
392 views • 7 months ago
39:08
Rhombus: Status Update - Matthew Flatt - RacketCon 2023
1.3K views • 7 months ago
32:40
What Can Beginners Learn from Video Games (twelfth RacketCon)
864 views • 1 year ago
29:01
Metaprograms and Proofs: Macros in Lean 4 (twelfth RacketCon)
2.4K views • 1 year ago
39:32
Racket Town Hall (twelfth RacketCon)
413 views • 1 year ago
29:58
VISr: Visual and Interactive Syntax (twelfth RacketCon)
833 views • 1 year ago
31:51
The State of Racket (twelfth RacketCon)
2.3K views • 1 year ago
1:03:14
The Final Tier is Shed (twelfth RacketCon)
1.4K views • 1 year ago
19:58
Summary of the Summer of Lang (twelfth RacketCon)
250 views • 1 year ago
19:34
Stacker: A runnable notional machine for an HtDP like language (twelfth RacketCon)
401 views • 1 year ago
29:26
Shallow and Optional Types (twelfth RacketCon)
696 views • 1 year ago
30:38
Resyntax: A Macro-Powered Refactoring Tool (twelfth RacketCon)
672 views • 1 year ago
16:38
Forge: Building a Pedagogic Solver Tool in Racket (twelfth RacketCon)
320 views • 1 year ago
29:43
fmt: A Racket code formatter (twelfth RacketCon)
271 views • 1 year ago
28:12
Examplar: Making Hay from Wheat (twelfth RacketCon)
139 views • 1 year ago
30:33
Contracts for protocols (twelfth RacketCon)
379 views • 1 year ago
28:26
Design Recipe Guided Synthesis with Bingus (twelfth RacketCon)
350 views • 1 year ago
Load More