Splitting the “separation kernel” off from the rest of the Nitro security system and using only a subset of the Rust programming language to code it enabled its formal verification.
A new chiplet architecture, custom die-to-die connectivity, and support for DDR5-8800 memory and the latest PCIe gen6 interconnects improve performance by 25% for general-purpose and agentic AI workloads.
The harnesses that mediate between models and tools in agentic systems are becoming their own performance bottleneck, but a few simple design principles can fix what ails them.
—Introduction of various research papers on new models, including a neuro-symbolic framework for counterfactual explanations and discrete diffusion language models for interactive text generation.
—Development of Object Aligner for optimizing LLM prompts and enhancing JSON schema similarity scores.
Research
—Multiple papers addressing challenges in reinforcement learning, programming by example, and multi-agent systems for improved forecasting.
—Studies on multilingual TTS evaluation, Bayesian learning for hardware impairments, and the robustness of programming by example systems.
Tools
—New GitHub repositories like promptdiff for version control of LLM prompts and agent-replay for debugging AI agent execution.
—Agents-control-tower for monitoring multiple AI agents in a single terminal environment.
Discussion
—Japan's top court ruling that AI cannot be listed as an inventor on patent applications sparked significant online discussion.
—Ongoing debates about the implications of LLMs watching videos and the absence of LLM code in dependencies, highlighting concerns about AI safety and transparency.