Yesterday I had a good conversation with Emily, and then I wrote a beautiful functional, functorized trie in ML. Today I rewrote most of it to be imperative because it's bad when your code hits swap. It runs at least a thousand times faster, no exaggeration.

I have incredible, ungodly amounts of work.

Apparently, the paragraph from my HOT assignment on subsignature matching,

The IL subsignature relation only respects pointwise subkinding and subsignature matching, without accounting for any reordering or dropping of structure fields. Instrad of including these in the IL's semantics, they're handled by a the coercive signature matching ( Read more... )

CRUSH ALGO! CRUSH!

Yesterday I stayed awake for thirty-six hours, and spent about two thirds of that working. Then I slept for eleven hours. I feel much better.

Minus an hour and a half break for dinner at 10:30 last night, I have been coding for sixteen hours.