A visual comparison of macOS Catalina and Big Sur. Despite some criticisms I read here and there, I must admit that the look’n feel of the latest release of macOS is quite pleasant. But why did Apple designers decided to update the core UI elements (like window layout for the Finder, Notes or Preview, etc.) leaving the left “gray” navigation panel untouched on most apps (iTunes and the like)? #apple

Answering the age-old debate: HTML or plaintext emails? Both! — Markdown to multipart MIME

In this essay, I explore the virtues of graphs, algebra, types, and show how these concepts can help us reason about programs. I propose a computational primitive based on graph signal processing, linking software engineering, graphs, and linear algebra. — Computation graphs and graph computation

Optimizing 128-bit Division.

Turning the IDE Inside Out with Datalog.

The Evolution of a Haskell Programmer. See also The evolution of a Scheme programmer (or Factorials in Racket).

Announcing Pylance: Fast, feature-rich language support for Python in Visual Studio Code.

My first foray into Rust. #rust

The Math of Social Distancing Is a Lesson in Geometry. A nice discussion with several illustrations of circular and hexagonal packing.