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.
Co-dfns has a new User Command based interface!
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
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