Interests
Two lists of things I like
The following is a short, non-exhaustive list of topics I currently find interesing; I update this list quite often, as my interests are currently quite dynamic:
- Category Theory
- Automated Theorem Proving
- Computer-assisted Theorem Proving
- Visualization of pretty maths, through:
- illustrations (
TikZ) - animations (I'm learning Manim)
- interactive visualizations (mostly
PyGame)
- illustrations (
- Graph theory
- Computational models of complex systems