-
Safer APIs with Ghosts of Departed Proofs
Dec 12, 2019
4,725
12
-
Linguistics
May 21, 2019
1,851
3
-
Mathematical Structure
Oct 22, 2018
1,835
1
-
deck
Jun 10, 2018
1,943
2
-
Composing Compilers
Mar 06, 2018
898
1
-
Programs Writing Programs
Feb 09, 2018
1,652
2
-
Secret sharing
Nov 27, 2017
780
2
-
Functional Reactive Programing
Nov 21, 2017
1,565
2
-
Verifiable Computing
Oct 30, 2017
2,559
1
-
DEV
Sep 20, 2017
1,660
1
-
deck
Sep 04, 2017
1,634
1
-
Monads
Mar 28, 2017
1,617
1
-
deck
Jan 25, 2017
1,604
1
-
APL
Nov 18, 2016
1,865
1
-
Linux Kernel
Aug 18, 2016
1,590
3
-
SUBMODULES
Jul 15, 2016
1,565
1
-
Cellular Automata
Jul 01, 2016
1,592
1
-
deck
Jun 17, 2016
1,620
1
-
SHADERS
Jun 08, 2016
1,674
2
-
deck
Apr 29, 2016
1,551
1
-
Rust
Apr 15, 2016
1,705
2
-
Rust
Apr 01, 2016
1,687
2
-
Haskell
Mar 11, 2016
1,620
1
-
Haskell
Mar 04, 2016
1,589
1
-
Haskell
Feb 26, 2016
1,720
1
-
Go
Feb 19, 2016
1,711
2