Stories by SchwKatze

Fossier: A slop evaluator for GitHub PRs to prevent spams

Rust bindings for SQLite's internal VM API

Vouch: A contributor trust management system

Cardboard Crack: What Card Games Teach Us About Addiction

Programming as Theory Building [pdf]

Bf-Tree: modern read-write-optimized concurrent larger-than-memory range index

Incident Communication Guide

I Went from Database Noob to Core Datafusion Contribution

I Downgraded a Safety Bug to an Availability Bug Using Assertions [video]

Flow: Actor-based language for C++, used by FoundationDB

The Power of Proximity to Coworkers [pdf]

Functional Data Structures and Algorithms: a Proof Assistant Approach

Why Strong Consistency?

Polar Signals is 70% faster by switching from Parquet to Vortex

What Now? Handling Errors in Large Systems

Why Strong Consistency?

The Advent of Compiler Optimisations [video]

Wired: An underground HN alternative

Building a Theory of Distributed Systems: Work by Nancy Lynch and Collaborators

Control structures in programming languages: from goto to algebraic effects

1 2 3