~/talk

Spec-Driven Development: Agentic Coding at FAANG Scale and Quality

slides:none on file

Kiro claims that Spec‑Driven Development turns prompts into structured EARS requirements, designs, task lists and end‑to‑end code using MCP servers, CDK and AWS Agent Core; a three‑ or four‑person team ships a GA product (public preview since July 14, GA on the 17th) that adds property‑based testing to turn requirements into invariants. Example: a Gramps dad‑joke agent gets S3 persistence added, unit and property tests generated and run, commits include co‑author metadata, and the demo tests pass.

AI-written summary · about

  1. 0:00Spec-Driven Development intro
  2. 7:16What is Spectriven Development
  3. 15:26AI toolchain with MCP servers
  4. 21:20Live demo in Kuro
  5. 31:08Managing specs in large codebases
  6. 43:28Session length in Kuro
  7. 51:22Updating specs over time
  8. 56:05Generating code from specs
  9. 1:01:50Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.