-
Safer APIs with Ghosts of Departed Proofs
Dec 12, 2019
4,863
12
-
Linguistics
May 21, 2019
1,881
3
-
Mathematical Structure
Oct 22, 2018
1,875
1
-
deck
Jun 10, 2018
1,972
2
-
Composing Compilers
Mar 06, 2018
898
1
-
Programs Writing Programs
Feb 09, 2018
1,678
2
-
Secret sharing
Nov 27, 2017
780
2
-
Functional Reactive Programing
Nov 21, 2017
1,596
2
-
Verifiable Computing
Oct 30, 2017
2,585
1
-
DEV
Sep 20, 2017
1,682
1
-
deck
Sep 04, 2017
1,663
1
-
Monads
Mar 28, 2017
1,643
1
-
deck
Jan 25, 2017
1,628
1
-
APL
Nov 18, 2016
1,907
1
-
Linux Kernel
Aug 18, 2016
1,617
3
-
SUBMODULES
Jul 15, 2016
1,595
1
-
Cellular Automata
Jul 01, 2016
1,618
1
-
deck
Jun 17, 2016
1,648
1
-
SHADERS
Jun 08, 2016
1,703
2
-
deck
Apr 29, 2016
1,578
1
-
Rust
Apr 15, 2016
1,733
2
-
Rust
Apr 01, 2016
1,715
2
-
Haskell
Mar 11, 2016
1,648
1
-
Haskell
Mar 04, 2016
1,622
1
-
Haskell
Feb 26, 2016
1,743
1
-
Go
Feb 19, 2016
1,732
2