Formal methods with Hillel Wayne
Formal methods consultant Hillel Wayne argues that software engineering earns the title of 'real engineering' due to its rigor, while noting that version control is uniquely sophisticated in software …
Formal methods consultant Hillel Wayne argues that software engineering earns the title of 'real engineering' due to its rigor, while noting that version control is uniquely sophisticated in software …
Simon Eskildsen, co-founder and CEO of turbopuffer, advocates for 'napkin math'—quick back-of-the-envelope calculations to identify performance and cost inefficiencies in software systems. Speaking at…
A24 Labs released puffgres (beta), a logical replication service that mirrors Postgres entities in turbopuffer, eliminating data drift by making Postgres the source of truth and automatically syncing …
Object storage is becoming primary storage for databases, streaming systems, and AI pipelines, shifting the key benchmark from GB/s to objects per second at small sizes. Companies like WarpStream, Cli…
A developer released Sana, an open-source vector database built on object storage that supports vectors, full-text search, and attribute filters. The project, inspired by turbopuffer, uses object stor…
Robert Erez, a principal engineer at Octopus Deploy, discussed CI/CD best practices on The Pragmatic Engineer podcast, advocating for rolling forward instead of rolling back, warning that GitOps is no…