Posts

  • 10 March 2026

Parallel ANF

A description of an ANF-like intermediate representation that is better suited for parallel evaluation

Read more 
  • 3 March 2026

Intermediate Representations

A description of three common intermediate representation forms used in compilers

Read more 
  • 8 December 2025

Symbolic Differentiation & Computer Algebra Systems

About symbolic differentiation and computer algebra systems

Read more 
  • 10 November 2025

Compose Language Introduction

An introduction to my new concatenative programming language, Compose

Read more 
  • 25 October 2025

Polyactive Agents: Multiple Principal Ports

An explanation of a flaw in standard interaction nets that makes them less than optimal for parallel evaluation, and a variation of them that solves this flaw

Read more