Notes on trust and verifiability on the internet, decentralized protocols, open-weight LLMs and local-first software.