Stories by remywang

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

Show HN: Browser in C and Lua for the Playdate Console

How to Improve a Perfect Join Algorithm

A Perfect Join Algorithm

GNU Unifont

Show HN: md0 - Simple Markdown Subset

Show HN: Read Kagi News on Playdate

SQL Reunion: People, Projects, and Politics (1997) [pdf]