Ryan's Blog https://ryanbrewer.dev Ryan Brewer's personal blog, covering ideas in programming languages, software, logic, abstract math, and analytic philosophy. en-us My First Blog Post Thu, 16 Nov 2023 00:00:00 PST https://ryanbrewer.dev/posts/first-post/ https://ryanbrewer.dev/posts/first-post/ here!]]> An Introduction to Proofs with Dependent Types Sun, 03 Dec 2023 00:00:00 PST https://ryanbrewer.dev/posts/logic-in-types/ https://ryanbrewer.dev/posts/logic-in-types/ here!]]> Implicit Products: A Better Type-Theoretic "Forall" Sun, 10 Dec 2023 00:00:00 PST https://ryanbrewer.dev/posts/implicit-products-better-forall/ https://ryanbrewer.dev/posts/implicit-products-better-forall/ here!]]> Security and Crashing with Modal Logic Sun, 17 Dec 2023 00:00:00 PST https://ryanbrewer.dev/posts/security-crashing-modal-logic/ https://ryanbrewer.dev/posts/security-crashing-modal-logic/ here!]]> Announcing the Saber Virtual Machine Thu, 18 Jan 2024 00:00:00 PST https://ryanbrewer.dev/posts/announcing-sabervm/ https://ryanbrewer.dev/posts/announcing-sabervm/ here!]]> Safe Manual Memory Management with Coeffects Thu, 25 Jan 2024 00:00:00 PST https://ryanbrewer.dev/posts/safe-mmm-with-coeffects/ https://ryanbrewer.dev/posts/safe-mmm-with-coeffects/ here!]]> A Beginner's Guide to Programming Language Academia Sun, 28 Jan 2024 00:00:00 PST https://ryanbrewer.dev/posts/beginners-guide-pl-academia/ https://ryanbrewer.dev/posts/beginners-guide-pl-academia/ here!]]> Advanced Typechecking for Stack-Based Languages Sun, 18 Feb 2024 00:00:00 PST https://ryanbrewer.dev/posts/typechecking-svm/ https://ryanbrewer.dev/posts/typechecking-svm/ here!]]> Simple Programming Languages Wed, 20 Mar 2024 00:00:00 PST https://ryanbrewer.dev/posts/simple-programming-languages/ https://ryanbrewer.dev/posts/simple-programming-languages/ here!]]> The Type of Sprintf Tue, 14 May 2024 00:00:00 PST https://ryanbrewer.dev/posts/type-of-sprintf/ https://ryanbrewer.dev/posts/type-of-sprintf/ here!]]> Getting Started with Category Theory Mon, 29 Jul 2024 00:00:00 PST https://ryanbrewer.dev/posts/getting-started-category-theory/ https://ryanbrewer.dev/posts/getting-started-category-theory/ here!]]> The Cricket Language Thu, 12 Sep 2024 00:00:00 PST https://ryanbrewer.dev/posts/cricket/ https://ryanbrewer.dev/posts/cricket/ here!]]> Par Part 1: Sequent Calculus Mon, 13 Jan 2025 00:00:00 PST https://ryanbrewer.dev/posts/sequent-calculus/ https://ryanbrewer.dev/posts/sequent-calculus/ here!]]> Par Part 2: Linear Logic Tue, 11 Feb 2025 00:00:00 PST https://ryanbrewer.dev/posts/linear-logic/ https://ryanbrewer.dev/posts/linear-logic/ here!]]> Par Part 3: Par, Continued Sat, 08 Mar 2025 00:00:00 PST https://ryanbrewer.dev/posts/par/ https://ryanbrewer.dev/posts/par/ here!]]> Speaking on Type Theory Forall Fri, 21 Mar 2025 00:00:00 PST https://ryanbrewer.dev/posts/type-theory-forall/ https://ryanbrewer.dev/posts/type-theory-forall/ here!]]> Simpler Category Theory Wed, 20 Aug 2025 00:00:00 PST https://ryanbrewer.dev/posts/simpler-category-theory/ https://ryanbrewer.dev/posts/simpler-category-theory/ here!]]>