Posts by Remy Wang.
| Topic | Date | Title |
|---|---|---|
| SQL | 2023-07-26 | How to Check 2 SQL Tables are the Same |
| Tools | 2023-05-31 | Filter every mail: a cure for email addiction |
| Datalog | 2023-02-08 | Datalog resources |
| Join Algorithms | 2023-01-31 | Late materialization is (almost) worst-case optimal |
| Join Algorithms | 2023-01-30 | AGM bound for transitive closure |
| Program Synthesis | 2021-04-27 | Counterexample-guided inductive synthesis |
| Join Algorithms | 2021-04-27 | Generic join algorithms |
| Equality Saturation | 2021-01-17 | E-graph intersection |
| Unix, Tools | 2020-06-18 | Viewing images on remote machines |
| Information Theory | 2020-06-17 | Fundamental entropic bounds |
| Information Theory | 2020-06-17 | Entropy |
| Proofs | 2019-02-13 | A canonicity proof via gradient induction |