alpaylan

alpaylan on Hacker News

Bug Finding Considered Harmful?

Posted by alpaylan on Wednesday November 04, 2026 @05:35PM
from the alperenkeles.com dept.

https://alperenkeles.com/posts/bug-finding-considered-harmful/

( Read More... | no comments | on HN )

A Design Space Exploration of Async/Await

Posted by alpaylan on Thursday September 10, 2026 @11:46AM
from the cel.cs.brown.edu dept.

https://cel.cs.brown.edu/blog/design-space-async-await/

( Read More... | no comments | 2 points | on HN )

Testing Race Conditions

Posted by alpaylan on Wednesday September 09, 2026 @05:51PM
from the projectzero.google dept.

https://projectzero.google/2026/09/maccconc-race-condition.html

( Read More... | 4 comments | on HN )

Introduction to Property-Based Testing

Posted by alpaylan on Monday August 24, 2026 @01:26PM
from the antithesis.com dept.

https://antithesis.com/resources/video/intro-to-pbt/

( Read More... | no comments | 6 points | on HN )

Re:Programmable Property-Based Testing on Tuesday August 18, 2026 @08:44PM (#49355069)

Author here! Let me know if I can contribute to the discussion.

Show HN: Latex Diff Viewer

Posted by alpaylan on Thursday July 09, 2026 @10:38AM
from the show-hn dept.

https://github.com/marketplace/actions/latex-diff-viewer

( Read More... | no comments | 2 points | on HN )

Understanding Is the New Bottleneck

Posted by alpaylan on Thursday July 02, 2026 @03:55PM
from the geoffreylitt.com dept.

https://www.geoffreylitt.com/2026/07/02/understanding-is-the-new-bottleneck.html

( Read More... | 2 comments | 3 points | on HN )

Re:Temporal Shrinking on Tuesday June 30, 2026 @04:20PM (#48738637)

Hi, author here! Please let me know if I could pitch in to the discussion in any way.

Representation-Free Editing

Posted by alpaylan on Tuesday June 16, 2026 @09:39AM
from the alperenkeles.com dept.

https://alperenkeles.com/posts/representation-free-editing/

( Read More... | no comments | 2 points | on HN )

Why AI code optimization needs production-grounded benchmarks

Posted by alpaylan on Tuesday June 09, 2026 @02:31PM
from the datadoghq.com dept.

https://www.datadoghq.com/blog/ai/production-grounded-code-optimization/

( Read More... | no comments | on HN )

A Little Explanation of Little's Law

Posted by alpaylan on Saturday June 06, 2026 @02:09PM
from the rugu.dev dept.

https://rugu.dev/en/blog/littles-law/

( Read More... | 1 comment | 3 points | on HN )

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

Posted by alpaylan on Monday May 18, 2026 @01:45PM
from the brooker.co.za dept.

https://brooker.co.za/blog/2026/05/18/whats-easy-whats-hard.html

( Read More... | no comments | 2 points | on HN )

What Is Random Generation?

Posted by alpaylan on Monday May 11, 2026 @09:30AM
from the alperenkeles.com dept.

https://alperenkeles.com/posts/what-is-random-generation/

( Read More... | no comments | 3 points | on HN )

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

Posted by alpaylan on Thursday May 07, 2026 @06:06PM
from the tylerhillery.com dept.

https://tylerhillery.com/blog/why-dont-lowercase-chars-come-after-upper/

( Read More... | no comments | 6 points | on HN )

Nondeterminism's Not the Problem

Posted by alpaylan on Monday May 04, 2026 @10:10AM
from the isaacvando.com dept.

https://isaacvando.com/nondeterminisms-not-the-problem

( Read More... | no comments | 3 points | on HN )

EsoNatLangs Bring the Complexity of Natural Language into Code

Posted by alpaylan on Thursday April 16, 2026 @09:55AM
from the esoteric.codes dept.

https://esoteric.codes/blog/five-esonatlangs

( Read More... | no comments | 5 points | on HN )

The Simplicity of Humanness

Posted by alpaylan on Monday April 13, 2026 @03:25PM
from the alperenkeles.com dept.

https://alperenkeles.com/posts/on-the-simplicity-of-humanness/

( Read More... | no comments | on HN )

Re:What Is a Property? on Saturday April 11, 2026 @05:48PM (#47734316)

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.

The Mismanaged Geniuses Hypothesis

Posted by alpaylan on Friday April 10, 2026 @11:35AM
from the alexzhang13.github.io dept.

https://alexzhang13.github.io/blog/2026/mgh/

( Read More... | no comments | on HN )

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

Posted by alpaylan on Tuesday April 07, 2026 @09:48AM
from the symbolic.software dept.

https://symbolic.software/blog/2026-04-07-cryspen-hax/

( Read More... | no comments | on HN )

What Is a Property?

Posted by alpaylan on Tuesday April 07, 2026 @08:16AM
from the alperenkeles.com dept.

https://alperenkeles.com/posts/what-is-a-property/

( Read More... | 26 comments | on HN )

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

Posted by alpaylan on Monday April 06, 2026 @03:02PM
from the gist.github.com dept.

https://gist.github.com/alpaylan/ddac04fe80219fb2f1ba5c46dd5647af

( Read More... | no comments | on HN )

Tracing Goroutines in Realtime with eBPF

Posted by alpaylan on Tuesday March 31, 2026 @08:57AM
from the sazak.io dept.

https://sazak.io/articles/tracing-goroutines-in-realtime-with-ebpf-2026-03-31

( Read More... | no comments | on HN )

Hypothesis, Antithesis, Synthesis

Posted by alpaylan on Tuesday March 24, 2026 @11:28AM
from the antithesis.com dept.

https://antithesis.com/blog/2026/hegel/

( Read More... | 104 comments | 35 points | on HN )

Re:The mechanics of autonomous software translation on Sunday March 15, 2026 @05:59PM (#47392400)

Doesn't all optimizations need to be valid translations first? That was my reasoning when writing it.

Seeing Types Where Others Don't

Posted by alpaylan on Friday March 13, 2026 @08:28AM
from the theconsensus.dev dept.

https://theconsensus.dev/p/2026/03/06/seeing-types-where-others-dont.html

( Read More... | no comments | 3 points | on HN )

Code Quality in the Age of Coding Agents

Posted by alpaylan on Thursday March 12, 2026 @05:18PM
from the michaeltimbs.me dept.

https://michaeltimbs.me/blog/code-quality-in-the-age-of-coding-agents/

( Read More... | no comments | 2 points | on HN )

Lf-lean: The frontier of verified software engineering

Posted by alpaylan on Thursday March 12, 2026 @11:37AM
from the theorem.dev dept.

https://theorem.dev/blog/lf-lean/

( Read More... | 9 comments | 2 points | on HN )

The mechanics of autonomous software translation

Posted by alpaylan on Wednesday March 11, 2026 @04:09AM
from the alperenkeles.com dept.

https://alperenkeles.com/posts/autonomous-translations/

( Read More... | 3 comments | 2 points | on HN )

Formalizing Data Structures and Algorithms with Agents

Posted by alpaylan on Monday March 09, 2026 @04:47PM
from the risemsr.github.io dept.

https://risemsr.github.io/blog/2026-03-06-autoclrs/

( Read More... | no comments | 3 points | on HN )