Tools mentioned by David Yanacek

Software and services David Yanacek has mentioned across podcast appearances.

SignalCast may earn a small commission on purchases through these links — at no extra cost to you. As an Amazon Associate we earn from qualifying purchases.

Hypothesis
“Kiro generates invariant-based tests using the Python Hypothesis framework. For a traffic light system, it would verify that at most one direction holds a green light across thousands of randomized input sequences.”
Mentioned on: Software Engineering Daily · Amazon’s IDE for Spec-Driven Development with D...
Kiro
Author
by Amazon
“Amazon senior principal engineer David Yanacek explains Kiro, an AI-powered IDE built around spec-driven development.”
Mentioned on: Software Engineering Daily · Amazon’s IDE for Spec-Driven Development with D...

← Back to David Yanacek's podcast appearances

Hypothesis

Kiro