Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

alpaylan

354 karmajoined January 17, 2022On HN

Recent submissions

A Design Space Exploration of Async/Await cel.cs.brown.edu
2alpaylan1ddiscuss
Testing Race Conditions projectzero.google
56alpaylan2d3 comments
Introduction to Property-Based Testing antithesis.com
6alpaylan18ddiscuss
Show HN: Latex Diff Viewer github.com/marketplace
3alpaylan2modiscuss
Understanding Is the New Bottleneck geoffreylitt.com
9alpaylan2mo2 comments
Representation-Free Editing alperenkeles.com
3alpaylan2modiscuss
Why AI code optimization needs production-grounded benchmarks datadoghq.com
2alpaylan3modiscuss
A Little Explanation of Little's Law rugu.dev
4alpaylan3mo1 comment
What's Easy Now? What's Hard Now?brooker.co.za
2alpaylan3modiscuss
What Is Random Generation?alperenkeles.com
3alpaylan4modiscuss
Why Don't Lowercase Letters Come Right After Uppercase Letters in ASCII?tylerhillery.com
23alpaylan4modiscuss
Nondeterminism's Not the Problem isaacvando.com
6alpaylan4modiscuss
EsoNatLangs Bring the Complexity of Natural Language into Code esoteric.codes
5alpaylan4modiscuss
The Simplicity of Humanness alperenkeles.com
1alpaylan4modiscuss
The Mismanaged Geniuses Hypothesis alexzhang13.github.io
1alpaylan5modiscuss
The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline symbolic.software
2alpaylan5modiscuss
What is a property?alperenkeles.com
89alpaylan5mo26 comments
A Drop in for `anyhow:Context` that reports the failure location gist.github.com
1alpaylan5modiscuss
Tracing Goroutines in Realtime with eBPF sazak.io
1alpaylan5modiscuss
Hypothesis, Antithesis, synthesis antithesis.com
285alpaylan5mo104 comments
Seeing Types Where Others Don't theconsensus.dev
3alpaylan6modiscuss
Code Quality in the Age of Coding Agents michaeltimbs.me
2alpaylan6modiscuss
Lf-lean: The frontier of verified software engineering theorem.dev
47alpaylan6mo9 comments
The mechanics of autonomous software translation alperenkeles.com
24alpaylan6mo3 comments
Formalizing Data Structures and Algorithms with Agents risemsr.github.io
3alpaylan6modiscuss
Closing the verification loop: Observability-driven harnesses for agents datadoghq.com
4alpaylan6modiscuss
Are We Engineers?hillelwayne.com
1alpaylan6modiscuss
Specifiability Is the Leverage alperenkeles.com
2alpaylan6modiscuss
Some Simple Economics of AGI arxiv.org
5alpaylan6modiscuss
LLMs could be, but shouldn't be compilers alperenkeles.com
133alpaylan7mo151 comments

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.