Articles by remywang
1

Show HN: Prela – A Compositional and Controllable Query Language (prela-lang.org)

11

Passing DBs through continuations (remy.wang)

8

Show HN: Prela – Purely Algebraic Relation Combinators (github.com/remysucre)

4

Simple and correct snapshot isolation (remy.wang)

3

Mailmate (freron.com)

2

Ask HN: Brian Kernighan's "Q"?

1

A Critique of Snapshot Isolation (arxiv.org)

1

Proof Theory and Logic Programming (polytechnique.fr)

3

The LCA problem revisited [pdf] (stonybrook.edu)

143

Show HN: s@: decentralized social networking over static sites (satproto.org)

4

Show HN: sAT Protocol – static social networking (github.com/remysucre)

54

GNU Texmacs (texmacs.org)

2

B+tree Visualizer (bptvisualizer.netlify.app)

1

The Ipe extensible drawing editor (otfried.org)

1

CIDR 2026 Proceedings (vldb.org)

3

Debunking the Myth of Join Ordering: Toward Robust SQL Analytics (arxiv.org)

2

Postmortem on TreeTracker Join: Simple, Optimal, Fast (zhu45.org)

9

Tell HN: Get a dying iPhone 12 mini in 2026

2

Pragmatic Bitmap Filters in Microsoft SQL Server [pdf] (vldb.org)

1

TreeTracker Join: Simple, Optimal, Fast (acm.org)

1

Show HN: Browser in C and Lua for the Playdate Console (github.com/remysucre)

2

How to Improve a Perfect Join Algorithm (remy.wang)

1

A Perfect Join Algorithm (remy.wang)

97

GNU Unifont (unifoundry.com)

3

Show HN: md0 - Simple Markdown Subset (md0.fyi)

4

Show HN: Read Kagi News on Playdate (github.com/remysucre)

2

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

2

Ask HN: Who's writing recursive queries / Datalog?

1

The Entropic Framework for Cardinality Bounds (remy.wang)

54

How to check if two SQL tables are the same (github.com/remysucre)

1

Filter every mail: a cure for email addiction (github.com/remysucre)