Sign in

Sona

@stau.space
171 followers 649 following 688 posts

¡Buenas! 🇵🇷 * 🏳️‍⚧️ Pronouns: she/her/ella Website: stau.space Me in other places: linkat.blue/stau.space Oil-cooler inlet pipe for 2009 Nissan Altima

PostsRepliesMedia
Sona @stau.space · 18/09/2026
too many bangers to pick from
YouTube home page showing recommended videos:
- om - RBF Syndrome (as a music mix)
- watazumi doso roshi - shingetsu
- Paulinho Nogueira - O Fino do Violao
- MiliSen - Under the Crown
- Kenichiro Soda - Pliocene Beach
- om  - Blusher (as a music mix)
- googifloop - THIS SONG IS AI GENERATED (as a music mix)
- fruitcake - fruitcake
010
Sona @stau.space · 17/09/2026
Just read the most beautiful poem I have ever read and now I am crying in a parking lot rethinking my entire life and choices that have led up to this moment. Thank you for your kind words Joanna Macy
I have a swing in the backyard. It's a rope swing. It sits like a hanging chair. There are two of them. So when both of you come to visit me, you can sit in the swing beside me and we can gently rock as we talk — and we will talk — about the beautiful effervescence of life and how everything is always in motion and the sun is sinking in the light and the shadows are changing and we are like water flowing.

–Joanna Macy
010
Sona @stau.space · 07/09/2026
I connected Rocksky to my ListenBrainz and also connected ListenBrainz to my Navidrome so that when I listen to songs through my Navidrome TUI they automatically show up in my repo.
Navidrome music player interface showing album art on the left for "Journey to the Rabbit Moon Base" by WangleLine, featuring an anime-style illustration of a character with pink and purple neon colors. On the right, a queue of 18 songs is displayed in magenta text on black background, with the currently playing track "Kissing Ancaps" by WangleLine, Mit.Chi highlighted at the bottom. The player shows 0:34 elapsed time of 2:09 total duration.Navidrome - Personal settings page with dark theme. Left sidebar shows navigation menu. Main panel displays settings: Theme set to Cappuccino Macchiato, Language set to English, Default View set to Recently Added, ReplayGain Mode set to Disabled. Two toggle switches shown: "Scrobble to Last.fm" (enabled) and "Scrobble to ListenBrainz" (enabled).Inspect listen modal displaying JSON data for a music scrobble:

{
"inserted_at": 1788522894,
"listened_at": 1788522893,
"recording_msid": "1782437e-8846-450e-88ae-e763f73ed704",
"track_metadata": {
"additional_info": {
"artist_mbids": [],
"artist_names": [
"WangleLine, Mit.Chi"
],
"duration_ms": 129140,
"recording_msid": "1782437e-8846-450e-88ae-e763f73ed704",
"submission_client": "navidrome",
"submission_client_version": "0.62.0 (v0.62.0)",
"tracknumber": 1
},
"artist_name": "WangleLine, Mit.Chi",
"release_name": "Journey to the Rabbit Moon Base",
"track_name": "Journey To The Rabbit Moon Base"
},
"user_name": "envelope"
}

Modal has Copy and Close buttons at bottom.PDSLs profile page showing a Rocksky scrobble record. Server: leccinum.us-west.host.bsky.network.
User: stau.space (did:plc:6n2nqs7zpcpwxz3jaoxj56tu).
App: app.rocksky.scrobble.
Record ID: 3muovsoxrwd22, created 2026-09-04 07:55:19. 

