mad | Dark Hacker News

user:	mad
created:	June 19, 2008
karma:	751

1.	Can LLMs model real-world systems in TLA+?(sigops.org) 123 points by mad 56 days ago \| 33 comments
2.	How LLMs and coding agents change the dynamics of adopting Rust(mdwdotla.medium.com) 1 points by mad 110 days ago \| 0 comments
3.	An opinionated take on how to do important research that matters(nicholas.carlini.com) 169 points by mad 116 days ago \| 42 comments
4.	DoubleAI's WarpSpeed: Surpassing Expert-Written Kernels at Scale(doubleai.com) 2 points by mad 122 days ago \| 0 comments
5.	Are large language models worth it?(nicholas.carlini.com) 10 points by mad 226 days ago \| 0 comments
6.	Gate-level emulation of an Intel 4004 in 4004 bytes of C(nicholas.carlini.com) 56 points by mad 332 days ago \| 7 comments
7.	MiniHDL: A Python Hardware Description Language DSL(nicholas.carlini.com) 5 points by mad 336 days ago \| 1 comment
8.	Re-Engineering Peer Review for the Age of AI(sigarch.org) 2 points by mad 336 days ago \| 0 comments
9.	The role of LLMs in academic reviewing(sigarch.org) 1 points by mad 338 days ago \| 1 comment
10.	Hey, let’s fire all the devs and replace them with AI(mdwdotla.medium.com) 1 points by mad 3 years ago \| 0 comments
11.	Everything I wish I had known about raising a seed round(mdwdotla.medium.com) 207 points by mad 3 years ago \| 90 comments
12.	The end of classical Computer Science is coming(mdwdotla.medium.com) 37 points by mad 3 years ago \| 76 comments
13.	1 points by mad 4 years ago \| discuss
14.	Let's Fix OpenGL [pdf](cs.cornell.edu) 103 points by mad 9 years ago \| 51 comments
15.	Your Database Is Your Prison---Here's How Expensify Broke Free(firstround.com) 2 points by mad 9 years ago \| 0 comments
16.	Vigorous Public Debates in Academic Computer Science(blog.regehr.org) 81 points by mad 9 years ago \| 35 comments
17.	Stitching practical bias into systems software research (USENIX ATC keynote)(slideshare.net) 1 points by mad 10 years ago \| 0 comments
18.	Everything I did wrong as a professor(matt-welsh.blogspot.com) 1 points by mad 10 years ago \| 0 comments
19.	Reflecting on CS Graduate Admissions(da-data.blogspot.com) 2 points by mad 11 years ago \| 0 comments
20.	An Aspiring Scientist’s Frustration with Modern-Day Academia(crypto.junod.info) 211 points by mad 12 years ago \| 155 comments
21.	Software Needs Seatbelts and Airbags(emeryblogger.com) 1 points by mad 14 years ago \| 0 comments
22.	A response to Linus Torvalds on C++: You suffer from the C-hacker syndrome(warp.povusers.org) 9 points by mad 14 years ago \| 2 comments