Fernando Borretti

Personal website
https://borretti.me/ (RSS)
visit blog
Adding Colour to macOS Folder Icons
17 Jan 2025 | original ↗

A short experiment with Python, ImageMagick, and iconutil.

Implementing FSRS in 100 Lines
10 Jan 2025 | original ↗

A tiny implementation of the most advanced spaced repetition algorithm.

How I Use Claude
1 Jan 2025 | original ↗

Exploring Anthropic's data export.

Implementing SM-2 in Rust
27 Dec 2024 | original ↗

An implemenation of the SuperMemo-2 algorithm.

Ephemerality in User Interfaces
21 Dec 2024 | original ↗

On hypermedia, UI design, and user agency.

Client Freedom
24 Nov 2024 | original ↗

On the freedom to bring your own client.

The Best Emacs Microfeature
5 Jun 2024 | original ↗

Why I keep using Emacs in 2024.

The Design Space of Wikis
2 Jun 2024 | original ↗

An exploration of the design space of wikis.

Type Inference Was a Mistake
29 Mar 2024 | original ↗

On type inference as an academic computer science lab leak.

Thoughts on LLM Agents
5 Jan 2024 | original ↗

Entropy, criticality, and complexity classes of cellular automata.

You Need More Constraints
30 Jul 2023 | original ↗

A checklist of useful SQL constraints.

Type Systems for Memory Safety
22 Jul 2023 | original ↗

A survey of type systems for memory safety.

Why Checked Exceptions Failed
15 Jul 2023 | original ↗

Programming language features are never orthogonal.

Test Against Reality
8 Jul 2023 | original ↗

Against mocking.

Test Autodiscovery is a Silver Bullet
24 Jun 2023 | original ↗

To encourage good practices, make them frictionless.

Second-Class References
12 Jun 2023 | original ↗

On Graydon's Rust, Val, and mutable value semantics.

Depth-First Procrastination
9 Jun 2023 | original ↗

When subgoals recur infinitely.

Why Lisp Syntax Works
5 Jun 2023 | original ↗

On uniform vs. specific syntax.

Sketch of a Post-ORM
2 Jun 2023 | original ↗

A better way to interact with databases.

Language Pragmatics Engineering
30 May 2023 | original ↗

On best practices and gradient descent.

What is a Software Engineer?
27 May 2023 | original ↗

Blake, Newton, Turing.

Typing Persian in Emacs
25 May 2023 | original ↗

A tutorial introduction to farsi-transliterate-banan.

Language Tooling Antipatterns
14 May 2023 | original ↗

We will build a tower of Webpack wrappers to reach heaven.

↑ These items are from RSS. Visit the blog itself at https://borretti.me/ to find everything else and to appreciate author's digital home.