Cairo – A language for writing provable programs

2021-01-14

James Simons Steps Down as Chairman of Renaissance Technologies

2021-01-14

Four women seek release from forced arbitration to sue Infosys

2021-01-14

Minimal Literature Management

2021-01-14

What is the strongest magnetic field possible? Is there a limit? (2014)

2021-01-14

Razer’s concept gaming chair wraps players in a curved screen

2021-01-13

Ask HN: How do we know Signal or Telegram don't store our data on their servers?

2021-01-13

Brazil scales back efficacy claims for Covid-19 vaccine from China

2021-01-13

How to know if a business insurance will cover your claims?

2021-01-13

Startup claims wearable can measure blood glucose without a needle

2021-01-13