armchair_progamer @ armchair_progamer @programming.dev

Posts

263

Comments

35

Joined

2 yr. ago

Moderating

---

Staged compilation with dependent types (GitHub)

F - A tiny functional concatenative language

The design decisions and evolution of a method definition - Ruby case study

AUTOMAP: How to do NumPy-style broadcasting in Futhark (but better)

Crossing the Impossible FFI Boundary, and My Gradual Descent Into Madness (Vale)

Nondeterminism in Formal Specification

vvvv - visual live-progamming for .NET

OPLSS 2024 Lectures (videos + notes)

The Swift compiler is slow due to how types are inferred

Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

How we test(ed) the Futhark compiler

TypeLoom: Gradual Typing with the LSP

MegaLibm: A DSL for Implementing Math Functions

The Skew Programming Language

Diffusion On Syntax Trees For Program Synthesis

A baseline scrapscript compiler

The borrow checker within · baby steps

Circle C++: C++ superset to add Memory Safety based on Rust's borrow checking

Decker: Apple-II themed "multimedia platform" with an integrated scripting language

Oxidizing OCaml with Modal Memory Management (paper)