HN Explorer

berndtzl

↗ HN profile [ 57.7 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. 1 points 0
  2. 1 points 0
  3. 1 points 0
  4. 1 points 0
  5. 1 points 1
  6. 1 points 0
  7. 1 points 0
  8. 1 points 0
  9. 1 points 0
  10. 1 points 1
  11. 1 points 0
  12. 1 points 1
  13. A Local-Algebraic Route to Emergent Gravity (100 Pages)

    I've been developing a framework called Observer Patch Holography (OPH), which attempts to derive spacetime geometry and gravity from purely local quantum information structure. Instead of assuming global spacetime, the…

    2 points 1
  14. Show HN: An interactive visual explorer for STARK zero-knowledge proofs (floatingpragma.io)

    Hi HN, I built a web app to help anyone trying to learn STARKs to build intuition The idea is to learn STARKs by inspection and debugging rather than only by reading papers. You can write simple programs in a small…

    2 points 0
  15. Show HN: Hound – Relation-First Knowledge Graphs for Complex-System Reasoning (zenodo.org)

    Hound is a code security auditing tool that draws inspiration from human cognitive processes to enhance reasoning about large, complex systems. By modeling the target application as relation-first knowledge graphs…

    1 points 0
  16. Show HN: Hound – AI agents that find deep logic bugs in codebases (github.com)

    Hi HN, I'm the creator of Hound, an open-source tool that uses AI agents to hunt for deep logic bugs in codebases. It works by building knowledge graphs of the code, spawning agent teams to generate and refine…

    2 points 2
  17. Reality might be a strange loop (muellerberndt.medium.com)
    2 points 1
  18. 1 points 1