An introduction to \(\lambda P\)

Unifying the typed lambda calculii we've seen so far

When working on my web projects I often have same the same filename in different folders, such as projectname/index.html and anotherproje...

Inspired by what I've seen around, I'm rebooting my photography website. This time, however, focused on film

If you ask anyone what the best Emacs packages are, you’ll almost definitely hear Magit (the only Git porcelain worth using) and Org Mode (a way to organize anything and everything in plain text) listed as #1 and #2. And they’re right! I use those packages…

In this stream, we will write a custom Org export backend that will convert Org Mode documents to Scheme. The goal is to produce equivalent documents in the Skribe format used by Skribilo for Scheme-hackable document production.

Is this a good or bad idea?…

I want things to be simple and without distraction. I want to avoid futzing all the time. To this end, I often try to move away from using Emacs for everything. Emacs is not simple, no matter how hard I try to force it to be simple.

So I pull

A short comment on writing tools, emacs, and writing in general

It’s the first day of vacation, and as such the …

Announcing Casual Info, an opinionated porcelain for the Emacs Info reader, now published on MELPA. For folks who find the Info reader barely tolerable, Casual Info might make you learn to...