mad

Recent Submissions

1. 1. ▲ Can LLMs model real-world systems in TLA+? (sigops.org) 119 points · 1 day ago · 31 comments
2. 2. ▲ How LLMs and coding agents change the dynamics of adopting Rust (mdwdotla.medium.com) 1 point · 1 month ago · 0 comments
3. 3. ▲ An opinionated take on how to do important research that matters (nicholas.carlini.com) 169 points · 2 months ago · 42 comments
4. 4. ▲ DoubleAI's WarpSpeed: Surpassing Expert-Written Kernels at Scale (doubleai.com) 1 point · 2 months ago · 0 comments
5. 5. ▲ Are large language models worth it? (nicholas.carlini.com) 10 points · 5 months ago · 0 comments
6. 6. ▲ Gate-level emulation of an Intel 4004 in 4004 bytes of C (nicholas.carlini.com) 56 points · 9 months ago · 7 comments
7. 7. ▲ MiniHDL: A Python Hardware Description Language DSL (nicholas.carlini.com) 5 points · 9 months ago · 1 comment
8. 8. ▲ Re-Engineering Peer Review for the Age of AI (sigarch.org) 2 points · 9 months ago · 0 comments
9. 9. ▲ The role of LLMs in academic reviewing (sigarch.org) 1 point · 9 months ago · 1 comment
10. 10. ▲ Hey, let’s fire all the devs and replace them with AI (mdwdotla.medium.com) 1 point · 3 years ago · 0 comments