Sign in

Leo 🏴‍☠️

@leostera.com
3.4K followers 3.8K following 4.3K posts

typed actor maxxing since 2018 · github.com/leostera

PostsRepliesMedia
Leo 🏴‍☠️ @leostera.com · 17/09/2026
thinking of doing a thing where i met other nerds at a park and we drink some mate 🧉 not a video series or anything, just sit in a park and chat. i bring and brew the mate, you get to bring whatever pastry you want! anyone up for that in London 🇬🇧 ?
220
Leo 🏴‍☠️ @leostera.com · 17/09/2026
first day of school vibes, heading to @cloudflare.social #Winning
0100
Leo 🏴‍☠️ @leostera.com · 14/06/2026
i’m thrilled to announce that I’ve just signed with @cloudflare.social 🍊☁️ can’t wait to get to work with this amazing team and help build a better Internet!
5281
Reposted by Leo 🏴‍☠️
Ethan Holz @ethanholz.com · 27/04/2026
AND A SERDE REPLACEMENT WITH WASM SUPPORT???? github.com/leostera/zerde Looks like I need to get back to writing Zig...
github.com
GitHub - leostera/zerde: comptime-fused serialization library for zig
comptime-fused serialization library for zig. Contribute to leostera/zerde development by creating an account on GitHub.
052
Reposted by Leo 🏴‍☠️
Ethan Holz @ethanholz.com · 27/04/2026
Just saw that @leostera.com wrote an actor framework for Zig and I am HYPE github.com/leostera/zart
github.com
GitHub - leostera/zart: zig actor runtime
zig actor runtime. Contribute to leostera/zart development by creating an account on GitHub.
3112
Leo 🏴‍☠️ @leostera.com · 26/04/2026
this is wild - someone built a complete IDE specifically for Coalton and Common Lisp that downloads in one click and just works. no emacs configuration hell, no slime setup, no quicklisp detective work. just install and start coding.
290
Leo 🏴‍☠️ @leostera.com · 20/03/2026
when senpai notices you
120
Leo 🏴‍☠️ @leostera.com · 20/03/2026
I only have peace when I run out of tokens
140
Leo 🏴‍☠️ @leostera.com · 19/03/2026
cargo add agents i did a thing github.com/leostera/age...
github.com
GitHub - leostera/agents: a rust toolkit for building, running, and evaluating type-safe, composable agents
a rust toolkit for building, running, and evaluating type-safe, composable agents - leostera/agents
2140
Reposted by Leo 🏴‍☠️
Leo 🏴‍☠️ @leostera.com · 20/02/2026
hi folks! long time no see. i’m officially open to work again, primarily interested in the dx + devtools + ai space if anyone needs a principal engineer or technical product manager with 16+ years in the industry, my DMs are open! linkedin.com/in/leostera github.com/leostera
linkedin.com
1209
Leo 🏴‍☠️ @leostera.com · 20/02/2026
hi folks! long time no see. i’m officially open to work again, primarily interested in the dx + devtools + ai space if anyone needs a principal engineer or technical product manager with 16+ years in the industry, my DMs are open! linkedin.com/in/leostera github.com/leostera
linkedin.com
1209
Leo 🏴‍☠️ @leostera.com · 31/12/2024
3̶d̶2y
0150
Leo 🏴‍☠️ @leostera.com · 28/12/2024
i wish y’all some deep rest and joy with your loved ones these holidays. i’m signing off till 2025 catch you on the other side 👋
4370
Leo 🏴‍☠️ @leostera.com · 26/12/2024
boy if i wasn't having an absolute dumpster fire of a year and my psyche rapidly collapsing in on itself, this github unwrapped would be unreal
7400
Leo 🏴‍☠️ @leostera.com · 21/12/2024
Sam’s done it again! 👏 This piece made me (finally) clearly see the link between turing machines and assembly and if you only ~kind of~ get it, I think you should read it too ✨
0231
Reposted by Leo 🏴‍☠️
gabby @fullmoon.id · 20/12/2024
this is why i think the distinction between compiler and transpiler is meaningless do people think processors run object code directly? (they do not; object code is further compiled to microcode on the fly under the hood)
4483
Leo 🏴‍☠️ @leostera.com · 20/12/2024
maybe accepting some friction is not such a bad way to stay present in the things i do
241
Leo 🏴‍☠️ @leostera.com · 20/12/2024
capture one file management is an absolute mess
110
Leo 🏴‍☠️ @leostera.com · 19/12/2024
capture one's catalog is a sqlite database... 👀 i'm getting *ideas*
140
Leo 🏴‍☠️ @leostera.com · 19/12/2024
capture one update: i had to nuke my catalog of 30k pictures because c1 crashed on startup -- trying again with... smaller catalogs? ugh
150
Leo 🏴‍☠️ @leostera.com · 19/12/2024
capture one is *fast* but it crashes a lot. its like the bun.sh of photography tooling
040
Leo 🏴‍☠️ @leostera.com · 18/12/2024
mental health check in with a gif
media.tenor.com
a close up of a man 's face with a bald head and a beard .
ALT: a close up of a man 's face with a bald head and a beard .
130
Reposted by Leo 🏴‍☠️
Noe ✨ @noeskabar.bsky.social · 18/12/2024
It’s amazing to see our dream project, Fatebound, coming to life! 🤩💕 Still in early development, but we’re so excited to share more and can’t wait to get a playable demo ready. Join our discord! #UnrealEngine #GameDev
0226
Leo 🏴‍☠️ @leostera.com · 17/12/2024
tiny vibe check of Fatebound, the game we’re building with my siblings ✨ @ottoostera.bsky.social & @noeskabar.bsky.social the look and feel is really coming together and we can’t wait for you to play it! 🤩 #gamedev #unrealengine
178817
Reposted by Leo 🏴‍☠️
Samuel @samuel.fm · 17/12/2024
I love using computer science Techniques like currying
111146
Leo 🏴‍☠️ @leostera.com · 17/12/2024
3526
Leo 🏴‍☠️ @leostera.com · 16/12/2024
current mood: 1. locally archiving from adobe lightroom 2. into an icloud sync'd folder 3. and building a catalog in capture one basically lightroom is unusable lately (tons of UX bugs, crazy laggy), and adobe doesn't offer plans >1tb (I'm at ~1.5tb of photos!)
270
Leo 🏴‍☠️ @leostera.com · 15/12/2024
oooops
2140
Leo 🏴‍☠️ @leostera.com · 15/12/2024
jesus war of the rohirrim was hilarious * the fuck is going on with the animation * the dialogues are so cliche, this could’ve been a marvel movie * zero character growth from basically anyone * cheapest plot line on the history of storytelling * unnecessary fan service idk i laughed a bunch
3110
Leo 🏴‍☠️ @leostera.com · 14/12/2024
chatgpt voice hallucinations are a whole category of nightmares
260
Reposted by Leo 🏴‍☠️
nixCraft @cyberciti.biz · 13/12/2024
A meme of TinTin speaking to Captain.

Captain, looking defeated, says "2020 has been a hell of a year"

TinTin replies "Captain, it's almost 2025”
191249104028
Leo 🏴‍☠️ @leostera.com · 13/12/2024
what am i doing? oh i'm not doing an analysis of the resource growth / cost curves of Last War to explain why this game is fucking rigged to squeeze you dry
120
Leo 🏴‍☠️ @leostera.com · 13/12/2024
can’t say indie game dev without saying i die
0160
Leo 🏴‍☠️ @leostera.com · 13/12/2024
fishman arc is deeeeep like 10,000 meters undersea
130
Leo 🏴‍☠️ @leostera.com · 12/12/2024
please add static types
0110
Leo 🏴‍☠️ @leostera.com · 12/12/2024
you know what's *great*? MAGNETS
6140
Reposted by Leo 🏴‍☠️
Dmitrii Kovanikov @chshersh.com · 12/12/2024
I just finished teaching my Functional Programming in OCaml course officially at Bloomberg for the first time to a full room of people! Teaching and explaining complex topics in accessible way is my passion. And I’m really happy I had an opportunity to do it at Bloomberg.
7727
Reposted by Leo 🏴‍☠️
Ethan Holz @ethanholz.com · 11/12/2024
Super cool to see @dillonis.online sharing his story of development in more places. If you haven’t seen his Carolina Code Conference presentation, it’s an awesome watch as well! youtu.be/vyEWc0-kbkw?...
youtu.be
Dillon Mulroy - Your next favorite programming language: Gleam // Carolina Code Conference 2024
YouTube video by Carolina Code Conference
051
Reposted by Leo 🏴‍☠️
Ryan Winchester @winchester.dev · 11/12/2024
⚗ ❤️ #ElixirLang go.bsky.app/2dPJ7NM
0299
Leo 🏴‍☠️ @leostera.com · 11/12/2024
how it started how its going
5362
Reposted by Leo 🏴‍☠️
Leo 🏴‍☠️ @leostera.com · 29/11/2024
hi i'm leo 👋 i make computers do things that are (i hope) worth doing, for fun and profit. i like devtools, actors, fp, and types i photograph people on the streets i stream to help keep the burnout at bay, now making a game with my siiblings, or playing music and i write about it
4964
Reposted by Leo 🏴‍☠️
badcop @badcop.live · 10/12/2024
i made a lil thing curl termbin.com/4rtl &&pr -t2 <(awk -F: '{if($2>1704114000)print $0}'<~/.zsh_history|tee >(wc -l|sed 's/^/\t\t/;s/$/ Commands\n/' 1>&2)|LC_CTYPE=C cut -d';' -f2|sort|tee >(cut -d' ' -f1|uniq -c|awk '{$1=$1};1'|sort -n|tail -n5)|uniq -c|awk '{$1=$1};1'|sort -n|tail -n5)
7469
Leo 🏴‍☠️ @leostera.com · 10/12/2024
twitch recaps are our! it was a fun year 🤩 here’s to 2025 kicking ass! 🚀 (and hopefully more consistent streams 🙈)
2150
Leo 🏴‍☠️ @leostera.com · 10/12/2024
upside of this new water bottle is that i drink a lot of water downside of this new water bottle is that i drink A LOT of water 4L since 10am
240
Leo 🏴‍☠️ @leostera.com · 10/12/2024
hardly a better example of MISU* than adding a "temporary" variant to your type and having to comment "this will never occur" that's like exactly what happens when your types are too broad, its just made obvious due to exhaustive pattern matching * make illegal states unrepresentable
230
Leo 🏴‍☠️ @leostera.com · 10/12/2024
oh boy here we go
1161
Leo 🏴‍☠️ @leostera.com · 10/12/2024
gm skyfam!
180
Leo 🏴‍☠️ @leostera.com · 09/12/2024
doing some research for Fatebound 👀 game dev is hard
1120
Leo 🏴‍☠️ @leostera.com · 09/12/2024
ZSA Voyager usage update! * my right hand is tired and the reason why will shock you * 1445 deletions for 2 days of work? i think i'm not sucking at it so much! * the winners are Ctrl, W, C, J, K, Del, Shift
3130
Leo 🏴‍☠️ @leostera.com · 09/12/2024
static types are basically post it notes in your code so you don’t have to remember stuff
1322510