alpaylan | Dark Hacker News

user:	alpaylan
created:	January 17, 2022
karma:	358

1.	A Design Space Exploration of Async/Await(cel.cs.brown.edu) 2 points by alpaylan 2 days ago \| 0 comments
2.	Testing Race Conditions(projectzero.google) 64 points by alpaylan 3 days ago \| 3 comments
3.	Introduction to Property-Based Testing(antithesis.com) 6 points by alpaylan 19 days ago \| 0 comments
4.	Show HN: Latex Diff Viewer(github.com) 3 points by alpaylan 65 days ago \| 0 comments
5.	Understanding Is the New Bottleneck(geoffreylitt.com) 9 points by alpaylan 72 days ago \| 2 comments
6.	Representation-Free Editing(alperenkeles.com) 3 points by alpaylan 88 days ago \| 0 comments
7.	Why AI code optimization needs production-grounded benchmarks(datadoghq.com) 2 points by alpaylan 95 days ago \| 0 comments
8.	A Little Explanation of Little's Law(rugu.dev) 4 points by alpaylan 98 days ago \| 1 comment
9.	What's Easy Now? What's Hard Now?(brooker.co.za) 2 points by alpaylan 117 days ago \| 0 comments
10.	What Is Random Generation?(alperenkeles.com) 3 points by alpaylan 124 days ago \| 0 comments
11.	Why Don't Lowercase Letters Come Right After Uppercase Letters in ASCII?(tylerhillery.com) 23 points by alpaylan 128 days ago \| 0 comments
12.	Nondeterminism's Not the Problem(isaacvando.com) 6 points by alpaylan 131 days ago \| 0 comments
13.	EsoNatLangs Bring the Complexity of Natural Language into Code(esoteric.codes) 5 points by alpaylan 149 days ago \| 0 comments
14.	The Simplicity of Humanness(alperenkeles.com) 1 points by alpaylan 152 days ago \| 0 comments
15.	The Mismanaged Geniuses Hypothesis(alexzhang13.github.io) 1 points by alpaylan 155 days ago \| 0 comments
16.	The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline(symbolic.software) 2 points by alpaylan 158 days ago \| 0 comments
17.	What is a property?(alperenkeles.com) 89 points by alpaylan 158 days ago \| 26 comments
18.	A Drop in for `anyhow:Context` that reports the failure location(gist.github.com) 1 points by alpaylan 159 days ago \| 0 comments
19.	Tracing Goroutines in Realtime with eBPF(sazak.io) 1 points by alpaylan 165 days ago \| 0 comments
20.	Hypothesis, Antithesis, synthesis(antithesis.com) 285 points by alpaylan 172 days ago \| 104 comments
21.	Seeing Types Where Others Don't(theconsensus.dev) 3 points by alpaylan 183 days ago \| 0 comments
22.	Code Quality in the Age of Coding Agents(michaeltimbs.me) 2 points by alpaylan 184 days ago \| 0 comments
23.	Lf-lean: The frontier of verified software engineering(theorem.dev) 47 points by alpaylan 184 days ago \| 9 comments
24.	The mechanics of autonomous software translation(alperenkeles.com) 24 points by alpaylan 185 days ago \| 3 comments
25.	Formalizing Data Structures and Algorithms with Agents(risemsr.github.io) 3 points by alpaylan 187 days ago \| 0 comments
26.	Closing the verification loop: Observability-driven harnesses for agents(datadoghq.com) 4 points by alpaylan 187 days ago \| 0 comments