"Left" and "right" seem especially tired in the context of crypto, which enables new kinds of self-sovereignty *and* collective action. Working in a low status industry full of high agency weirdos has meant bumping into many people with heterodox politics. I think this is good.

https://frames.weponder.io/api/polls/4551/frame 

context: halmos is our OSS EVM bytecode verifier (github.com/a16z/halmos)

I would pay good money for an AI cat door that does not let the cat in the house with a live mouse

devs: we have created a way to commit to immutable and transparent rules, running eternal cypherpunk programs on a global computer in the sky

also devs:

me: I’d like to think of myself as chaotic good, but if I’m going to be honest I’m probably lawful neutral actually 

interviewer, taking notes: …BIG dork…

I wrote a thing
https://x.com/0xkarmacoma/status/1796717127887626609

Confession of a dev with 15 YOE in Big Tech™️:

I have never done a single leetcode problem

rare 🌶️ opinion: the fediverse is HOAs for social media

*taps mic*

if the L1 cache is so fast, why don't they make the whole memory out of that stuff?

Re-introducing EVM Diff

EVM Diff is the easiest way to diff EVM-compatible chains in a friendly format, now with automated discovery of chain differences, making it much more scalable.

There's two ways to diff:
- Two chains side-by-side
- All chain in a caniuse.com-like table

Try it out at http://evmdiff.com

finally going to merge an epic PR in halmos, completely reworking how memory works in the EVM interpreter. Instead of a big list of individual bytes, we will now handle references to chunks end to end

I hope you’re all staying hydrated out there

hell yeah I'm into VC (verification conditions)