Org Babel support for Coq

Count me as one who really likes using smart quotes when exporting from Org. To enable this requires that you set the variable org-export-with-smart-quotes to t. So far, so good yes? Not...

Ah, the night before a coding interview. It’s like the night before Christmas, if instead of presents, Santa was bringing a whiteboard full of algorithms and data structures for you to solve while someone watches over your shoulder. The anticipation is palpable…

I cut a new release of "setup", my configuration macro package: https://elpa.gnu.org/packages/setup.html. You can find a changelog on elpa.gnu.org.

#emacs #elpa

Abstract: How are four generalist editors, i.e., designed to be used with a wide range of programming languages and text files, performing when writing documents in Markdown language? This is the subject of this article based on my personal experiences in…

  Synchronized Multimedia Integration Language (SMIL) is an SVG extension which allows one to create simple animation without Javascript. ...

This blog, and the vast majority of the code I write, is written in Emacs with evil (a vim emulation mode). I have a nasty habit of mashing :w2<ret> when I really was trying to save the current buffer with :w<ret> . :w2 writes the current buffer to a new…

Information about the latest version of my fontaine package for GNU Emacs.