Monday, May 4

### Idris Algebra

made by nickdrozd, submitted by nicholasbs

A series of increasingly complicated algebraic proofs with clear definitions, implemented in Idris, a purely functional programming language.

Monday, May 4

made by nickdrozd, submitted by nicholasbs

A series of increasingly complicated algebraic proofs with clear definitions, implemented in Idris, a purely functional programming language.

Wednesday, Dec 4

made by nickdrozd, submitted by porterjamesj

An explanation of how to make Emacs' if-expressions behave incorrectly only some of the time, and the resulting humorous behavior of the editor.

Tuesday, Apr 23

made by nickdrozd, submitted by nicholasbs

A fun exploration of how to use generic types in Rust to write code that feels more Lisp-like.

Tuesday, Jan 1

Nick describes his first commit to "real-deal core GNU Emacs," with some interesting commentary and historical context.