HN Explorer

remywang

↗ HN profile [ 92.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. A better SQL in 11 lines of code (prela-lang.org)
    2 points 47
  2. What if SELECT, FROM, WHERE were functions? (remy.wang)
    1 points 4
  3. Ask HN: Who needs funding for DB research?

    This is the sibling post of “Who wants to fund DB research?“ [1], please see that post for context. In short, if you are working on non-AI related DB topics and are looking for funding, leave a comment below with a…

    1 points 1
  4. Ask HN: Who wants to fund DB research?

    You may have heard there’s a funding crisis for science in general, and for computer science in particular. Within CS, despite billions of dollars being spent for AI research, there is less and less funding for…

    1 points 0
  5. Calculus Made Easy by Silvanus P. Thompson (1910) (gutenberg.org)
    2 points 0
  6. Ask HN: How to make AI better at writing prose?

    Current models are still notoriously bad at writing prose. It's not just the easily recognizable tics like "load-bearing" and "genuinely". The text is just sloppy, pompous, and full of air. I've tried different…

    4 points 6
  7. Value Polymorphism in Rust (remy.wang)
    2 points 0
  8. Tarski's influence on computer science [pdf] (math.stanford.edu)
    1 points 0
  9. Show HN: Prela – A Compositional and Controllable Query Language (prela-lang.org)

    I'm excited to share "take 2" of the Prela query language. After sharing the previous version here, I've received some valuable feedback, the main one being the weird unicode-based syntax throwing people off. Prela now…

    6 points 0
  10. Passing DBs through continuations (remy.wang)
    82 points 6
  11. Show HN: Prela – Purely Algebraic Relation Combinators (github.com)

    Prela is an embedded query language based on Tarski's Algebra of Relations. Its queries are concise, clear, and fast. It is implemented by shallow embedding in a host programming language: Prela operators are regular…

    73 points 5
  12. Simple and correct snapshot isolation (remy.wang)
    32 points 3
  13. Mailmate (freron.com)
    2 points 1
  14. Ask HN: Brian Kernighan's "Q"?

    A classic DB paper [1] published in 1984 mentions a DB system called "q" written by Brian Kernighan at Bell labs, but only cites private communication by Al Aho. Does anyone have more information on the system? I…

    4 points 0
  15. A Critique of Snapshot Isolation (arxiv.org)
    1 points 0
  16. Proof Theory and Logic Programming (lix.polytechnique.fr)
    11 points 0
  17. The LCA problem revisited [pdf] (www3.cs.stonybrook.edu)
    37 points 6
  18. Show HN: s@: decentralized social networking over static sites (satproto.org)
    414 points 57
  19. Show HN: sAT Protocol – static social networking (github.com)
    3 points 1
  20. GNU Texmacs (texmacs.org)
    191 points 29
  21. B+tree Visualizer (bptvisualizer.netlify.app)
    3 points 0
  22. The Ipe extensible drawing editor (ipe-web.otfried.org)
    2 points 0
  23. CIDR 2026 Proceedings (vldb.org)
    1 points 0
  24. Debunking the Myth of Join Ordering: Toward Robust SQL Analytics (arxiv.org)
    3 points 0
  25. Postmortem on TreeTracker Join: Simple, Optimal, Fast (zhu45.org)
    2 points 0