Property-based testing as executable specs for agentic codingkiro.dev1 point·logicprog··0 commentsOpen articleSaveView on HN