61 by tosh | 14 comments on Hacker News.
New top story on Hacker News: Vampire: First-Order Theorem Proving [pdf]
Related Posts:
New top story on Hacker News: Do Proteins Hold the Key to the Past?- New top story on Hacker News: Flying for Thanksgiving
- New top story on Hacker News: Linus Torvalds new *calm* mood
- New top story on Hacker News: Post-REST
- New top story on Hacker News: Can you actually get a dev job without doing a stupid quiz?
0 comments:
Post a Comment