Show HN: ShapedQL – A SQL engine for multi-stage ranking and RAG(playground.shaped.ai)67 points by tullie 9 months ago | 20 comments
Show HN: Numscript, a declarative language to model financial transactions(playground.numscript.org)192 points by superzamp 2 years ago | 45 comments
Haroldbot, client-side tool that checks 32-bit bitvector arithmetic equivalence(haroldbot.nl)41 points by lifthrasiir 2 years ago | 7 comments
Show HN: bpfquery – experimenting with compiling SQL to bpf(trace)(bpfquery.com)40 points by knuckleheads 2 years ago | 8 comments