All decks Close
All decks 26

  • Safer APIs with Ghosts of Departed Proofs

    Dec 12, 2019 6,660 14

  • Linguistics

    May 21, 2019 2,789 4

  • Mathematical Structure

    Oct 22, 2018 2,767 2

  • deck

    Jun 10, 2018 2,803 2

  • Composing Compilers

    Mar 06, 2018 898 1

  • Programs Writing Programs

    Feb 09, 2018 2,482 2

  • Secret sharing

    Nov 27, 2017 780 2

  • Functional Reactive Programing

    Nov 21, 2017 2,299 2

  • Verifiable Computing

    Oct 30, 2017 3,422 1

  • DEV

    Sep 20, 2017 2,448 2

  • deck

    Sep 04, 2017 2,442 1

  • Monads

    Mar 28, 2017 2,447 1

  • deck

    Jan 25, 2017 2,372 1

  • APL

    Nov 18, 2016 2,900 1

  • Linux Kernel

    Aug 18, 2016 2,461 3

  • SUBMODULES

    Jul 15, 2016 2,396 1

  • Cellular Automata

    Jul 01, 2016 2,533 1

  • deck

    Jun 17, 2016 2,437 1

  • SHADERS

    Jun 08, 2016 2,478 2

  • deck

    Apr 29, 2016 2,227 2