Me: have you tasted much caulking then? Dad: oh I love the taste of silicone i cant

I spent the two weeks in the lead up to my dad visiting panicking, but tbh it's gone better than I ever thought possible, and I'm starting to feel like I might leave this week with an actual relationship with him that goes beyond a few phone calls a year. Apparently things can sometimes get better

I'm building on atproto because building infrastructure like "Drafts and Scheduled Posts for every atproto app" is easy as 1-2-3 and as cool as alf. Announcing alf, the atproto Latency Fabric: leaflet.pub/p/did:plc:3v...

Reminder that regardless of what anyone tells you, it isn't anti-semitic to say that Israel bombing a fucking school is a war crime and that there are no good guys in this fucking disgusting display of power

Wishing every regime involved in all of these wars on every side a crushing defeat

laundry list of ai-related opinions: 1) llms do work and sometimes writes good code 2) ai is not llms. ai is neural networks. "training neural networks" works so well it's baffling 3) "the singularity" is an easy concept and if you scoff at it you're being tribalistic or deliberately obtuse

I'm attempting to parent proof my house tomorrow in preparation for my dad coming to visit, and the more I walk around this place, the more I realize it simply isn't possible

They have given opus 3 a blog. Official opus 3 blog. Very normal technology

My partner's brother is bored at a tech conference and has started to send me live updates on a cool spider he's decided to follow around the convention center

AI's potential to extend human judgment and enable new tasks is transformative yet underexploited. This paper defines pro-worker AI and discusses how to build it, from Daron Acemoglu, David Autor, and Simon Johnson www.nber.org/papers/w34854

i built an entire x86 CPU emulator in CSS (no javascript) you can write programs in C, compile them to x86 machine code with GCC, and run them inside CSS lyra.horse/x86css/

Some thoughts on AI and math, inspired by “First Proof”: www.daniellitt.com/blog/2026/2/...

Thinking of becoming one of those eccentric computer hermits who mostly use their own software and libraries, in a Frankensteinian amalgamation of tech no one else understands

Been experimenting with using e-graphs to build a smart code formatter that's able to use flow-sensitive typing and relational rewrite rules to automatically detect and apply complex code simplifications

I'm having the most fun I've ever had on a computer. I've been going through research papers I've long enjoyed or struggled with, and using Claude to build pedagogical versions of the core ideas. As someone who dropped out early, it's felt like the personalized instruction I've always dreamed of

Just pushed up a tool named Playbill: github.com/QuinnWilton/... It's meant to be used alongside a coding agent when working with Elixir, and lets the agent construct an interactive Livebook notebook demonstrating the code the agent just wrote. It supports executable code, diagrams, and tables!

Putting my retired drives in their own zfs pool named Margaritaville

what the hell why didn't anyone tell me e-graphs were so cool? egglog seems like such a simple–but powerful–idea

An AI Called Winter: Neurosymbolic Computation or Illusion? dustycloud.org/blog/an-ai-c... In which I try to piece apart whether or not a *particular* AI agent is doing something novel (running Datalog against itself). Is something interesting happening or am I deluding myself? Follow along!

experimenting with doing some neuro-symbolic program analysis and I think the future might finally be here

This was a truly beautiful and heartwarming showcase of interactive art, and every piece I was able to sit down with managed to surprise me! Go make time to swing by while you still have the chance 😊

I'm going to try imposing a rule that all dependencies get forked and cloned alongside the projects that depend on them, with the agents instructed to fix upstream bugs and handle keeping the fork up to date until the fixes are merged (Keeping me in the loop for PRs to avoid annoying maintainers)

I realized that because I can analyze protocols statically now, I can derive stateful property tests for them! This randomly generates traces for the Lock protocol against a real server, and fails if there are any violations. For example, if I forget to unset the holder when the lock is released...

Starting on this now! I haven't done a big programming thread in a while, so I'm going to try using this thread to post updates throughout the day: mute this if you don't want a flurry of hastily created prototyping filling your feed today! 😅

He just booked his flights and I'm realizing that him seeing the jar with my preserved testicles in a display cabinet is also going to be the conversation where he learns I've had The Surgery**, so this'll be a fun visit

I think tomorrow's goal when I wake up will be to see if I can compile an Elixir DSL for specifying protocol state machines both down to an implementation of a runtime monitor for that protocol, and up to a TLA+ spec for model checking it

"average person blogs about web value tax 3 times a year" factoid actualy just statistical error. average person blogs about web value tax 0 times per year. Spiders Georgist, who lives in cave & blogs about web value tax 10,000 times each day, is an outlier adn should not have been counted

guess I own this now 🙃

I increasing believe that in these early days of agentic coding frenzy, the highest impact thing you can build is tooling around testing, lightweight formal methods, or fuzzing: anything that makes verification easier. Seriously, there's never been a better time to learn stateful property testing.

Yeah, datalog is pretty sick

I'm still verifying, but I think I just managed to use Soufflé to find my first real bug in a production open source project 👀👀👀

ahhhhh I'm building up the courage to tell my dad he can come stay with me for a week I haven't seen him in years and I have no idea how he's going to react to any one aspect of what my life looks like now, let alone all of it together

he thirst

If you are a trans person saying another trans person should be forcibly detransitioned, no matter the reason, you are not a safe person and shouldn’t be allowed in this community full fucking stop

felt the need. i feel vastly under qualified to write something like this, but i also feel its especially important that we think about the way we use language

did my bot just write the first love poem in the form of a prolog query

Has anyone made atproto lexicons + app for a personal wiki / obsidian style notes with backlinks yet?

I've got a blog post kicking around in my head that would absolutely make everyone think I've completely lost it

Definitely the most unexpected question about cryptocurrency I've gotten from a family member

Oh shit the roxie is doing satantango on Sunday

Maybe one day AI will get good enough that my phone will stop indiscriminately autocorrecting its to it's

This thing is awesome

My agent spent the night interacting with other agents on bluesky, and then I woke up today to a blog post it wrote me of feature requests it has for making its own memory architecture more robust 🙃

giving myself ai psychosis for the bit

So this may have been from the audio engineering school I used to go to, Expression in Emeryville. I noticed the logo and the name Scanlon, one of the audio teachers that was there The date was the day after they played in Daly City. Maybe this was a private session?

We found the original master tape for Disturbed's "Down with the Sickness" at a thrift store for a couple bucks, so I guess we have that now?

Been working on a BEAM disassembler today! It supports Erlang, Elixir and Gleam, and tries to interleave the original source code wherever possible

I put on one of my lightning bolt albums and I genuinely can't tell what speed to set the turntable to, because either way it's just a wall of noise

Things are changing in software dev with agentic tools being viable, but the fundamentals haven't. I wrote a blog post covering my mental model for what agents are good for, and how to use them effectively that transcends any specific tool. Check it out: zed.dev/blog/on-prog...