Remy's Blog remy.wang

Join Trees, the "Hard" Way

remy.wang·6d

Early History of a Perfect Join Algorithm

remy.wang·6d

4 Ways to Improve A Perfect Join Algorithm

remy.wang·6w·

Discuss: Lobsters, Hacker News

A Perfect Join Algorithm

remy.wang·8w

DuckDB Considered Harmful

remy.wang·27w

Method of Four Russians

remy.wang·31w

Completeness of Equational Proofs with Equality Saturation

remy.wang·47w

Reading Papers in a Paper-Reading Seminar

remy.wang·47w

Duality in Linear Programming

remy.wang·114w

The Entropic Framework for Cardinality Bounds

remy.wang·119w

Relative Safety in Relational Calculus

remy.wang·132w

How to Check 2 SQL Tables are the Same

remy.wang·133w

Datalog resources

remy.wang·157w

Late materialization is (almost) worst-case optimal

remy.wang·158w

AGM bound for transitive closure

remy.wang·158w

Generic join algorithms

remy.wang·250w

Counterexample-guided inductive synthesis

remy.wang·250w

E-graph intersection

remy.wang·264w

Entropy

remy.wang·295w

Fundamental entropic bounds

remy.wang·295w

Loading...Loading more...