austin 🇵🇸 @stdlib.bsky.social · 22/09/2026Last 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/2026It's almost like that's my integration branch and arent meant to be merged directly????? but ok go off 070
austin 🇵🇸 @stdlib.bsky.social · 29/08/2026also 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/2026Lol dude. This is fucking awesome #jj-vcs www.amazon.com/dp/B0H82MZBJH 1102
austin 🇵🇸 @stdlib.bsky.social · 04/07/2026i 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 · 20/05/2026been 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 · 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/2026demo 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 · 01/04/2026oh my god. buck2 added support today for playing various games while your builds are running. incredible. magnificent 25510
austin 🇵🇸 @stdlib.bsky.social · 30/03/2026this 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/2026it'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/2026the avatar in this post drives me absolutely insane every time i see it 061
austin 🇵🇸 @stdlib.bsky.social · 20/03/2026rust compiler making the fans spin up on my modern machine 130
austin 🇵🇸 @stdlib.bsky.social · 06/03/2026let 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 · 20/02/2026this guy has become Invasive Species in many online spaces 000
austin 🇵🇸 @stdlib.bsky.social · 06/02/2026when you have discussions about omitting frame pointers 2283
austin 🇵🇸 @stdlib.bsky.social · 05/02/2026this is one of my favorite clickholes of all time. i think about this bit at least once a week 040
austin 🇵🇸 @stdlib.bsky.social · 30/01/2026small 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/11/2025kind 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/2025probably one of the hardest openings of all time lamport.azurewebsites.net/pubs/buridan... 010
austin 🇵🇸 @stdlib.bsky.social · 10/09/2025Lol 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 · 28/08/2025sitting in the discord and. i;m thinkin bout thos beans (divergent commits as antichains) 020