Simply Typed
cv
personal
projects
blog
tags
archive
Archive
2024
06 Apr
A Prime Way to Count Edge-Labeled Ordered Trees
27 Mar
Exploring Analog Synth Patching with the Minibrute 2
16 Mar
A Simple and Natural Uncomputable Function
24 Feb
The Tragedy Of Academia: Very Smart People Forced To Do Stupid Things
2023
09 Sep
Generating Fractal-Like Sequences using Convolution Grammars
28 Jul
Generating Orthogonal Set Partitions
15 Jul
How to Stop Being a Couch Potato
14 Jul
Goodbye Hakyll / Haskell, hello Zola / Rust!
2021
07 Dec
From Metaphysics via Self-Dual Hypergraphs to Non-Well-Founded Set Theory
07 Mar
Experience Report: Doing a PhD in Theoretical Computer Science
2020
20 Sep
Topology and Geometry of Biconnected Polyhexes
13 Sep
Designing the Advaya and Atreya Tile Sets
2018
07 Jan
The Existential Maze: Values, Meaning and The Absurd
2016
21 Mar
Lessons I Learned About C
2014
07 Oct
Introduction to the Lambda Calculus
07 Aug
Workplace Ergonomics Matters