Tokenless

Static analysis

Guide, Verify, Solve — Anirban Chatterjee, Sonar

Guide, Verify, Solve — Anirban Chatterjee, Sonar

Anirban Chatterjee discusses the emergence of "verification debt" in AI-driven software development, where AI-generated code introduces persistent quality issues despite initial productivity gains. He proposes a **zero-trust, multi-layered verification** approach, integrating it into an "Agent-Centric Development Cycle" (ACDC) to ensure code quality, security, and compliance by empowering AI agents with real-time feedback and remediation capabilities through tools like SonarQube, Gitarr, and Sonar Vortex.

What Is AI Code Review? Fixing Slow PRs & Broken Workflows with AI

What Is AI Code Review? Fixing Slow PRs & Broken Workflows with AI

Anna Gutowska explains how AI code review enhances software development by addressing the slowness and inconsistency of traditional methods. The video delves into the benefits of AI in accelerating reviews, improving code quality, fostering developer learning, and reducing technical debt. It covers the underlying technologies like static/dynamic analysis and LLMs, discusses critical considerations such as over-reliance and context, and provides best practices for integrating AI while emphasizing the indispensable role of human oversight.

Language-Agnostic Detection of Bugs in Zero-Knowledge Proof Programs

Language-Agnostic Detection of Bugs in Zero-Knowledge Proof Programs

A summary of a talk on a new language-agnostic approach using abstract interpretation to find critical vulnerabilities in Zero-Knowledge Proof (ZKP) programs by modeling and detecting mismatches between prover computations and verifier constraints.