rs86
joined 2/2/17, 9:50 PM has 186 karma
- Ask HN: Python Weekly Newsletters?
by rs86 on 3/29/20, 8:13 PM, with comments
- Philip Wadler talk on why people use FP
by rs86 on 3/13/20, 1:25 PM, with comments
- A very simple example of verification in Idris
by rs86 on 11/28/18, 5:45 PM, with comments
- Lessons learned building a toy compiler (2017)
by rs86 on 10/4/18, 2:55 AM, with comments
- Compiling Lambda Calculus
by rs86 on 10/4/18, 2:53 AM, with comments