HN Explorer

remywang

↗ HN profile [ 75.8 ms ] full profile
Karma
0
Created
()
Submissions
37,587
  1. Tarski's influence on computer science [pdf] (math.stanford.edu)
    1 points 0
  2. 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
  3. Passing DBs through continuations (remy.wang)
    82 points 6
  4. 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
  5. Simple and correct snapshot isolation (remy.wang)
    32 points 3
  6. Mailmate (freron.com)
    2 points 1
  7. 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
  8. A Critique of Snapshot Isolation (arxiv.org)
    1 points 0
  9. Proof Theory and Logic Programming (lix.polytechnique.fr)
    11 points 0
  10. The LCA problem revisited [pdf] (www3.cs.stonybrook.edu)
    37 points 6
  11. Show HN: s@: decentralized social networking over static sites (satproto.org)
    414 points 57
  12. Show HN: sAT Protocol – static social networking (github.com)
    3 points 1
  13. GNU Texmacs (texmacs.org)
    191 points 29
  14. B+tree Visualizer (bptvisualizer.netlify.app)
    3 points 0
  15. The Ipe extensible drawing editor (ipe-web.otfried.org)
    2 points 0
  16. CIDR 2026 Proceedings (vldb.org)
    1 points 0
  17. Debunking the Myth of Join Ordering: Toward Robust SQL Analytics (arxiv.org)
    3 points 0
  18. Postmortem on TreeTracker Join: Simple, Optimal, Fast (zhu45.org)
    2 points 0
  19. Tell HN: Get a dying iPhone 12 mini in 2026

    The best phone in 2026 is a dying iPhone 12 mini. It’s the smallest smartphone still maintained by a major manufacturer (both software updates and repair parts), runs all apps securely & as designed, costs ~$150 with…

    28 points 17
  20. Pragmatic Bitmap Filters in Microsoft SQL Server [pdf] (vldb.org)
    3 points 1
  21. TreeTracker Join: Simple, Optimal, Fast (dl.acm.org)
    2 points 0
  22. Show HN: Browser in C and Lua for the Playdate Console (github.com)

    ORBIT is a pretty unique web browser designed exclusively for the Playdate console [1]. First, the cursor is inspired by the spaceship in the classic ASTEROIDS game, and controlled by Playdate's famous crank. Second, it…

    1 points 0
  23. How to Improve a Perfect Join Algorithm (remy.wang)
    12 points 1
  24. A Perfect Join Algorithm (remy.wang)
    1 points 0
  25. GNU Unifont (unifoundry.com)
    347 points 37