remywang

Recent Submissions

1. 1. ▲ Simple and Correct Snapshot Isolation (remy.wang) 2 points · 18 hours ago · 0 comments
2. 2. ▲ Mailmate (freron.com) 2 points · 22 days ago · 1 comment
3. 3. ▲ Ask HN: Brian Kernighan's "Q"? 4 points · 29 days ago · 0 comments
4. 4. ▲ A Critique of Snapshot Isolation (arxiv.org) 1 point · 1 month ago · 0 comments
5. 5. ▲ Proof Theory and Logic Programming (lix.polytechnique.fr) 11 points · 1 month ago · 0 comments
6. 6. ▲ The LCA problem revisited [pdf] (www3.cs.stonybrook.edu) 37 points · 1 month ago · 7 comments
7. 7. ▲ Show HN: s@: decentralized social networking over static sites (satproto.org) 414 points · 1 month ago · 219 comments
8. 8. ▲ Show HN: sAT Protocol – static social networking (github.com) 3 points · 1 month ago · 1 comment
9. 9. ▲ GNU Texmacs (texmacs.org) 191 points · 2 months ago · 61 comments
10. 10. ▲ B+tree Visualizer (bptvisualizer.netlify.app) 3 points · 2 months ago · 0 comments