Sign in

austin 🇵🇸

@stdlib.bsky.social
330 followers 83 following 665 posts

we altered the flow of time, so that the world might once again feel small (bg: Roses, Butterfly and Puppies, by Nagasawa Rosetsu) overengineering @ersc.io / #jj-vcs maintainer / used to work on the Glasgow Haskell Compiler

PostsRepliesMedia
austin 🇵🇸 @stdlib.bsky.social · 19h
140
austin 🇵🇸 @stdlib.bsky.social · 24/09/2026
040
austin 🇵🇸 @stdlib.bsky.social · 22/09/2026
Last night I had 6-astra-max plan out and begin working on a port of the full source nix/guix bootstrap to raw Buck2 BUILD files and it apparently completed this morning! will be interesting to evaluate how it did here
290
austin 🇵🇸 @stdlib.bsky.social · 22/09/2026
It's almost like that's my integration branch and arent meant to be merged directly????? but ok go off
070
austin 🇵🇸 @stdlib.bsky.social · 18/09/2026
0241
austin 🇵🇸 @stdlib.bsky.social · 10/09/2026
000
austin 🇵🇸 @stdlib.bsky.social · 29/08/2026
also means you can apply this harness to other things; eg i check my Cargo.lock against osv.io so every package is a "test", then an advisory causes a failure. i did this mostly so that the "total test count" buck returns is A Really Big Number, which is pleasing github.com/thoughtpolic...
000
austin 🇵🇸 @stdlib.bsky.social · 09/07/2026
Lol dude. This is fucking awesome #jj-vcs www.amazon.com/dp/B0H82MZBJH
1102
austin 🇵🇸 @stdlib.bsky.social · 04/07/2026
i was having drinks with my friend thursday about how i loved Reginald VelJohnson and Family Matters as a kid so i googled him and immediately found this photo and she convinced me to turn it into my iphone pfp
130
austin 🇵🇸 @stdlib.bsky.social · 17/06/2026
just saw a guy with this pfp
010
austin 🇵🇸 @stdlib.bsky.social · 20/05/2026
been working on a sketch of an RTL in Lean, based on Koika from the paper "The Essence of Bluespec"; i'm quite amazed at how far it's come over a couple weeks. several things I wanted to test with this experiment and I'm overall happy
230
austin 🇵🇸 @stdlib.bsky.social · 27/04/2026
Is that good
070
austin 🇵🇸 @stdlib.bsky.social · 24/04/2026
@steveklabnik.com and I are not in town but we are doing affogato Friday with @adamchalmers.com in spirit if nothing else
070
austin 🇵🇸 @stdlib.bsky.social · 03/04/2026
demo UI for a #jj-vcs feature ive been working on, "hunt", which bisects bugs even when your testsuite is flaky and unreliable. here it's finding a bug in a 10k commit history where 10% of test failures are flakes i.e. 1 out of 10 FAILs are invalid. algo from: research.google/pubs/flake-a...
1170
austin 🇵🇸 @stdlib.bsky.social · 02/04/2026
052
austin 🇵🇸 @stdlib.bsky.social · 01/04/2026
oh my god. buck2 added support today for playing various games while your builds are running. incredible. magnificent
25510
austin 🇵🇸 @stdlib.bsky.social · 01/04/2026
about to get so mad i punch a hole in the wall
180
austin 🇵🇸 @stdlib.bsky.social · 30/03/2026
this fuckin shit is so ancient that we put timecube.com on it as the homepage at the time. rip old internet
011
austin 🇵🇸 @stdlib.bsky.social · 30/03/2026
110
austin 🇵🇸 @stdlib.bsky.social · 30/03/2026
actually this is my favorite of all time i think
211
austin 🇵🇸 @stdlib.bsky.social · 30/03/2026
it's old enough now that it's probably fine to self dox but at a really old job of mine the engineers shared a space with sales people and they said the wildest shit imaginable, and we made a short lived twitter for it. some of my favorites x.com/BullshitforH...
130
austin 🇵🇸 @stdlib.bsky.social · 25/03/2026
the avatar in this post drives me absolutely insane every time i see it
061
austin 🇵🇸 @stdlib.bsky.social · 20/03/2026
rust compiler making the fans spin up on my modern machine
130
austin 🇵🇸 @stdlib.bsky.social · 07/03/2026
i love building llvm
070
austin 🇵🇸 @stdlib.bsky.social · 06/03/2026
let claude rip and it churned this out for me, a more convenient UI for doing interdiffs in a #jj-vcs repo. pretty simplistic but neat
2100
austin 🇵🇸 @stdlib.bsky.social · 25/02/2026
he’s exactly what we need in these times
000
austin 🇵🇸 @stdlib.bsky.social · 25/02/2026
this guy i found on instagram is so awesome
100
austin 🇵🇸 @stdlib.bsky.social · 23/02/2026
awesome ad i just got
240
austin 🇵🇸 @stdlib.bsky.social · 20/02/2026
this guy has become Invasive Species in many online spaces
000
austin 🇵🇸 @stdlib.bsky.social · 10/02/2026
020
austin 🇵🇸 @stdlib.bsky.social · 06/02/2026
when you have discussions about omitting frame pointers
2283
austin 🇵🇸 @stdlib.bsky.social · 05/02/2026
this is one of my favorite clickholes of all time. i think about this bit at least once a week
The Newest Decepticon: The Next Transformers Movie Will Introduce An Evil Robot That Turns Into A Shuttle That Takes At-Risk Elderly People Directly To The Casino
040
austin 🇵🇸 @stdlib.bsky.social · 30/01/2026
small weekly after-hours vibe project, a local clone of honeycomb.io but using victorialogs as the underlying event store for wide-event style uses. gonna try and handle trace sampling & exemplars this weekend, maybe
150
austin 🇵🇸 @stdlib.bsky.social · 14/12/2025
140
austin 🇵🇸 @stdlib.bsky.social · 05/12/2025
0120
austin 🇵🇸 @stdlib.bsky.social · 17/11/2025
030
austin 🇵🇸 @stdlib.bsky.social · 14/11/2025
kind of funny the guy doing oss-fuzz security fixes for ffmpeg thinks sending patches wouldn't help while everyone yells about it lol. this roughly tracks with my experience writing exploits and handling security issues and yet i see nobody bring it up
120
austin 🇵🇸 @stdlib.bsky.social · 12/11/2025
020
austin 🇵🇸 @stdlib.bsky.social · 12/11/2025
probably one of the hardest openings of all time lamport.azurewebsites.net/pubs/buridan...
010
austin 🇵🇸 @stdlib.bsky.social · 03/11/2025
is that good
000
austin 🇵🇸 @stdlib.bsky.social · 31/10/2025
000
austin 🇵🇸 @stdlib.bsky.social · 30/10/2025
Is that good
080
austin 🇵🇸 @stdlib.bsky.social · 26/10/2025
220
austin 🇵🇸 @stdlib.bsky.social · 23/10/2025
000
austin 🇵🇸 @stdlib.bsky.social · 15/09/2025
oh yeah. that's right
100
austin 🇵🇸 @stdlib.bsky.social · 10/09/2025
Lol Ezra Klein is already doing the "how dare you!!!" schtick and Twitter instantly shadow realm'd my QT telling him to fuck off with it
130
austin 🇵🇸 @stdlib.bsky.social · 06/09/2025
020
austin 🇵🇸 @stdlib.bsky.social · 28/08/2025
sitting in the discord and. i;m thinkin bout thos beans (divergent commits as antichains)
020
austin 🇵🇸 @stdlib.bsky.social · 26/08/2025
yea
110
austin 🇵🇸 @stdlib.bsky.social · 23/08/2025
i love playing Tekken and being Doryaman
kazuya mishima is the most badass character ever created. it's almost unbelievable that such a badass character even exists.
111