Pseudo-random Thoughts

Notes on cryptography, proof systems, and whatever else I'm thinking about. RSS

• Hello, world (and how this blog works)

  Welcome to the blog. This first post exists mostly so that I remember how to write the next one. Every post is a Markdown file in _posts/ named YYYY-MM-DD-slug.md, and GitHub Pages rebuilds the site on every push.