alpaylan's submissions

1.		A Drop in for `anyhow:Context` that reports the failure location (gist.github.com)
		1 point by alpaylan 7 hours ago \| past \| discuss
2.		Tracing Goroutines in Realtime with eBPF (sazak.io)
		1 point by alpaylan 6 days ago \| past \| discuss
3.		Hypothesis, Antithesis, synthesis (antithesis.com)
		285 points by alpaylan 13 days ago \| past \| 104 comments
4.		Seeing Types Where Others Don't (theconsensus.dev)
		3 points by alpaylan 24 days ago \| past
5.		Code Quality in the Age of Coding Agents (michaeltimbs.me)
		2 points by alpaylan 25 days ago \| past
6.		Lf-lean: The frontier of verified software engineering (theorem.dev)
		47 points by alpaylan 25 days ago \| past \| 9 comments
7.		The mechanics of autonomous software translation (alperenkeles.com)
		24 points by alpaylan 26 days ago \| past \| 3 comments
8.		Formalizing Data Structures and Algorithms with Agents (risemsr.github.io)
		3 points by alpaylan 28 days ago \| past
9.		Closing the verification loop: Observability-driven harnesses for agents (datadoghq.com)
		4 points by alpaylan 28 days ago \| past
10.		Are We Engineers? (hillelwayne.com)
		1 point by alpaylan 34 days ago \| past
11.		Specifiability Is the Leverage (alperenkeles.com)
		2 points by alpaylan 36 days ago \| past
12.		Some Simple Economics of AGI (arxiv.org)
		5 points by alpaylan 40 days ago \| past
13.		LLMs could be, but shouldn't be compilers (alperenkeles.com)
		133 points by alpaylan 59 days ago \| past \| 151 comments
14.		Test, don't just verify (alperenkeles.com)
		200 points by alpaylan 3 months ago \| past \| 140 comments
15.		Does your code match your spec? (kiro.dev)
		2 points by alpaylan 4 months ago \| past
16.		A Claude Code Command for Hypothesis (hypothesis.works)
		2 points by alpaylan 5 months ago \| past
17.		Breaking Verifiable Abstractions (alperenkeles.com)
		2 points by alpaylan 7 months ago \| past
18.		A Better Vocabulary for Testing (alperenkeles.com)
		3 points by alpaylan 7 months ago \| past
19.		Dotlr – An Educational LR Parser Generator and Visualizer (github.com/umut-sahin)
		1 point by alpaylan on Aug 7, 2024 \| past
20.		Show HN: Tail – Structured Document Editor (tail.rocks)
		5 points by alpaylan on July 28, 2024 \| past \| 2 comments
21.		A Cryptic Visual Language as a Puzzle (alperenkeles.com)
		1 point by alpaylan on March 17, 2024 \| past \| 1 comment
22.		CVDL: CV(Curriculum Vitae) Description Language (github.com/alpaylan)
		3 points by alpaylan on July 24, 2023 \| past \| 3 comments
23.		Learner’s Guide to Functional Programming#0: Sum Types, Booleans and Naturals (alpkeles99.medium.com)
		3 points by alpaylan on July 13, 2023 \| past
24.		Extracting Signals: Playing the Inverse Waldo Game (alpkeles99.medium.com)
		3 points by alpaylan on July 12, 2023 \| past
25.		The Technical Pie (Yet-Another-Tech-Debt-Analogy) (alpkeles99.medium.com)
		1 point by alpaylan on June 18, 2023 \| past

HN For You