Something went wrong. Try again.
Something went wrong. Try again.
12345678<!doctype html><html lang=en-US dir=ltr><head><meta charset=UTF-8><meta name=viewport content="width=device-width,initial-scale=1"><title>Posts — stau.space</title><meta name=description content="These are my blog posts"><meta name=robots content="index, follow"><link rel=canonical href=https://stau.space/posts/><meta itemprop=name content="Posts"><meta itemprop=description content="These are my blog posts"><meta itemprop=dateModified content="2026-08-09T09:05:21-04:00"><meta itemprop=wordCount content="3"><meta itemprop=image content="https://stau.space/favicon.png"><meta itemprop=keywords content="Sona Tau Estrada Rivera"><meta property="og:url" content="https://stau.space/posts/"><meta property="og:site_name" content="stau.space"><meta property="og:title" content="Posts"><meta property="og:description" content="These are my blog posts"><meta property="og:locale" content="en_US"><meta property="og:type" content="website"><meta property="og:image" content="https://stau.space/favicon.png"><meta property="article:author" content="Sona Tau Estrada Rivera"><link rel=alternate type=application/rss+xml href=https://stau.space/posts/index.xml title=stau.space><link rel=me href=https://tangled.org/stau.space><link rel=me href=https://github.com/sona-tau/><link rel=me href=https://bsky.app/profile/stau.space><link rel=me href=mailto:sona@stau.space><link rel=me href=https://sifa.id/p/stau.space><link rel=webmention href=https://webmention.io/stau.space/webmention><link rel=pingback href=https://webmention.io/stau.space/xmlrpc><link rel=preload href=/fonts/DMSans-VariableFont_opsz,wght.woff2 as=font type=font/woff2 crossorigin><link rel=preload href=/fonts/DMSans-Italic-VariableFont_opsz,wght.woff2 as=font type=font/woff2 crossorigin><link rel=preload href=/fonts/Lora-VariableFont_wght.woff2 as=font type=font/woff2 crossorigin><style>@font-face{font-family:dm sans;src:url(/fonts/DMSans-VariableFont_opsz,wght.woff2)format("woff2");font-weight:100 1e3;font-style:normal;font-display:swap}@font-face{font-family:lora;src:url(/fonts/Lora-VariableFont_wght.woff2)format("woff2");font-weight:400 700;font-style:normal;font-display:swap}:root{--accent:#819b69;--fg:#b4bdc3;--bg:#1c1917;--muted:#888f94;--rule:#403833;--gold:#9a874b;--measure:80ch}*,*::before,*::after{box-sizing:border-box}html{color-scheme:dark;background-color:var(--bg);color:var(--fg);font-family:dm sans,system-ui,sans-serif;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}body{margin:0 auto;max-width:var(--measure);padding:2.5rem 1.25rem 4rem;color:var(--fg);background:var(--bg);font-family:dm sans,system-ui,sans-serif;font-size:clamp(.8rem,4vw + 1rem,1.2rem);font-weight:400;line-height:1.6}a{color:inherit;text-decoration:underline;text-decoration-color:var(--rule);text-underline-offset:.15em}h1,h2,h3{font-family:Lora,Georgia,serif;line-height:1.18;font-weight:500;margin:2.5rem 0 .75rem}h1{font-size:clamp(1.875rem,4.5vw + 1.3rem,2.875rem)}h2{font-size:clamp(1.5rem,4vw + 1.2rem,1.875rem)}h3{font-size:clamp(1.25rem,4vw + 1rem,1.5rem)}p,ul,ol{margin:0 0 1rem}ul{list-style:none;padding:0}header nav{display:flex;align-items:center;flex-wrap:wrap;gap:.5rem;padding:0 1rem;font-size:1.2rem;font-weight:500}header nav a:nth-child(2){margin-left:auto}.logo-mark{display:block;width:64px;height:64px;background-color:currentColor;mask-image:url(/favicon.svg);mask-size:contain;mask-repeat:no-repeat}</style><link rel=stylesheet href=/scss/main.min.3f15b5779495f503103fe2e22915560aa58fffece157a7d1265fe26ff8d5a51c.css><link rel=site.standard.publication href=at://did:plc:6n2ngs7zpcpwxz3jaoxj56tu/site.standard.publication/3mo6y7ludvn2h><script src=/js/webmentions.30fa533f8b4bb4f520dd0cf01340cb03272a3ad80af43d6404619a7e866b642c.js integrity="sha256-MPpTP4tLtPUg3QzwE0DLAycqOtgK9D1kBGGafoZrZCw=" crossorigin=anonymous defer></script></head><body><a href=#main>Skip to content</a><header><nav aria-label="Site navigation"><a href=/ aria-label=stau.space><span class=logo-mark></span></a><a href=/posts/>blog</a>· <a href=/art/>art</a>· <a href=/projects/>projects</a></nav><hr></header><main id=main><div class=h-feed><a class="p-author h-card" href=https://stau.space/author/sona-tau-estrada-rivera/ hidden>Sona Tau Estrada Rivera</a><span class=p-name hidden>Posts</span><h1>Posts</h1><p>These are my blog posts<blockquote><p><a href=/posts/index.xml>Blog rss feed</a></blockquote><hr><input type=search id=filter placeholder=Filter… autocomplete=off><br><br><ul class=post-list id=post-list><li class=h-entry><code><time class=dt-published datetime=2026-08-11>2026-08-11</time></code><a class="u-url p-name" href=https://stau.space/posts/func-eq/>Functional equality</a><li class=h-entry><code><time class=dt-published datetime=2026-08-09>2026-08-09</time></code><a class="u-url p-name" href=https://stau.space/posts/ought/>Ought</a><li class=h-entry><code><time class=dt-published datetime=2026-07-21>2026-07-21</time></code><a class="u-url p-name" href=https://stau.space/posts/eq/>Eq</a><li class=h-entry><code><time class=dt-published datetime=2026-07-19>2026-07-19</time></code><a class="u-url p-name" href=https://stau.space/posts/patina/>I Love Patina</a><li class=h-entry><code><time class=dt-published datetime=2026-06-16>2026-06-16</time></code><a class="u-url p-name" href=https://stau.space/posts/perfect-structure/>The best Algebraic Structure</a><li class=h-entry><code><time class=dt-published datetime=2026-05-31>2026-05-31</time></code><a class="u-url p-name" href=https://stau.space/posts/language-semiring/>Language Semiring</a><li class=h-entry><code><time class=dt-published datetime=2026-03-07>2026-03-07</time></code><a class="u-url p-name" href=https://stau.space/posts/exploring/>The Explorer's Trial</a><li class=h-entry><code><time class=dt-published datetime=2026-03-05>2026-03-05</time></code><a class="u-url p-name" href=https://stau.space/posts/the-eight-questions/>The Eight Plain Text Questions</a><li class=h-entry><code><time class=dt-published datetime=2026-01-17>2026-01-17</time></code><a class="u-url p-name" href=https://stau.space/posts/2026-resolution/>2026 New Year's Resolution</a><li class=h-entry><code><time class=dt-published datetime=2025-12-26>2025-12-26</time></code><a class="u-url p-name" href=https://stau.space/posts/frieren-s1/>Frieren: Beyond Journey's End</a><li class=h-entry><code><time class=dt-published datetime=2025-12-21>2025-12-21</time></code><a class="u-url p-name" href=https://stau.space/posts/the-phoenician-scheme/>The Phoenician Scheme Critique</a><li class=h-entry><code><time class=dt-published datetime=2025-11-16>2025-11-16</time></code><a class="u-url p-name" href=https://stau.space/posts/ttps/>Trivial toki pona Substitutions</a><li class=h-entry><code><time class=dt-published datetime=2025-10-04>2025-10-04</time></code><a class="u-url p-name" href=https://stau.space/posts/nasin-toki/>Nasin Toki</a><li class=h-entry><code><time class=dt-published datetime=2025-07-07>2025-07-07</time></code><a class="u-url p-name" href=https://stau.space/posts/hbd/>¡Feliz Cumpleaños Izánder!</a><li class=h-entry><code><time class=dt-published datetime=2025-06-12>2025-06-12</time></code><a class="u-url p-name" href=https://stau.space/posts/tok-style/>nasin toki</a><li class=h-entry><code><time class=dt-published datetime=2025-06-11>2025-06-11</time></code><a class="u-url p-name" href=https://stau.space/posts/tok-mat-faq/>Mathematics in toki pona</a><li class=h-entry><code><time class=dt-published datetime=2025-01-20>2025-01-20</time></code><a class="u-url p-name" href=https://stau.space/posts/kulupu-pini/>toki pi kulupu pini</a><li class=h-entry><code><time class=dt-published datetime=2024-12-21>2024-12-21</time></code><a class="u-url p-name" href=https://stau.space/posts/burritos/>A Monad Is Not A Burrito</a><li class=h-entry><code><time class=dt-published datetime=2024-12-08>2024-12-08</time></code><a class="u-url p-name" href=https://stau.space/posts/algorithms/>Algorithms</a><li class=h-entry><code><time class=dt-published datetime=2024-12-08>2024-12-08</time></code><a class="u-url p-name" href=https://stau.space/posts/stuff/>Translations</a><li class=h-entry><code><time class=dt-published datetime=2024-12-05>2024-12-05</time></code><a class="u-url p-name" href=https://stau.space/posts/aoc-2024-day1/>AOC day 1</a><li class=h-entry><code><time class=dt-published datetime=2024-12-02>2024-12-02</time></code><a class="u-url p-name" href=https://stau.space/posts/tok-mat/>Mathematics in toki pona</a><li class=h-entry><code><time class=dt-published datetime=2024-12-02>2024-12-02</time></code><a class="u-url p-name" href=https://stau.space/posts/aoc-2024-day2/>AOC day 2</a><li class=h-entry><code><time class=dt-published datetime=2024-08-07>2024-08-07</time></code><a class="u-url p-name" href=https://stau.space/posts/zig-ctfp/>Zig CTFP</a><li class=h-entry><code><time class=dt-published datetime=2024-01-01>2024-01-01</time></code><a class="u-url p-name" href=https://stau.space/posts/test-math/>Math test</a><li class=h-entry><code><time class=dt-published datetime=2023-10-21>2023-10-21</time></code><a class="u-url p-name" href=https://stau.space/posts/icpc-regionals/>We Lost the ICPC Regionals</a></ul></div><script>(function(){var e=document.getElementById("filter"),t=Array.from(document.querySelectorAll("#post-list li"));e.addEventListener("input",function(){var e=this.value.toLowerCase();t.forEach(function(t){t.style.display=t.querySelector("a").textContent.toLowerCase().indexOf(e)!==-1?"contents":"none"})})})()</script></main><footer><p class=colophon-line><span class=col-item><svg width="12" height="12" viewBox="0 0 12 12" fill="none" aria-hidden="true"><circle cx="2" cy="10" r="1.5" fill="currentColor"/><path d="M1 6.5c2.985.0 4.5 1.515 4.5 4.5" stroke="currentColor" strokeWidth="1.25" strokeLinecap="round" fill="none"/><path d="M1 2.5c5.247.0 8.5 3.253 8.5 8.5" stroke="currentColor" strokeWidth="1.25" strokeLinecap="round" fill="none"/></svg><a href=https://stau.space/index.xml type=application/rss+xml>RSS</a></span><span class=col-item><svg width="12" height="12" viewBox="0 0 12 12" fill="none" aria-hidden="true"><circle cx="6" cy="6" r="4.5" stroke="currentColor" strokeWidth="1.25" fill="none"/><circle cx="6" cy="6" r="1.5" fill="currentColor"/></svg><a href=https://aecc-uprrp.github.io/webring/>AECC WEBRING</a></span><a href=/privacy>PRIVACY</a><span class=col-item>© 2026 <a href=mailto:sona@stau.space>Sona Tau Estrada Rivera</a></span></footer><script>(function(){var e=["/posts/func-eq/","/posts/ought/","/posts/eq/","/posts/patina/","/posts/perfect-structure/"];if(!e.length)return;function t(){e.forEach(function(e){if(document.querySelector('link[rel="prefetch"][href="'+e+'"]'))return;var t=document.createElement("link");t.rel="prefetch",t.href=e,t.as="document",document.head.appendChild(t)})}"requestIdleCallback"in window?requestIdleCallback(t,{timeout:2e3}):window.addEventListener("load",function(){setTimeout(t,250)},{once:!0})})()</script></body></html>