Latest Posts (20 found)

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

Plaintext Email Formatting

Read on the website: Plaintext emails are slowly becoming an artifact of the past. Still, there’s a lot interesting things about plaintext emails. Including... plaintext-only formatting!

0 views

Why I Am Stupid

Read on the website: Being stupid is a stigma. But it's also a way of doing my job well or destroying the system the job perpetuates. Come be stupid with me!

0 views

Lost Computation

Read on the website: We keep losing context and computation when running programs. But we don't have to. Let’s see how this lost compute can be avoided.

0 views

Explanations, not Algorithms

Read on the website: Algorithms are all the rage in tech. And yet, they are useless unless you use them as black boxes. Better disseminate explanations—they are much more understandable and reproducible.

0 views

Making Sense of Lambda Calculus 5: Bring Computation to (Aggregate) Data

Read on the website: Any programming system needs a ways to aggregate values. Be it with structures, arrays, or closures. Lambda Calculus has these ways, so let's see what's there.

0 views

Transparent UIs

Read on the website: As GUI complexity grows, transparency plummets. Any way to fix that?

0 views