Ask HN: How to hole up in a cabin in the woods to write my great software idea?

2020-05-04

A Primer on Separation Logic (Automatic Program Verification and Analysis)(2011) [pdf]

2020-05-04

“Chickens**t” whistleblower firings are “poison,” resigning Amazon VP says

2020-05-04

Internal report warns Beijing faces Tiananmen-like global backlash over virus

2020-05-04

Drug overdose epidemic is transmitted from old to young, study shows

2020-05-04

Ask HN: Headphones for “big” ears?

2020-05-03

Heads Up: Entropy Overhaul

2020-05-03

Ask HN: Have you been using a personal electric vehicle during lockdown?

2020-05-03

Entrepreneur Problem Database

2020-05-03

Ask HN: Weather Forecasts with Confidence Interval?

2020-05-03