Sekoia

@sekoia.dev

106 Followers 70 Following

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

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

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
```

"For you" feed activity for me. Loaded 2574 times, saw 77220 posts, liked 83. Clicked "show less" twice

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.

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"

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!"

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!"

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.

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.

Tumblr post by user "gerardwaist":

"people b saying things so definitively. like man i think it depends"

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)

Screenshot of Tasks.org

A popup reading "Enjoying Tasks? Consider showing your support with a donation!"

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.

$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",$

Clock widget indicating that the current time is 7:13 and I have an alarm in 2 hours

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.

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'"

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 background

an image of an mp3 player UI styled after a cassette type. The primary color is white and the highlight is neon blue

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.

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.

A chess board filled with 2 layers of queens on every exterior portion of the board. A king rests at the top.

A photo of a field with a few buildings beyond, a perfect blue sky, and large snow-capped mountains behind

the above post, cut off right after "in the source instance because", followed by "see complete post at <link>"