The Curious Engineer

All blogs / Functional / PL theory

Ryan's Blog

ryanbrewer.dev

The place Ryan writes his thoughts and shows off cool projects!

Functional / PL theoryCompilersOther languages

Posts
17 from 16 Nov 2023 to 20 Aug 2025
Posting
now and then
Kind
personal blog
Feed
https://ryanbrewer.dev/feed.rss

2025 5

  1. Simpler Category Theory
  2. Speaking on Type Theory Forall
  3. Par Part 3: Par, Continued
  4. Par Part 2: Linear Logic
  5. Par Part 1: Sequent Calculus

2024 8

  1. The Cricket Language
  2. Getting Started with Category Theory
  3. The Type of Sprintf
  4. Simple Programming Languages
  5. Advanced Typechecking for Stack-Based Languages
  6. A Beginner's Guide to Programming Language Academia
  7. Safe Manual Memory Management with Coeffects
  8. Announcing the Saber Virtual Machine

2023 4

  1. Security and Crashing with Modal Logic
  2. Implicit Products: A Better Type-Theoretic "Forall"
  3. An Introduction to Proofs with Dependent Types
  4. My First Blog Post