Lindsey Kuper: Abstractions for Expressive, Efficient Parallel and Distributed Computing
Vídeos relacionados
1:12:09
State Machine Replication, and Why You Should Care with Doug Patti
1:10:23
"Systems that run forever self-heal and scale" by Joe Armstrong (2013)
1:01:12
What is an Operating System? with Anil Madhavapeddy
57:57
Safe at Any Speed: Building a Performant, Safe, Maintainable Packet Processor
31:23
Concurrency is not Parallelism by Rob Pike
59:27
Programmable Hardware with Andy Ray
59:50
Leslie Lamport: Thinking Above the Code
34:44
Turing Award Winner: Data Abstraction, Dijkstra, Distributed Systems | Barbara Liskov
1:12:58
Why ML Needs a New Programming Language with Chris Lattner
48:54
Adventures in Building Reliable Distributed Systems with Liquid Haskell (FLOPS 2022 keynote talk)
1:06:40
Why OCaml
1:40:36