HN Explorer

hamiecod

↗ HN profile [ 62.7 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Crypto Anarchy and Virtual Communities – Tim C May (nakamotoinstitute.org)
    1 points 0
  2. Ask HN: Cyberdecks are cool but do they serve a purpose?
    10 points 2
  3. Formal Axiomatization of Advaita Vedanta in Lean 4 (github.com)
    1 points 0
  4. 1 points 0
  5. Infopium: Addiction to information is holding us back (hargunbeer.com)
    2 points 0
  6. Infopium – The Newest Drug on the Market (hargunbeer.com)
    4 points 1
  7. The Scribe's Oath – Robert "Uncle Bob" Martin (youtube.com)
    1 points 0
  8. Ask 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?

    1 points 4