Hacker News: alpaylan

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: 2

# Comments: 0

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

alpaylan — Mon, 06 Apr 2026 19:02:51 +0000

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

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

Points: 1

# Comments: 0

Tracing Goroutines in Realtime with eBPF

alpaylan — Tue, 31 Mar 2026 12:57:52 +0000

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

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

Points: 1

# Comments: 0

Hypothesis, Antithesis, synthesis

alpaylan — Tue, 24 Mar 2026 15:28:17 +0000

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

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

Points: 285

# Comments: 104

New comment by alpaylan in "The mechanics of autonomous software translation"

alpaylan — Sun, 15 Mar 2026 21:59:52 +0000

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

Seeing Types Where Others Don't

alpaylan — Fri, 13 Mar 2026 12:28:10 +0000

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

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

Points: 3

# Comments: 0

Code Quality in the Age of Coding Agents

alpaylan — Thu, 12 Mar 2026 21:18:11 +0000

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

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

Points: 2

# Comments: 0

Lf-lean: The frontier of verified software engineering

alpaylan — Thu, 12 Mar 2026 15:37:37 +0000

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

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

Points: 47

# Comments: 9

The mechanics of autonomous software translation

alpaylan — Wed, 11 Mar 2026 08:09:52 +0000

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

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

Points: 24

# Comments: 3

Formalizing Data Structures and Algorithms with Agents

alpaylan — Mon, 09 Mar 2026 20:47:38 +0000

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

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

Points: 3

# Comments: 0

Closing the verification loop: Observability-driven harnesses for agents

alpaylan — Mon, 09 Mar 2026 20:30:44 +0000

Article URL: https://www.datadoghq.com/blog/ai/harness-first-agents/

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

Points: 4

# Comments: 0

Are We Engineers?

alpaylan — Tue, 03 Mar 2026 16:08:31 +0000

Article URL: https://www.hillelwayne.com/post/are-we-really-engineers/

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

Points: 1

# Comments: 0

Specifiability Is the Leverage

alpaylan — Sun, 01 Mar 2026 14:56:08 +0000

Article URL: https://alperenkeles.com/posts/specifiability-is-the-leverage/

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

Points: 2

# Comments: 0

New comment by alpaylan in "Verified Spec-Driven Development (VSDD)"

alpaylan — Sat, 28 Feb 2026 20:08:37 +0000

You cannot escape from the human verifying the properties you want verified mechanically. This only gives you leverage in specific scenarios where specification is much simpler than the implementation.

Some Simple Economics of AGI

alpaylan — Wed, 25 Feb 2026 18:06:13 +0000

Article URL: https://arxiv.org/abs/2602.20946

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

Points: 5

# Comments: 0

New comment by alpaylan in "LLMs could be, but shouldn't be compilers"

alpaylan — Fri, 06 Feb 2026 14:09:04 +0000

I think the point I wanted to make was that even if it was deterministic (which you can technically make it to be I guess?) you still shouldn’t live in a world where you’re guided by the “guesses” that the model makes when solidifying your intent into concrete code. Discounting hallucinations (I know this a is a big preconception, I’m trying to make the argument from a disadvantaged point again), I think you need a stronger argument than determinism in the discussion against someone who claims they can write in English, no reason for code anymore; which is what I tried to make here. I get your point that I might be taking the discussion to seriously though.

LLMs could be, but shouldn't be compilers

alpaylan — Fri, 06 Feb 2026 13:48:01 +0000

Article URL: https://alperenkeles.com/posts/llms-could-be-but-shouldnt-be-compilers/

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

Points: 133

# Comments: 151

New comment by alpaylan in "Kip: A programming language based on grammatical cases of Turkish"

alpaylan — Sat, 17 Jan 2026 22:38:50 +0000

The Maryland one (that would be me, although I haven’t really done anything except the WASM bindings, this is really all Joomy’s work, kudos to him) is vacationing in Izmir right now, why would that even be important though?

New comment by alpaylan in "Test, don't just verify"

alpaylan — Tue, 23 Dec 2025 14:08:28 +0000

I'll add some links for the original VGD paper and related articles, that should help in short term. Thank you! I'll look into writing something on VGD itself in the next few weeks.