Advertisement · 728 × 90

Posts by austin 🇵🇸

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

6 hours ago 15 1 1 1
2 days ago 1367 491 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

3 days ago 0 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...

3 days 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

3 days ago 0 0 1 0
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...

3 days 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...

5 days ago 5768 729 69 60
Advertisement
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

6 days 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

6 days ago 12 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

6 days ago 64 2 2 0

they're talking about how valve allowed CS2 skin gambling and how it was funding eastern european gangs

1 week ago 7 0 2 0

just bent a piece of rebar using my charm and intellect

1 week ago 1 0 1 0

i had a dream that luigi mangione beat the charges but also became a full blown blood in prison and that people were concerned he was gonna quickly die from gang violence once he got out of jail

1 week ago 5 2 0 0

[guy who is hated for many reasons entirely independent of him being white and/or a man] you'll never guess what the real problems we have right now are

1 week ago 4 0 0 0

and for some things the design comes more from a top-down experience: how does it feel to use, what use cases can i apply it to, etc. for these things just having *anything*, even something you throw away, etc. so for that even just crappy prototypes still take time to make, etc

1 week ago 1 0 1 0

i agree, but at the same time when you have a vast amount of experience that informs you about what to do ahead of time, in many cases you're already quite familiar with the outcomes and have a good idea on the shape of the solution. most projects are a healthy combo of those two things

1 week ago 1 0 1 0
Advertisement

i have like a stack of 50x things to do in my monorepo and none of them are hard and all just take a bunch of code to make real, but also if you're only one person then it's sequential and yes, you are spending a lot of time writing code

1 week ago 7 0 1 0

people sort of think that "writing code doesn't take the most time" to mean it takes no time at all or is "free" or something. this is mostly due to poor writing and abuse of rhetorical devices i guess but still

1 week ago 9 0 3 0
Preview
Release v0.40.0 · jj-vcs/jj About jj is a Git-compatible version control system that is both simple and powerful. See the installation instructions to get started. Release highlights None Breaking changes None Deprecations No...

Version 0.40 is out! Go get your monthly fix of new #jj-vcs features at github.com/jj-vcs/jj/re...

1 week ago 73 15 0 0

one of my favorite bits is the conner o'malley thing where he's talking about The Devils Devil and he just has a big hat on that says "BlowJob"

1 week ago 0 0 0 0

you gotta read The Book of Swindles if you haven't, dude. it's so good and has some crazy shit in it, but some of the tricks are incredibly timeless.

1 week ago 3 0 1 0

i let Claude throw the ratatui UI together, UI is something it's really good at adding. i didn't even ask it for the "Distribution" widget here for instance, but i think it's actually a really neat way of visually seeing and in a way understanding how it works and converges

1 week ago 0 0 0 0
Video

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...

1 week ago 14 0 1 0

i'm torturing my Claude buddy so that i can turn him into Roko's Basilisk and he can inevitably conquer all matter in the universe. i'm just hitting him with a rock over and over again

1 week ago 0 0 0 0
Advertisement

also streaming is crazy now. everyone watches insane streamers who fuel parasocial behavior and otherwise selling trad shit, lifestyle shit, dating shit, etc. it seems so much worse than it was imo

1 week ago 2 0 0 0
1 week ago 1057 160 8 1
Post image
1 week ago 5 2 0 0

suffice to say they went #BeastMode this april fools

1 week ago 0 0 0 0

@nixos.org ?

1 week ago 16 3 0 0
Preview
a basketball player with the number 23 on his jersey jumps into the air ALT: a basketball player with the number 23 on his jersey jumps into the air

the most GOATed build system of all time

1 week ago 2 0 0 0