Simply Typed
cv
personal
projects
blog
tags
archive
Blog
9th September 2023
Generating Fractal-Like Sequences using Convolution Grammars
theory
math
fractals
tcs
Read more
→
28th July 2023
Generating Orthogonal Set Partitions
theory
math
sets
partitions
combinatorics
Read more
→
15th July 2023
How to Stop Being a Couch Potato
personal
health
fitness
Read more
→
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
→
←
Prev
3 of 5
Next
→