Formal methods with Hillel Wayne
Brought to You By: • Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages....
Context engineering with Dex Horthy
Brought to You By: • Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages....
The Pragmatic Engineer AMA
Brought to You By: • Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages....
How Kent Beck shapes the software engineering industry
Brought to You By: • Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages....
Tech interviews with NeetCode
Brought to You By: • Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages....
CI/CD with Robert Erez
Brought to You By: • Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages....
Kubernetes and retiring at the top with Kelsey Hightower
Brought to You By: • Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages....
Building OpenCode with Dax Raad
Brought to You By: • Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages....
Why Rust is different, with Alice Ryhl
Brought to You By: • Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages....
TypeScript, C# and Turbo Pascal with Anders Hejlsberg
Brought to You By: • Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages....