LeegleechN's favorites

1.		An automatic theorem proving project (gowers.wordpress.com)
		163 points by ColinWright on April 28, 2022 \| 76 comments
2.		U.S. generates more plastic trash than any other nation, report finds (2020) (nationalgeographic.com)
		361 points by DocFeind on Aug 1, 2021 \| 273 comments
3.		The Deafening Silence of the Royal Society Open Science Journal (iqoqi-vienna.at)
		85 points by mathgenius on Sept 25, 2020 \| 18 comments
4.		Ask HN: Dynamic memory/CPU provisioning for VMs?
		51 points by sscarduzio on July 18, 2020 \| 31 comments