https://stau.space/es/Recent content on stau.spaceHugoessona@stau.space (Sona Tau Estrada Rivera)sona@stau.space (Sona Tau Estrada Rivera)Tue, 04 Aug 2026 23:48:33 -0400https://stau.space/es/now/Thu, 18 Jun 2026 00:00:00 +0000sona@stau.space (Sona Tau Estrada Rivera)https://stau.space/es/now/<p><em>Last updated: 2026-06-19. Inspired by <a href="https://nownownow.com">nownownow.com</a>.</em></p> <hr> <h2 id="research">Research</h2> <p>Working on optimizing algorithms for counting Costas Arrays for multiple orders. Also working on generalizing multidimensional definitions with Category Theory.</p> <p>Not so academically, writing and rambling about metamathematics.</p> <h2 id="writing">Writing</h2> <p>Working on several posts in draft:</p> <ul> <li>the category-theoretic view of attention</li> <li>Costas arrays</li> <li>a formalization of Mathematics in toki multidimensional</li> <li>maintaining my <a href="https://mathematik.stau.space">mathematics zettelkasten</a>.</li> </ul> <h2 id="learning">Learning</h2> <p>Picking up more formal verification tooling and digging deeper into BQN for recreational programming.</p>