aoli-al

Recent Submissions

1. 1. ▲ Trump deal keeps Greenland Danish while expanding U.S. military presence (apnews.com) 6 points · 27 days ago · 3 comments
2. 2. ▲ Using a Linux Laptop in 2026 (aoli.al) 6 points · 1 month ago · 3 comments
3. 3. ▲ Kimi K3 and GLM 5.2 can create undetectable malware for $2 (incalmo.ai) 10 points · 2 months ago · 1 comment
4. 4. ▲ A system programmer's guide to LLM inference (blog.xiangpeng.systems) 3 points · 4 months ago · 0 comments
5. 5. ▲ Deterministic Simulation Testing for Distributed Systems: Good, Bad, and Ugly (aoli.al) 2 points · 4 months ago · 0 comments
6. 6. ▲ Spaghetti Bench: Evaluating AI Agents on Concurrency Bug Fixes (pastalab.org) 2 points · 8 months ago · 0 comments
7. 7. ▲ Asterinas NixOS (asterinas.github.io) 2 points · 10 months ago · 0 comments
8. 8. ▲ The Steam client is now 64-bit on Windows 11 and Windows 10 64-bit (store.steampowered.com) 24 points · 10 months ago · 7 comments
9. 9. ▲ Academic Arbitrage in the LLM Era (c.mov) 1 point · 10 months ago · 0 comments
10. 10. ▲ Can a Data Race Happen on a Single-Core Machine? (aoli.al) 3 points · 1 year ago · 0 comments