Top papers and documents on Hacker News in the last week.

2. Some Fundamental Theorems in Mathematics

people.math.harvard.edu • 208 points

3. A Plea for Lean Software

people.inf.ethz.ch • 145 points

16. Amazon Earnings Result 2Q 2020

ir.aboutamazon.com • 7 points