"Reversible Computing" Posts

Writing on concepts in reversible computing.

• 2026-09-15

  Some Notable Reversible Logic Gates

  Logical connectives are the building blocks of logic; and logic gates, derived from logical connectives, are the building blocks of computers. Anyone familiar with programming is likely familiar with most of the basic logic gates: AND, OR, and NOT. Maybe they’ve heard of NAND or XOR, or, if they’re more logically-inclined, maybe they’ve heard of IMPLY. They’re well-known quantities; each logic gate with 2 or fewer arguments even has its own wikipedia page. But what aren’t really documented quite as exhaustively are the “reversible” logic gates.

• 2026-03-31

  Reversible Programming Primer: Symmetry-Breaking (Part 2)

  In part 1 of the discussion of symmetry-breaking, we discussed what symmetry-breaking was, the motivating problems that necessitated the introduction of symmetry-breaking, and many of the basic primitives that can be used to build symmetry-breaking code. However, we were left with an unwieldy tool that broke all of the patterns that we had previously established. In this sixth post on reversible programming, we will discuss the problems that symmetry-breaking has left us with, a more precise model of how reversible functions can be structured, and a substitute for undo symmetry that can salvage our existing patterns for use in symmetry-breaking code.

• 2026-02-18

  Reversible Programming Primer: Symmetry-Breaking (Part 1)

  Reversible programming languages can run code “in reverse”, but what does that mean? You might have an intuitive idea that “running code in reverse” should be equivalent to “running the inverse of the code”, and this is a good default assumption. However, when we look at some of the practical concerns of real reversible programs, we discover that it’s not always possible for this to be the case, and that, even when it’s possible, it’s not always desirable. In this fifth post on reversible programming, we will be examining the situations where our intuition regarding reverse execution fails.

• 2025-11-24

  Reversible Programming Primer: Backtracking Control Flow

  So far in this series, reversible computation has introduced a lot of restrictions on how you can write code. However, reversible programs are also capable of some very unique functionality that is simply impossible without imposing the constraint of reversibility. In this fourth post on reversible programming, we will finally be justifying the name “reversible computing” by exploring how reversible programming languages can allow programmers to “run code in reverse” and all of the unique things this feature allows you to accomplish.

• 2025-10-24

  Reversible Programming Primer: Basic Control Flow

  In reversible programming languages, many of the fundamental concepts of control flow from traditional programming languages break down. All familiar forms of conditionals and looping allow for programs to effectively erase the history of their own operation, making it impossible to tell whether or not particular branches were taken to reach a particular result. In this third post on reversible programming, I will be going over the reversible counterparts of these control structures and showing how they can be used to implement some basic, familiar programming patterns.

• 2025-10-01

  Puzzle Game Development: Pair Place

  I thought that it might be a good challenge to try to introduce and keep up-to-date a daily puzzle on the site for as long as I can manage. So, starting today, I will be uploading a daily puzzle for a puzzle system I’ve been investigating, which has some similarities to sudoku.

• 2025-09-26

  Reversible Programming Primer: Assignment

  Assignment as it is generally understood cannot exist in a reversible programming language. However, assignment as a form of initialization is essential for writing computer programs in general. And so, reversible programming languages will need to introduce new concepts of initialization to serve the role of assignment operators, which could be called “reversible assignment” operators. In this second post on reversible programming, I will be going over some of the most useful types of reversible assignment operators that can be defined.

• 2025-08-19

  Reversible Programming Primer: Introduction

  Over the past few years, I’ve been doing a lot of personal hobby research into reversible computing. Studying reversible computing has been almost like having to learn programming from the ground up again, and the lack of resources has meant that I have had to come up with my own mental models and analogies for understanding reversible programming concepts. So I thought that it might be worthwhile to share some of that hard-won intuition so that anyone else looking into the topic might have an easier time getting a grip on it. This is the first in a series of posts discussing some of the basic concepts and programming primitives of reversible computing. In this post, I will be explaining what reversible computing is and some high-level concepts of how it can be used for computation.