HN Explorer

alpaylan

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