Hacker News new | ask | show | jobs
user: mad
created: 2008-06-19
karma: 751

submissions:

Can LLMs model real-world systems in TLA+?
123 points | 32 comments
How LLMs and coding agents change the dynamics of adopting Rust
1 points | 0 comments
0 points | 0 comments
An opinionated take on how to do important research that matters
169 points | 42 comments
DoubleAI's WarpSpeed: Surpassing Expert-Written Kernels at Scale
2 points | 0 comments
Are large language models worth it?
10 points | 0 comments
Gate-level emulation of an Intel 4004 in 4004 bytes of C
56 points | 7 comments
MiniHDL: A Python Hardware Description Language DSL
5 points | 1 comments
Re-Engineering Peer Review for the Age of AI
2 points | 0 comments
The role of LLMs in academic reviewing
1 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Hey, let’s fire all the devs and replace them with AI
1 points | 0 comments
Everything I wish I had known about raising a seed round
207 points | 90 comments
The end of classical Computer Science is coming
37 points | 76 comments
Let's Fix OpenGL [pdf]
103 points | 51 comments
Your Database Is Your Prison---Here's How Expensify Broke Free
2 points | 0 comments
Vigorous Public Debates in Academic Computer Science
81 points | 35 comments
Stitching practical bias into systems software research (USENIX ATC keynote)
1 points | 0 comments
Everything I did wrong as a professor
1 points | 0 comments
Reflecting on CS Graduate Admissions
2 points | 0 comments
0 points | 0 comments
An Aspiring Scientist’s Frustration with Modern-Day Academia
211 points | 155 comments
Software Needs Seatbelts and Airbags
1 points | 0 comments
0 points | 0 comments
A response to Linus Torvalds on C++: You suffer from the C-hacker syndrome
9 points | 2 comments
0 points | 0 comments