hamiecod's submissions

1.		Formal Axiomatization of Advaita Vedanta in Lean 4 (github.com/matthew-scherf)
		1 point by hamiecod 37 days ago \| past
2.		Infopium: Addiction to information is holding us back (hargunbeer.com)
		2 points by hamiecod 4 months ago \| past
3.		Infopium – The Newest Drug on the Market (hargunbeer.com)
		4 points by hamiecod 4 months ago \| past \| 1 comment
4.		The Scribe's Oath – Robert "Uncle Bob" Martin (youtube.com)
		1 point by hamiecod 6 months ago \| past
5.		Ask HN: Is TAOCP helpful in real life reasoning?
		1 point by hamiecod 6 months ago \| past \| 4 comments