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 →

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 →