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