~/talk

RoboCoders Judgment Day

slides:none on file

A live head-to-head uses Tessl and Kiro to complete the same coding task and measures whether spec-driven agents actually raise quality. The claim is that machine-parsable Given-When-Then specs let an algorithm generate deterministic tests, so humans validate requirements, an agent named testify auto-creates tests, and the pipeline enforces read-only tests while swapping models per phase. Demo shows tests generated and agents implementing code, but warns AI self‑verification is brittle without human checkpoints.

AI-written summary · about

  1. 0:00Introduction to RoboCoders
  2. 3:58What is spec-driven development
  3. 10:41Intent Integrity Chain explained
  4. 15:15AI knowledge limitations
  5. 18:50Fixing spec-driven development
  6. 22:47Demo of GitHub Spec Kit
  7. 25:57Demo of Amazon Ko
  8. 28:02Closing and resources
~/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.