Lightnews — Scholar-powered news

Sekoia

@sekoia.dev

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

Ventposts semi-regularly

Signal: sekoia.99

Posts Replies Media Videos

Sekoia

@sekoia.dev

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"

November 18, 2025 at 4:35 PM

Sekoia

@sekoia.dev

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

November 18, 2025 at 2:47 PM

Sekoia

@sekoia.dev

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

November 18, 2025 at 2:46 PM

Sekoia

@sekoia.dev

@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.

October 25, 2025 at 9:02 AM

Sekoia

@sekoia.dev

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.

October 18, 2025 at 11:27 PM

Sekoia

@sekoia.dev

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"

October 5, 2025 at 2:24 PM

Sekoia

@sekoia.dev

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)

September 20, 2025 at 12:41 PM

Sekoia

@sekoia.dev

No, todo list app, The Tasks are in fact kicking my ass

September 15, 2025 at 4:55 PM

Sekoia

@sekoia.dev

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.

September 12, 2025 at 3:07 PM

Sekoia

@sekoia.dev

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

September 11, 2025 at 4:33 PM

Sekoia

@sekoia.dev

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

August 31, 2025 at 5:15 AM

Sekoia

@sekoia.dev

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.

August 25, 2025 at 1:40 AM

Sekoia

@sekoia.dev

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

August 19, 2025 at 12:00 PM

Sekoia

@sekoia.dev

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 background

A 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 clouds

A hedgehog in a garden, hiding its face in clover and grass

A 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.

August 6, 2025 at 2:20 PM

Sekoia

@sekoia.dev

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

July 29, 2025 at 10:50 PM

Sekoia

@sekoia.dev

Getting better, found the first image. Seems like it's 2 bytes per pixel, not 4.

July 29, 2025 at 8:08 PM

Sekoia

@sekoia.dev

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.

July 29, 2025 at 5:41 PM

Sekoia

@sekoia.dev

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.

July 29, 2025 at 5:35 PM

Sekoia

@sekoia.dev

*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.

April 28, 2025 at 10:07 PM

Sekoia

@sekoia.dev

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.

April 28, 2025 at 9:54 PM

Sekoia

@sekoia.dev

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)