### Stuff that keeps me up at night

- Programming Language Theory
- Compilers and Theory of Computation
- Type Theory
- Category Theory
- Formal Logic
- Haskell, Rust, and marrying the two with better FFI integration.

### Research papers and Blog posts I really like

- Trees That Grow
- Data Types A La Carte
- The Algebra (and Calculus!) of Algebraic Data Types
- Zippers as Derivatives
- A Very General Method of Computing Shortest Paths (about the Gauss-Jordan-Floyd-Warshall-McNaughton-Yamada algorithm)
- A Program to Solve Sudoku
- Darts Dice and Coins: Sampling from a Discrete Distribution
- The Two Dualities of Computation: Negative and Fractional Types (amazing concept; unpublished as it never got fully working)
- Someday I will understand this… (find n missing numbers of a sequence)