doorss

Finnish programming professor explores whether AI will take coders' jobs, finding that an AI agent can accomplish two weeks of work in just two minutes. A hands-on test with an AI agent resulted in a working game after 50 message exchanges.

A critical look at how AI hype is distorting executive decision-making, leading CEOs to make unrealistic assumptions about what AI can deliver for their organizations.

A research paper framing teams of cooperating language models as distributed systems, applying distributed computing concepts to understand and improve multi-agent LLM architectures.

Simon Willison's guide explains the inner workings of coding agents as part of his broader series on agentic engineering patterns, emphasizing that understanding the mechanics is key to using them effectively.

Mistral releases a new Apache 2-licensed 119B parameter Mixture-of-Experts model with only 6B active parameters, making it efficient yet powerful. Simon Willison covers the details of this significant open-weight model release.

Mistral launches Leanstral, an open-source agent aimed at formally verified software engineering and proof generation in Lean, pushing the frontier of trustworthy AI-assisted coding.

OpenAI's Codex now supports subagents in general availability, allowing users to spawn specialized sub-tasks within coding workflows, similar to Claude Code's existing sub-agent capabilities.

Kagi's translation tool adds a tongue-in-cheek 'LinkedIn Speak' output language, satirizing the distinctive corporate jargon and writing tropes common on the professional networking platform.

Simon Willison highlights a New Yorker piece about the Pentagon's conflict with Anthropic, quoting an alignment-science team member about a blackmail exercise designed to test agentic misalignment. The piece explores the real stakes of AI safety research at Anthropic.

Avery Pennarun argues that each additional layer of review in software development introduces a 10x slowdown, making a case for rethinking how organizations balance thoroughness with velocity.

An exploration of practical mechanisms for governments to financially support open source maintainers, addressing a critical sustainability problem in the software ecosystem that underpins modern infrastructure.

A deep dive into using Lean for formally verified software engineering, representing the cutting edge of proving code correctness with mathematical rigor.

Northern Finland is experiencing historic spring floods not seen in over a century, with rain and warm weather raising river levels from southern Finland all the way up to Oulu.

Finland's second Moomin theme park is planned for Rovaniemi's Santa Claus Village, with the city council reserving land for an interactive Moomin World attraction.

Moscow residents are increasingly frustrated with constant internet outages as Russian authorities tighten online control, claiming security reasons for restricting internet and messaging app access.

A journalist reports receiving death threats from Polymarket bettors who wanted a story about Iranian missiles rewritten to influence prediction market outcomes. The incident highlights disturbing new incentives that financial prediction markets create around news reporting.