Math on stau.space

Eq

sona@stau.space (Sona Tau Estrada Rivera) — Tue, 21 Jul 2026 14:11:58 -0400

First, I’d like to start with a quick sentence a friend said a really long time ago while we were taking Calculus I:

A set is just its cardinality.

At first, my reaction was to dismiss that as nonsense. I mean, look at these sets: $\{1\}$, $\{2\}$. They look very different to me, but their cardinality is the same. You mean to tell me that I can uniquely identify sets by their cardinality? I’ll cut the sarcasm now; yes you can do that identification and it’s actually not that crazy.

A Monad Is Not A Burrito

sona@stau.space (Sona Tau Estrada Rivera) — Sat, 21 Dec 2024 10:34:47 -0400

Repeat after me:

A monad is NOT a burrito.

A monad is NOT a taco.

A monad is NOT a wrapper.

Algorithms

sona@stau.space (Sona Tau Estrada Rivera) — Sun, 08 Dec 2024 20:18:33 -0400

So it was a fine summer morning. Our research team was about to start our project “Counting Arithmetical Structures on Cycles with a Doubled Edge”. From the description of the project it is immediately obvious that this kind of counting can be done by brute force, and me being the only computer scientist in my group of mathematicians I start coding up a couple algorithms for this.

Zig CTFP

sona@stau.space (Sona Tau Estrada Rivera) — Wed, 07 Aug 2024 11:38:20 -0400

Let this blog post be living proof that Zig is in fact also a functional programming language.

Hare Rope

sona@stau.space (Sona Tau Estrada Rivera) — Mon, 27 May 2024 21:10:02 -0400

A Rope is a data structure that manages an ordered set of characters. Just like a string!

Fractal Renderer

sona@stau.space (Sona Tau Estrada Rivera) — Fri, 24 Nov 2023 21:28:33 -0400

Mandelbrot fractal research repo

We Lost the ICPC Regionals

sona@stau.space (Sona Tau Estrada Rivera) — Sat, 21 Oct 2023 22:00:00 -0400