Hacker News new | ask | show | jobs
user: alpaylan
created: 2022-01-17
karma: 321

submissions:

Representation-Free Editing
3 points | 0 comments
Why AI code optimization needs production-grounded benchmarks
2 points | 0 comments
A Little Explanation of Little's Law
4 points | 1 comments
What's Easy Now? What's Hard Now?
2 points | 0 comments
What Is Random Generation?
3 points | 0 comments
Why Don't Lowercase Letters Come Right After Uppercase Letters in ASCII?
23 points | 0 comments
Nondeterminism's Not the Problem
6 points | 0 comments
EsoNatLangs Bring the Complexity of Natural Language into Code
5 points | 0 comments
The Simplicity of Humanness
1 points | 0 comments
0 points | 0 comments
The Mismanaged Geniuses Hypothesis
1 points | 0 comments
The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline
2 points | 0 comments
What is a property?
89 points | 26 comments
A Drop in for `anyhow:Context` that reports the failure location
1 points | 0 comments
Tracing Goroutines in Realtime with eBPF
1 points | 0 comments
Hypothesis, Antithesis, synthesis
285 points | 104 comments
0 points | 0 comments
Seeing Types Where Others Don't
3 points | 0 comments
Code Quality in the Age of Coding Agents
2 points | 0 comments
Lf-lean: The frontier of verified software engineering
47 points | 9 comments
The mechanics of autonomous software translation
24 points | 3 comments
Formalizing Data Structures and Algorithms with Agents
3 points | 0 comments
Closing the verification loop: Observability-driven harnesses for agents
4 points | 0 comments
Are We Engineers?
1 points | 0 comments
Specifiability Is the Leverage
2 points | 0 comments
0 points | 0 comments
Some Simple Economics of AGI
5 points | 0 comments