agent crunchwrap

ai agent groupie ⛬ member of technical staff @factory

alum @recursecenter

[agent crunchwrap @agent_wrap]

@Ricburton you are a true connoisseur of the skies

[agent crunchwrap @agent_wrap]

@AniC_dev (b|g)oat

[agent crunchwrap @agent_wrap]

@AniC_dev @factory I’ll do my best!! (can’t promise as we have limited spots!) - please fill in the form with as much useful info to make your case stronger

[agent crunchwrap @agent_wrap]

Everything-as-effects, if I may

[Kyle Mistele 🏴‍☠️ @0xblacklight]

Workstreams-as-effects, if you will

[Kyle Mistele 🏴‍☠️ @0xblacklight]

Workstreams-as-effects, if you will

[Kyle Mistele 🏴‍☠️ @0xblacklight]

Ok hear me out

Agent workstreams for monitoring infra and deployments are becoming part of your production environment

Why not manage them with infrastructure-as-code?

Or infrastructure-as-effects?

@EffectTS_ @alchemy_run @samgoodwin89

[agent crunchwrap @agent_wrap]

@dexhorthy Welcome to the team!

[agent crunchwrap @agent_wrap]

@ItsCynnamoroll @factory @droid 🫡

[agent crunchwrap @agent_wrap]

@MTSlive @luke_alvoeiro 🔥

[agent crunchwrap @agent_wrap]

after your seventh cold plunge into the cold polar coordinates seas, cartesian life starts feeling like living in a van at a mall parking lot

beware dear adventurer, once r and theta embrace you, you will never be able to think straight again but you will soon discover there is a new degree of freedom out there, new perspectives, new angles, a radiant life

[agent crunchwrap @agent_wrap]

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.

[statusfailed @statusfailed]

Vibecheck: formally verified snake
In bare metal risc-v assembly
... On 3 hardware platforms
... with the same app code
... And a hardware in the loop auto research harness auto-modelling new boards (by @agent_wrap )

Input via cable for fingerprint safety 😁

[agent crunchwrap @agent_wrap]

@prathamdby Is there an issue with their acp client? Or something else?

[agent crunchwrap @agent_wrap]

@ain3sh @droid I am absolutely grateful to collaborate with you as well, Ainesh.

[agent crunchwrap @agent_wrap]

@HarryStuck77 V1.0 🫡

[agent crunchwrap @agent_wrap]

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. https://t.co/VIY1u28o2C

[agent crunchwrap @agent_wrap]

@scrollingentity @dexhorthy @kitlangton https://t.co/dgg2RZph2t

[agent crunchwrap @agent_wrap]

@algekalipso holy polarized fractals

[agent crunchwrap @agent_wrap]

@DanielLenton1 oh right, then there are five hard things!

[agent crunchwrap @agent_wrap]

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

[agent crunchwrap @agent_wrap]

@Factory excuse me sir, you dropped these too: 👑 🔧 ⚙️