Simply Typed
cv
personal
projects
blog
tags
archive
Blog
14th July 2023
Goodbye Hakyll / Haskell, hello Zola / Rust!
tools
programming
Read more
→
7th December 2021
From Metaphysics via Self-Dual Hypergraphs to Non-Well-Founded Set Theory
theory
math
graphs
Read more
→
7th March 2021
Experience Report: Doing a PhD in Theoretical Computer Science
personal
essay
academia
Read more
→
20th September 2020
Topology and Geometry of Biconnected Polyhexes
theory
math
geometry
tilings
Read more
→
13th September 2020
Designing the Advaya and Atreya Tile Sets
math
creative
games
Read more
→
←
Prev
4 of 5
Next
→