Stories by todsacerdoti

Manos – an open source kernel architected to function like the NetWare kernel

UI Algorithms: Drag-Reordering – Julik Tarkhanov

Neon: Serverless PostgreSQL (Heikki Linnakangas) [video]

Incremental Insertion into Prolly Trees

What is this architecture called?

Devin, the first AI software engineer

TeX Live 2024 released – ISO available for download via torrent file and magnet

Factorio Yosys: a full yosyshq back end for Factorio that can compile a riscv co

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]

358 359 360 361 362 363 364 365 366 367