Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
alpaylan | Dark Hacker News
user:
alpaylan
created:
January 17, 2022
karma:
324
submissions
comments
1.
Understanding Is the New Bottleneck
(geoffreylitt.com)
8 points
by
alpaylan
7 hours ago
|
1 comment
2.
Representation-Free Editing
(alperenkeles.com)
3 points
by
alpaylan
16 days ago
|
0 comments
3.
Why AI code optimization needs production-grounded benchmarks
(datadoghq.com)
2 points
by
alpaylan
23 days ago
|
0 comments
4.
A Little Explanation of Little's Law
(rugu.dev)
4 points
by
alpaylan
26 days ago
|
1 comment
5.
What's Easy Now? What's Hard Now?
(brooker.co.za)
2 points
by
alpaylan
45 days ago
|
0 comments
6.
What Is Random Generation?
(alperenkeles.com)
3 points
by
alpaylan
52 days ago
|
0 comments
7.
Why Don't Lowercase Letters Come Right After Uppercase Letters in ASCII?
(tylerhillery.com)
23 points
by
alpaylan
56 days ago
|
0 comments
8.
Nondeterminism's Not the Problem
(isaacvando.com)
6 points
by
alpaylan
59 days ago
|
0 comments
9.
EsoNatLangs Bring the Complexity of Natural Language into Code
(esoteric.codes)
5 points
by
alpaylan
77 days ago
|
0 comments
10.
The Simplicity of Humanness
(alperenkeles.com)
1 points
by
alpaylan
80 days ago
|
0 comments
11.
The Mismanaged Geniuses Hypothesis
(alexzhang13.github.io)
1 points
by
alpaylan
83 days ago
|
0 comments
12.
The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline
(symbolic.software)
2 points
by
alpaylan
86 days ago
|
0 comments
13.
What is a property?
(alperenkeles.com)
89 points
by
alpaylan
86 days ago
|
26 comments
14.
A Drop in for `anyhow:Context` that reports the failure location
(gist.github.com)
1 points
by
alpaylan
87 days ago
|
0 comments
15.
Tracing Goroutines in Realtime with eBPF
(sazak.io)
1 points
by
alpaylan
93 days ago
|
0 comments
16.
Hypothesis, Antithesis, synthesis
(antithesis.com)
285 points
by
alpaylan
100 days ago
|
104 comments
17.
Seeing Types Where Others Don't
(theconsensus.dev)
3 points
by
alpaylan
111 days ago
|
0 comments
18.
Code Quality in the Age of Coding Agents
(michaeltimbs.me)
2 points
by
alpaylan
112 days ago
|
0 comments
19.
Lf-lean: The frontier of verified software engineering
(theorem.dev)
47 points
by
alpaylan
112 days ago
|
9 comments
20.
The mechanics of autonomous software translation
(alperenkeles.com)
24 points
by
alpaylan
113 days ago
|
3 comments
21.
Formalizing Data Structures and Algorithms with Agents
(risemsr.github.io)
3 points
by
alpaylan
115 days ago
|
0 comments
22.
Closing the verification loop: Observability-driven harnesses for agents
(datadoghq.com)
4 points
by
alpaylan
115 days ago
|
0 comments
23.
Are We Engineers?
(hillelwayne.com)
1 points
by
alpaylan
121 days ago
|
0 comments
24.
Specifiability Is the Leverage
(alperenkeles.com)
2 points
by
alpaylan
123 days ago
|
0 comments
25.
126 days ago
|
discuss
26.
Some Simple Economics of AGI
(arxiv.org)
5 points
by
alpaylan
127 days ago
|
0 comments