HN Explorer

_doctor_love

↗ HN profile [ 84.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Zellic's and V12's Work on x86 Binary Formal Verification (v12.sh)
    2 points 0
  2. Augmenting Human Intellect: A Conceptual Framework (1962) (dougengelbart.org)
    1 points 0
  3. Player Piano (Kurt Vonnegut) (en.wikipedia.org)
    1 points 1
  4. Augmenting Human Intellect (1962) [pdf] (dougengelbart.org)
    1 points 0
  5. Warren McCollough on Neural Nets [video] (youtube.com)
    1 points 0
  6. Wealth Against Commonwealth (1994) (en.wikipedia.org)
    1 points 0
  7. ChatGPT Pets (learn.chatgpt.com)
    2 points 0
  8. Iceland Summons U.S. Ambassador over Provocative Trump Map (nytimes.com)
    1 points 1
  9. White House debuts video games (apnews.com)
    3 points 0
  10. Google Maps Renames Lake Ontario to Lake America (nytimes.com)
    1 points 47
  11. Learning to Draw Again with AI (surya.website)
    1 points 0
  12. The Unreasonable Effectiveness of Property Testing for Validating Formal Specs (proofsandintuitions.net)
    7 points 0
  13. When the Hard Part Stops Being Hard (proofsandintuitions.net)
    2 points 0
  14. S. R. Ranganathan (en.wikipedia.org)
    2 points 0
  15. Logic for Programmers (logicforprogrammers.com)
    217 points 23
  16. CO, FL, GA schools testing pepper-spraying Mithril drones to stop shooters (cbsnews.com)
    6 points 1
  17. Exotic phenomena in dimension 4 [video] (youtube.com)
    1 points 0
  18. ICME Labs – formal proofs for agent work (docs.icme.io)
    1 points 0
  19. The Brain Center at Whipple's (1964) (en.wikipedia.org)
    5 points 1
  20. Reflections on Trusting Trust (1984) [pdf] (cs.cmu.edu)
    1 points 0
  21. The University in the AI Era (htmx.org)
    3 points 0
  22. Dark Software Factories Are Cool. What Comes After Them Is More Interesting (flummadiddle.bearblog.dev)
    2 points 0
  23. Starting a VM from a macOS sandbox for AI agents (brentfitzgerald.com)
    3 points 1
  24. Fourth Grade Product Thinking (brentfitzgerald.com)
    7 points 2
  25. Blitzy AI charges by LOC generated (blitzy.com)
    1 points 0