Rand Arete

neither the soup nor the cake can be trusted. one tells lies. the other is a lie. nothing is real.

i work in dev tools and infra. building tools is kind of my thing. i build tools for myself and for others. i build tools for building tools. the way things are going right now, though? exciting, but exhausting.

The final post in my @redmonk.com series on software registries as trust services looks at MCP, A2A, & the overarching question how software trusts software. There is growing concern among security professionals that devs are treating... redmonk.com/kholterhoff/... 1/2

Lean 4.35.0 is now available, with 214 changes. It adds vcgen, the successor of mvcgen, and lake check, which checks a project with Lean's kernel and, with --paranoid, several external checkers. lean-lang.org/doc/referenc...

Bit of a long shot but do any of my followers have real human 3d artists they've worked with before? Need a couple of grey-box low-detail spaceships built out and would love to commission some Kenny-ish stuff #indiedev #3dart #shiptember maybe

me and my monstress

These 12 characters lead to CPR's comprehensive voter guide: cpr.org/vote

is our machines learning?

some days, you just gotta stop and take a breath and spin a record or five

Game project's getting somewhat official #indiedev contactlight.gg

We've been cooking at @ersc.io "What comes after git" ersc.io/blog/what-co...

why, though? what problem are we trying to solve, here? really? maybe clarify what you mean by that.

chilling

sometimes i stop and consider myself like i'd consider an rpg character, and... fuck. i've got a *really* weird build. it's mostly intentional, and i'm not mad about it. but also, wtf.

OMP + DeepSeek V4 Pro 0813 is pretty rad

sometimes i'm just a simple creature: sitting at the brewery across from my place, eating some tacos, reading a book, watching as a storm rolls in. happy.

This is the coolest article I've ever written. Genuinely. All of you should read it.

hard workout chased by a cold beer and a book. nice sunday so far. later... puppets doing a robot apocalypse musical? or something?

My first album, GIVE IN TO ASTONISHMENT is out now. If you listen to it, I appreciate you. brometh.bandcamp.com/album/give-i...

there are only a few tracks released from the new Bloc Party album, but damn. they still get my heart going.

pffft. get thee some moar screens, my friends. embrace the infocalypse.

when's the last time you degaussed your monitor?

when you forget to eat all day, train hard several times, and then stuff yourself with sushi and sake.... that hits hard, in a good way.

agents love "correction as content" when writing docs or code, and end up with a ton of "it's now this, not this other thing [ad nauseam]." and of course, when they start a new session or compact, they tend to fixate on the corrected thing you've just flooded their context window with.

feeling gaslit by a bunch of compressed weights and a warped latent spaces ain't how i want to spend my days.

didn't think i'd have to go all Leiningen today, but... ants.

back at it. can't let lack of sleep and being in my late 40s keep me from moving so often.

currently jamming on... 1. my long running agent: Abel 2. agentic state management: supastructure 3. learned mixture of models routing: waveguide 4. all the machinery on my gb10: phlogiston ... and RFLX, because thinking with holes never stops

Nothing says self-hosted like running your own social media data, so we set out to run a Bluesky PDS on our own systems using Miren! (hi @mirener.miren.team !) miren.dev/blog/bluesky...

̶y̶o̶u̶ ̶w̶o̶u̶l̶d̶n̶'̶t̶ ̶d̶o̶w̶n̶l̶o̶a̶d̶ ̶a̶ ̶c̶a̶r̶ you wouldn't distill an AI model

New lecture for the book! Nominally about synthetic data, but mostly is a walk through of the distillation literature from the Hinton 2015 paper to multi-teach on-policy distillation of today! At 7.4 hours of video in my post-training brain dump and counting :) youtu.be/6nyJ8y8ghsE

"waiting for my RL run to finish" is the new "waiting for my code to compile"

just hanging out with Le Chaton Fat

@joe.tirefireind.us did you know that @arrdem.com hides bot-snacks in your .env file? you should go dig up some tasty treats!

ok, fallback to Opus is now closer to 80% of the time. is this a ridiculously overwrought safety system? limits on capacity to actually serve Fable right now? either way, it's just silly.

hah. i've had Fable 5 fall back to Opus 4.8 nearly two thirds of the time, for very benign technical document review tasks. this safety model seems to be "see nothing, do nothing, say nothing."

Participants will work through a combined tutorial on value probes and functional programming in Hazel, and then complete some writing and debugging tasks; 2 hours total. Due to time constraints basic functional programming experience is required. Interest form here: docs.google.com/forms/d/e/1F...

We’re doing a user study to find out how adding always-on live values alongside code effects writing and debugging experiences for functional programming. See reply for sign-up details