armchair_progamer @ armchair_progamer @programming.dev

Posts

263

Comments

35

Joined

2 yr. ago

Moderating

---

Austral (language with linear types) Interview

Ownership you can count on

MOPping it up - Building a simple Metaobject Protocol

Interface Dispatch in C++, Java, C#, Go, and Rust

Security and Crashing with Modal Logic (blog post)

3-lisp: an infinite tower of meta-circular interpreters (blog post)

tree-shaking, the horticulturally misguided algorithm (blog post)

We Need Type Information, Not Stable ABI

Implicit Products: A Better Type-Theoretic "Forall"

Scottish PL Seminar (program and abstracts)

New Semantic Model (for KCL-lang)

POPL 2024 Accepted Papers

Improving programming language performance (blog post, sophia-lang)

Zero to Hero | A Haskell Puzzle

Coccinelle For Rust (Automated complex syntax transforms)

December 2023 monthly "What are you working on?" thread

A response to "A decade of developing a programming language"

A History of Subtyping / What Does Subtyping Mean? (Video / Slides)

The Bosque Programming Language

Write your own tiny programming system(s)! (Online course)