alpaylan

6 ms·

1.
A Design Space Exploration of Async/Await(cel.cs.brown.edu)
2 points by alpaylan 7d ago|0 comments
2.
Testing Race Conditions(projectzero.google)
65 points by alpaylan 8d ago|4 comments
3.
Introduction to Property-Based Testing(antithesis.com)
6 points by alpaylan 24d ago|0 comments
4.
by alpaylan 1mo ago
Author here! Let me know if I can contribute to the discussion.
5.
Show HN: Latex Diff Viewer(github.com)
3 points by alpaylan 2mo ago|0 comments
6.
Understanding Is the New Bottleneck(geoffreylitt.com)
9 points by alpaylan 3mo ago|2 comments
7.
by alpaylan 3mo ago
Hi, author here! Please let me know if I could pitch in to the discussion in any way.
8.
Representation-Free Editing(alperenkeles.com)
3 points by alpaylan 3mo ago|0 comments
9.
Why AI code optimization needs production-grounded benchmarks(datadoghq.com)
2 points by alpaylan 3mo ago|0 comments
10.
A Little Explanation of Little's Law(rugu.dev)
4 points by alpaylan 3mo ago|1 comments
11.
What's Easy Now? What's Hard Now?(brooker.co.za)
2 points by alpaylan 4mo ago|0 comments
12.
What Is Random Generation?(alperenkeles.com)
3 points by alpaylan 4mo ago|0 comments
13.
Why Don't Lowercase Letters Come Right After Uppercase Letters in ASCII?(tylerhillery.com)
23 points by alpaylan 4mo ago|0 comments
14.
Nondeterminism's Not the Problem(isaacvando.com)
6 points by alpaylan 5mo ago|0 comments
15.
EsoNatLangs Bring the Complexity of Natural Language into Code(esoteric.codes)
5 points by alpaylan 5mo ago|0 comments
16.
The Simplicity of Humanness(alperenkeles.com)
1 points by alpaylan 5mo ago|0 comments
17.
by alpaylan 5mo ago
I agree. It’s especially weird moving across related domains because suddenly something you think you know has changed meaning. For instance eBPF is “verified”, but the verification is almost completely unrelated from the usual connotations
18.
The Mismanaged Geniuses Hypothesis(alexzhang13.github.io)
1 points by alpaylan 5mo ago|0 comments
19.
The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline(symbolic.software)
2 points by alpaylan 5mo ago|0 comments
20.
What is a property?(alperenkeles.com)
89 points by alpaylan 5mo ago|26 comments
21.
A Drop in for `anyhow:Context` that reports the failure location(gist.github.com)
1 points by alpaylan 5mo ago|0 comments
22.
Tracing Goroutines in Realtime with eBPF(sazak.io)
1 points by alpaylan 6mo ago|0 comments
23.
Hypothesis, Antithesis, synthesis(antithesis.com)
285 points by alpaylan 6mo ago|104 comments
24.
by alpaylan 6mo ago
Doesn't all optimizations need to be valid translations first? That was my reasoning when writing it.
25.
Seeing Types Where Others Don't(theconsensus.dev)
3 points by alpaylan 6mo ago|0 comments
26.
Code Quality in the Age of Coding Agents(michaeltimbs.me)
2 points by alpaylan 6mo ago|0 comments
27.
Lf-lean: The frontier of verified software engineering(theorem.dev)
47 points by alpaylan 6mo ago|9 comments
28.
The mechanics of autonomous software translation(alperenkeles.com)
24 points by alpaylan 6mo ago|3 comments
29.
Formalizing Data Structures and Algorithms with Agents(risemsr.github.io)
3 points by alpaylan 6mo ago|0 comments
30.
Closing the verification loop: Observability-driven harnesses for agents(datadoghq.com)
4 points by alpaylan 6mo ago|0 comments

More ›