AI releases, Chrome updates, and software engineering breakthroughs

Claude Haiku 5.5 has been released as the fastest and most capable small model designed for high-volume tasks. It is specifically optimized to handle demanding applications such as text summarization, subagent management, and automated browser use.

Margaret H. Hamilton, a profoundly influential computer scientist who led the software engineering team for NASA's Apollo program at MIT's Instrumentation Lab, has died at age 90. Her pioneering work on the missions cemented her legacy as a foundational figure in the history of computer science.

Scientists have sequenced the genome of Jonathan, a 194-year-old Aldabra giant tortoise and the world's oldest known land animal. By analyzing his DNA, researchers hope to uncover the genetic mechanisms behind his extreme longevity. These insights could eventually lead to breakthroughs in human aging and help people live longer.

A new free web tool allows users to transform any smartphone, tablet, or TV screen into a large digital sign simply by visiting its URL. Users can type a message to display custom text, timers, or Wi-Fi passwords in a full-screen format. The service requires no app downloads or account creation.

GPT-6 is rolling out globally in ChatGPT, introducing a new Intelligent UI to enhance user interactions. This update delivers faster response times alongside rich visuals and interactive experiences that users can explore directly.

Google Chrome is officially adding native support for the JPEG XL image format to enhance web performance. This new format offers significant advantages over traditional JPEGs, including superior compression, built-in HDR support, and lossless JPEG transcoding.

Docker has introduced Docker Agent, a new platform developed by its engineering team to serve as a dedicated builder and runtime for AI agents. This release provides developers with a streamlined environment to create, manage, and deploy artificial intelligence applications.

A new storage engine called TidesDB is now available for MySQL under the TideSQL project. This engine is specifically designed to be highly optimized for both write operations and storage space.

This piece examines the technical pitfalls of attempting to hot-patch a function that has already been hot-patched. It details the underlying complications of modifying an already modified function at the code level. The author concludes by warning developers that hot-patching is a Windows-specific operating system mechanism and should not be used in custom applications.

OpenAI has published new results on open mathematical problems solved by an internal frontier model, demonstrating significant AI progress in the field. To support the broader research community, the company also released the associated Lean proof formalizations and detailed documentation on GitHub.

A new open-source TypeScript library offers 191 animated ASCII art pieces for web developers looking to add retro flair to their sites. The zero-dependency tool integrates seamlessly with React, Next.js, and Astro, or works with a simple HTML tag. The project is fully available under the MIT license.

A new study using the Navier–Stokes equations demonstrates that successfully verifying AI-generated mathematical proofs in formal systems like Lean does not guarantee the original natural language proof is correct. Researchers found that critical translation errors frequently occur during the AI autoformalisation process. This highlights a major limitation in relying solely on machine verification to validate human-readable mathematical breakthroughs.

This interactive feature explores the historical engineering challenge of achieving machine precision without pre-existing accurate tools to copy. Through 3D figures, readers can examine the development of flat surfaces, screw-cutting lathes, and millionth-of-an-inch measurements that laid the groundwork for modern manufacturing.

A house in Tilehurst is on the market for £300,000, featuring a unique subterranean network of rooms and corridors. The 15-meter-deep underground tunnels were hand-dug over two decades by the owner, civil engineer Tony Deane.

Google Playground is a new platform that allows users to build and play custom games using simple text prompts. The tool requires no coding experience, enabling anyone to easily create their own playable experiences.

A recent article explores common anti-patterns in software blogging that hinder effective communication with developer audiences. It provides actionable advice on avoiding these pitfalls to create more engaging and useful technical content.

Meta and Microsoft are rolling out new internal policies to limit employee access to Claude AI. This move reflects a broader trend among major tech companies to carefully regulate and manage the integration of generative AI tools in the workplace.

Visa, Mastercard, and several of America's largest banks are facing a new class action lawsuit over allegedly anticompetitive practices. The legal action claims these financial institutions conspired to artificially inflate the credit card transaction fees charged to merchants.

A new project enables the PSP game God of War to run directly in a web browser without relying on a traditional emulator. The developer achieved this by statically recompiling the game to WebAssembly and utilizing an HLE kernel alongside a WebGL2 renderer. This technical breakthrough allows classic PSP titles to execute natively within standard web environments.

On January 14, military bomb disposal teams faced the unprecedented challenge of safely defusing two Second World War bombs simultaneously in Plymouth and Exmouth. The army and navy squads worked against the clock to neutralize the unexploded ordnance at a building site and on a floating dredger. This detailed report explores the intense pressure and specialized skills required for these high-stakes operations.

Despite spending their nights partying and drinking heavily, a small group of Victorian elites successfully managed the world's largest empire. This historical paradox demonstrates that their seemingly hedonistic lifestyle of late mornings and excessive drinking did not prevent them from being highly effective administrators.