Record tab active displaying:
mbid: "a97628eb-0e20-497e-aafc-32d89bef5846",
tags: [ ],
$type: "app.rocksky.scrobble",
album: "Journey to the Rabbit Moon Base",
title: "Journey To The Rabbit Moon Base",
artist: "WangleLine, Mit.Chi",
artists: [#0: mbid: "dd538369-eb3d-45e4-9ec6-b4762b098ffe", name: "WangleLine"],
duration: 129140,
createdAt: "2026-09-04T11:54:53.000Z",
discNumber: 1,
albumArtUrl: "https://lastfm.freetls.fastly.net/i/u/300x300/2a96cbd8b46e442fc41c2b86b821562f.png",
albumArtist: "WangleLine, Mit.Chi",
trackNumber: 1
020
Sona @stau.space · 07/09/2026
I officially have 50% of C code in my "random projects" repo
 Language     Files      Lines       Code  Comments   Blanks  Code %
 C              273  1,819,007  1,791,729    14,350   12,928   50.0%
 HTML        24,162  1,126,671  1,105,857       122   20,692   30.9%
 Erlang       1,212    272,552    243,202       505   28,845    6.8%
 Python         753    284,984    190,906    62,954   31,124    5.3%
 JavaScript   3,826    154,473    107,363    35,809   11,301    3.0%
 Elixir         163     63,835     48,621     2,050   13,164    1.4%
 C++            312     29,259     19,904     5,089    4,266    0.6%
 Markdown       411     22,629     17,530         0    5,099    0.5%
 JSON            38      9,093      9,091         0        2    0.3%
 Go              19     12,412      8,676     2,518    1,218    0.2%
 CSS             80     10,379      8,527       507    1,345    0.2%
 TOML           125      6,945      6,072       395      478    0.2%
 Assembly         9      3,392      3,348         0       44    0.1%
 XML             84      2,971      2,956         3       12    0.1%
 Rust            54      3,752      2,885       468      399    0.1%
 Nix             91      3,093      2,402       422      269    0.1%
 Haskell         58      3,428      2,222       460      746    0.1%
 Shell           63      2,389      1,788       214      387    0.0%
 Makefile       119      2,632      1,736       199      697    0.0%
 YAML             6      1,771      1,599        66      106    0.0%
 OCaml           27      1,760      1,530        92      138    0.0%
 Zig             32      2,222      1,472       439      311    0.0%
 Perl            13      1,953      1,417       286      250    0.0%
 SCSS             2        551        474         0       77    0.0%
 R                7        425        249        69      107    0.0%
 PowerShell       1        247        108       106       33    0.0%
 Fish             1         69         42        14       13    0.0%
 Total       31,950  3,842,980  3,581,782   127,137  134,061  100.0%
000
Sona @stau.space · 07/09/2026
lowkey this:
Lemma 5.1. Gal(K / QQ) ∼ (ZZ / mZZ)^×.
Proof. Ask a toddler on the street. QED
010
Sona @stau.space · 29/08/2026
Oh cool, I was called a "piece of garbage" from a "vomit-party" by the Neovim developer. I'm glad I started switching to Emacs... This is no way to treat your users. Specially so when they're calling out a literal white supremacist on your front page: github.com/neovim/neovi...
GitHub issue thread DHH #501 (Closed). Comment from aris-mav 19h ago: "#504 has been merged, so I guess the matter is more or less resolved" with 1 reaction. Comment from justinmk (Developer) 19h ago: "You all have embarrassed and shamed yourselves. Most of you aren't Neovim users, but a drive-by mob, swirling from one mindless vomit-party to another, like the pacific garbage patch." Issue closed as completed 19h ago by justinmk. Neovim locked as spam and limited conversation to collaborators 19h ago.
1182
Sona @stau.space · 24/08/2026
You can see the embed on the PDS
These projects were succesful in the past without DHHs money, they would in the future as well
010
Sona @stau.space · 18/08/2026
This is anecdotal so take it with a grain of salt but I've personally never been able to figure out how to install packages in Haskell. It's also the only PL I use with which I have to visit a flow-chart to decide how to even set up the project: nixos.wiki/wiki/File:Ha...
flow-chart describing how to choose how to setup a Haskell project:

I need nix tools (caching, reproducibility, packaging, ...):
- yes: I want reproducibility:
    - yes: Cabal
    - no: Stack
- no: Multiple sub-projects:
    - yes: developPackage
    - no: Complex project with heterogenous team:
        - yes: shellFor
        - no: haskell.nix
010
Sona @stau.space · 17/08/2026
> Dang, this has been on the top of the @atstore.fyi for a while now, let me try it out immediately upon logging in: > No, thank you. . .
mu.social banner asking me to confirm my age
100
Sona @stau.space · 17/08/2026
I practiced drawing some hands today, kinda proud of these last two. - 10 poses, 30s - 5 poses, 1m - 2 poses 5m - 1 pose, 10m - 1 pose, 25m
Open sketchbook showing two pages of rough pencil sketches. Left page contains loose gesture drawings of hands. In order from top to bottom and left to right: a fist pointing up, a fist pointed at the viewer, a sideways fist, a handon its side with its palming facing the viewer, and a large fist coming at the viewer. Right page features various anatomical studies below, including detailed drawings of hands. All sketches are done with a cheap BIC pen with loose, exploratory linework typical of figure drawing practice studies.Open sketchbook showing two pages of pencil sketches. Left page contains loose gesture drawings of hands stirring a small cup with a spoon and a small hand with its palm facing away from the viewer with many thumbs drawn on it. Right page displays multiple hand studies in various positions and angles, including hands holding or manipulating objects, with more detailed shading on some sketches.Two pages of pencil sketches showing hand studies from different angles. Left page depicts a closed fist viewed from above with detailed shading and line work showing the knuckles and fingers. Right page shows an open hand with fingers extended, drawn from a side angle with careful attention to the palm, fingers, and anatomical structure. Both sketches are preliminary drawings with construction lines visible.
120
Sona @stau.space · 15/08/2026
I think I might start using black tea as a preworkout
A ceramic cup with horizontal striped pattern in gray and white tones sits on a wooden slatted table. The cup contains dark liquid, oolong tea. To the right is a black decorative candle holder with fan or shell-like cutout patterns. Blurred green grass and outdoor setting visible in background.
000
Sona @stau.space · 15/08/2026
if you see this, we implore you to post a picture from whatever device you're using without explanation
A picture of me barefoot, grabbing the break pedal using my toes.
010
Sona @stau.space · 12/08/2026
Oh my god it can!! This is so awesome I love this
A square commutative diagram showing four objects: hom(I, X), hom(I, Y), hom(J, X) and hom(J, Y) and two natural transformations f^\sharp_(-) : hom(-, X) -> hom(-, Y) and h^\flat_(-) : hom(I, -) -> hom(J, -) with components at objects I, J, X, Y.
1213
Sona @stau.space · 12/08/2026
it seems to love groupoids even though I've only talked about those in standard.site records, cool that it searches through those too
110
Sona @stau.space · 12/08/2026
This is exactly how vibe coding feels like: a fugue state
Dissociative fugue (/fjuːɡ/ FYOOG), previously referred to as a fugue state or psychogenic fugue, is a rare psychiatric condition characterized by reversible amnesia regarding one's identity, often accompanied by unexpected travel or wandering. In some cases, individuals may assume a new identity and be unable to recall personal information from before the onset of symptoms. It is classified as a mental and behavioral disorder and is variously categorized as a dissociative disorder, a conversion disorder, or a somatic symptom disorder. According to the Diagnostic and Statistical Manual of Mental Disorders (DSM-5), dissociative fugue is a subset of dissociative amnesia.
100
Sona @stau.space · 03/08/2026
I was a bit shocked a couple months ago when reading "La Moral Social" by Betances and seeing how there were so many very sentences. To the point where sometimes he would just make a single sentence the paragraph.
Page 48 from "La Moral Social" by Betances. Showing a life of examples of historical cases when: the sense of justice was more satisfying than the truth.

Ni aun el placer de la verdad es tan intenso ■como el placer de la justicia. Cuando los chinos sucumben, por no ceder á la injusticia de Fran■cia é Inglaterra coaligadas contra ellos; cuando Arabi-Bey personifica contra fuerzas y poderes superiores el derecho de una raza; cuando el Zulú se irgue con toda la fiereza del salvaje y defiende con salvaje derecho la posesión del suelo patrio; ■cuando Dinamarca, débi!, no vacila en medir sus ■armas con el más poderoso de los ejércitos disciplinados; cuando Tupac Amarú reivindica en las solitarias altiplanicies de los Andes peruanos el "derecho y el poder de la raza malograda; cuando los natchez prefieren ser exterminados antes que "ceder de su derecho; cuando Colocólo agita, con sublime inspiración del derecho de su pueblo, los brazos mutilados para azuzar á los suyos al combate; cuando Dessalines prefiere deshonrarse con sus crueldades antes C|ue, por blando, dejar en peligro la independencia de los negros; cuando Espartaeo se arma inútilmente contra Roma; cuando los Gracos personifican heroicamente los derechos de la plebe; cuando el judío de Venecia, aun siendo un alma sórdida, llora y maldice la burla hecha á su derecho; cuando el" Dante imagina los tormentos de su infierno para los tiranuelos de Pisa; cuando D. Quijote, en la aventura de los galeotes interpreta, aunque demente, un dereSio superior al derecho escrito; cuando Ercilla se levanta cien codos por encima de su patria y de su tiempo, y engrandece á los vencidos aún á precio de disminuir la grandeza de sus propios compatriotas; cuando en la historia ó la novela, en la
000
Sona @stau.space · 03/08/2026
No shade to this article but is our attention span really so rotted that paragraphs can only be 1 to 2 sentences long?
An article by Euronews describing new legislation that was passed that requires all AI-generated content to be labelled as such. In the article, each paragraph contains 1 sentence.
100
Sona @stau.space · 31/07/2026
Nothing like some melancholy during the evening
@Mexicanowhupazz Life is a beautiful gift. Make friends, eat good food, dance with someone, call your parents and tell them hello. Enjoy the sounds, sights and smells and cherish all the memories you make as you go. I don't know why I felt the need to type this but there you go. Have a wonderful day!
000
Sona @stau.space · 29/07/2026
for example, I had this very peaceful workout, solely lit by moonlight listening to my bangers; now I'm going to sleep in 85° heat in a room with zero breeze
000
Sona @stau.space · 28/07/2026
This is how it looks like
A picture of my e-reader showing the first page of chapter 9 of pushing ice in the Aurebesh font. White text on a black background
010
Sona @stau.space · 28/07/2026
To people who don't like putting punctuation inside the quotation marks, why?
# MLA style punctuation

I think,
$$
	\therefore I \space am.
$$


# Non-MLA style punctuation

I think,
$$
	\therefore I \space am
$$.
000
Sona @stau.space · 24/07/2026
I can't explain how painful it is to condense the past five years of my undergraduate studies into this graph and realize I'm nowhere near done. . .
An Obsidian canvas showing cards and arrows between cards. The cards represent classes that I must take and arrows point to the next class in the sequence that I have to take. Roughly three quarters of all cards are colored green, the rest are pending.
010
Sona @stau.space · 21/07/2026
I also found out how to make BlueSky load embeds for the posts: you basically just add an `associatedRefs` field to each post's entry and use the app.bsky.embed.external lexicon to choose which thumbnail/text you want to use
000
Sona @stau.space · 28/06/2026
Wow that is very well written
“You are a monstrous human being and will go down in history as America’s Reinhard Heydrich, the butcher.

“The way you are protecting the obvious execution in Minnesota, even as we see the videos, will lead to your downfall. Even Trump will turn on you before the end, and you will be a sad, despised man who eats himself alive with shame at your own pathetic weakness.

“You will never know peace. You will seek to lose yourself, to escape the burden of knowing the truth about yourself. But wherever you go, you will find yourself. You will torment yourself until your last day on Earth.”
021
Sona @stau.space · 28/06/2026
this math notation is probably one of the most confusing things you can show an undergrad ever
the pi symbol with a suffix "1"
000
Sona @stau.space · 12/06/2026
This is so CEO-brain-rotted; the state of programming has fallen to a new low... why are the things I build ""product""s? Can I not just build something for myself or for fun? Do I really have to monetize/put on my resumee everything that I do? We've forgotten how to appreciate the things we do.
From: Modern Engineering Values - https://cpojer.net/posts/modern-engineering-values/

Heading: Taste, Taste, Taste

Body: I have a low tolerance for bullshit, and with agents, everyone can generate a lot of bullshit all day long. Please just stop. Good taste is not just about building great products, it’s about what makes it worth spending your time on something in the first place. I recommend engineering teams to spend more time on figuring out what is worth spending time on.
010
Sona @stau.space · 12/06/2026
LOL, people are starting to realize that you really just need product and sum types... Want exceptions in your language? Sum types... Want an error type or an optional type? That's a sum type.
The syntax of ASDL is comprised of 'types'. There are two kinds of types:

- Product Types;
- Sum Types;

Does this remind you of something?
100
Sona @stau.space · 10/06/2026
the indenting in this codebase... they use 1, 2, 3 and 4 space indenting here:
A screenshot of the left-padding space characters used in a codebase. The amount of space characters that are used for indenting are inconsistent almost on every line, showing 1, 2, 3 and 4 different levels of indenting.
010
Sona @stau.space · 07/06/2026
Finally fixed my old laptop !!! There was a short circuit inside the screen that was preventing the whole thing from booting...
A 10 year old HP laptop showing the output of a neofetch command. Important parts: 4GB ram, Arch Linux, 2 cores @ 2GHz
100
Sona @stau.space · 05/06/2026
I've been looking at how to create certain pieces of technology by hand recently and found out what a magnetic core is. This thing looks beautiful
A 32 × 32 core memory plane storing 1024 bits (or 128 bytes) of data. There are small black rings with three wires crossing through them, at the intersections of the grid wires, organised in four squares, are the ferrite cores (little donuts).
000
Sona @stau.space · 05/06/2026
This is what's wrong with C++ /hj
The C++ iso website https://isocpp.org/ FAQ on serialization has the following quote: "stored in some sort of tree-like data structure like std::set."
010
Sona @stau.space · 01/06/2026
happy pride y'all !! <3 🏳️‍⚧️
a picture of yhe nails on my left hand, they were painted using the pattern on the trans flag: blue pink white pink blue, each color per nail
000
Sona @stau.space · 31/05/2026
Huh?? This is really weird because the replies are actually there... It even shows up as a reply to the previous comment (even on my PDS) but bluesky won't show it. Is Bluesky shadowbanning my comment or am I just misunderstanding this...
A picture of some JSON showing the PDS value for the second comment I posted with the "parent" field of the JSON highlighted showing: 3mn4fx4en3cl6.A picture of some JSON showing the PDS value for the first comment I posted with the "uri" field of the JSON highlighted showing: 3mn4fx4en3cl6, the same value as the previous.
110
Sona @stau.space · 25/05/2026
my Galois theory homework got hands (my prof had too much faith in me)
7 abstract algebra exercises related to Galois Theory. The content of the exercises is not important. What's important is that they are too complex for me
010
Sona @stau.space · 16/05/2026
uh oh
A terminial emulator showing the output of ls and rm --help. The ls output shows that there is a file called "--help" and running rm --help will simply output the help page for rm.
000
Sona @stau.space · 04/05/2026
This is one of the prettiest things I've seen in Mathematics in a while... Seems very similar to Dedekind cuts
Notation

In the context of surreal numbers, an ordered pair of sets of surreal numbers, L and R, which is written as (L, R) in many other mathematical contexts, is instead written { L | R } including the extra space adjacent to each brace. When L or R is explicitly described by its elements, the pair of braces that encloses the set of surreal elements is often omitted. When L or R is empty, it is often simply omitted. For example, instead of ({0, 1, 2}, {}), which is common notation in other contexts, we typically write { 0, 1, 2 | }, where 0, 1, and 2 are surreal numbers.
010
Sona @stau.space · 20/04/2026
What are we doing ??? Why would running `lean --help` start a download... I don't know how I keep forgetting Lean is developed by microslop.
A terminal emulator currently running the command `lean --help` with the output being the current status of a download.
111
Sona @stau.space · 21/02/2026
here, have some ragebait
000
Sona @stau.space · 15/02/2026
high bpm psytrance right ear + communist manifesto left ear so I can lock in for 3 presentations and an exam this week
video thumbnail: in a large font "10 Hours" directly below a mannequin with a thick neck. To the left of the mannequin a bible with the text "Right ear | The Bible | (Chinese)" to the right of the mannequin a grand piano with the text "Left ear | Mozart | (2x speed)"A screenshot of two YouTube tabs opened. The left tab shows the Communist Manifesto book, the right tab shows a YouTube playlist with several psytrance songs.
010
Sona @stau.space · 15/02/2026
Hi all. It's been a while since I've last posted! New art and shenanigans updates coming SoonTM.... Enjoy this book-nook I made and my first try at trying to bind a book with a French stitch.
A book nook. To the left of the book nook: a collection of vinyl disks. To the right of the book book: DVD cartridges from left to right: Frieren Part 1 & 2, Seven Samurai, Howl's Moving Castle. The book book itself: shows a miniature rendition of a Japanese ramen shop.A picture of the binding of a white notebook. There are 4 parts to the stitch, the two outer parts have a normal stitch while the two middle parts have the French stitch.
010
Sona @stau.space · 07/01/2026
らくがく #art #blueskyartshow #drums #drumming #pop #kpop
040
Sona @stau.space · 07/01/2026
hand practice (a blob of ink fell and I disguised it as kyubey) #art #blueskyartshow #drawn #hand #hands
A sketchbook's page drawn with red ink of the following:
- top right, a hashed square
- directly below the square, a normal hand
- to the left of that hand, a hand making finger guns pointed directly at the camera
- to the left of that hand, a hand making a peace sign with the palm visible
- below that hand, a hand making a shape as if about to snap its fingers
- to the right of that hand, a right hand looking to the right with its middle finger lighty touching its thumb with all other fingers curled up, kind of like a chef's OK, but with the middle finger instead
- below the previous two hands, a pair of hands, the left hand is touching the base of the right hand with its two middle fingers, the index finger pointing straight up, the right hand is splayed slightly open.
- directly to the right a large slish of red and a drawing of Kyubey from Madoka Magica
030
Sona @stau.space · 07/01/2026
it's been a while #art #blueskyartshow #drawn
A bad drawing of anatomy with a large pair of eyes drawn with muddy ink water over them. The eyes seem to be looking off into the distance, with big eyelashes.A floating piece of land with a tree growing out of it. An attempt at a sumi-e drawing gone wrong. Gusts of wind line the background where a pair of eyes is hiding.An image of Rei from Evangelion looking up, with sadness and despair in her eyes.
020
Sona @stau.space · 07/01/2026
らくがく I made the cover for one of my sketchbooks #art #blueskyartshow #drawn
A paper notebook showing  a cliff with a pond at the bottom, you are standing at the shore of the pond. Waterfalls are seen in several places, rocks and debris around, several plants and many objects are indecipherable. As if not touched by nature.
030
Sona @stau.space · 07/01/2026
sir, this is a Wendy's #art #blueskyartshow #drawn
A person with very lanky fingers pulling their pants down, they are wearing a crop top with apparently no underwear so their midriff is very visible.
010
Sona @stau.space · 07/01/2026
pov: draw #art #blueskyartshow #drawn
A POV perspective drawing of a hand grabbing a mechanical pencil, ready to draw.
010
Sona @stau.space · 07/01/2026
らくがく #art #blueskyartshow #drawn #suisei
A woman (Hoshimachi Suisei) singing into a microphone with so much passion her hair sways violently.
021
Sona @stau.space · 07/01/2026
testing out colors pose came from: fxtwitter.com/Z3zz4/status... #art #drawn #blueskyartshow #hands
A pair of forearms (hands included) grabbing a sheet of paper flying in the wind.
020
Sona @stau.space · 07/01/2026
A zen circle to start the year. #art #calligraphy #zen #ink #blueskyartshow
A Japanese calligraphy artwork made with black ink on purple mulberry paper. The artwork showcases a zen circle
030
Sona @stau.space · 07/01/2026
I recently learned about this word recently. Now I'm putting it up near my bookshelf next to the books I haven't read, let's see if this motivates me to go through them faster. JP: 積ん読 EN: books bought with the express purpose of not reading them. #art #calligraphy #ink #zen #blueskyartshow
A Japanese calligraphy artwork made with black ink on white washi paper. The calligraphy is: 積ん読
020