56,966 blogs · [ { "id": "01a087d9-70b9-71bf-93ee-3cdc5c357acf", "title": "Simpler Category Theory", "url": "https://ryanbrewer.dev/posts/simpler-category-theory/", "published_at": "2025-08-20T08:00:00+00:00" }, { "id": "01a087d9-70b9-71bf-93ee-3cdc5b6581a6", "title": "Speaking on Type Theory Forall", "url": "https://ryanbrewer.dev/posts/type-theory-forall/", "published_at": "2025-03-21T08:00:00+00:00" }, { "id": "01a087d9-70b9-71bf-93ee-3cdc5aa587a0", "title": "Par Part 3: Par, Continued", "url": "https://ryanbrewer.dev/posts/par/", "published_at": "2025-03-08T08:00:00+00:00" }, { "id": "01a087d9-70b9-71bf-93ee-3cdc5a9d0c20", "title": "Par Part 2: Linear Logic", "url": "https://ryanbrewer.dev/posts/linear-logic/", "published_at": "2025-02-11T08:00:00+00:00" }, { "id": "01a087d9-70b9-71bf-93ee-3cdc5a94cb64", "title": "Par Part 1: Sequent Calculus", "url": "https://ryanbrewer.dev/posts/sequent-calculus/", "published_at": "2025-01-13T08:00:00+00:00" }, { "id": "01a087d9-70b9-71bf-93ee-3cdc59e4314e", "title": "The Cricket Language", "url": "https://ryanbrewer.dev/posts/cricket/", "published_at": "2024-09-12T08:00:00+00:00" }, { "id": "01a087d9-70b9-71bf-93ee-3cdc5948873d", "title": "Getting Started with Category Theory", "url": "https://ryanbrewer.dev/posts/getting-started-category-theory/", "published_at": "2024-07-29T08:00:00+00:00" }, { "id": "01a087d9-70b9-71bf-93ee-3cdc58c251e0", "title": "The Type of Sprintf", "url": "https://ryanbrewer.dev/posts/type-of-sprintf/", "published_at": "2024-05-14T08:00:00+00:00" }, { "id": "01a087d9-70b9-71bf-93ee-3cdc5811e637", "title": "Simple Programming Languages", "url": "https://ryanbrewer.dev/posts/simple-programming-languages/", "published_at": "2024-03-20T08:00:00+00:00" }, { "id": "01a087d9-70b9-71bf-93ee-3cdc57bd87d9", "title": "Advanced Typechecking for Stack-Based Languages", "url": "https://ryanbrewer.dev/posts/typechecking-svm/", "published_at": "2024-02-18T08:00:00+00:00" }, { "id": "01a087d9-70b9-71bf-93ee-3cdc56e95769", "title": "A Beginner's Guide to Programming Language Academia", "url": "https://ryanbrewer.dev/posts/beginners-guide-pl-academia/", "published_at": "2024-01-28T08:00:00+00:00" }, { "id": "01a087d9-70b9-71bf-93ee-3cdc56d58905", "title": "Safe Manual Memory Management with Coeffects", "url": "https://ryanbrewer.dev/posts/safe-mmm-with-coeffects/", "published_at": "2024-01-25T08:00:00+00:00" }, { "id": "01a087d9-70b9-71bf-93ee-3cdc55d66da7", "title": "Announcing the Saber Virtual Machine", "url": "https://ryanbrewer.dev/posts/announcing-sabervm/", "published_at": "2024-01-18T08:00:00+00:00" }, { "id": "01a087d9-70b9-71bf-93ee-3cdc54d979e6", "title": "Security and Crashing with Modal Logic", "url": "https://ryanbrewer.dev/posts/security-crashing-modal-logic/", "published_at": "2023-12-17T08:00:00+00:00" }, { "id": "01a087d9-70b9-71bf-93ee-3cdc5475e1b5", "title": "Implicit Products: A Better Type-Theoretic \"Forall\"", "url": "https://ryanbrewer.dev/posts/implicit-products-better-forall/", "published_at": "2023-12-10T08:00:00+00:00" }, { "id": "01a087d9-70b9-71bf-93ee-3cdc5390561e", "title": "An Introduction to Proofs with Dependent Types", "url": "https://ryanbrewer.dev/posts/logic-in-types/", "published_at": "2023-12-03T08:00:00+00:00" }, { "id": "01a087d9-70b9-71bf-93ee-3cdc537cf58e", "title": "My First Blog Post", "url": "https://ryanbrewer.dev/posts/first-post/", "published_at": "2023-11-16T08:00:00+00:00" } ] posts Claim your blog

Back to ryanbrewer.dev

Blog · corpus.blog/blogs/ryanbrewer.dev/posts

ryanbrewer.dev

ryanbrewer.dev

2025

Simpler Category Theory original ↗

20 Aug 2025

Speaking on Type Theory Forall original ↗

21 Mar 2025

Par Part 3: Par, Continued original ↗

8 Mar 2025

Par Part 2: Linear Logic original ↗

11 Feb 2025

Par Part 1: Sequent Calculus original ↗

13 Jan 2025

2024

The Cricket Language original ↗

12 Sept 2024

Getting Started with Category Theory original ↗

29 Jul 2024

The Type of Sprintf original ↗

14 May 2024

Simple Programming Languages original ↗

20 Mar 2024

Advanced Typechecking for Stack-Based Languages original ↗

18 Feb 2024

A Beginner's Guide to Programming Language Academia original ↗

28 Jan 2024

Safe Manual Memory Management with Coeffects original ↗

25 Jan 2024

Announcing the Saber Virtual Machine original ↗

18 Jan 2024

2023

Security and Crashing with Modal Logic original ↗

17 Dec 2023

Implicit Products: A Better Type-Theoretic "Forall"original ↗

10 Dec 2023

An Introduction to Proofs with Dependent Types original ↗

3 Dec 2023

My First Blog Post original ↗

16 Nov 2023