Videos GgLQ02aO-hs
The Unreasonable Effectiveness of Separating the Task from the Model — Maxime Rivest & Isaac Miller
Scene timeline
44 shot(s).
keyframes kept every frame deduplicated
What was stored
- cues
- 187
- whisperx 187
- chunks
- 30
- from 187 cues
- keyframes
- 31
- kept of 44 captured
- frames with text
- 30
- 903 lines read
- chapters
- 0
- from the source metadata
- keyframe bytes
- 6.2 MB
- word timings on 187 cues
Provenance
| stage | state | model | started | took |
|---|---|---|---|---|
fetch |
done | — | 2026-08-09 23:01 | 0s |
stt |
done | — | 2026-08-09 13:36 | 17s |
chunk |
done | — | 2026-08-09 13:37 | 0s |
text_embed |
done | — | 2026-08-10 19:40 | 0s |
keyframe |
done | — | 2026-08-09 13:37 | 2m 38s |
ocr |
done | — | 2026-08-09 13:39 | 16s |
frame_embed |
done | — | 2026-08-10 19:40 | 5s |
Frames, and what the machine read
-
- AlEngineer0.96
- World's Fair0.97
-
- AlEngineer0.95
- World's Fair0.99
-
- LAB & PLATINUM SPONSORS0.99
- Amazon AGI Lab0.97
- ANTHROP\C1.00
- Google DeepMind1.00
- MINIMAX0.98
- OpenAl0.89
- Akamai1.00
- arize1.00
- aws1.00
- Braintrust1.00
- bright data0.99
- B1.00
- Browserbase1.00
- docker1.00
- :neo4j0.90
- ORACLE1.00
- PayPal1.00
- qodo1.00
- reducto1.00
- Sonar1.00
- Makers of1.00
- togetherai1.00
- Unblocked1.00
- WorkOS1.00
- SonarQube1.00
-
- Modal1.00
- Ref.1.00
- :neo4]0.86
- World's Fair0.99
- World's Fair0.95
- World's Fair0.97
- World's Fair0.95
- World's Fair0.98
- neer1.00
- THE VELOCITY ROOM0.95
- mezmo*0.94
- bright data0.72
- ©fiddler0.91
- World's Fair0.99
- Cace0.57
- O INNGEST0.90
- PRIOR1.00
- SnorkeJ0.97
- Wort0.94
- World's Fair0.98
- BAND1.00
- Keycard0.99
- Ateirpx0.58
- World's Fair0.99
- World's Fair0.98
- :neo4j0.98
- World's Fair0.97
- Cleric1.00
- Meliculous0.96
- World's Fair0.97
- Google DeepMind1.00
- World's Fair0.97
- qodo0.97
- World's Fair0.95
- PayPal1.00
- À ATLASSIAN0.95
- FACTORY1.00
- Braintrust1.00
- World's Fair0.98
- World's Fair0.92
- Microsoft1.00
- World's Fair0.97
- arize1.00
- ORACLE1.00
- Microsoht0.89
- ANTHROPIC1.00
- ddruid0.61
- Crusce0.86
- World's Fair0.99
- MINIMAX1.00
- orld's Fair0.94
- World's Fair0.94
- World's Fai0.95
- ANTHROPIC1.00
- World's Fair0.94
- Resolve.ai0.96
- Workd's Fair0.91
- co0.72
- Optiver0.99
- World's Fair0.99
- ouilder0.92
- World's Fair0.96
- Ravenna1.00
- World's Fai0.96
- CopilotKit1.00
- Id's Fair0.95
- /orld'sFa0.99
- World's Fair0.98
- BeNCORD0.91
- fsFair0.97
- tgus0.93
-
- World'sFair0.94
- RELAI0.89
- World's Fair0.99
- World's Fair0.96
- Modal0.99
- World's Fair0.99
- promptqt0.99
- World'sFair0.95
- SurrealDB0.97
- World's Fair0.97
- ZERO0.94
- World's Fair0.97
- AlEngineer0.95
- comet1.00
- Wo0.98
- Norld's Fair0.96
- SOIO.IO0.91
- World's Fair0.94
- granica1.00
- World's Fair0.99
- World's Fair1.00
- DigitalOcean0.97
- World's Fair0.99
- Venice0.90
- World's Fair0.99
- POSTMAN1.00
- Wo1.00
- Norld's Fair0.95
- Modular1.00
- World's Fair0.96
- MERGE1.00
- World's Fair0.98
- AUT1.00
- yugabyteDB1.00
- World's Fair0.96
- Zed0.99
- World's Fair0.99
- Keycard1.00
- Wo0.99
- World's Fair0.95
- Daytona0.94
- World's Fair0.95
- #twilio0.92
- World's Fair0.94
- GG0.99
- Temporal1.00
- World's Fair0.99
- I Llamalndex0.96
- World's Fair0.95
- O INNGEST0.89
- World's Fair0.97
- BAND1.00
- World's Fair0.93
- Cleric1.00
- World's Fair0.99
- À ATLASSIAN0.95
- Wo0.99
- World's Fair0.97
- baseten1.00
- World's Fair0.95
- Snorkel0.99
- World's Fair0.97
- Z.AI0.98
- World's Fair0.96
- qodo0.95
- World's Fair0.99
- PayPal1.00
- World's Fair0.98
- G1.00
- azon AGI Lab1.00
- World's Fair0.97
- Browserbase1.00
- World's Fair0.97
- :neo4j0.98
- World's Fair0.98
- Google DeepMind1.00
- World's Fair0.99
- arize1.00
- World's Fair0.98
- reducto1.00
- Wo0.99
- World's Fair0.95
- OpenAl0.96
- World's Fair0.98
- WorkOs0.98
- World's Fair0.97
- Amazon AG:0.99
- World's Fair0.96
- Microsoft1.00
- World's Fair0.95
- ORACLE0.98
- World's Fair0.96
- bri1.00
- Microsoft1.00
- World's Fair0.97
- docker1.00
- World'sF1.00
- Braintrust1.00
- World's Fair0.94
- OpenAl0.97
- World's Fair0.99
- MINIMAX1.00
- World's Fair0.96
- Z.AI0.98
- Wo0.99
- World's Fair0.96
- snyk1.00
- World's Fair0.99
- Id's Fair0.89
- togetheral0.96
- orld's Fair0.97
- Akamai1.00
- World's Fair0.98
- Unblocked1.00
- Worldia0.81
- Lightrun1.00
- ain0.99
- World'sFa1.00
- LOUDF0.99
- World'0.95
- DATADOG1.00
- World's Fair0.99
- Resolve.ai1.00
- World's Fair0.98
- Wo0.96
- Norld's Fair0.95
- World's Fair0.94
- LanceL0.97
- orld's Fair0.97
- builder.io0.91
- Norld's Fair0.92
- Ravenna1.00
- World's Fair0.91
- CopilotKit1.00
- descope0.98
- Microsoft0.98
- t1.00
- World's Fai0.93
- TOPK1.00
- World's Fair0.97
- cognee1.00
- World's Fair0.96
- eNCORD0.97
- World's Fair0.97
-
- AlEngineer0.95
- WorkOS1.00
- World's Fair0.96
- AlEngineer0.97
- World'sF1.00
- Braintrust1.00
- AlEngineer0.99
- aw1.00
- rld'sFair1.00
- AlEngineer0.97
- WMooVoF0.60
-
- AlEngineer0.99
- Amazon AGI Lab1.00
- World'sFair1.00
- AlEngineer0.96
- OpenAl0.92
- World'sFair1.00
- together.0.99
- husFair0.95
- AlEngineer0.95
- DATADOG0.98
- WooF0.52
-
- AlEngineer0.96
- Microsoft1.00
- World's Fair0.97
- AlEngineer0.96
- n MINIMAX0.86
- World's Fa0.95
- AlEngineer0.97
- Akar0.99
- Id'sFair0.99
- AlEnginee0.92
- Pesolve ai0.94
- WAooe0.52
-
- AlEngineer1.00
- World's Fair0.99
- Repeated logic becomes1.00
- afunction.1.00
- DUPLICATION1.00
- A NAMED FUNCTION1.00
- total = price_a + price_a * 0.150.99
- def with_tax(price):1.00
- total = price_b + price_b * 0.150.98
- return price * 1.150.99
- total = price_c + price_c * 0.150.99
- total = with_tax(price_a)0.99
- AIEr0.89
- Micros1.00
- Work0.97
- - AlEngineer0.93
- Mn0.62
- rld's'0.85
- AIEr0.85
- Ak1.00
- lorke0.73
- - AIE0.88
-
- AlEngineer0.99
- World's Fair0.98
- Al programs should be0.99
- functions.1.00
- PRESENTED BY0.99
- Reusable.1.00
- Microsoft1.00
- Composable.1.00
- Testable.1.00
- Optimizable.1.00
- OS0.69
- World's Fair0.95
- air1.00
- Braintrus0.98
- Engineer1.00
- The Unreasonable Effectiveness of Separating the Task from the Model1.00
- 'd's Fair0.98
- Maxime Rivest0.99
- Isaac Miller1.00
- DSPy1.00
- Core Contributor1.00
- Lead Maintainer1.00
-
- prompting, prompt engineering, chain-of-thought, few-shot, zero-shot, one-shot, system1.00
- prompt, developer message, instruction hierarchy, routing, context engineering, harness1.00
- AlEngineer1.00
- World's Fair0.98
- engineering, in-context learning, exemplars, demonstrations, self-critique, self-reflection,1.00
- self-consistency, ensemble, best-of-n, RAG, structured outputs, mixture of experts, guardrails,0.99
- alignment, prompt injection, prompt leaking, instruction override, agentic, agents, agent loop,1.00
- ReAct, tool calling, function calling, tool schema, computer use, agent swarm, verifier, judge,0.99
- memory, MCP, embeddings, vector store, semantic search, chunking, chunk size, sliding1.00
- PRESENTED BY0.98
- window, reranking, context window, long context, compaction, pre-training, post-training,0.99
- Microsoft0.99
- fine-tuning, SFT, reinforcement learning, RLHF, reward model, preference data, evals, DPO,1.00
- ORPO, KTO, GRPO, distillation, teacher model, student model, multi-agent system, LoRA,1.00
- QLoRA, adapters, PEFT, quantization, checkpoints, open weights, frontier model, base model,1.00
- instruct model, inference, decode, sampling, temperature, top-p, top-k, beam search,1.00
- logprobs, KV cache, paged attention, flash attention, speculative decoding, test-time compute,0.99
- reasoning models, loop engineering, subagents, orchestrator, planner, scratchpad, retrieval,1.00
- orld's Fair0.95
- Amazor1.00
- grounding, hallucination, citations, batching, streaming, caching, prompt caching, tracing,0.99
- observability, guard models, red-teaming, jailbreaks, curriculum, synthetic data, self-play,1.00
- AIEr0.79
- verifier loops, reflection, tree search, MCTS, graph-of-thought, skeleton-of-thought,0.99
- Braintru0.99
- Work0.93
- constitutionaLAL RI AIE nrocess reward outcome reward tokenizer multimodal VI M STT0.95
- The Unreasonable Effectiveness of Separating the Task from the Model0.98
- orld's0.98
- Maxime Rivest1.00
- Isaac Miller1.00
- DSPy1.00
- Wod.0.61
- AIEr0.85
- Core Contributor1.00
- Lead Maintainer1.00
-
- AlEngineer0.99
- World's Fair0.99
- Every repeated Al task deserves0.99
- aclearinput/outputinterface.1.00
- PRESENTED BY0.98
- invoice tax extraction0.96
- Microsoft1.00
- rld's Fair1.00
- Amazon0.99
- a signature: well-defined input, well-defined output, repeatable objective1.00
- AIEn0.93
- Braint0.99
- Work0.91
- - AlEngi0.90
- The Unreasonable Effectiveness of Separating the Task from the Model0.99
- orld'0.90
- tog1.00
- Maxime Rivest1.00
- Isaac Miller1.00
- DSPy1.00
- AlEn0.93
- Core Contributor0.98
- Lead Maintainer1.00
-
- AlEngineer1.00
- World's Fair0.98
- Every repeated Al task deserves0.99
- aclearinput/outputinterface.1.00
- PRESENTED BY0.96
- invoice tax extraction0.95
- text→ grammar correction0.96
- Microsoft1.00
- text rewrite for clarity0.97
- articleproduct classification1.00
- entire inbox + new email drafted reply0.98
- 'orld's Fr0.93
- Amazo1.00
- a signature: well-defined input, well-defined output, repeatable objective1.00
- Al0.79
- Braintr1.00
- Wor1.00
- AlEnginee0.98
- The Unreasonable Effectiveness of Separating the Task from the Model0.99
- 'orld's0.94
- to1.00
- Maxime Rivest1.00
- Isaac Miller1.00
- DSPy1.00
- Core Contributor1.00
- Lead Maintainer1.00
- LAL0.57
-
- AlEngineer0.98
- World's Fair0.97
- Every repeated Al task deserves0.99
- aclearinput/outputinterface.1.00
- PRESENTED BY1.00
- invoice tax extraction0.97
- text grammar correction0.97
- Microsoft1.00
- text rewrite for clarity0.98
- article product classification0.98
- entire inbox + new email drafted reply0.99
- design spec + repository pull request0.97
- WorkOs0.92
- Wc0.92
- a signature: well-defined input, well-defined output, repeatable objective1.00
- AlEngineer0.99
- World'1.00
- #E0.74
- The Unreasonable Effectiveness of Separating the Task from the Model0.99
- Maxime Rivest1.00
- Isaac Miller1.00
- DSPy1.00
- AlEngine0.96
- Core Contributor1.00
- Lead Maintainer1.00
- A_J0.56
-
- AlEngineer0.98
- World's Fair0.99
- The signature defines1.00
- the taskboundary.0.97
- PRESENTED BY0.96
- Microsoft1.00
- def extract_taxes(invoice) -> taxes: # the what - fixed0.99
- # the how - completely free to evolve0.98
- 'orkOS0.95
- World's1.00
- ngineer1.00
- d's Fair0.84
- Braint1.00
- IEnginee0.93
- The Unreasonable Effectiveness of Separating the Task from the Model1.00
- WS0.91
- Maxime Rivest1.00
- Isaac Miller1.00
- DSPy1.00
- gineer1.00
- Core Contributor1.00
- Lead Maintainer1.00
-
- AlEngineer0.97
- World'sFair1.00
- Everything behind the boundary1.00
- isreplaceable.1.00
- PRESENTED BY0.96
- Microsoft1.00
- def extract_taxes(invoice) -> taxes:0.99
- prompt1.00
- agent1.00
- tools1.00
- loops0.99
- different models1.00
- optimizers1.00
- rkOs0.95
- World's F0.99
- Everything else remains unchanged.1.00
- eer1.00
- sF2:0.66
- Braintri0.94
- AlEngineer0.98
- The Unreasonable Effectiveness of Separating the Task from the Model1.00
- UIT0.59
- Id'sFi0.89
- Maxime Rivest0.99
- IsaacMiller0.96
- DSPy1.00
- Core Contributor1.00
- Lead Maintainer1.00
-
- AlEngineer0.99
- World's Fair0.99
- PRESENTED BY0.97
- A signature alone doesn't1.00
- Microsoft1.00
- completely specify the task.0.98
- d'sFair1.00
- mazon A1.00
- AlEnginer0.92
- aintru0.99
- World's1.00
- Engineer0.99
- Yoget0.87
- The Unreasonable Effectiveness of Separating the Task from the Model1.00
- d'sF0.86
- Maxime Rivest0.99
- Isaac Miller1.00
- DSPy0.99
- AlEnginer0.97
- World'e0.88
- Core Contributor1.00
- Lead Maintainer0.97
-
- AlEngineer1.00
- World'sFair1.00
- SPECS1.00
- QUESTION 10.98
- import dspy1.00
- PRESENTED BY0.98
- What1.00
- lm = dspy.LM("openai/gpt-4.1-mini")1.00
- dspy.configure(lm=lm)1.00
- Microsoft1.00
- should1.00
- class ExtractTaxes(dspy.Signature):0.99
- """Extract all tax lines from an invoice.0.99
- happen?1.00
- Use 0.0 for illegible amounts."""1.00
- invoice: str = dspy.InputField()0.97
- taxes: dict[str, float] = dspy.OutputField()0.99
- orld's Fai0.97
- All1.00
- Brows1.00
- Worl0.89
- - Al0.64
- The Unreasonable Effectiveness of Separating the Task from the Model0.99
- Crus1.00
- orl0.99
- Maxime Rivest0.99
- IsaacMiller1.00
- DSPy0.99
- Ido0.67
- All1.00
- Core Contributor1.00
- Lead Maintainer1.00
-
- AlEngineer0.98
- World'sFair1.00
- SPECS1.00
- QUESTION 10.96
- import dspy1.00
- PRESENTED BY0.97
- What1.00
- lm = dspy.LM("openai/gpt-4.1-mini")1.00
- dspy.configure(lm=lm)1.00
- Microsoft1.00
- should1.00
- class ExtractTaxes(dspy.Signature):0.99
- """Extract all tax lines from an invoice.0.99
- happen?1.00
- Use 0.0 for illegible amounts."""1.00
- invoice: str = dspy.InputField()0.97
- taxes: dict[str, float] = dspy.OutputField()0.99
- AlEng0.72
- MINIMAX1.00
- World0.96
- AIEngineer0.96
- Ope0.99
- rld's Fair0.99
- Eng1.00
- The Unreasonable Effectiveness of Separating the Task from the Model1.00
- JSOe0.73
- Maxime Rivest1.00
- IsaacMiller0.95
- DSPy0.99
- AIEngineer0.95
- Core Contributor1.00
- Lead Maintainer1.00
-
- AlEngineer1.00
- SPECS + CODE0.96
- World'sFair1.00
- import dspy1.00
- lm = dspy.LM("openai/gpt-4.1-mini")0.99
- dspy.configure(lm=lm)1.00
- class ExtractTaxes(dspy.Signature):1.00
- QUESTION 20.99
- """Extract all tax lines from an invoice.0.99
- Use 0.0 for illegible amounts."""0.96
- PRESENTED BY0.99
- What1.00
- invoice: str = dspy.InputField()1.00
- taxes: dict[str, float] = dspy.OutputField()0.98
- Microsoft1.00
- must1.00
- class TaxPipeline(dspy.Module):1.00
- def __init__(self):0.99
- super().__init__()0.97
- happen?1.00
- self.extract = dspy.Predict(ExtractTaxes)0.99
- self.recheck = dspy.ChainOfThought(ExtractTaxes)0.99
- def forward(self, invoice: str):0.98
- pred = self.extract(invoice=invoice)0.99
- if not pred.taxes:1.00
- # routing0.99
- pred = self.recheck(invoice=invoice)1.00
- soft1.00
- World's Fai0.99
- if any(a < 0 for a in pred.taxes.values()):0.99
The page's on-screen-text budget of 600
lines is spent, so the last cards in this grid list fewer lines than they
hold. Narrow the page with ?frames= to read them.
Transcript
187 cues· 2,727 words· 14,639 chars
- 0:12 Please welcome to the stage, Maxime Rivest and Isaac Miller.
- 0:19 Wow.
- 0:20 Isaac, myself, all of the DSPy community are so grateful to be here today to get to talk to you about AI programming, DSPy, and the unreasonable effectiveness of separating the task from the model, its harness, and all of the implementation details.
- 0:38 When you think about it,
- 0:40 In programming, if we want to repeat a task often, we make it a function.
- 0:46 We believe the same should be true for AI programs.
- 0:51 Functions are awesome.
- 0:52 Functions are reusable, composable, testable, and optimizable.
- 0:58 To make a function, you give it a name, you define some inputs, some outputs, and then you have some implementation logic inside of it.
- 1:08 You get to reuse your functions thousands of times.
- 1:11 You can optimize it, but you can also compose it into bigger programs.
- 1:17 One of the really nice things about functions is that you can also package it and distribute it, and someone else can use it, and they just need to know about the contract on top of it to use it, and they can treat it as a black box.
- 1:30 DSPy brings all of these properties to AR programs.
- 1:34 And so DSPy is an open source software in Python that lets you, like I said, bring these properties to your AI workflows and AI programs.
- 1:47 And it gives you all of the toolings you need to do that.
- 1:52 Why do you want that?
- 1:54 Well, we have been inventing a lot of terms in our fields in the last three years.
- 1:59 It's growing fast.
- 2:00 We have new models coming every other week.
- 2:04 We have new techniques, new strategies.
- 2:06 And if you're like me, you want to try all of them.
- 2:09 But will any of these new specific techniques coming out at a different time really help on your task, on your job?
- 2:19 Well, these are all just implementation tactics.
- 2:23 and you want to put them inside of clear contract.
- 2:27 If for your repeated AI task, you define an input interface and an output interface, you get to play in the internals.
- 2:35 You get a lot of agility.
- 2:37 Let's make it concrete for AI.
- 2:40 So my first AI program I made when I discovered DSPy was that I had some invoices from my farm and I wanted to extract them to do my taxes.
- 2:49 I wanted to extract the tax values from there.
- 2:52 Then, another AI program I did is that on my keyboard in my computer, I have a little command that reads my keyboard shortcuts, read my clipboard, and will correct the grammar for me.
- 3:06 Sometimes, I actually want it to also rewrite for clarity, so I have another program that takes text and just rewrites it for clarity, put it back in my keyboard, and that's a command, and then I can have a lot of agility and bring it different places.
- 3:19 Inside of that, I can change it however I want.
- 3:22 A new model comes up, and I can change that.
- 3:23 It's super easy, because my interface is fixed like that.
- 3:27 I'll skip that one.
- 3:29 But they're not restrained to very easy things and small input-output.
- 3:35 You can be very ambitious with AI programs.
- 3:38 So in this example, you could have your entire inbox and a new email coming in, and you want to compose a new drafted reply.
- 3:46 We can do that in DSPy with RLM, recursive language models.
- 3:50 This is an idea that came from around our community.
- 3:53 Or, more like things we probably all do, agentic engineering or vibe coding, you can give it a spec, a repository, and you get a PR.
- 4:02 Those are repeatable tasks.
- 4:06 And so, as I have been telling you, when you fix that boundary,
- 4:10 You can focus on the how on the top and then inside of it.
- 4:13 You can have a little chat with just a simple prompt.
- 4:17 You can iterate on that prompt.
- 4:18 Agents come out, you change it to be an agent.
- 4:20 Tools gets invented, you add tools.
- 4:23 And then we get into loop engineering, you put that inside of it too.
- 4:28 Anything on the outside of it doesn't change.
loading