Top Hackernews posts from cacm.acm.org

  1. 50 Years of Pascal (cacm.acm.org)
  2. Separation Logic (cacm.acm.org)