Top posts

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

Programming Languages
Any year
5401

Clojure.rb

Call me crazy, but it seems that there is a large influx of Ruby programmers exploring the Clojure programming language. Based on the results of Chas Emerick’s great State of Clojure - Summer 2010 survey , 17% of surveyed Clojure users come from a Ruby background. Based on observed trends, I expect that percentage to…

5407

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…

5408

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…

5417

IronRuby Manager Leaves Microsoft

Though Frank Sinatra says it best , “I’m leaving today” isn’t exactly accurate; my last day as a Microsoft employee was July 23rd, 2010. This post is almost two weeks delayed as Felicia and I have been on the road since the 26th, driving cross-country to the east coast; we also decided to leave Seattle in favor of New…