alpaylan's submissions

1.		A Design Space Exploration of Async/Await (brown.edu)
		2 points by alpaylan 8 days ago \| past \| discuss
2.		Testing Race Conditions (projectzero.google)
		67 points by alpaylan 8 days ago \| past \| 4 comments
3.		Introduction to Property-Based Testing (antithesis.com)
		6 points by alpaylan 25 days ago \| past
4.		Show HN: Latex Diff Viewer (github.com/marketplace)
		3 points by alpaylan 71 days ago \| past
5.		Understanding Is the New Bottleneck (geoffreylitt.com)
		9 points by alpaylan 77 days ago \| past \| 2 comments
6.		Representation-Free Editing (alperenkeles.com)
		3 points by alpaylan 3 months ago \| past
7.		Why AI code optimization needs production-grounded benchmarks (datadoghq.com)
		2 points by alpaylan 3 months ago \| past
8.		A Little Explanation of Little's Law (rugu.dev)
		4 points by alpaylan 3 months ago \| past \| 1 comment
9.		What's Easy Now? What's Hard Now? (brooker.co.za)
		2 points by alpaylan 4 months ago \| past
10.		What Is Random Generation? (alperenkeles.com)
		3 points by alpaylan 4 months ago \| past
11.		Why Don't Lowercase Letters Come Right After Uppercase Letters in ASCII? (tylerhillery.com)
		23 points by alpaylan 4 months ago \| past
12.		Nondeterminism's Not the Problem (isaacvando.com)
		6 points by alpaylan 4 months ago \| past
13.		EsoNatLangs Bring the Complexity of Natural Language into Code (esoteric.codes)
		5 points by alpaylan 5 months ago \| past
14.		The Simplicity of Humanness (alperenkeles.com)
		1 point by alpaylan 5 months ago \| past
15.		The Mismanaged Geniuses Hypothesis (alexzhang13.github.io)
		1 point by alpaylan 5 months ago \| past
16.		The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline (symbolic.software)
		2 points by alpaylan 5 months ago \| past
17.		What is a property? (alperenkeles.com)
		89 points by alpaylan 5 months ago \| past \| 26 comments
18.		A Drop in for `anyhow:Context` that reports the failure location (gist.github.com)
		1 point by alpaylan 5 months ago \| past
19.		Tracing Goroutines in Realtime with eBPF (sazak.io)
		1 point by alpaylan 5 months ago \| past
20.		Hypothesis, Antithesis, synthesis (antithesis.com)
		285 points by alpaylan 5 months ago \| past \| 104 comments
21.		Seeing Types Where Others Don't (theconsensus.dev)
		3 points by alpaylan 6 months ago \| past
22.		Code Quality in the Age of Coding Agents (michaeltimbs.me)
		2 points by alpaylan 6 months ago \| past
23.		Lf-lean: The frontier of verified software engineering (theorem.dev)
		47 points by alpaylan 6 months ago \| past \| 9 comments
24.		The mechanics of autonomous software translation (alperenkeles.com)
		24 points by alpaylan 6 months ago \| past \| 3 comments
25.		Formalizing Data Structures and Algorithms with Agents (risemsr.github.io)
		3 points by alpaylan 6 months ago \| past
26.		Closing the verification loop: Observability-driven harnesses for agents (datadoghq.com)
		4 points by alpaylan 6 months ago \| past
27.		Are We Engineers? (hillelwayne.com)
		1 point by alpaylan 6 months ago \| past
28.		Specifiability Is the Leverage (alperenkeles.com)
		2 points by alpaylan 6 months ago \| past
29.		Some Simple Economics of AGI (arxiv.org)
		5 points by alpaylan 6 months ago \| past
30.		LLMs could be, but shouldn't be compilers (alperenkeles.com)
		133 points by alpaylan 7 months ago \| past \| 151 comments
		More