Hacker GitHub

← All repos

remysucre/prela

View on GitHub ↗ ★ 114 Rust

4 mentions on Hacker News by 2 people: 1 story, 3 comments · first 2026-06-01 · latest 2026-10-23

Mentions per year 4 mentions · busiest year 2026 (4)
20082026
AllStoriesComments NewestTopOldest
  1. …thousands of queries in the wild [2], as well as run doom [3]. [1]: https://prela-lang.org/ [2]: https://github.com/remysucre/prela/tree/sqlstorm [3]: https://github.com/remysucre/prela/tree/doom/
    comment by remywang · 2026-10-23 · in LLMs are making formal software verification feasible at a much larger scale
  2. Here are some SQL queries from standard benchmarks rewritten in Prela: https://github.com/remysucre/prela/tree/cidr#queries This is in rust and we’re still tweaking the language, so the syntax is slightly different from the post.
    comment by remywang · 2026-08-29 · in A better SQL in 11 lines of code
  3. …and then go back to the article. (On my initial reading I was like, "okay, but what is a Rel?") https://github.com/remysucre/prela/blob/main/tutorial/prela....
    comment by andai · 2026-08-29 · in A better SQL in 11 lines of code
  4. ▲ 73
    Show HN: Prela – Purely Algebraic Relation Combinators
    story by remywang · 2026-06-01 · 13 comments