alpaylan

Mon Jan 17, 2022 10:44pm PST

Karma:

145

submitted

Fri Feb 6, 2026 1:48pm PST

LLMs could be, but shouldn't be compilers

@alpaylan

31

116

108

Tues Dec 23, 2025 12:56pm PST

Test, don't just verify

@alpaylan

33

140

200

Mon Nov 17, 2025 9:16pm PST

Does your code match your spec?

@alpaylan

2

Tues Nov 4, 2025 7:08pm PST

A Claude Code Command for Hypothesis

@alpaylan

2

Mon Sep 1, 2025 12:05pm PST

Breaking Verifiable Abstractions

@alpaylan

2

Sat Aug 16, 2025 7:36pm PST

A Better Vocabulary for Testing

@alpaylan

3

Wed Aug 7, 2024 5:05pm PST

Dotlr – An Educational LR Parser Generator and Visualizer

@alpaylan

1

Sun Jul 28, 2024 7:45pm PST

Show HN: Tail – Structured Document Editor

@alpaylan

1

2

5

Sun Mar 17, 2024 2:02pm PST

A Cryptic Visual Language as a Puzzle

@alpaylan

1

1

1

Mon Jul 24, 2023 1:31am PST

CVDL: CV(Curriculum Vitae) Description Language

@alpaylan

2

3

3

Thurs Jul 13, 2023 5:06am PST

Learner’s Guide to Functional Programming#0: Sum Types, Booleans and Naturals

@alpaylan

3

Wed Jul 12, 2023 3:07am PST

Extracting Signals: Playing the Inverse Waldo Game

@alpaylan

3

Sun Jun 18, 2023 1:37am PST

The Technical Pie (Yet-Another-Tech-Debt-Analogy)

@alpaylan

1