HN Explorer

deterministic

↗ HN profile [ 68.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Mental Illness Does Not Cause Homelessness (truths-and-loves.ghost.io)
    10 points 2
  2. The Ü Programming Language (github.com)
    63 points 26
  3. 1 points 0
  4. Why Companies Are Quietly Rehiring Software Engineers (youtube.com)
    3 points 1
  5. The Unison Language – The Big Idea (unison-lang.org)
    5 points 0
  6. Why AI won't wipe out white-collar jobs (YouTube) [video] (youtube.com)
    2 points 1
  7. AI Fails at 96% of Jobs (New Study) (youtube.com)
    9 points 3
  8. Ask HN: How do you deal with eye strain as a developer?

    I've been dealing with eye strain in my left eye lately, and it's really impacting my quality of life. I can barely get through my workday, and afterwards I have to avoid screens completely. No TV, no gaming, no…

    7 points 9
  9. New Navy Device Learns by Doing (1958) (nytimes.com)
    1 points 1
  10. When Computers Write Proofs, What's the Point of Mathematicians? (youtube.com)
    2 points 0
  11. The Hylo Programming Language (hylo-lang.org)
    4 points 0
  12. Fat: Why It Matters and What to Do About It (youtube.com)
    1 points 0
  13. HACL: A High-Assurance Cryptographic Library (github.com)
    2 points 1
  14. Milawa is a "self-verifying" theorem prover for an ACL2-like logic (cs.utexas.edu)
    2 points 1
  15. How to Build a Satellite (youtube.com)
    6 points 0
  16. Book notes: A Philosophy of Software Design (2021) (danlebrero.com)
    1 points 0
  17. 1 points 0
  18. How Amazon built Cedar with automated reasoning (amazon.science)
    2 points 1
  19. Interview with an Emacs Enthusiast in 2023 (youtube.com)
    3 points 0
  20. Thorium Molten Salt Reactors (youtube.com)
    2 points 2
  21. Theorem Proving in Lean 4 (leanprover.github.io)
    4 points 0
  22. An Introduction to Model-Based Systems Engineering (MBSE) (insights.sei.cmu.edu)
    4 points 0
  23. Kevin Buzzard: The rise of formalism in mathematics (youtube.com)
    2 points 0
  24. Constructor Theory of Information (2014) (arxiv.org)
    1 points 0
  25. Forty-Five Things I Learned in the Gulag (2018) (theparisreview.org)
    3 points 0