armchair_progamer @ armchair_progamer @programming.dev

Posts

263

Comments

35

Joined

2 yr. ago

Moderating

---

Dune Shell: bash + lisp

Fennel: a Lua-like LISP

Snapshottable Stores (paper)

Rɐbbit: Reactive Data Board & Visual Flow Platform (node-based VPE)

“C has known memory footguns. C++, due to its complexity, has footnukes.” - Hacker News comment

graydon/rust-prehistory: historical archive of rust pre-publication development

Firedancer: DSL for defining bullet-hell patterns (demo)

Soundly Handling Linearity (blog post + paper)

Syndicated Actors

You should make a new programming language

First impressions of Gleam: lots of joys and some rough edges

Zyme: an evolvable language for genetic programming

Geometry Bugs and Geometry Types

Interval Parsing Grammars for File Format Parsing (paper)

The Hitchhiker’s Guide to Logical Verification (book)

Bril: An Intermediate Language for Teaching Compilers

GLisp: Graphical Lisp (interactive)

Abstract interpretation in the Toy Optimizer

The algebra (and calculus!) of algebraic data types

Modal Effect Types (paper)