HN Explorer

mathematically

↗ HN profile [ 2579 ms ] full profile
Karma
208
Created
August 6, 2021 (4y ago)
Submissions
0
  1. On advertising and what it does to us (niklasblog.com)
    3 points 1
  2. An Ecology of Ideas (nickburdick.substack.com)
    1 points 0
  3. Propositional logic exercises with the lean theorem prover (github.com)
    54 points 9
  4. Every Model Learned by Gradient Descent Is Approximately a Kernel Machine (medium.com)
    13 points 0
  5. Knowledge does not protect against illusory truth (psycnet.apa.org)
    2 points 0
  6. Minds and Machines (springer.com)
    1 points 0
  7. Arctic Azolla Event (theazollafoundation.org)
    2 points 0
  8. Biological Batteries (1995) (elasmo-research.org)
    32 points 4
  9. Conspiracy Theories: Evolved Functions and Psychological Mechanisms (firebasestorage.googleapis.com)
    3 points 0
  10. Adventures in Category Theory – The algebra of types (2018) (miklos-martin.github.io)
    66 points 12
  11. The Dawn of Cybernetic Civilization (permaculturenews.org)
    7 points 2
  12. Scala 3: Introduction (docs.scala-lang.org)
    3 points 0
  13. The implausibility of intelligence explosion (medium.com)
    1 points 0
  14. Conspiracy Theories and Religion: Reframing Conspiracy Theories as Bliks (cambridge.org)
    37 points 27
  15. The Exhibitionist Economy (quillette.com)
    2 points 0
  16. Networked Planetary Governance (noemamag.com)
    1 points 0
  17. Corporate Laws and Their Consequences (medium.com)
    3 points 1
  18. The relentless rise of carbon dioxide (climate.nasa.gov)
    12 points 0
  19. Could Future Homes on the Moon and Mars Be Made of Fungi? (nasa.gov)
    3 points 0
  20. Can the US take the lead on cleaner lithium production? (canarymedia.com)
    1 points 0
  21. You could have invented natural transformations (blog.sigfpe.com)
    2 points 0
  22. Nuclear fusion with magnetic and laser confinement (arstechnica.com)
    2 points 0
  23. Ranking messages on social media platforms (cs.stackexchange.com)
    1 points 2
  24. Quantum computers explained (Quanta Magazine) (youtube.com)
    1 points 0
  25. Handbook of Practical Logic and Automated Reasoning (cl.cam.ac.uk)
    4 points 0