Stories by todsacerdoti

How Mandelbrot set images are affected by floating point precision

Migrating from ClickHouse to Apache Doris: what happened?

The Accidental Discovery of a New Vulnerability in Google's OAuth Implementatio [video] (2023)

Divine Automation: Factorio and phantasies of mechanization

Go, Python, Rust, and production AI applications

Compartmentalising Network Stacks with CHERIoT

OpenAPI-TUI: Terminal UI to list, browse and run APIs defined with OpenAPI spec

Incognito Darknet Market Mass-Extorts Buyers, Sellers

Hypothesis starts to support fuzzing and solver-based back ends

Refactoring with Proofs [video]

Type Unions Don't Always Compose Well

Splade: Sparse Neural Search

Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures (2014) [pdf]

We Replaced Vagrant with Devenv

Abstract Geometrical Computation and signal machines

What even is "Dependency Injection"? (a practical example using Go)

Accessibility Improvements in GTK 4.14

About Link Integrity