Submissions from alperenkeles.com

		Test, don't just verify (alperenkeles.com)
		198 points by alpaylan 2 days ago \| past \| 138 comments
		Verification Is Not the Silver Bullet (alperenkeles.com)
		3 points by zdw 37 days ago \| past
		Breaking Verifiable Abstractions (alperenkeles.com)
		2 points by alpaylan 3 months ago \| past
		A Better Vocabulary for Testing (alperenkeles.com)
		3 points by alpaylan 4 months ago \| past
		Verifiability Is the Limit (alperenkeles.com)
		4 points by lawrencechen 5 months ago \| past \| 2 comments
		Verifiability Is the Limit (alperenkeles.com)
		1 point by mefengl 8 months ago \| past
		Verifiability Is the Limit (alperenkeles.com)
		1 point by kugurerdem 9 months ago \| past
		The Lies About Abstraction (alperenkeles.com)
		1 point by acmerfight on Dec 19, 2024 \| past
		Puzzles as Algorithmic Problems (alperenkeles.com)
		2 points by thunderbong on June 2, 2024 \| past
		Solving Algorithmic Problems: Painting a Grid (alperenkeles.com)
		3 points by thunderbong on April 16, 2024 \| past
		Introducing Devy, the interactive blog, written using Devy (alperenkeles.com)
		2 points by thunderbong on April 13, 2024 \| past
		A Cryptic Visual Language as a Puzzle (alperenkeles.com)
		1 point by alpaylan on March 17, 2024 \| past \| 1 comment