Stories by remywang

Show HN: Prela – A Compositional and Controllable Query Language

Passing DBs through continuations

Show HN: Prela – Purely Algebraic Relation Combinators

Simple and correct snapshot isolation

Mailmate

Ask HN: Brian Kernighan's "Q"?

A Critique of Snapshot Isolation

Proof Theory and Logic Programming

The LCA problem revisited [pdf]

Show HN: s@: decentralized social networking over static sites

Show HN: sAT Protocol – static social networking

GNU Texmacs

B+tree Visualizer

The Ipe extensible drawing editor

CIDR 2026 Proceedings

Debunking the Myth of Join Ordering: Toward Robust SQL Analytics

Postmortem on TreeTracker Join: Simple, Optimal, Fast

Tell HN: Get a dying iPhone 12 mini in 2026

Pragmatic Bitmap Filters in Microsoft SQL Server [pdf]

TreeTracker Join: Simple, Optimal, Fast