3AI will make formal verification go mainstream (opens in new tab)(martin.kleppmann.com)6mau6mo ago4Save
4Simple, Efficient, and Robust Hash Tables for Join Processing (opens in new tab)(cedardb.com)40mau2y ago3Save
5GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection (opens in new tab)(arxiv.org)arXiv2mau2y ago0Save
6Building a baseline JIT for Lua automatically (opens in new tab)(sillycross.github.io)4mau2y ago0Save
12Msgspec: A fast and friendly serialization library for Python (opens in new tab)(github.com)GitHub5mau3y ago0Save
