You can also also view the full archives of micro-posts. Longer blog posts are available in the Articles section.

Inter is a typeface carefully crafted & designed for computer screens.
Unlike Windows and MacOS, Linux gives you options.
TIL about uuidgen (on Mac):
NAME
uuidgen -- generates new UUID strings
SYNOPSIS
uuidgen [-hdr]
DESCRIPTION
The uuidgen command generates a Universally Unique IDentifier (UUID), a 128-bit value guaranteed to be unique over both space
and time.
I personally use “principled” to refer to choices informed by sincere and careful deliberation, in contrast to choices informed by unquestioned defaults that have ossified into convention. A principled workflow considers whether or not modeling assumptions are appropriate and sufficient for answering relevant questions in your particular applied context. Because everyone asks different questions in different contexts, such a workflow cannot be reduced to a deterministic algorithm. All we can do is assemble a coherent set of techniques to help us evaluate our own assumptions and guide our unique path through model space. — Towards A Principled Bayesian Workflow
I’ve taken various detours along the way into learning and using various other languages. I like several of them quite a bit. I just don’t like them as much as Common Lisp. The pleasure I take in my work is a significant factor in my productivity. Choosing tools that offer me less joy is a cost I prefer not to bear without good reason. That cost often exceeds the advantage I might realize from using some other language. Not always; but often. — Production Lisp in 2020?
John McWade, founder and creative director of Before & After magazine, mentioned that the ideal line length is 45–55 characters without spaces and punctuations. For small mobile devices, the acceptable line length is 25 characters without spaces and punctuations. (If spaces and punctuations are included, the ideal line length will be around 66 characters according to The Elements of Typographic Style by Robert Bringhurst.) — How to Set Perfect Line Lengths for Your Webpages