1Crypto Anarchy and Virtual Communities – Tim C May (opens in new tab)(nakamotoinstitute.org)1hamiecod1mo ago0Save
3Formal Axiomatization of Advaita Vedanta in Lean 4 (opens in new tab)(github.com)GitHub1hamiecod6mo ago0Save
4Infopium: Addiction to information is holding us back (opens in new tab)(hargunbeer.com)2hamiecod9mo ago0Save
6The Scribe's Oath – Robert "Uncle Bob" Martin (opens in new tab)(youtube.com)Video1hamiecod11mo ago0Save
7Ask HN: Is TAOCP helpful in real life reasoning?I was thinking of pursuing the difficult task of going through TAOCP cover to cover. Is it helpful in real life CS/software reasoning or is it just academic stimuli?show more1hamiecod11mo ago4Save
