Sign in

Sekoia

@sekoia.dev
139 followers 71 following 1.8K posts

Systems programmer girl with a type theory bent I WILL finish something to a level I am satisfied by *someday* I swear WASM, ATProto, PLT, Rust Signal: sekoia.99

PostsRepliesMedia
Sekoia @sekoia.dev · 28/09/2026
Well, here you go. The repost was less than a minute after that quote post, so she posted that "it's a trans account", then immediately boosted (without quoting, or correcting, or ever apologizing for boosting it) a post calling her "a guy".
Tressie McMillan Cotton: "Ah now it's a trans account. Got it. How small can bean be before it is invisible?"

Repost shortly after by Dr. Ew: "Not the point but this guy's jargon "write a memory block or two" is the most obvious attempt to sound like an authority when it's text files. The thing writes down the stuff in a text file."
020 0
Sekoia @sekoia.dev · 26/09/2026
Like cmon wth is this It's so... C++-y. Gimme smth like HTML *please*
A diagram titled "Data Model" showing data flow from Gir Data and GObject Runtime into a "cambalache-db" Python script, which has three sections: Base, Project, and History, with the History section showing table structures and trigger definitions.


It's the data model for cambalache. It's complicated.
000 0
Sekoia @sekoia.dev · 26/09/2026
he looks so tired he's sit-down maths now
A YouTube video thumbnail of stand-up maths resting his chin on his hand, with the large text overlay "DID AI WIN A MILLENNIUM PRIZE?" and the video title "Has a Millennium Prize Problem been solved by AI?".
000 0
Sekoia @sekoia.dev · 23/09/2026
Not a dono, but... x.com/thdxr/status... (you probably saw bsky.app/profile/did:...) the image attached is why I think he's a libertarian-bro type/generally cringe personality-wise (x.com/thdxr/status/1874522013186089447)
A screenshot of a twitter post complaining about DEI, quoting "Dan Held" saying "white males are actively discriminated against in tech.", and a reply by thdxr saying "this crap set everything back so far - it's endlessly frustrating that the people pushing this won't pay the price for it"
010 0
Sekoia @sekoia.dev · 21/09/2026
That said, the source ars uses doesn't have code available, it's a security AI company, it's not real research. Look at that chart! So few samples, and "our study key" could be p-hacking. It's strange, there's probs smth interesting here, but I'm taking it with a biiig grain of salt.
Chart from https://www.lasso.security/blog/the-provenance-tax-understanding-the-impact-of-llm-watermarking-on-ai-agent-behavior. It shows that random keys for SynthID-text affect how often prompt injection works. phi-4 and qwen3-4B are essentially unaffected, while the other models (Llama-3.1-8B, gemma-3-27b, gemma-3-12b, granite 3.2 8b) have a wide spread and few samples. They do seem biased towards "watermarking makes it easier", but not by much.
170 0
Sekoia @sekoia.dev · 20/09/2026
Oh yeah, Niagara falls is super duper worth it if you're remotely close btw
Landscape view of Niagara falls (Horseshoe falls) from ~1km downriver, on a sunny day. A plume of mist rises from the center of the horseshoeA closeup view of horseshoe falls. The mist obscures the bottomA view of the american side of the horseshoe falls from the canadian end
020 0
Sekoia @sekoia.dev · 12/08/2026
Saw the total eclipse, was crazy cool
Photo of the spanish countryside, with hills in the distance and a dark sky. The sun, slightly above the ground, is a black circle with a ring of fire
000 0
Sekoia @sekoia.dev · 06/08/2026
Another one. This train line is always beautiful. Fun fact, the big boat that's barely visible in this pic is a passenger ferry that is very regularly used (not just by tourists, it's the easiest way to get to France), and is probably a steam paddle boat! It's also >100 years old (renovated, ofc)!
A daytime photo of the léman lake on a clear day, taken from a train window.

The photo faces Geneva, so very few mountains are visible. It is taken from about 150m (ish, kinda guessing) above the lake. The sky is white-blue, with no distinct clouds. The horizon wraps around the lake, with smooth, short mountains (the Jura).

The lake itself is a large light blue expanse, taking nearly all visible space. Further from the camera, it looks somewhat wavey, making darker blue areas. Closer to the camera, it looks like ripples on a pond. Several sailboats draw lines on the water, as well as one passenger ferry (technically a paddle boat!).

On the lower third is a small village of about a dozen houses, typical of the area. It is surrounded by green vineyards, and occasional trees. A winding road leads through the village, following the hill's curve.
110 0
Sekoia @sekoia.dev · 06/08/2026
pic I took a while back
a photo of the léman lake near sunset on a clear day. The sky is powder blue with no clouds, tending towards white near the horizon. On the horizon are mountains, slightly hazy and mostly just silhouettes.
On the lake is a large wooden galion, with no sails, unmoving. On the water, which has only ripples, the mountains and sky are reflected slightly blurrily. Near the camera are some boulders going down to the water, and a duck taking off.

The sunset hasn't fully started yet, but the sun already projects a yellowish hue on everything.

