Cryptography for software that can verify its own behavior. We pay attention here because it changes what programs can credibly do without asking anyone to trust them.

Open weights, local inference, verifiable compute. The pieces that decide whether useful models stay broadly accessible or settle with whoever runs the largest clusters.

Storage and indexing you can use without trusting the keeper. Interesting when the data matters longer than the company that produced it.

Transport, identity, and the protocols that let machines talk to each other directly. We follow what people build when there's no central authority sitting in the path.