Advertisement · 728 × 90

Posts by austin 🇵🇸

Preview
Jujutsu megamerges for fun and profit A practical guide to creating and maintaining powerful megamerge workflows in Jujutsu for faster, conflict-free development.

If I had to drop @jj-vcs.dev I honestly don't know what I would do with myself. The megamerge workflow is so incredibly powerful for me that my brain short circuits trying to do anything else

isaaccorbrey.com/notes/jujuts...

1 day ago 38 14 4 5

i have decided to die. but i’ve also decided to only do it one day at a time so as not to seem pretentious

2 days ago 3 0 0 0

We’re big @jj-vcs.dev fans, so being able to work with @ersc.io is *super cool* (and had at least two of our engineers jump for joy).

2 days ago 27 2 0 1
Post image
5 days ago 13 4 2 0

it is not malignant or ill-meaning. but for me, i don't want techniques and methods that just help me Lose, but a Little Less than before. i want to Win More not Lose Less and that requires a broader and more concrete vision and political organization

5 days ago 1 0 1 0
Preview
The New York Times - Breaking News, US News, World News and Videos Live news, investigations, opinion, photos and video by the journalists of The New York Times from more than 150 countries around the world. Subscribe for coverage of U.S. and international news, poli...

that would allow us to tie this current moment to a broader political apparatus that we can tap into. people don't like illegal war! but we don't do that, we get pablum on github where "AI is used in war" is just a token recognition that Brown People Are Dying along with an nytimes.com link

5 days ago 0 0 1 0

i also find other rhetoric unserious, "AI is used in war". which war by who? if we are concerned about ethics of such scenarios it would behoove us to articulate precisely e.g. that America is Bombing Iran, but that it is part of a longer & broader imperial killing spree originating before today

5 days ago 0 0 1 0

anyone can use software from anyone they like for any reason. you don't even have to like the developers if you do. but Not Pissing Myself Off Every Day isn't a political "framework" for applying power it's just self regulation. that's ok but it's reasonable to say we shouldn't confuse the two

5 days ago 1 0 1 0
Advertisement

while i disagree with the premise i respect putting your money where your mouth is. but to me the fundamental problem is that "Just Consume, but Correctly" is not actually a workable method. you can apply this same basic framework to many other topics e.g. copyleft vs liberal licensing choice

5 days ago 1 0 1 0

to be clear this is not about whether or not standing solidarity with other workers is good in and of itself, it's about actually having a top-down and organized movement with clear goals, methods, etc. i do not see this happening currently at least in the realm of computer programmers

5 days ago 2 0 0 0

sure in principle this Could Be part of a broader coalition with demands and negotiations over demand no AI use, e.g. strikes in the film sector. but this is only in principle and not practice, computer programmers are entirely divorced from this movement and gain nothing

5 days ago 1 0 1 0

ok but when people e.g. github maintainers get requests for Claude Abstinence it is never couched in some form of participation in a broader labor movement that has precise demands, it is almost entirely some solipsistic pablum about Feeling Bad and then copy/pasting some nytimes links

5 days ago 1 0 1 0

anyone can reject AI for any number of reasons they want, participate how they like, etc. there is no problem with this. but as far as actual OUTCOMES are concerned, we have got to move on beyond the rewarmed-under-a-lamp laissez faire personal-consumer-self-satisfaction mindset bullshit

5 days ago 6 2 0 0

what do i even "get" for ex abstaining from using Claude. do i get unions or an end to mass layoffs? no more ads targeting children? those are actual OUTCOMES that are worth negotiating and bargaining over. as it stands the only thing you "get" is the satisfaction of assuaging internet nerd feelings

5 days ago 6 1 3 0

in my mind pretty much all consumer-oriented boycotts that have ever been successful come downstream from broader and more organized movements attempting to exercise power. the FOSS "movement" has largely given up on this and instead is resigned to moping on internet forums

5 days ago 5 1 1 0

