compilers - Fastidious Elegance

Paper is dead, long live Paper Programming

It should come as no surprise to anyone who reads this blog that I love to program "by hand." I happen to practice a degree of ascetical programming practices, and I believe that they help me to more deeply internalize and understand problems, ultimately delivering higher quality solutions.

apl

User Command for Co-dfns

Co-dfns has a new User Command based interface!

co-dfns

Smaller code, Better code

I was enjoying some pizza the other day with some buddies that know a bit about my research and understand where I am coming from with regards to my own computing aesthetics. They understand that I have always pushed for the smallest code that I can get, and to simplify

apl

Old School APL vs. D-fns

Looking at the D-fns code I am writing to build my Co-Dfns compiler. I have to wonder what kind of horror might the old school APLers experience if they examined my source code. Would they freak out at the use of proofs, assertions, and other structural content designed to formally