New top story on Hacker News: Pie – Proving, Interpolating and Eliminating on the Basis of First-Order Logic

Pie – Proving, Interpolating and Eliminating on the Basis of First-Order Logic
3 by sel1 | 0 comments on Hacker News.

New top story on Hacker News: Knoppix 8.6 first wide public release to abandon systemd

Knoppix 8.6 first wide public release to abandon systemd
2 by mepian | 0 comments on Hacker News.

New top story on Hacker News: Lust in Space

Lust in Space
3 by doppp | 0 comments on Hacker News.

New top story on Hacker News: Amazon’s “two-pizza teams”: The ultimate divisional organization (2013)

Amazon’s “two-pizza teams”: The ultimate divisional organization (2013)
2 by tosh | 0 comments on Hacker News.

New top story on Hacker News: PySceneDetect is tool for detecting scene in movies

PySceneDetect is tool for detecting scene in movies
3 by josefslerka | 0 comments on Hacker News.

New top story on Hacker News: What Happened in the UK Blackouts?

What Happened in the UK Blackouts?
8 by mitchoneill1 | 0 comments on Hacker News.

New top story on Hacker News: The Argument of Twelves and the Metric System

The Argument of Twelves and the Metric System
5 by rienbdj | 1 comments on Hacker News.