Recent posts

Resolving emacs load path shadows

less than 1 minute read

I recently experienced some emacs problems suggestive of load path issues. Executing M-x list-load-path-shadows gives a nice long list of shadowed files from...

You know you’ve made it.

less than 1 minute read

You know you’ve made it when Aphyr invokes you in an interview! See microKanren in action!

From what program is valof defunctionalized?

less than 1 minute read

We use defunctionalization as program transformation, and see defunctionalized aka data-structure representations as a product of these. But we almost always...