ViewTube

What if AI didn't just sound right — but could prove it? In this episode of the MAD Podcast, Matt Turck sits down with Carina Hong, ...

AI writes most of my code now, and that created a new problem: a PR queue I couldn't keep up with. In this episode, I walk through ...

A Carnegie Mellon study sorted GitHub projects by whether an AI tool wrote the code, and found the productivity gain ran out after ...

AI can write Swift code that compiles, runs, and even produces the correct output. But that doesn't mean it performs well. In this ...

Some people think the AI bubble will crash like the dot-com bubble. Others think it will never pop at all. But what if they're both ...

Agentic coding shifts the engineering bottleneck from implementation to verification. As agents generate more code, teams ...

AI can write the code. The next challenge is running it at enterprise scale. Six engineering leaders from Uber, Morgan Stanley, ...

How can organizations maintain deterministic code quality in an AI-driven development environment? In this Sonar Summit 2026 ...

Development velocity has outrun testing. AI coding assistants push pull requests faster than manual and script-based test suites ...

In the first installment of Formally Speaking, Dr. Nada Amin—Associate Professor of Computer Science at Harvard and co-founder ...

AI made writing code cheap. Verifying it is the new bottleneck. Peter Morales, CEO and co-founder of Code Metal, joins Maggie ...

Fresh off the launch of Opus 5, Claude Code creator Boris Cherny joins Diana Hu at Startup School 2026 to talk about what the ...

Are autonomous AI agents operating unchecked in your enterprise? With the release of open source frameworks like OpenClaw, ...

Abstract: When we try to definitively answer "Is code for people or AI?" it creates a paralysis where we cannot define progress.

Can AI truly automate penetration testing? I'm putting Claude Code to the test on HackTheBox machines - fully automated, ZERO ...

... Part 4: Implementation Using the Genesis Kit - 2:03:40 Running Milestones and Independent AI Code Verification Thanks to ...

Title: Software Verification in the Age of Artificial Intelligence Date: May 7, 2026 Duration: 1HR ABSTRACT The AI tsunami is ...

Everybody is saying, “It's not the model, it's the harness,” but almost nobody stops to explain what a harness actually is. So I did.

Verify AI Code AI writes code faster than humans can review it. Aviator Verify provides compliance-grade verification through ...

AI has already had a profound impact on developers over the last year, and many people are worried about what their future looks ...