mau
- Karma
- 385
- Created
- 15 years ago
Recent Submissions
- 1. ▲ Nanvix – Lightweight Sandbox (github.com)
- 2. ▲ Don't Train the Model, Evolve the Harness (huggingface.co)
- 3. ▲ MicroGPT (karpathy.github.io)
- 4. ▲ Building a Storage Engine That Outperforms RocksDB (tidesdb.com)
- 5. ▲ AI will make formal verification go mainstream (martin.kleppmann.com)
- 6. ▲ Simple, Efficient, and Robust Hash Tables for Join Processing (cedardb.com)
- 7. ▲ GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection (arxiv.org)
- 8. ▲ Building a baseline JIT for Lua automatically (sillycross.github.io)
- 9. ▲ Effective Altruism (en.wikipedia.org)
- 10. ▲ LLM Basics: Embedding Spaces (lesswrong.com)