armchair_progamer @ armchair_progamer @programming.dev

Posts

264

Comments

35

Joined

2 yr. ago

Moderating

---

Type Checking with Eqlog (5-Part Series)

VisionScript: A high-level programming language for computer vision (DSL)

MLIR (Multi-Level IR) For Beginners

I built a garbage collector for a language that doesn’t need one (Rust)

Expr (tiny embedded language in Go)

Optimizing Rust Enum Debug-ing with Perfect Hashing

Supermarket AI meal planner app suggests recipe that would create chlorine gas

The Allegedly Minimal LR(1) (Parsing + check out booze-tools itself)

What's in a Module?

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

The Austral Programming Language

Durable Incrementality (Compilers)

Linear-time parser combinators (writing an LL1 parser combinator library in OCaml)

Totality (Rust + Koka)

Type Theory Forall - #31 Discussing Problems in PL and Academia

Vale's First Prototype for Immutable Region Borrowing

Making a Language (3-Part Series)

How to Keep Lambda Calculus Simple

Demystifying Pratt Parsers

How is it possible that roughly 50% of Americans can’t read above a 6th grade level and how are 21% just flat out illiterate?