CtrlK
BlogDocsLog inGet started
Tessl Logo

ainativedev/latest-aidevcon-speakers-london-2026

AI Native DevCon 2026 London — all conference sessions as interactive skills

71

Quality

89%

Does it follow best practices?

Impact

—

No eval scenarios have been run

SecuritybySnyk

Risky

Do not use without reviewing

Overview
Quality
Evals
Security
Files

outline.mdtalk-azriel-executable-specs-agentic-coding/

Outline - Executable Specs: Building a Verification Layer for Agentic Coding

Speaker

Shachar Azriel

Abstract

[inferred from filename and transcript] Executable Specs: Building a Verification Layer for Agentic Coding is an AI Native DevCon session covering executable specifications, verification layers, agentic coding, spec review, and requirements validation.

Thesis

[inferred] The talk's main contribution is its framing of executable specifications, verification layers, agentic coding for practitioners working with AI-native software development.

Transcript Status

The source is timestamped speech-to-text output. Speaker labels, punctuation, and some technical terms may be imperfect. Use timestamps when citing.

Timeline

#Timestamp rangeSectionSummary
100:00-03:42Opening and framingRight now, Shachar from Baz is going to talk about building verification layer for agentic coding, which sounds like something I needed today.
203:46-07:35Main discussion 1to really verify that your feature was implemented as you asked.
307:39-11:24Main discussion 2Specs will be saved in a ticketing system.
411:28-15:25Main discussion 3two different agents, we understood that it's still too much context for one agent.
515:26-19:27Main discussion 4is we have sessions that are running, we have requirements that are extracted perfectly and we're verifying them amazingly.
619:29-23:16Main discussion 5Tasks that are not out of the box from coding agents require a lot of context engineering, and two tips that I can give here was one dividing between planning and execution, and t…
723:20-27:06Main discussion 6It was unsuccessful and just like ditched the product.
827:08-30:22Closing pointsWe're using a heavy model because it's a big task.

Named Concepts / Search Anchors

  • Executable Specifications - Topic named in the talk metadata and used as a search anchor for transcript Q&A.
  • Verification Layers - Topic named in the talk metadata and used as a search anchor for transcript Q&A.
  • Agentic Coding - Topic named in the talk metadata and used as a search anchor for transcript Q&A.
  • Spec Review - Topic named in the talk metadata and used as a search anchor for transcript Q&A.
  • Requirements Validation - Topic named in the talk metadata and used as a search anchor for transcript Q&A.

Useful Search Terms

  • executable specifications
  • verification layers
  • agentic coding
  • spec review
  • requirements validation

Open Questions / Limits

  • The outline is generated from timestamped transcript text rather than speaker-provided slides.
  • Some transcript terms may be speech-to-text artifacts.
  • For precise claims, inspect transcript.md around the relevant timestamp.

Duration Marker

Last observed timestamp: 30:22

talk-azriel-executable-specs-agentic-coding

outline.md

quotes.md

SKILL.md

transcript.md

README.md

tile.json