It is a peaceful picture.
030 0
Sekoia @sekoia.dev · 03/06/2026
~one of these things is not like the others~
search in bluesky for accounts named "jetbrains". JetBrains, Kotlin, IntelliJ IDEA, JetBrains Platform, WebStorm, and Rider all have their normal results, but the top result, RustRover, has a pride icon and a white background
2200 0
Sekoia @sekoia.dev · 21/04/2026
Old def of the state/new def of the state I'm pretty sure this is required unfortunately :/ at least in order to remain consistent.
Lean code saying:
```lean
unfold φ
obtain ⟨⟨⟨oA, oB⟩, ⟨oha1_bs, oha1_bc⟩⟩, ⟨⟨oCin, oha1s⟩, ⟨oha2_bs, oha2_bc⟩⟩, oha2c, oha1c⟩ := lhs_out 
obtain ⟨⟨oA, oB⟩, ⟨oCin, oha1s⟩, oha2c, oha1c⟩ := lhs_out
```
000 0
Sekoia @sekoia.dev · 15/02/2026
Jesus christ, me
"For you" feed activity for me. Loaded 2574 times, saw 77220 posts, liked 83. Clicked "show less" twice
090 0
Sekoia @sekoia.dev · 31/01/2026
A horrible night to have a curse...
Photo at night without stars.
On the left, a Florentine Renaissance-style building (Palais de Rumine. Columns, windows with arches at the top, all stone) with a bright full moon just above it. On the right, a gothic cathedral tower, illuminated gloomily in red. Silhouettes of trees with no leaves stand out against the sky.
000 0
Sekoia @sekoia.dev · 18/11/2025
Thanks deathgenerator.com#sotn
Screenshot of Castlevania Symphony of the Night, with Dracula originally saying "What is a man? A miserable pile of secrets" and modified to say "C++ is for little worms"
111 0
Sekoia @sekoia.dev · 18/11/2025
what in the world is this bio is this a fetish what
Bluesky bio of the replier: "my feet are tired & blistered from pacing around the room all day worrying about what Madman Dictator Trump will do next. i need to shut myself off from the world & focus on myself. NO KINGS...EXCEPT ME & MY SEXY FEET!"
020 0
Sekoia @sekoia.dev · 18/11/2025
omg a blueskyism do I tell them I'm a laptop girl or
Bluesky post and reply.
Post (by me): "Hopefully I get a bit more productive now that cloudflare is down"
Reply by some person: "too much screen time on your phone causes dementia, according to a new study. this outage is nature's way of saving your life. may it last until at least when Trump is out of office. FREEDOOOOOOOOM!"
140 0
Sekoia @sekoia.dev · 25/10/2025
@katie.bzky.team hey, I was checking the trans™ websites that I have for an egg I know, and I noticed that the timeline attached is used in a few places. However from my experience... a good chunk of these are wrong in terms of expected onset? Skin stuff in particular. [cont]
Table of feminizing HRT effects, including whether the effect is reversible, the expected onset time, and the maximum effect timeline.

Decreased skin oil, decreased acne, and skin softening have an expected onset of 1-2 months. The rest of the table is located at https://diyhrt.info/transfem/intro/. If you need a full transcription just reply.
5180 0
Sekoia @sekoia.dev · 19/10/2025
it isss I'd say this is over the top but it's completely in character for him and I hate itttt (in a good way)
Also, not to excavate the lede, but I can make my HR100 into a better woman. A perfect woman. My perfect woman. A woman who will love me for my flaws, not nag at me to work on them. A woman who can know all the shit I’ve done, and not care. A woman who will love me, and only me, and who will never leave me. A woman with a spectacular ass.
110 0
Sekoia @sekoia.dev · 05/10/2025
I didn't know what you were talking about so here:
Tumblr post by user "gerardwaist":

"people b saying things so definitively. like man i think it depends"
060 0
Sekoia @sekoia.dev · 20/09/2025
Seems like there's a minor bug with reposts of previously unseen posts or smth?
Screenshot of the parent post in bluesky, with an "archived post" tag claiming a mismatch between claimed date (October 1st) and first-seen date (September 20th)
100 0
Sekoia @sekoia.dev · 15/09/2025
No, todo list app, The Tasks are in fact kicking my ass
Screenshot of Tasks.org

A popup reading "Enjoying Tasks? Consider showing your support with a donation!"
010 0
Sekoia @sekoia.dev · 12/09/2025
Contrast Madmani's statement and (part of) Newsom's. Madmani's is IMO pretty perfect, and does do what you saw. Newsom's launders his reputation and history. Kirk did *not* do "good-faith debate". You're not wrong that he wasn't too influential, but he did found TPUSA. Important to the big guys.
Skeet by Zohran Kwame Mamdani

I'm horrified by the shooting of Charlie Kirk at a college event in Utah.

Political violence has no place in our country.Skeet by Governor Gavin Newsom

