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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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