armchair_progamer @ armchair_progamer @programming.dev

Posts

264

Comments

35

Joined

2 yr. ago

Moderating

---

Implementing a GPU's Programming Model on a CPU (Compilers)

Bridging Futhark and SML

The Deep Link Equating Math Proofs and Computer Programs

LSP could have been better

Crafting Self-Evident Code with D (Opinions)

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

rzk: an experimental proof assistant for synthetic ∞-categories

Semgrep: a static analysis journey

Lean/Coq/Isabel and Their Proof Trees

Strong arrows: a new approach to gradual typing (Elixir)

E-graphs (Large Resource)

An Introduction to Interpreters and JIT Compilation (slides)

Type Theory Forall (Podcast) - #33 Z3 and Lean, the Spiritual Journey

Telescript (old programming language)

Laziness in Haskell (video + commentary)

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

Ad-hoc polymorphism erodes type-safety

Types versus sets (and what about categories?)

Compile-time and short-circuit evaluation

Vim Creator Bram Moolenaar’s Forgotten Programming Language, Zimbu