Researchers at Microsoft Research, led by Nik Swamy, used AI coding agents to port and evolve a verified mark-and-sweep garbage collector for OCaml into a generational garbage collector, integrating i…
As of late 2025, AI agents integrated into coding environments such as Claude Code, OpenAI Codex, and GitHub Copilot CLI have made automated formal proofs a reality, according to researchers who have …
A developer fine-tuned a 30-billion-parameter model on Barbados newspapers and had to write three different benchmarks to evaluate it. The model improved on text and audio tasks but performed worse on…
A developer has built Pulse, an AI debugger that visualizes tensors and gradients as live heatmaps and automatically pinpoints fixes for broken machine learning models. The tool runs during idle CPU t…
Smallest.ai recommends developers start voice AI projects with batch HTTP requests rather than WebSockets, proving transcript value before adding streaming complexity. The company's Pulse speech-to-te…
Developer Nikita Doudikov released Pulse, a local dashboard for Claude Code that displays token spend, session context, and allows users to approve tool calls from their phone. The open-source tool ru…
OpenAI added a Scheduled tasks feature to ChatGPT on June 17, 2026, allowing users to set reminders, recurring work, and monitoring tasks, while sunsetting the Pulse proactive updates tool. Pro users …
OpenAI has rolled out a new Scheduled page in ChatGPT's sidebar, allowing users to view, pause, edit, and delete scheduled tasks. The update makes tasks faster and more reliable, and supports monitori…
Giza Tech has returned all funds from its ARMA and Pulse autonomous agents to users' externally owned accounts as it sunsets the legacy products. The AI-powered DeFi protocol is consolidating its agen…