Hacker News new | ask | show | jobs
by cmrdporcupine 816 days ago
You might enjoy https://www.cidrdb.org/cidr2024/papers/p48-neumann.pdf and https://github.com/viktorleis/saneqlcpp