InfoQ - Development - News

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

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

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

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

Cursor 3 Introduces Agent-First Interface, Moving beyond the IDE Model

Steef-Jan Wiggers — Thu, 16 Apr 2026 09:37:00 GMT

Anysphere released Cursor 3, a redesigned interface built from scratch that shifts the primary model from file editing to managing parallel coding agents. The new workspace supports local-to-cloud agent handoff, multi-repo parallel execution, and a plugin marketplace. Community reaction has been divided, with developers questioning cost overhead and the move away from Cursor's IDE-first identity.

By Steef-Jan Wiggers

Google’s TurboQuant Compression May Support Faster Inference, Same Accuracy on Less Capable Hardware

Bruno Couriol — Wed, 15 Apr 2026 16:53:00 GMT

Google Research unveiled TurboQuant, a novel quantization algorithm that compresses large language models’ Key-Value caches by up to 6x. With 3.5-bit compression, near-zero accuracy loss, and no retraining needed, it allows developers to run massive context windows on significantly more modest hardware than previously required. Early community benchmarks confirm significant efficiency gains.

By Bruno Couriol

Claude Code Used to Find Remotely Exploitable Linux Kernel Vulnerability Hidden for 23 Years

Steef-Jan Wiggers — Wed, 15 Apr 2026 09:36:00 GMT

Anthropic researcher Nicholas Carlini used Claude Code to find a remotely exploitable heap buffer overflow in the Linux kernel's NFS driver, undiscovered for 23 years. Five kernel vulnerabilities have been confirmed so far. Linux kernel maintainers report that AI bug reports have recently shifted from slop to legitimate findings, with security lists now receiving 5-10 valid reports daily.

By Steef-Jan Wiggers

Google Released Gemma 4 with a Focus on Local-First, On-Device AI Inference

Sergio De Simone — Mon, 13 Apr 2026 21:00:00 GMT

With the release of Gemma 4, Google aims to enable local, agentic AI for Android development through a family of models designed to support the entire software lifecycle, from coding to production.

By Sergio De Simone

Lyft Scales Global Localization Using AI and Human-in-the-Loop Review

Leela Kumili — Mon, 13 Apr 2026 13:45:00 GMT

Lyft has implemented an AI-driven localization system to accelerate translations of its app and web content. Using a dual-path pipeline with large language models and human review, the system processes most content in minutes, improves international release speed, ensures brand consistency, and handles complex cases like regional idioms and legal messaging efficiently.

By Leela Kumili

AWS Launches Sustainability Console with API Access and Scope 1-3 Emissions Reporting

Steef-Jan Wiggers — Mon, 13 Apr 2026 08:00:00 GMT

AWS launched a standalone Sustainability console with API access, configurable CSV exports, and Scope 1-3 emissions data by service and Region. The console decouples emissions reporting from billing permissions. AWS CTO Werner Vogels framed carbon as an architectural metric belonging alongside latency, cost, and error rates in the observability stack.

By Steef-Jan Wiggers

Java News Roundup: JDK 27 Release Schedule, Hibernate, LangChain4j, Keycloak, Helidon, Junie CLI

Michael Redlich — Mon, 13 Apr 2026 02:30:00 GMT

This week's Java roundup for April 6th, 2026, features news highlighting: the fifth preview of Primitive Types in Patterns, instanceof and switch; the proposed release schedule for JDK 27; point releases of Hibernate, LangChain4j, Keycloak and Google ADK for Java; a maintenance release of Helidon; a CVE in Spring Cloud Gateway; and the Junie CLI integrated in JetBrains IDEs.

By Michael Redlich

GitHub Copilot CLI Reaches General Availability

Mark Silvester — Sun, 12 Apr 2026 09:00:00 GMT

GitHub has launched Copilot CLI into general availability, bringing generative AI directly to the terminal. Integrated with the GitHub CLI, it offers natural language command suggestions and code explanations. Recent updates introduce "agentic" workflows with Autopilot mode and GPT-5.4 support, alongside new enterprise telemetry for tracking usage across development teams.

By Mark Silvester