Fernando Borretti

Why I keep using Emacs in 2024.

An exploration of the design space of wikis.

On type inference as an academic computer science lab leak.

Entropy, criticality, and complexity classes of cellular automata.

A checklist of useful SQL constraints.

A survey of type systems for memory safety.

Programming language features are never orthogonal.

Against mocking.

To encourage good practices, make them frictionless.

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

When subgoals recur infinitely.

On uniform vs. specific syntax.

A better way to interact with databases.