diffuse groups of people going around and trying to twist the arm of random people to boycott things are useless because they are divorced from any actual political apparatus that can exercise power. thus, you get a lot of weepy github issues asking you to worry about things, yet no actual results

5 days ago 4 1 2 0

the "problem" i have with all of the stuff like open-slopware and pestering random OSS projects about AI usage isn't so much that there's anything "wrong" about rejecting AI patches or whatever, but more that the entire modus operandi is just a bunch of useless Liberal Consumer Mindset bullshit lol

5 days ago 11 2 1 0

it is basically a fully deterministic hypervisor, and also a fuzzer at the same time. you run your whole software stack inside it (we use kubernetes), and it runs things a ton of times and tries to constantly find new behavior and break things.

5 days ago 2 0 0 0
Advertisement

oh yeah, @ersc.io is an @antithesis.com customer! we’re horizontally scalable on the unit of a *repo* and we’re extremely serious about not losing your data.

6 days ago 29 2 1 1
Preview
Austin Systems Programming A meetup for curious low-level engineers in Austin, TX. We meet in-person monthly.

Austin Systems is tonight! Details at austinsystems.org. Come give or listen to a lightning talk!

6 days ago 2 1 0 0

getting to use @antithesis.com right now and it's genuinely one of the most mind-blowing products i've ever seen. truly something special

1 week ago 24 2 2 2
1 week ago 1388 503 10 0

in general this kind of thing is a massive boon to tools like Bazel/Buck, which are most powerful when you have actual BUILD files. my inevitably plan is to try and port git.auxolotl.org/auxolotl/fou... to Buck, but going one step further and even removing the intermediate 'make' builds

1 week ago 1 0 0 0
a/buck/third-party/by-name/qu/quickjs-ng/BUILD at canon · thoughtpolice/a My personal monorepo. Contribute to thoughtpolice/a development by creating an account on GitHub.

it's kind of perfect in a way since there is an extremely obvious set of premade ground truths to work with. so, you just tell it to go build software XYZ, keep the logs, look at the build trace, and then port everything. i experimented with this via quickjs-ng github.com/thoughtpolic...

1 week ago 1 0 1 0

I got everything working by hand a while back but MesCC bootstrap in particular was a bit of a mess to figure out, so I had Claude help after several iterations. writing hermetic BUILD files is actually something I suspect current agents are going to be very valuable for

1 week ago 0 0 1 0
Advertisement
cellar//bootstrap: hermetic x86_64 mes(cc) with 3-stage fixpoint by thoughtpolice · Pull Request #197 · thoughtpolice/a This gives us a full build of mes + mescc on x86_64, with a 3-stage verified fixpoint (i.e. a mescc that can perfectly recompile itself, to close the initial loop.) It works under the landlock sand...

i finally picked this back up again but i managed to get MesCC working fully under my buck build :) github.com/thoughtpolic...

1 week ago 0 0 1 0
Arby’s Reclassifies Their Food As Entertainment

Restaurant Says Menu Items Intended For Amusement Purposes Only

Arby’s Reclassifies Their Food As Entertainment Restaurant Says Menu Items Intended For Amusement Purposes Only

Arby’s Reclassifies Their Food As Entertainment theonion.com/arbys-reclassifies-their...

1 week ago 5777 731 68 60
Preview
Buy Isaac Corbrey a Coffee Become a supporter of Isaac Corbrey today!

Things aren't so hot. Please consider helping me and my family out 🙂 ko-fi.com/icorbrey

1 week ago 4 3 0 0

The US cannot be bargained with right now. "Diplomacy" doesn't work when you're dealing with a government of miscellaneous sociopaths, pedophiles and apocalypticists united only by their worship of a rapist whose brain is is actively rotting inside his skull

1 week ago 11 2 1 0

Claude Mythos is actually going to be awesome because when you get access it means anytime some annoying C nerd cries about something to you can just go point Claude at their turd codebase and get a few exploits

1 week ago 64 2 2 0