mau

Recent Submissions

1. 1. ▲ AI will make formal verification go mainstream (martin.kleppmann.com) 6 points · 8 days ago · 4 comments
2. 2. ▲ Simple, Efficient, and Robust Hash Tables for Join Processing (cedardb.com) 40 points · 1 year ago · 3 comments
3. 3. ▲ GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection (arxiv.org) 2 points · 1 year ago · 0 comments
4. 4. ▲ Building a baseline JIT for Lua automatically (sillycross.github.io) 4 points · 1 year ago · 0 comments
5. 5. ▲ Effective Altruism (en.wikipedia.org) 1 point · 2 years ago · 0 comments
6. 6. ▲ LLM Basics: Embedding Spaces (lesswrong.com) 9 points · 2 years ago · 0 comments
7. 7. ▲ Pex: Python EXecutable (github.com) 3 points · 2 years ago · 0 comments
8. 8. ▲ How to spot AI-generated text (technologyreview.com) 2 points · 2 years ago · 0 comments
9. 9. ▲ Codecov Is Joining Sentry (about.codecov.io) 3 points · 3 years ago · 0 comments
10. 10. ▲ Msgspec: A fast and friendly serialization library for Python (github.com) 5 points · 3 years ago · 0 comments