# SK(I) calculus reduction in asm2bf - Part 1

Writing and optimising a SK calculus reductor in asm2bf.

# 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.

# Explanation of my Code Guessing entry (round 6)

An analysis of my code guessing round 6 entry.

# 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?

# 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!

# Domain eXtensions for Dyalog APL

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

# What does GCD have in common with leap years?

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

# 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!

# 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.