alpaylan | Dark Hacker News

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

1.	Understanding Is the New Bottleneck(geoffreylitt.com) 8 points by alpaylan 7 hours ago \| 1 comment
2.	Representation-Free Editing(alperenkeles.com) 3 points by alpaylan 16 days ago \| 0 comments
3.	Why AI code optimization needs production-grounded benchmarks(datadoghq.com) 2 points by alpaylan 23 days ago \| 0 comments
4.	A Little Explanation of Little's Law(rugu.dev) 4 points by alpaylan 26 days ago \| 1 comment
5.	What's Easy Now? What's Hard Now?(brooker.co.za) 2 points by alpaylan 45 days ago \| 0 comments
6.	What Is Random Generation?(alperenkeles.com) 3 points by alpaylan 52 days ago \| 0 comments
7.	Why Don't Lowercase Letters Come Right After Uppercase Letters in ASCII?(tylerhillery.com) 23 points by alpaylan 56 days ago \| 0 comments
8.	Nondeterminism's Not the Problem(isaacvando.com) 6 points by alpaylan 59 days ago \| 0 comments
9.	EsoNatLangs Bring the Complexity of Natural Language into Code(esoteric.codes) 5 points by alpaylan 77 days ago \| 0 comments
10.	The Simplicity of Humanness(alperenkeles.com) 1 points by alpaylan 80 days ago \| 0 comments
11.	The Mismanaged Geniuses Hypothesis(alexzhang13.github.io) 1 points by alpaylan 83 days ago \| 0 comments
12.	The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline(symbolic.software) 2 points by alpaylan 86 days ago \| 0 comments
13.	What is a property?(alperenkeles.com) 89 points by alpaylan 86 days ago \| 26 comments
14.	A Drop in for `anyhow:Context` that reports the failure location(gist.github.com) 1 points by alpaylan 87 days ago \| 0 comments
15.	Tracing Goroutines in Realtime with eBPF(sazak.io) 1 points by alpaylan 93 days ago \| 0 comments
16.	Hypothesis, Antithesis, synthesis(antithesis.com) 285 points by alpaylan 100 days ago \| 104 comments
17.	Seeing Types Where Others Don't(theconsensus.dev) 3 points by alpaylan 111 days ago \| 0 comments
18.	Code Quality in the Age of Coding Agents(michaeltimbs.me) 2 points by alpaylan 112 days ago \| 0 comments
19.	Lf-lean: The frontier of verified software engineering(theorem.dev) 47 points by alpaylan 112 days ago \| 9 comments
20.	The mechanics of autonomous software translation(alperenkeles.com) 24 points by alpaylan 113 days ago \| 3 comments
21.	Formalizing Data Structures and Algorithms with Agents(risemsr.github.io) 3 points by alpaylan 115 days ago \| 0 comments
22.	Closing the verification loop: Observability-driven harnesses for agents(datadoghq.com) 4 points by alpaylan 115 days ago \| 0 comments
23.	Are We Engineers?(hillelwayne.com) 1 points by alpaylan 121 days ago \| 0 comments
24.	Specifiability Is the Leverage(alperenkeles.com) 2 points by alpaylan 123 days ago \| 0 comments
25.	126 days ago \| discuss
26.	Some Simple Economics of AGI(arxiv.org) 5 points by alpaylan 127 days ago \| 0 comments