All decks Close
All decks 26

  • Safer APIs with Ghosts of Departed Proofs

    Dec 12, 2019 2,859 4

  • Linguistics

    May 21, 2019 926 2

  • Mathematical Structure

    Oct 22, 2018 915 0

  • deck

    Jun 10, 2018 993 1

  • Composing Compilers

    Mar 06, 2018 783 0

  • Programs Writing Programs

    Feb 09, 2018 871 1

  • Secret sharing

    Nov 27, 2017 676 1

  • Functional Reactive Programing

    Nov 21, 2017 805 1

  • Verifiable Computing

    Oct 30, 2017 1,637 0

  • DEV

    Sep 20, 2017 893 0

  • deck

    Sep 04, 2017 852 0

  • Monads

    Mar 28, 2017 857 0

  • deck

    Jan 25, 2017 831 0

  • APL

    Nov 18, 2016 944 0

  • Linux Kernel

    Aug 18, 2016 819 2

  • SUBMODULES

    Jul 15, 2016 817 0

  • Cellular Automata

    Jul 01, 2016 813 0

  • deck

    Jun 17, 2016 835 0

  • SHADERS

    Jun 08, 2016 824 1

  • deck

    Apr 29, 2016 804 0

  • Rust

    Apr 15, 2016 919 1

  • Rust

    Apr 01, 2016 857 1

  • Haskell

    Mar 11, 2016 810 0

  • Haskell

    Mar 04, 2016 780 0

  • Haskell

    Feb 26, 2016 909 0

  • Go

    Feb 19, 2016 878 1