Тёмный
Racket
Racket
Racket
Подписаться
#lang Karp: Formulating and Random Testing NP Reductions - Chenhao Zhang - RacketCon 2023
29:41
#lang Karp: Formulating and Random Testing NP Reductions - Chenhao Zhang - RacketCon 2023
9 месяцев назад
Redeeming Open Source with ABE - Sid Kasivajhula, feat. Michael Ballantyne - RacketCon 2023
32:36
Redeeming Open Source with ABE - Sid Kasivajhula, feat. Michael Ballantyne - RacketCon 2023
9 месяцев назад
Introducing Rackith - Sage Gerard - RacketCon 2023
28:42
Introducing Rackith - Sage Gerard - RacketCon 2023
9 месяцев назад
Racket Town Hall - Racket Management - RacketCon 2023
50:35
Racket Town Hall - Racket Management - RacketCon 2023
9 месяцев назад
From Here To Lambda And Back Again - Douglas Crockford - RacketCon 2023
1:00:29
From Here To Lambda And Back Again - Douglas Crockford - RacketCon 2023
9 месяцев назад
Crafting Interpreters in Typed Racket - Micah Cantor - RacketCon 2023
27:49
Crafting Interpreters in Typed Racket - Micah Cantor - RacketCon 2023
9 месяцев назад
keyring: Uniformly Access Secrets - Sam Phillips - RacketCon 2023
24:53
keyring: Uniformly Access Secrets - Sam Phillips - RacketCon 2023
9 месяцев назад
Data Integrity via Smart Structs - David Storrs - RacketCon 2023
25:20
Data Integrity via Smart Structs - David Storrs - RacketCon 2023
9 месяцев назад
Teaching and Learning Compilers Incrementally - Jeremy Siek - RacketCon 2023
33:13
Teaching and Learning Compilers Incrementally - Jeremy Siek - RacketCon 2023
9 месяцев назад
Incrementally Developing Support for Racket to Wasm Compilation - Adam Perlin - RacketCon 2023
28:53
Incrementally Developing Support for Racket to Wasm Compilation - Adam Perlin - RacketCon 2023
9 месяцев назад
Mutate: Inject Bugs into Your Programs! - Lukas Lazarek - RacketCon 2023
27:48
Mutate: Inject Bugs into Your Programs! - Lukas Lazarek - RacketCon 2023
9 месяцев назад
The State of Racket - Sam Tobin-Hochstadt - RacketCon 2023
30:16
The State of Racket - Sam Tobin-Hochstadt - RacketCon 2023
9 месяцев назад
Esterel in Racket - Robby Findler - RacketCon 2023
31:39
Esterel in Racket - Robby Findler - RacketCon 2023
9 месяцев назад
Rhombus: Status Update - Matthew Flatt - RacketCon 2023
39:08
Rhombus: Status Update - Matthew Flatt - RacketCon 2023
9 месяцев назад
What Can Beginners Learn from Video Games (twelfth RacketCon)
32:40
What Can Beginners Learn from Video Games (twelfth RacketCon)
Год назад
Metaprograms and Proofs: Macros in Lean 4 (twelfth RacketCon)
29:01
Metaprograms and Proofs: Macros in Lean 4 (twelfth RacketCon)
Год назад
Racket Town Hall (twelfth RacketCon)
39:32
Racket Town Hall (twelfth RacketCon)
Год назад
VISr: Visual and Interactive Syntax (twelfth RacketCon)
29:58
VISr: Visual and Interactive Syntax (twelfth RacketCon)
Год назад
The State of Racket (twelfth RacketCon)
31:51
The State of Racket (twelfth RacketCon)
Год назад
The Final Tier is Shed (twelfth RacketCon)
1:03:14
The Final Tier is Shed (twelfth RacketCon)
Год назад
Summary of the Summer of Lang (twelfth RacketCon)
19:58
Summary of the Summer of Lang (twelfth RacketCon)
Год назад
Stacker: A runnable notional machine for an HtDP like language (twelfth RacketCon)
19:34
Stacker: A runnable notional machine for an HtDP like language (twelfth RacketCon)
Год назад
Shallow and Optional Types (twelfth RacketCon)
29:26
Shallow and Optional Types (twelfth RacketCon)
Год назад
Resyntax: A Macro-Powered Refactoring Tool (twelfth RacketCon)
30:38
Resyntax: A Macro-Powered Refactoring Tool (twelfth RacketCon)
Год назад
Forge: Building a Pedagogic Solver Tool in Racket (twelfth RacketCon)
16:38
Forge: Building a Pedagogic Solver Tool in Racket (twelfth RacketCon)
Год назад
fmt: A Racket code formatter (twelfth RacketCon)
29:43
fmt: A Racket code formatter (twelfth RacketCon)
Год назад
Examplar: Making Hay from Wheat (twelfth RacketCon)
28:12
Examplar: Making Hay from Wheat (twelfth RacketCon)
Год назад
Contracts for protocols (twelfth RacketCon)
30:33
Contracts for protocols (twelfth RacketCon)
Год назад
Design Recipe Guided Synthesis with Bingus (twelfth RacketCon)
28:26
Design Recipe Guided Synthesis with Bingus (twelfth RacketCon)
Год назад
Комментарии