InfoQ

Google’s Aletheia Advances the State of the Art of Fully Autonomous Agentic Math Research

Bruno Couriol — Sun, 19 Apr 2026 04:38:00 GMT

Google announced Aletheia, an AI using Gemini 3 Deep Think that solved 6/10 novel math problems in the FirstProof challenge. Aletheia also scored ~91.9% on IMO-ProofBench, signaling a significant shift in automated research-level proof discovery without human intervention.

By Bruno Couriol

AWS Announces General Availability of DevOps Agent for Automated Incident Investigation

Renato Losio — Sat, 18 Apr 2026 11:31:00 GMT

AWS has announced the general availability of DevOps Agent, a generative AI–powered assistant designed to help developers and operators troubleshoot issues, analyze deployments, and automate operational tasks across AWS environments.

By Renato Losio

Pulumi Adds Full Bun Runtime Support

Claudio Masolo — Sat, 18 Apr 2026 08:00:00 GMT

Pulumi has announced that Bun is now a fully supported runtime for Pulumi, going beyond its previous role as merely a package manager option. With the new release of Pulumi 3.227.0, developers can set runtime: bun in their Pulumi.yaml and have Bun execute their entire infrastructure program, with no Node.js installation required.

By Claudio Masolo

Effect v4 Beta: Rewritten Runtime, Smaller Bundles and Unified Package System

Daniel Curtis — Sat, 18 Apr 2026 07:00:00 GMT

Effect v4 beta, a TypeScript framework for building applications, features a complete rewrite of its core fiber runtime, offering reduced memory usage and smaller bundle sizes. The new release consolidates ecosystem packages under a single version number and introduces unstable modules for rapid feature development. Migration guides are available for users transitioning from v3 to v4.

By Daniel Curtis

C++26: Reflection, Memory Safety, Contracts, and a New Async Model

Sergio De Simone — Fri, 17 Apr 2026 15:00:00 GMT

The C++26 standard draft is now complete, reports Herb Sutter, long-time C++ expert and former chair of the ISO C++ standards committee. The finalized draft introduces reflection, enhances memory safety without requiring code rewrites, adds contracts with preconditions and postconditions alongside a new assertion statement, and establishes a unified framework for concurrency and parallelism.

By Sergio De Simone

Meta Reports 4x Higher Bug Detection with Just-in-Time Testing

Leela Kumili — Fri, 17 Apr 2026 14:49:00 GMT

Meta introduces Just-in-Time (JiT) testing, a dynamic approach that generates tests during code review instead of relying on static test suites. The system improves bug detection by ~4x in AI-assisted development using LLMs, mutation testing, and intent-aware workflows like Dodgy Diff. It reflects a shift toward change-aware, AI-driven software testing in agentic development environments

By Leela Kumili

CNCF Warns Kubernetes Alone Is Not Enough to Secure LLM Workloads

Craig Risi — Fri, 17 Apr 2026 12:00:00 GMT

A new blog from the Cloud Native Computing Foundation highlights a critical gap in how organizations are deploying large language models (LLMs) on Kubernetes: while Kubernetes excels at orchestrating and isolating workloads, it does not inherently understand or control the behavior of AI systems, creating a fundamentally different and more complex threat model.

By Craig Risi

Anthropic Introduces Agent-Based Code Review for Claude Code

Daniel Dominguez — Fri, 17 Apr 2026 10:16:00 GMT

Anthropic has introduced a new Code Review feature for Claude Code, adding an agent-based pull request review system that analyzes code changes using multiple AI reviewers.

By Daniel Dominguez

Presentation: Speed at Scale: Optimizing the Largest CX Platform Out There

Matheus Albuquerque — Fri, 17 Apr 2026 09:20:00 GMT

Matheus Albuquerque shares strategies for optimizing a massive CX platform, moving from React 15 and Webpack 1 to modern standards. He discusses using AST-based codemods for large-scale migrations, implementing differential serving with module/nomodule, and leveraging Preact to shrink footprints. He explains how to balance cutting-edge performance with strict legacy browser constraints.

By Matheus Albuquerque

Article: Lakehouse Tower of Babel: Handling Identifier Resolution Rules Across Database Engines

Maninder Parmar — Fri, 17 Apr 2026 09:00:00 GMT

Lakehouse architectures enable multiple engines to operate on shared data using open table formats such as Apache Iceberg. However, differences in SQL identifier resolution and catalog naming rules create interoperability failures. This article examines these behaviors and explains why enforcing consistent naming conventions and cross-engine validation is critical.

By Maninder Parmar

AWS Launches Agent Registry in Preview to Govern AI Agent Sprawl Across Enterprises

Steef-Jan Wiggers — Fri, 17 Apr 2026 06:54:00 GMT

AWS released Agent Registry in preview as part of Amazon Bedrock AgentCore, providing a centralized catalog for discovering, governing, and reusing AI agents, tools, and MCP servers across organizations. The registry indexes agents regardless of where they run and supports both MCP and A2A protocols natively. Microsoft, Google Cloud, and the ACP Registry offer competing solutions.

By Steef-Jan Wiggers

AWS Introduces S3 Files, Bringing File System Access to S3 Buckets

Renato Losio — Thu, 16 Apr 2026 18:08:00 GMT

AWS recently introduced S3 Files, which lets users mount an Amazon S3 bucket and access its data through a standard file system interface. Applications can read and write files using standard file operations, while the system automatically translates them into S3 requests, allowing compute services to work directly with data stored in S3.

By Renato Losio

Google Opens Gemma 4 Under Apache 2.0 with Multimodal and Agentic Capabilities

Hien Luu — Thu, 16 Apr 2026 17:05:00 GMT

Google has announced the release of Gemma 4, a series of open-weight AI models, including variants with 2B, 4B, 26B, and 31B parameters, under the Apache 2.0 license. Key features include enhanced video and image processing, audio input on smaller models, and extended context windows up to 256K tokens.

By Hien Luu

Cloudflare Launches Code Mode MCP Server to Optimize Token Usage for AI Agents

Leela Kumili — Thu, 16 Apr 2026 14:17:00 GMT

Cloudflare has launched a new Model Context Protocol (MCP) server powered by Code Mode, enabling AI agents to interact with large APIs with minimal token usage. The server reduces context footprint across 2,500+ endpoints, improves multi-API orchestration, and provides a secure, code-centric execution environment for LLM agents.

By Leela Kumili

Presentation: From VR to Flat Screens: Bridging the Input and Immersion Gap

Dany Lepage — Thu, 16 Apr 2026 14:10:00 GMT

Dany Lepage discusses the architectural journey of porting a hit VR title to seven non-VR platforms. He explains how his team solved the challenges of cross-progression, diverse input paradigms, and maintaining release velocity across Steam, iOS, and PlayStation. Beyond the tech, he shares candid lessons on the "product fit" gap when translating immersive social presence to 2D screens.

By Dany Lepage