| user: | mau |
| created: | February 3, 2011 |
| karma: | 378 |
| 1. | MicroGPT(karpathy.github.io) |
| 2. | Building a Storage Engine That Outperforms RocksDB(tidesdb.com) |
| 3. | AI will make formal verification go mainstream(martin.kleppmann.com) |
| 4. | |
| 5. | |
| 6. | Building a baseline JIT for Lua automatically(sillycross.github.io) |
| 7. | Effective Altruism(en.wikipedia.org) |
| 8. | LLM Basics: Embedding Spaces(lesswrong.com) |
| 9. | Pex: Python EXecutable(github.com) |
| 10. | How to spot AI-generated text(technologyreview.com) |
| 11. | Codecov Is Joining Sentry(about.codecov.io) |
| 12. | |
| 13. | Cryptomining operation leveraging GitHub Actions(sysdig.com) |
| 14. | Everything new from GitHub Universe 2022(github.blog) |
| 15. | GPT-3 Armed with Python(twitter.com) |
| 16. | Mercure: Real-Time Made Easy(mercure.rocks) |
| 17. | Latency in Asynchronous Python(nullprogram.com) |
| 18. | Hamiltonian Cycle Problem is in P(arxiv.org) |
| 19. | YouTube is now building its own video-transcoding chips(arstechnica.com) |
| 20. | Eytzinger Binary Search(algorithmica.org) |