| user: | remywang |
| created: | October 3, 2020 |
| karma: | 708 |
| about: | https://remy.wang |
| 1. | |
| 2. | Value Polymorphism in Rust(remy.wang) |
| 3. | Tarski's influence on computer science [pdf](math.stanford.edu) |
| 4. | Show HN: Prela – A Compositional and Controllable Query Language(prela-lang.org) |
| 5. | 42 days ago | discuss |
| 6. | Passing DBs through continuations(remy.wang) |
| 7. | |
| 8. | Simple and correct snapshot isolation(remy.wang) |