Kuba Suder's long blog post introducing AT Protocol — walks through lexicons, records, PDS, identity, and the rest of the architecture for newcomers.