Edmund M. Clarke, recipient of 2007 Turing Award, passes away from Covid-19

2020-12-24

Ruined over Ripple/Xrp Losses

2020-12-24

Achieving partial translucency on the Game Boy Color

2020-12-24

Ask HN: How do you buy back time?

2020-12-24

To Universities: “Stop Hoarding Knowledge” by Univ. Professor

2020-12-24

Edmund M. Clarke, Turing Award winner, has died

2020-12-24

A Statistical Estimation of Extraterrestrial Intelligence in the Milky Way [pdf]

2020-12-24

Failure Is Part of Success

2020-12-24

Fine-tuning the basic forces of nature (2000)

2020-12-24

Ask HN: Giving away my (barely) profitable SaaS app, any takers?

2020-12-24