Latest Posts (20 found)

Binary Lambda Calculus is Hard

Read on the website: Binary Lambda Calculus is a really alluring idea. But it’s also hard to grasp and use! Here’s my list of complaints and obstacles to using BLC.

0 views

Kaktovik Numerals

Read on the website: Kaktovik numerals are a surprisingly good counting system. It allows many arithmetic operations to be done visually and effortlessly. Though it takes some getting used to. Thus this page!

0 views

Package-Inferred Systems are Dangerous

Read on the website: Package-inferred systems follow a useful one-file-per-package convention structure. But package-inferred systems themselves are harmful and should not be used. rss.xml:z15n

0 views

Pidgin Markup For Writing, or How Much Can HTML Sustain?

Read on the website: HTML is flexible and was shaped by generations of web practitioners. It has enough tricks up its sleeve to actually be nice to author. Here are some.

0 views

Easy (Horizontal Scrollbar) Fixes for Your Blog CSS

Read on the website: There are narrow screen CSS problems I often email people because of. These three fixes should be enough for most.

0 views

2025: Never-ed(1)-ing Lisp, Writing, and Feelings

Read on the website: This was a hard year, filled with Lisp hacking, ed(1) editing and meta-programming, escapist writing, and heavy feeling. A good K-pop soundtrack tho.

0 views

Common Lisp Dependency Vendoring with Submodules

Read on the website: Submodules give you the flexibility to fetch the dependencies, or not. And they enable more granular reproducible builds. Use submodules!

0 views

Making Sense of Lambda Calculus 6: Recurring Problems

Read on the website: There’s data encoding in Lambda Calculus. But there are also algorithms. Recursive, usually. So let’s look at how recursion works when all you have is lambdas.

0 views

Advanced Self-Aware ed(1)

Read on the website: ed(1) is a versatile programming system. Yet no one talks about metaprogramming and algorithms in it. Now someone did, and that’s me!

0 views

s/sed/ed

Read on the website: ed is a stupid simple text editor. sed is a nice streaming text processing tool. Why would one even want to use ed for anything, let alone for text processing if there's sed?

0 views

Functional Threading “Macros”

Read on the website: Threading macros make Lisp-family languages much more readable. Other languages too, potentially! Except… other languages don’t have macros. How do we go about enabling threading “macros” there?

0 views

My ed(1) Toolbox

Read on the website: I am an ed(1) fan. Naturally, I have a lot of scripts and implementations handy. Here are some.

0 views

Customizing Lisp REPLs

Read on the website: Lisp REPLs are a good tool, but some consider it too rigid. Which leads to abundance of proxy REPLs. Except… you don’t need them!

0 views