Full-text search across 17273 articles. Combine with topic and date filters; results sorted by relevance.
Researchers at an undisclosed institution introduced MARGO, a reinforcement learning framework that mitigates thinking-induced hallucination in large reasoning models by using non-thinking rollouts as references. The met…
A new essay argues that the United States is making a strategic error by weakening its human mathematical pipeline at the same time AI systems begin producing research-level mathematics, citing the May 2026 AI disproof o…
Teams already have unwritten rules for AI use, but these fragile habits fail when people leave or onboard. An AI Working Agreement codifies what is delegated to AI, what stays human, and how decisions evolve, turning sca…
The AI industry's claims about world models being revolutionary are met with skepticism due to a lack of empirical evidence and real-world applications. Despite billions in investment, these models remain largely theoret…
A new study finds that large language models (LLMs) cause 'argument collapse' in public debate, with only 3.4% of LLM-generated main arguments being unique within a debate compared to 65.3% for humans. Analyzing over 23,…
London tested its first driverless bus on public roads, an Ohmio autonomous pod that follows a fixed route in Barnes, south west London. The vehicle, which weighs only three tonnes, is being considered as a solution for …
A developer submitted a patch for the Halt-bench agent, including a new test requirement and a large append-only file for NodeBB configuration. The patch adds a require directive for a CI environment setup and initialize…
The AI engineering ecosystem is shifting from monolithic LLM prompts to multi-agent, graph-based architectures. Developers are breaking complex tasks into discrete nodes within stateful directed graphs, using concepts li…
A developer reflects on the solitude of software development and how AI, while efficient, cannot replace the friction and conviction of real-time peer debate. The developer calls for creating virtual spaces for live tech…
Researchers introduced the MRCL benchmark to test reinforcement learning's effectiveness in continual post-training for vision-language models, finding that RL alone does not prevent catastrophic forgetting. They propose…
A developer built DEV Passion Fuel Station, a single-page HTML5 web app that uses the Gemini 1.5 Flash API to analyze developer sentiment and burnout metrics, returning actionable tasks to sustain project momentum. The a…
Scarf, a developer tools company, is migrating its core web API from Haskell to Python after seven years, citing the high cost of Haskell's slow compilation in an era of AI-generated code and agentic workflows. The decis…
Researchers introduced Prismata, a defense against cross-site prompt injection in autonomous web agents that enforces contextual least privilege by dynamically deriving permission labels for page content and mechanically…
A new leaderboard evaluates large language models on their ability to predict which joke humans find funniest, framing the metric as 'human humor preference prediction' rather than a test of genuine humor understanding. …
Researchers introduced probabilistic language tries (PLTs), a unified framework that represents prefix structures from generative models, enabling optimal lossless compression, policy representation for decision-making, …
Public health physician Juliana Grant is seeking feedback and collaborators for a proposal to create a multi-lineage AI model panel that reviews safety evaluations for welfare concerns. The panel would deliberate on ethi…
The International Board of the International Olympiad in Artificial Intelligence (IOAI) has officially endorsed LateranAI, a company co-founded by former IOAI gold medalist Wang Zerui, which provides a platform that reco…
Snitch, an open-source deterministic prose claim verifier for AI coding agents, has been released. It monitors transcripts from tools like Cursor and Claude Code to flag false claims made by AI agents, such as assertions…
Researchers introduced DominoTree, a training-free best-first draft tree method for speculative decoding that uses Domino's conditional correction to achieve up to 6.6x speedup over autoregressive decoding on Qwen3-4B ac…
Google's May 19, 2026 announcement of Antigravity CLI as the successor to Gemini CLI, followed by a June 18 cutoff of free individual access, has raised adoption concerns, but Gemini CLI's existing code remains under the…