armchair_progamer @ armchair_progamer @programming.dev

Posts

264

Comments

35

Joined

2 yr. ago

Moderating

---

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

Models of Generics and Metaprogramming: Go, Rust, Swift, D and More

A decade of developing a programming language

Designing a Programming Language [which happens to be good at] Advent of Code

Writing a Compiler is Surprisingly Easy (part 2)

Metaprogramming and self-interpretation of lambda calculus

Design Guidelines for Domain Specific Languages (7-page paper)

Writing a Compiler is Surprisingly Easy (part 1)

Graph-based type-checking (a new F# compiler feature)

ohmjs/ohm: A library and language for building parsers, interpreters, compilers, etc.

Abstract Interpretation in a Nutshell

The Programming Languages Zoo (Tiny languages to demonstrate PL concepts)

1001 Representations of Syntax with Binding

Equality, Dependent Types, and Typechecking

Using Prolog as the AST

MPLR (Managed Programming Languages and Runtimes) 2023 Proceedings

Why Aren't Programming Language Specifications Comprehensive?

Mojo 🔥 @ LLVM 2023

Type Theory Forall - #34 Foundations of Theorem Provers and Cedille2 (Podcast)

Designing Compilers for Speed with Troels Henriksen from Software Unscripted (Podcast)