| 1. | | Can LLMs model real-world systems in TLA+? (sigops.org) |
| 123 points by mad 33 days ago | past | 32 comments |
|
| 2. | | How LLMs and coding agents change the dynamics of adopting Rust (mdwdotla.medium.com) |
| 1 point by mad 87 days ago | past |
|
| 3. | | An opinionated take on how to do important research that matters (carlini.com) |
| 169 points by mad 3 months ago | past | 42 comments |
|
| 4. | | DoubleAI's WarpSpeed: Surpassing Expert-Written Kernels at Scale (doubleai.com) |
| 2 points by mad 3 months ago | past |
|
| 5. | | Are large language models worth it? (carlini.com) |
| 10 points by mad 6 months ago | past |
|
| 6. | | Gate-level emulation of an Intel 4004 in 4004 bytes of C (carlini.com) |
| 56 points by mad 10 months ago | past | 7 comments |
|
| 7. | | MiniHDL: A Python Hardware Description Language DSL (carlini.com) |
| 5 points by mad 10 months ago | past | 1 comment |
|
| 8. | | Re-Engineering Peer Review for the Age of AI (sigarch.org) |
| 2 points by mad 10 months ago | past |
|
| 9. | | The role of LLMs in academic reviewing (sigarch.org) |
| 1 point by mad 10 months ago | past | 1 comment |
|
| 10. | | Hey, let’s fire all the devs and replace them with AI (mdwdotla.medium.com) |
| 1 point by mad on Jan 16, 2023 | past |
|
| 11. | | Everything I wish I had known about raising a seed round (mdwdotla.medium.com) |
| 207 points by mad on Oct 11, 2022 | past | 90 comments |
|
| 12. | | The end of classical Computer Science is coming (mdwdotla.medium.com) |
| 37 points by mad on Oct 5, 2022 | past | 76 comments |
|
| 13. | | Let's Fix OpenGL [pdf] (cornell.edu) |
| 103 points by mad on April 9, 2017 | past | 51 comments |
|
| 14. | | Your Database Is Your Prison---Here's How Expensify Broke Free (firstround.com) |
| 2 points by mad on Oct 19, 2016 | past |
|
| 15. | | Vigorous Public Debates in Academic Computer Science (regehr.org) |
| 81 points by mad on Oct 2, 2016 | past | 35 comments |
|
| 16. | | Stitching practical bias into systems software research (USENIX ATC keynote) (slideshare.net) |
| 1 point by mad on June 24, 2016 | past |
|
| 17. | | Everything I did wrong as a professor (matt-welsh.blogspot.com) |
| 1 point by mad on March 4, 2016 | past |
|
| 18. | | Reflecting on CS Graduate Admissions (da-data.blogspot.com) |
| 2 points by mad on March 9, 2015 | past |
|
| 19. | | An Aspiring Scientist’s Frustration with Modern-Day Academia (junod.info) |
| 211 points by mad on Sept 9, 2013 | past | 155 comments |
|
| 20. | | Software Needs Seatbelts and Airbags (emeryblogger.com) |
| 1 point by mad on June 3, 2012 | past |
|
| 21. | | A response to Linus Torvalds on C++: You suffer from the C-hacker syndrome (povusers.org) |
| 9 points by mad on Jan 2, 2012 | past | 2 comments |
|
| 22. | | Long Live Incremental Research (acm.org) |
| 4 points by mad on June 14, 2011 | past |
|
| 23. | | Implementing a fast interpreter without resorting to assembly (emulators.com) |
| 93 points by mad on May 27, 2011 | past | 15 comments |
|
| 24. | | Cell phones are killing bees (dailymail.co.uk) |
| 2 points by mad on May 12, 2011 | past |
|
| 25. | | The case against double-blind peer review (lemire.me) |
| 3 points by mad on April 28, 2011 | past |
|
| 26. | | Doing “Big Science” In Academia (idleprocess.wordpress.com) |
| 13 points by mad on June 16, 2010 | past | 1 comment |
|
| 27. | | Conditioned Safe Ceremonies: exploiting human traits to improve security (papersincomputerscience.org) |
| 1 point by mad on June 13, 2010 | past |
|
| 28. | | Concurrency's Shysters (sun.com) |
| 8 points by mad on Nov 5, 2008 | past | 2 comments |
|
| 29. | | What makes entrepreneurs entrepreneurial [pdf] (khoslaventures.com) |
| 17 points by mad on Oct 18, 2008 | past | 8 comments |
|
