A Brainfuck Interpreter That Runs in the Typechecker
And finding the first 4 prime numbers in under 9 GB of RAM
Blog
Mostly functional programming and Haskell, with the occasional detour into puzzles, tabletop games and whatever else I’m tinkering with.
And finding the first 4 prime numbers in under 9 GB of RAM
Solving HackerRank problems in the typesystem
An intro to function programming with typescript's types
My tiny vim configuration for whenever I need to hop on a server