Before you press play
What you’ll find in the video
- Diogo argues that preference-based post-training can reward pleasing answers rather than accurate probabilities.
- The talk distinguishes assistance with a human checking the output from autonomous execution in software.
- TypeSafe’s proposed alternative optimizes probability-bearing decisions for software; the talk presents the creator’s thesis rather than an independent validation.
Worth knowing
Auto-generated English captions reviewed with Gemini. The talk presents the conceptual critique and architectural thesis for TypeSafe's upcoming model, but does not provide benchmark metrics, production API specs, or implementation code.