Now
What I'm currently up to
Last updated: 2026-06-19. Inspired by nownownow.com.
Research
Working on optimizing algorithms for counting Costas Arrays for multiple orders. Also working on generalizing multidimensional definitions with Category Theory.
Not so academically, writing and rambling about metamathematics.
Writing
Working on several posts in draft:
- the category-theoretic view of attention
- Costas arrays
- a formalization of Mathematics in toki multidimensional
- maintaining my mathematics zettelkasten.
Learning
Picking up more formal verification tooling and digging deeper into BQN for recreational programming.