I'm Ryan Brewer. I'm a software engineer in San Francisco. I've built a few cool open-source projects, generally related to programming language theory or web development. I built a lot of the tech powering this website! I also love to play guitar, especially folk-rock. I'm straight and cisgender, using he/him pronouns.
Other sites I recommend include Wren's blog, Eashan's notes, Haskell For All, the XXIIVV wiki, and the Cybercat Institute. Podcasts I would recommend include Type Theory Forall, the Church of Logic, and the Iowa Type Theory Commute. Youtubers I recommend include Richard Southwell, Mark Jago, Bartosz Milewski, and the Catsters.
Β© 2024 Ryan Brewer.