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 ...

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

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

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

What comes after “vibe coding”? In this ODSC AI East 2026 session, Max Tegmark, Professor at MIT and Chairman of the Future ...

In this session, we bring together engineering leaders who are rebuilding the software development life cycle (SDLC) to account ...

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

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

As a developer community, we don't agree about the viability of LLMs to produce production-worthy code. To make things worse, ...

Efficiency Improvement and Automation in Design Verification using AI AI is transforming Design Verification (DV) by automating ...

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 ...

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

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

In this video, you will learn how Sonar's multilayered verification platform integrates with Gitar, an AI-native code review solution, ...

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

In this webinar on the latest release of TrustInSoft Analyzer, version 2026.04, we demonstrate the latest capabilities for ...

Generative AI democratizes technology allowing engineers to automate existing workloads, work in unfamiliar domains and ...

"How much better do the models have to get before you'll stop reading the code?" Theo asked that question recently and the ...

ai #research Researchers from Shanghai Jiao Tong University and ByteDance introduce Dockerless, a novel program verifier ...