technical.cx Sources

Stack Overflow Blog

The AI magic words - Stack Overflow

Ryan sits down with Tim O'Reilly, founder and CEO at O'Reilly Media, to talk about the role of books as user interfaces to knowledge, the power of "magic words" to extract better outputs from AI, and why human taste is becoming highly valuable as knowledge...

Stack Overflow Blog

AI, JD, and other letters of the law - Stack Overflow

Ryan chats with Kevin Frazier, director of the AI Innovation and Law program at the University of Texas School of Law, about the legal and social impacts of data centers, the realities of workforce disruption, and regulating AI for child safety using...

Stack Overflow Blog

Scaling your money safely with AI - Stack Overflow

Ryan chats with Srini Venkatesan, CTO at PayPal, about validating AI-generated deterministic code for security, developing autonomous SDLC harnesses with iterative feedback loops, and creating a seamless headless checkout experience.

Topics: Security

Stack Overflow Blog

The good ol’ days of building Java - Stack Overflow

Ryan sits down with Tim Lindholm, an early contributor to the Java language at Sun Microsystems, to chat about what it was like building one of the most popular programming languages ever at its inception, why it was strategically important for the Java...

Topics: Programming

Entities: Programming

Stack Overflow Blog

When you keep AI Lean, you keep AI correct - Stack Overflow

Ryan chats with Leo de Moura, Senior Principal Applied Scientist at AWS and the creator of the Lean language, about proving correctness in AI agents with the Lean language, how automated reasoning complements probabilistic AI models, and the use of AI for...