My first blog post for @antithesis.com is out! Ostensibly it's about why a formal methods person would want to join the company. Actually it's a romp through formal methods, the problems of abstraction, how we can break nondeterminism over our knee. antithesis.com/blog/2026/hi...

Show Post

do not funnel your grief over this death into trek and x-men merch, paramount & disney dont need your money. go to plays, give to charities, vote for candidates who will fund public art, and you will make it possible for people like patrick stewart to exist and keep existing. a rising tide lifts all

Show Post

If you want more Patrick Stewarts, then you publicly fund the arts and learning programs, so that working class kids can find their way into making a career in them.

Show Post

i'm increasingly convinced that the best software was written by people who were just trying to solve a problem and had absolutely no intention of building a company

Show Post

"the agent passed all the tests" who wrote the tests "the agent" ah okay wonderful

Show Post