| user: | remywang |
| created: | October 3, 2020 |
| karma: | 590 |
| about: | https://remy.wang |
| 1. | |
| 2. | Simple and correct snapshot isolation(remy.wang) |
| 3. | Mailmate(freron.com) |
| 4. | |
| 5. | A Critique of Snapshot Isolation(arxiv.org) |
| 6. | Proof Theory and Logic Programming(lix.polytechnique.fr) |
| 7. | The LCA problem revisited [pdf](www3.cs.stonybrook.edu) |
| 8. | |
| 9. | Show HN: sAT Protocol – static social networking(github.com) |
| 10. | GNU Texmacs(texmacs.org) |