HNHacker News
TopNewBestAskShowJobs

alpaylan

359 karma · joined January 17, 2022

submissionscomments

A Design Space Exploration of Async/Await

cel.cs.brown.edu·2 pts·alpaylan·
0

Testing Race Conditions

projectzero.google·67 pts·alpaylan·
4

Introduction to Property-Based Testing

antithesis.com·6 pts·alpaylan·
0

Show HN: Latex Diff Viewer

github.com·3 pts·alpaylan·
0

Understanding Is the New Bottleneck

geoffreylitt.com·9 pts·alpaylan·
2

Representation-Free Editing

alperenkeles.com·3 pts·alpaylan·
0

Why AI code optimization needs production-grounded benchmarks

datadoghq.com·2 pts·alpaylan·
0

A Little Explanation of Little's Law

rugu.dev·4 pts·alpaylan·
1

What's Easy Now? What's Hard Now?

brooker.co.za·2 pts·alpaylan·
0

What Is Random Generation?

alperenkeles.com·3 pts·alpaylan·
0

Why Don't Lowercase Letters Come Right After Uppercase Letters in ASCII?

tylerhillery.com·23 pts·alpaylan·
0

Nondeterminism's Not the Problem

isaacvando.com·6 pts·alpaylan·
0

EsoNatLangs Bring the Complexity of Natural Language into Code

esoteric.codes·5 pts·alpaylan·
0

The Simplicity of Humanness

alperenkeles.com·1 pts·alpaylan·
0

The Mismanaged Geniuses Hypothesis

alexzhang13.github.io·1 pts·alpaylan·
0

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline

symbolic.software·2 pts·alpaylan·
0

What is a property?

alperenkeles.com·89 pts·alpaylan·
26

A Drop in for `anyhow:Context` that reports the failure location

gist.github.com·1 pts·alpaylan·
0

Tracing Goroutines in Realtime with eBPF

sazak.io·1 pts·alpaylan·
0

Hypothesis, Antithesis, synthesis

antithesis.com·285 pts·alpaylan·
104

Seeing Types Where Others Don't

theconsensus.dev·3 pts·alpaylan·
0

Code Quality in the Age of Coding Agents

michaeltimbs.me·2 pts·alpaylan·
0

Lf-lean: The frontier of verified software engineering

theorem.dev·47 pts·alpaylan·
9

The mechanics of autonomous software translation

alperenkeles.com·24 pts·alpaylan·
3

Formalizing Data Structures and Algorithms with Agents

risemsr.github.io·3 pts·alpaylan·
0

Closing the verification loop: Observability-driven harnesses for agents

datadoghq.com·4 pts·alpaylan·
0

Are We Engineers?

hillelwayne.com·1 pts·alpaylan·
0

Specifiability Is the Leverage

alperenkeles.com·2 pts·alpaylan·
0

Some Simple Economics of AGI

arxiv.org·5 pts·alpaylan·
0

LLMs could be, but shouldn't be compilers

alperenkeles.com·133 pts·alpaylan·
151
Page 1 of 2Next →