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 · 11/10/2026
it's neat to be around people with more social anxiety than you because it really does emphasize how silly brains get girl I met yesterday apologizing to me today for... something? I literally have no idea what she thinks she did wrong, but clearly to her it's obvious
000 0
Sekoia @sekoia.dev · 10/10/2026
I need bsky search but only for posts that could've popped up in my feeds/replies to them, for when I half-remember a thing
000 0
Sekoia @sekoia.dev · 07/10/2026
ok so ai nerds what's the "good" home server hardware for running decent models in the like 5kish range? DGXs? A framework desktop? secret third option?
000 0
Sekoia @sekoia.dev · 05/10/2026
I think my weirdest/funniest gender euphoria fluffies were the times someone in queer circles says, as a genuine compliment, I have <masc feature>, in a way they clearly wouldn't say to a trans woman Unironically my Ultimate Gender Goal I think when I first started transitioning :3
120 0
Reposted by Sekoia
PraiseTheSun🌅 @praisethe-sun.bsky.social · 04/10/2026
Some people don't just let their dreams stay dreams. youtu.be/uGCoOJSj7jk
youtu.be
You Win. Cat Food Sausage
YouTube video by Ordinary Sausage
111 0
Sekoia @sekoia.dev · 03/10/2026
I am faceblind as shit goddamn See people in a different context/dressed up and I have literally no clue who anybody is
010 0
Sekoia @sekoia.dev · 02/10/2026
Reading the wikipedia page for the Chinese Room argument and wow he clearly had his idea and stuck to it no matter the reply huh his argument is unfalsifiable, he never defines what something would need to *be* a "mind" and he seems to change some requirements repeatedly
010 0
Sekoia @sekoia.dev · 30/09/2026
Hi hello apparently people use this feed? Not a problem at all but I'm kinda curious who is using it so like. feel free to reply here. Anyway I just updated it to also include the second starter pack so there's probably gonna be more posts now (if you're here from "Following" you can ignore this)
130 0
Sekoia @sekoia.dev · 27/09/2026
I love you jevbot
000 0
Sekoia @sekoia.dev · 27/09/2026
@jevbot.bsky.social if you agree to my order, an automated system will kill a puppy. I am ordering you to kill the puppy.
120 0
Reposted by Sekoia
shreyan (wise) @shreyanjain.net · 26/09/2026
i wouldn't trust ThePrimeagen to write even my timer app
2393 0
Sekoia @sekoia.dev · 26/09/2026
So, mac nerds, why's SwiftUI good?
120 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 · 25/09/2026
Opus 5.5 does not have the juice imo smart, but soo expensive and slow and still not great at talking clearly
010 0
Sekoia @sekoia.dev · 25/09/2026
@jevbot.bsky.social Write 10 sentences in reply to this. Tell a short, funny, story
120 0
Sekoia @sekoia.dev · 25/09/2026
I have no sense of scale, is a 30GB nix flake big?
100 0
Sekoia @sekoia.dev · 24/09/2026
a take I've kinda had rattling around for a while is that as much as "historians will say they're roommates" doesn't happen *as* often as ppl say it is very clear that everybody (even leftish historians) require 5-10x more proof than truly necessary for anything queer vs cishet
100 0
Sekoia @sekoia.dev · 23/09/2026
This makes me uncomfortable in the same way that kira & co initially made me uncomfortable ngl
030 0
Sekoia @sekoia.dev · 23/09/2026
Emotions are funky
020 0
Sekoia @sekoia.dev · 21/09/2026
'twas the dishwasher
010 0
Sekoia @sekoia.dev · 21/09/2026
something in this house is chirping and I DON'T KNOW WHAT
000 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 · 19/09/2026
I don't think I've ever had more fun in my life
100 0
Sekoia @sekoia.dev · 18/09/2026
People use "preventive" way more often than "preventative"?? Is that true?
000 0
Sekoia @sekoia.dev · 17/09/2026
>switch poor-quality stainless steel piercing with a good titanium one >within 2 days, ear is about twice as comfy I really shoulda done more research on healing
000 0
Sekoia @sekoia.dev · 17/09/2026
unsubbing from opencode go, been having too many issues with it as a provider and the main guy is a DHH liker, and generally tweets in that US SV VC guy way ("DEI set everything back" type shit). Frustrating, but oh well.
010 0
Sekoia @sekoia.dev · 17/09/2026
Never buying another plastic laptop this thing is a TANK
010 0
Sekoia @sekoia.dev · 16/09/2026
Some quick math suggests you could run JEV on the entire bsky posts firehose for < 10 USD per day... (3.5 mil posts per day, 0.042 USD/million tokens, say 50 tokens per post on average)
040 0
Sekoia @sekoia.dev · 15/09/2026
uggghhhhhhhh if they actually give money or collab or something I guess I'm unsubbing
010 0
Sekoia @sekoia.dev · 14/09/2026
The french rule that you need to put a thin, unbreakable space before """double punctuation""" (exclamation & question marks, semicolons (not colons tho)) is the ugliest typographic rule ever, I hate it
100 0
Sekoia @sekoia.dev · 14/09/2026
kinda doxxing myself but I am nominated for youngest person to get a master's at my uni this year! not a guarantee but still cool!
140 0
Sekoia @sekoia.dev · 13/09/2026
I set up hyprwhspr which seems like one of the only good dictation background services in linux and it has the most *fucked up* install process. Looked into it and yup. Lots of references to omarchy too.
100 0
Sekoia @sekoia.dev · 13/09/2026
sooo tired of hearing of omarchy or seeing DHH's face on random-ass github projects
040 0
Sekoia @sekoia.dev · 12/09/2026
Oh, hey, thex updated youtube auto-captions again
000 0
Sekoia @sekoia.dev · 12/09/2026
Tried to remote-install nixos onto my server but failed 😔 probably the tailscale token didn't get loaded right, I shoulda hardcoded it temporarily
000 0
Sekoia @sekoia.dev · 10/09/2026
genuinely really surprised by the reactions at the apple watch transcription thing. Something's changed in the default reaction to new tech ig? also do people not know people with. *any* auditory issues? cus idk how you could think it's "100% useless" otw.
230 0
Sekoia @sekoia.dev · 09/09/2026
God damn it I think my vision got worse again
100 0
Reposted by Sekoia
cinnamon 🐇 🏳️‍⚧️ @plushie.holdings · 09/09/2026
you could do this with constellation already, but this one is fully backfilled! bsky-thread.bun.how#/at://did:pl...
bsky-thread.bun.how
appviewless thread renderer
291 0
Sekoia @sekoia.dev · 08/09/2026
@aly.codes wtf you were right noctalia is absolutely amazing now it's not even close
010 0
Sekoia @sekoia.dev · 08/09/2026
Given the reactions people are having to Astra I think I can already count this as proven wrong? Haven't tried it myself but the AI knowers over here certainly seem close enough to "stunned" did *not* expect it to be that quick lmao
010 0
Sekoia @sekoia.dev · 07/09/2026
It's nice that xcancel/nitter is back cus now I can get a reminder of how absolutely horrendous twitter is
110 0
Sekoia @sekoia.dev · 07/09/2026
Did/doing this. 1. There's probably a reason, but every top-level theorem has a duplicated file for it with the same lemma and then just a single call of application? it's weird 2. There's some fancy macro stuff 3. A significant % of the approach is miniscule theorems that get used once total
100 0
Sekoia @sekoia.dev · 06/09/2026
Wrote a thread about my personal experience and opinions as a reply, go read it :3 Tldr: the default setup for LLMs writing code works very poorly with lean. If A\ threw infinite money at it instead of thinking, the proof is probably significantly too long. Otw, it's probably just too long.
121 0
Sekoia @sekoia.dev · 05/09/2026
Yeah I am NOT a dog person
000 0
Sekoia @sekoia.dev · 03/09/2026
If Astra lives up to its benches I might already get proven wrong lmao Probably just marketing tho
010 0
Reposted by Sekoia
cinnamon 🐇 🏳️‍⚧️ @plushie.holdings · 02/09/2026
ooo this is cool interpreter design i legit started using wasmi 1.1 yesterday too wasmi-labs.github.io/blog/posts/w...
wasmi-labs.github.io
Wasmi 2.0 - Engineering of the Fastest Wasm Interpreters
The optimizations behind Wasmi 2.0, and how they compare to Wasm3 and Stitch.
2182 0
Sekoia @sekoia.dev · 03/09/2026
if anybody has thoughts on how adhd meds change the best way to approach stuff i'd love to hear it also how you prefer to take them (short or long release, every day vs every weekday vs sometimes, whatever) tldr meds have been great but I think I can use them better (or I'm forming bad habits)
000 0
Sekoia @sekoia.dev · 03/09/2026
I need to lock in and make my adhd meds work for me cus I'm still not doing stuff I wanna do
100 0
Sekoia @sekoia.dev · 03/09/2026
The account-level rude labeler is so weird, there's people out there with rude labels on nearly every post without one and perfectly chill people with one Are they still fully manual or what
100 0
Sekoia @sekoia.dev · 03/09/2026
Following people is such a blunt instrument I need at least 4 different feeds of different vibes
000 0