Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 14,547 posts.

Software Engineering
Any year
13982

Scooping the Loop Snooper (2000)

No general procedure for bug checks will do. Now, I won’t just assert that, I’ll prove it to you. I will prove that although you might work till you drop, you cannot tell if computation will stop. For imagine we have a procedure called P that for specified input permits you to see whether specified source code, with…

13983

The Future of Compiler Optimization

Hello, My name is Nadav and I am a PhD candidate, researching compilers for embedded systems and high-level synthesis. This is an excellent post and I enjoyed reading it. I have a few comments. 1. I agree about verification and optimization joining forces. We already see it to some extent with compiler warnings. 2…