SK(I) calculus reduction in asm2bf - Part 1

SK(I) calculus reduction in asm2bf - Part 1
Writing and optimising a SK calculus reductor in asm2bf.
Read more →

Reimplementing GNU yes using asm2bf

How to optimise asm2bf code? What optimisations techniques apply to brainfuck? Let’s think about it in the context of a simple UNIX utility.
Read more →

Explanation of my Code Guessing entry (round 6)

Explanation of my Code Guessing entry (round 6)
An analysis of my code guessing round 6 entry.
Read more →

Matrix Rearrangements - solving a problem with APL.

Matrix Rearrangements - solving a problem with APL.
Given a NxM matrix, one can pick a single element from each row so that the cost of this operation is the smallest. The cost is defined as the sum of every other element left in a row. For each column containing nonzero elements, an element must be picked so that every other element besides the chosen one must originate from different rows. What is the lowest cost for a given matrix?
Read more →

Non-alphanumeric C code - a lab notebook

Non-alphanumeric C code - a lab notebook
Is it possible to program in C without alphanumeric characters? Is such a subset of C turing-complete? Finally, can we mechanically translate C code to non-alphanumeric C code? Let’s find out!
Read more →

Domain eXtensions for Dyalog APL

Overview of a rewrite of my Domain eXtensions APL library, alongside some RIDE patches.
Read more →

What does GCD have in common with leap years?

If [ gcd(80, x) > gcd(50, x) ], then year x is leap. But why?
Read more →

Anarchocapitalism doesn’t exist

An analysis of anarchism in the context of anarchocapitalism and anarchocommunism. Simply put - Why is anarchocapitalism an oxymoron? Is anarchism as terrible as we think? Let’s find out!
Read more →

Dissecting a CODEX crack

In this short post we’ll be taking a closer look at one of the CODEX prods. Featuring InnoSetup and FreeArc.
Read more →

A 6502 Emulator

A tiny, 30-line 6502 emulator in C.
Read more →