Hacker News: alpaylan

A Design Space Exploration of Async/Await

alpaylan — Thu, 10 Sep 2026 15:46:34 +0000

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

Comments URL: https://news.ycombinator.com/item?id=49645736

Points: 2

# Comments: 0

Testing Race Conditions

alpaylan — Wed, 09 Sep 2026 21:51:02 +0000

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

Comments URL: https://news.ycombinator.com/item?id=49634928

Points: 34

# Comments: 0

Introduction to Property-Based Testing

alpaylan — Mon, 24 Aug 2026 17:26:46 +0000

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

Comments URL: https://news.ycombinator.com/item?id=49423114

Points: 6

# Comments: 0

New comment by alpaylan in "Programmable Property-Based Testing"

alpaylan — Wed, 19 Aug 2026 00:44:05 +0000

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

Show HN: Latex Diff Viewer

alpaylan — Thu, 09 Jul 2026 14:38:12 +0000

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

Comments URL: https://news.ycombinator.com/item?id=48846628

Points: 3

# Comments: 0

Understanding Is the New Bottleneck

alpaylan — Thu, 02 Jul 2026 19:55:20 +0000

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

Comments URL: https://news.ycombinator.com/item?id=48766517

Points: 9

# Comments: 2

New comment by alpaylan in "Temporal Shrinking"

alpaylan — Tue, 30 Jun 2026 20:20:08 +0000

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

Representation-Free Editing

alpaylan — Tue, 16 Jun 2026 13:39:41 +0000

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

Comments URL: https://news.ycombinator.com/item?id=48555160

Points: 3

# Comments: 0

Why AI code optimization needs production-grounded benchmarks

alpaylan — Tue, 09 Jun 2026 18:31:34 +0000

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

Comments URL: https://news.ycombinator.com/item?id=48465440

Points: 2

# Comments: 0

A Little Explanation of Little's Law

alpaylan — Sat, 06 Jun 2026 18:09:30 +0000

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

Comments URL: https://news.ycombinator.com/item?id=48427416

Points: 4

# Comments: 1

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

alpaylan — Mon, 18 May 2026 17:45:23 +0000

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

Comments URL: https://news.ycombinator.com/item?id=48182877

Points: 2

# Comments: 0

What Is Random Generation?

alpaylan — Mon, 11 May 2026 13:30:17 +0000

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

Comments URL: https://news.ycombinator.com/item?id=48094763

Points: 3

# Comments: 0

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

alpaylan — Thu, 07 May 2026 22:06:51 +0000

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

Comments URL: https://news.ycombinator.com/item?id=48055765

Points: 23

# Comments: 0

Nondeterminism's Not the Problem

alpaylan — Mon, 04 May 2026 14:10:40 +0000

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

Comments URL: https://news.ycombinator.com/item?id=48009017

Points: 6

# Comments: 0

EsoNatLangs Bring the Complexity of Natural Language into Code

alpaylan — Thu, 16 Apr 2026 13:55:43 +0000

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

Comments URL: https://news.ycombinator.com/item?id=47793014

Points: 5

# Comments: 0

The Simplicity of Humanness

alpaylan — Mon, 13 Apr 2026 19:25:13 +0000

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

Comments URL: https://news.ycombinator.com/item?id=47756735

Points: 1

# Comments: 0

New comment by alpaylan in "What is a property?"

alpaylan — Sat, 11 Apr 2026 21:48:48 +0000

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

alpaylan — Fri, 10 Apr 2026 15:35:55 +0000

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

Comments URL: https://news.ycombinator.com/item?id=47719719

Points: 1

# Comments: 0

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

alpaylan — Tue, 07 Apr 2026 13:48:42 +0000

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

Comments URL: https://news.ycombinator.com/item?id=47675346

Points: 2

# Comments: 0

What is a property?

alpaylan — Tue, 07 Apr 2026 12:16:27 +0000

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

Comments URL: https://news.ycombinator.com/item?id=47674075

Points: 89

# Comments: 26