technical.cx Sources

Stack Overflow Blog

Don't forget about the UI for AI - Stack Overflow

Recorded at OpenAI Dev Day 2026, Ryan sits down with Andrew Ambrosino, member of the technical staff at OpenAI, for a conversation on OpenAI's strategy for merging ChatGPT and Codex into a unified experience, the advantages of localized computer access in...

Entities: OpenAIChatGPT

Stack Overflow Blog

AI says you’re right, formal methods say you’re wrong - Stack Overflow

Ryan is joined by Gabriela Moreira, CEO at Quint, about why formal specification languages like TLA+ are essential for catching system design flaws before writing code, how Quint brings developer-friendly syntax and executability to formal methods, and the...

Stack Overflow Blog

Keep calm and call clone with Rust - Stack Overflow

Ryan sits down with Josh Triplett, member of the Rust Leadership Team at the Rust Project, to chat about how the borrow checker delivers compile-time memory safety without garbage collection overhead, why Rust consistently ranks as developers' most loved...

Topics: Programming

Entities: ProgrammingTarget