• Safer APIs with Ghosts of Departed Proofs

  • Linguistics

  • Mathematical Structure

  • deck

  • Composing Compilers

  • Programs Writing Programs

  • Secret sharing

  • Functional Reactive Programing

  • Verifiable Computing

  • DEV

  • deck

  • Monads

  • deck

  • APL

  • Linux Kernel

  • SUBMODULES

  • Cellular Automata

  • deck

  • SHADERS

  • deck

  • Rust

  • Rust

  • Haskell

  • Haskell

  • Haskell

  • Go