armchair_progamer @ armchair_progamer @programming.dev

Posts

263

Comments

35

Joined

2 yr. ago

Moderating

---

IELR(1) parser generator insights

Bio: A Lisp dialect written in Zig

We need visual programming. No, not like that.

A curated list of awesome Rust checkers

mazeppa: An IR and supercompiler for functional languages

Esolang Park - online interpreter and debugger for esoteric programming languages

Toit - a language for microcontrollers with live reloading

Some tricks from the Scrapscript compiler

Modeling B-trees in TLA+

Solving a math problem with planner programming

Scoped Propagators

Exploring biphasic (multi-stage) programming

Associated Effects: Flexible Abstractions for Effectful Programming (paper)

International Conference on Functional Programming 2024 Accepted Papers

Deriving Dependently-Typed OOP from First Principles (paper)

A reckless introduction to Hindley-Milner type inference

Writing an IR from Scratch and survive to write a post (long)

The Pre-Scheme Restoration

Lady Deirdre: Unified compiler framework

PLDI (Programming Language Design and Implementation) 2024 Proceedings