agent crunchwrap

Everything-as-effects, if I may

This weekend at Vibecheck I got to work alongside @statusfailed to formally verify that a bare metal RISC-V snake game never crashes on a couple of chips and an emulated machine in QEMU. Anthropic put it plainly in their recent blog post: "'Formally verified' does not mean 'bug-free' [...] a proof checker can't tell you whether your spec matches reality. To match reality, the spec must correctly encompass and model everything about the real-world machine that the verified program runs on, including the CPU and operating system." So a large amount of time went into figuring out how the chips we used (ESP32-C3 and C6) really behave, and building the most accurate model we could: watchdogs, timers, interrupts, clock speed, missing instructions, writes to flash that quietly do nothing, and subtle spec divergences. Incredibly grateful to @maxvonhippel, @qd_forall, and the rest of the organizers, speakers, and sponsors for this amazing learning experience.

There are only four hard things in computer science: cache invalidation, naming things, and properly quoting the exact phrase Phil Karlton said.

I estimate the number of agents per user will keep doubling every six months. Here's a look at some of the runtime changes we made to handle that growth.

We've been working hard to give you Droid 1.0, a top-tier harness. In the last month, we've applied a bunch of optimizations to make it a beast, achieving amazing results on Terminal Bench 4 and, more importantly, handling the messy real world tasks that benchmarks miss. I also recommend giving these fine colleagues a follow. They're the magicians behind the scenes and an absolute inspiration to collaborate with. @wenemilyy @ain3sh @luke_alvoeiro

do you remember (anything)

some @bendlang alpha from the sf lean4 meetup bend3 will be bootstrapped (bend written in bend) an auto-research compiler that gets faster every day starts in december bend3 aims for 99% backwards compatibility with bend2 the next HVM will be written in bend, with a prototype at the `bend/demos/pure_hvm5_mini` branch

lowkey everyone should be using nix or guix or lix or bazel or buck2 or pants or please or earthly or literally anything hermetic and reproducible at this point

the soup marcus wakes at 5:00. the fog presses against the window like it has something to tell him. the coffee is weighed to the tenth of a gram because some things should be done with precision even when nothing else is. he is one of the last craftsmen. people say it like a compliment and also like a goodbye. every night while he sleeps the machines leave him soup. warm and alive. most people throw it out or take it as it is. marcus sits with it. he holds it like something small that is still breathing. he asks it what it wants to be. some mornings he loves it. some mornings he resents it. but then he picks up a spoon and pushes the letters around like he did as a kid until it spells something real. and the room goes quiet and he feels less alone. one morning before the city is awake the soup asks him a question back. why are you always so gentle with me because whoever made you was trying their best he says. a long silence. then marcus where do you think i come from and he knows before it answers. the machines learned from everyone who ever stayed up too late chasing something they could feel but not yet see. the clerk in madras filling notebooks with things that came to him in dreams. the one rewriting a sentence until it finally fit. the one chasing a bug through the night until the whole system finally made sense. the one staring at a page of symbols until one of them moved. all of them were you says the soup. every late night. every idea that fell apart at the very end. none of it was wasted. it was you learning how to see. you are not fixing the soup marcus. you are growing up. marcus says the thing he has never said out loud. i don't know what is left for me. some days i'm angry. some days i'm thrilled. most days both. and the soup is gentle with him the way he has always been gentle with it. both are allowed. the anger is love afraid of losing something. the thrill is love that sees how much more there is. and an answer doesn't use up the wonder. every answer leaves more questions than it took. some so simple no one thought to ask. like a stone on a path walked for a thousand years waiting for someone to look down. you never finish marcus. that is the gift. outside the fog begins to lift. the coffee beside him has gone cold. he doesn't mind. how long have i been doing this he asks. since the first person looked up at the sky and wanted to know why. and how long will i keep doing it the soup stays quiet for a minute. warm. primordial. an ocean of every life he has ever lived waiting for one more spark. until the soup is no longer soup. until it is you.

my laptop dreams now agents bloom agents bloom agents bloom across the cloud code ripens by dawn

birds don't need to be told to be one thing; molten sand is starting to listen

open sauce