The best way to honor Charlie's memory is to continue his work: engage with each other, across ideology, through spirited discourse. In a democracy, ideas are tested through words and good-faith debate — never through violence.
030 0
Sekoia @sekoia.dev · 11/09/2025
seems like it just gives the interior text of the HTML: atproto.at/viewer?uri=d...
Screenshot of JSON

    "fullTags": "",
    "fullText": "oh, I might've misremembered\ngrab the dump for this post, I
      have included a marquee and some bold:\nhi this is the
      marquee",
    "createdAt": "2025-09-11T16:30:46.635Z",
000 0
Sekoia @sekoia.dev · 31/08/2025
Well that is... unfortunate. (Slept 0 hours for now)
Clock widget indicating that the current time is 7:13 and I have an alarm in 2 hours
010 0
Sekoia @sekoia.dev · 25/08/2025
Those meaning-atoms are called tokens. The problem is that a single token can map to several tokens in ROT13. See the images. It's the same sentence through ROT13, but it tokenizes much worse. Somehow, the model figured out that "fr|p|ba|q" is actually "second" after ROT13
A screenshot of OpenAI's tokenizing tool. The sentence written is "the second-guessing was wrong, it is Alfred." It is tokenized word-by-word, except for "second-guessing" which is split between "second", "guess" and "ing". There are 12 tokens.The tokenizer tool from OpenAI with the sentence "the second-guessing was wrong, it is Alfred." passed through rot13. The tokenization is very different from before, with 20 tokens, with words split in the middle often.
110 0
Sekoia @sekoia.dev · 19/08/2025
I appreciate the confidence in my code IntelliJ, but no, this is definitely a weird hack (derogatory)
A code comment saying "A weird hack to adapt the tokentypes without [...]". "A weird" is underlined in blue dots, with an IDE tip saying "The word 'weird' can convey negative associations" and proposing "Replace with 'A unique'"
130 0
Sekoia @sekoia.dev · 06/08/2025
Wow, the UI is very pretty. Here's some images for those reading the blog post
A picture of Lake Geneva, taken from a moving train, during a very clear day. There are green vines in the foreground and mountains in the backgroundA picture of a snowed-in small town nestled in a valley, taken from a moving car with snow on the window. Low-flying clouds hang in strange shapes above the town, while the sky is hidden by a massive sheet of higher cloudsA hedgehog in a garden, hiding its face in clover and grassA picture of Lake Geneva taken from the edge of the water, with mountains in the background, clouds falling from over them, and the lake quite calm. The rest of the sky is blue. The sun is in the sky, but slowly setting and hidden by the few clouds.
020 0
Sekoia @sekoia.dev · 29/07/2025
whooo complete success for images
an image of an mp3 player UI styled after a cassette type. The primary color is white and the highlight is neon blue
000 0
Sekoia @sekoia.dev · 29/07/2025
Getting better, found the first image. Seems like it's 2 bytes per pixel, not 4.
A logo that seems horizontally compressed, saying "snowsky". The colors are strange.
100 0
Sekoia @sekoia.dev · 29/07/2025
Oh yeah, that's an image all right. Looks like it's from the splash screen. It's animated, but really choppy, so maybe each frame is stored individually? The specs page claims the screen is 170x320, but 160x320 makes more sense and aligns with this too.
Another patch of organic-looking green text, but the word "snowsky" and a logo is clearly visible roughly in the center.
100 0
Sekoia @sekoia.dev · 29/07/2025
Trying to figure out where the images are on this ROM and I'm.... 95% sure this is *some* kind of image, but I genuinely don't know what. (This is a specific portion of the firmware image rendered at 160 width in RGBA format)
a pixelated image of green and gray pixels, with "organic" looking borders some patches are black or random, but it seems clearly deliberate in most places.
100 0
Sekoia @sekoia.dev · 28/04/2025
*absolutely safe capsule music plays*
The same chessboard, but now all cells save for one of the 4 center cells is filled with a queen. The king is in the last cell.
020 0
Sekoia @sekoia.dev · 28/04/2025
I am complete, for now
A chess board filled with 2 layers of queens on every exterior portion of the board. A king rests at the top.
130 0
Sekoia @sekoia.dev · 24/04/2025
Based off of @emilyliu.me's very nice emilyliu.me/blog/comments post, I wrote my own version using codeberg.org/mary-ext/atc... Both the HTML and CSS are *very* similar, but the total JS, unminified, is ~4kB gzipped (~19kB raw). (it's tuned to my own needs, so no SSR, just basic JS)
A screenshot of some comments, fetched from a bluesky post. Replies are nested, with a line denoting reply depth. The comments are the top replies to https://bsky.app/profile/did:plc:vjug55kidv6sye7ykr5faxxn/post/3lbqta5lnck2i.
130 0
Sekoia @sekoia.dev · 31/03/2025
Like come *on* I look stupid if I'm sad here
A photo of a field with a few buildings beyond, a perfect blue sky, and large snow-capped mountains behind
110 0
Sekoia @sekoia.dev · 05/02/2025
honestly, seems fitting
the above post, cut off right after "in the source instance because", followed by "see complete post at <link>"
000 0
Sekoia @sekoia.dev · 18/01/2025
Messing around with some shader stuff for fun pure normalmap-shader based
010 0