Galois Tech Talks / Videos
-
Databases are Categories
-
Computers As We Don’t Know Them
-
Building an Open-Source Autonomous Quad-Copter
-
Large-Scale Static Analysis at Mozilla
-
Developing Good Habits for Bare-Metal Programming
-
Haskell and the Social Web
-
Faster persistent data structures through hashing
-
PReach - A Distributed Murphi-Based Model Checker
-
Databases are Categories 2: Refinements and Extensions
-
The Rubinius Virtual Machine
-
Control Flow Graph-guided Exploration in DDT
-
The Strategy Challenge in Computer Algebra
Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels. 