Interaction Nets
Lambda Calculus
- normalization 2025.04.25
Program Synthesis
Learning Boolean Circuits
- learning wirings 2025.03.23
Math
Functions
- introduction 2018.07.17
- reverse 2018.07.17
- sorting 2018.07.31
- look and say 2018.09.18
Programming
NixOS
- cuda dev environment 2024.07.23
- diy suzyqable 2023.07.13
myth-lang
- introduction 2019.03.15
- lexer and parser 2019.03.15
- mutability 2019.04.03
Mollusk
- prelude 2018.07.18
idk-lang
- introduction 2018.07.12
- operators 2018.07.18
- forms 2018.07.18
Life
Amsterdam
- rain jacket 2024.08.08
Oksvb
- bl ywih jlmzj lz 2024.03.15
Hawaii
NYC
- how am i still writing about this? 2023.05.09
- spacing out 2023.05.13
Japan
- an intern's apology 2023.04.19
Random
Thought Experiments
- free lunch 2018.09.19