som det sannsynligvis er kjent nå, elsket jeg Scott Aaronsons Why Every Philosopher should Care to Computational Complexity Theory Hvis jeg hadde en tryllestav, ville jeg latt disse to eksistere også: - Hvorfor enhver filosof bør bry seg om homotopitypeteori - Hvorfor enhver filosof bør bry seg om Bunter og kategorisk optikk

de ville vært perfekte hvis de var skrevet på samme måte som Scotts – noe med bred appell, ikke altfor tungt opptatt av maskineriet, men mer av konseptene, og hvordan de er nyttige for å tenke på eksisterende spørsmål eller interesser andre felt kan ha

Sheaves som en formalisering av «kontekst» / den kontekstuelle fordelte naturen til informasjon, og Lenses (i kategorisk optikk) som «agenter og deres koblinger» ville sannsynligvis fått noen unge ML-forskere til å få massive eureka-øyeblikk som fører til interessant forskning, men dessverre finnes det ingen populist som har skuldrene brede nok til å skrive det mesterverket, tror jeg

De nåværende forsøkene er for formelle og for tunge i maskineriet