seperti yang mungkin diketahui pada titik ini, saya menyukai Scott Aaronson's Why Every Philosopher should care about Computational Complexity Theory Jika saya memiliki tongkat ajaib, saya akan memiliki dua ini juga ada: - Mengapa Setiap Filsuf harus peduli dengan Teori Tipe Homotopi - Mengapa Setiap Filsuf harus peduli tentang Berkas dan Optik Kategoris

mereka akan sempurna jika ditulis mirip dengan Scott - sesuatu dengan daya tarik yang luas, tidak terlalu terjebak dengan mesin dan lebih banyak lagi dengan konsep, dan bagaimana mereka berguna untuk memikirkan pertanyaan atau minat yang ada di bidang lain

berkas sebagai formalisasi "konteks" / sifat informasi terdistribusi kontekstual, dan lensa (dalam pengertian optik kategoris) sebagai "agen dan kabel mereka" kemungkinan besar akan membuat beberapa peneliti ML muda memiliki momen eureka besar-besaran yang mengarah pada penelitian yang menarik tetapi sayangnya tidak ada populis di sekitar siapa yang memiliki bahu yang cukup lebar untuk menulis mahakarya itu menurut saya

upaya saat ini terlalu formal dan terlalu terjebak oleh mesin