RSS Anyway logo
HotLatestFollowingStatusAbout

queue.acm.org

Sign in to follow
queue.acm.org
RSSAtomJSON
  1. 01.
    Manual Work Is a Bug
    queue.acm.org
    ▲ 10 · Jul 16 · 3 comments on HN
  2. 02.
    You Don't Know Jack About Formal Verification
    queue.acm.org
    ▲ 130 · Jun 29 · 67 comments on HN