Type Safety Courses
ChariotSolutions via YouTube Two-Faces of WASM Security
Security BSides San Francisco via YouTube Scala DSLs and Probabilistic Programming
Strange Loop Conference via YouTube Writing Trusted Applications in Rust
Black Hat via YouTube CodeGen with Types, for Humans, by Humans
Strange Loop Conference via YouTube Making Webapps Collaborative with Composable CRDTs
Strange Loop Conference via YouTube Universal Reason
Strange Loop Conference via YouTube Writing Trusted Applications in Rust
Black Hat via YouTube C++11 Metaprogramming Applied to Software Obfuscation
Black Hat via YouTube The Robustness of Go
GOTO Conferences via YouTube