HN Explorer

alpaylan

↗ HN profile [ 88.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Latex Diff Viewer (github.com)
    1 points 0
  2. Understanding Is the New Bottleneck (geoffreylitt.com)
    4 points 2
  3. Representation-Free Editing (alperenkeles.com)
    3 points 0
  4. Why AI code optimization needs production-grounded benchmarks (datadoghq.com)
    2 points 0
  5. A Little Explanation of Little's Law (rugu.dev)
    4 points 1
  6. What's Easy Now? What's Hard Now? (brooker.co.za)
    2 points 0
  7. What Is Random Generation? (alperenkeles.com)
    3 points 0
  8. Why Don't Lowercase Letters Come Right After Uppercase Letters in ASCII? (tylerhillery.com)
    23 points 1
  9. Nondeterminism's Not the Problem (isaacvando.com)
    6 points 0
  10. EsoNatLangs Bring the Complexity of Natural Language into Code (esoteric.codes)
    5 points 0
  11. The Simplicity of Humanness (alperenkeles.com)
    1 points 0
  12. The Mismanaged Geniuses Hypothesis (alexzhang13.github.io)
    1 points 0
  13. The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline (symbolic.software)
    2 points 0
  14. What is a property? (alperenkeles.com)
    89 points 4
  15. A Drop in for `anyhow:Context` that reports the failure location (gist.github.com)
    1 points 0
  16. Tracing Goroutines in Realtime with eBPF (sazak.io)
    1 points 0
  17. Hypothesis, Antithesis, synthesis (antithesis.com)
    285 points 19
  18. Seeing Types Where Others Don't (theconsensus.dev)
    3 points 0
  19. Code Quality in the Age of Coding Agents (michaeltimbs.me)
    2 points 0
  20. Lf-lean: The frontier of verified software engineering (theorem.dev)
    47 points 6
  21. The mechanics of autonomous software translation (alperenkeles.com)
    24 points 3
  22. Formalizing Data Structures and Algorithms with Agents (risemsr.github.io)
    3 points 0
  23. Closing the verification loop: Observability-driven harnesses for agents (datadoghq.com)
    4 points 0
  24. Are We Engineers? (hillelwayne.com)
    1 points 0
  25. Specifiability Is the Leverage (alperenkeles.com)
    2 points 0