1Agricultural sustainability and intensive production practices (2002) [pdf] (opens in new tab)(cedarcreek.umn.edu)PDF2algebraically4y ago0Save
6Will technology save us from climate change? (opens in new tab)(youtube.com)Video1algebraically4y ago0Save
8‘Collapse of Civilisation Is the Most Likely Outcome (2020) (opens in new tab)(resilience.org)4algebraically4y ago0Save
9Carl Sagan: The Age of Exploration (1994) (opens in new tab)(youtube.com)Video1algebraically4y ago0Save
12Twitter is bad for me and it’s probably bad for you too (2017) (opens in new tab)(latimes.com)8algebraically4y ago0Save
13Comparison of Two Theorem Provers: Isabelle/HOL and Coq (opens in new tab)(arxiv.org)arXiv2algebraically4y ago0Save
15Tortoises and Hares: Choice Among Technologies of Unknown Merit (opens in new tab)(academic.oup.com)1algebraically4y ago0Save
