Curry On!
- 46:31
- 5 жыл бұрын
Stefan Marr - Dynamic Languages and Parallelism.
- 1:06:20
- 5 жыл бұрын
Lars Bak - The Making of a Secure and Robust IoT Development Platform
- 41:17
- 5 жыл бұрын
Szymon Kaliski - Walking In The Garden Of Forking Paths
- 23:26
- 5 жыл бұрын
Gargi Sharma - Write your own Container in Rust!
- 39:35
- 5 жыл бұрын
Thomas Ball - The Correct Cloud - Logic and Languages
- 41:29
- 5 жыл бұрын
Sebastian Blessing - Run, actor, run
- 45:32
- 5 жыл бұрын
Philip Wadler - Plutus and Marlowe
- 56:16
- 5 жыл бұрын
Simon Marlow - Glean - facts about code
- 45:31
- 5 жыл бұрын
Adam Welc - No Hands on Deck: Automation @Uber
- 42:01
- 5 жыл бұрын
Richard Millwood - Mental models for critiquing design of interactive development environments
- 1:07:55
- 5 жыл бұрын
Cynthia Solomon - Logo, A Computer Language to Grow With
- 35:40
- 5 жыл бұрын
Simon Danisch - Julia - A Compiler for the Future
- 39:59
- 5 жыл бұрын
Dmitry Petrashko - Gradual typing for Ruby at Scale with Sorbet
- 42:00
- 5 жыл бұрын
Raj Saxena & Chris Ford - Finite-State Machines - All models are wrong but this one is useful
- 46:01
- 5 жыл бұрын
Stephen Kell - Dragging Unix into the 1980s (and beyond?) - liveness and source-level reflection
- 31:15
- 5 жыл бұрын
Christine H. Flood - Checkpointing for Java
- 43:23
- 5 жыл бұрын
Veit Heller - Carp - A Language for the 21st Century
- 40:39
- 5 жыл бұрын
Пікірлер