1179 reports.
The company says Claude worked for 11 days to formalize a landmark mathematical proof in Lean, a milestone that could reshape how researchers trust complex results.
Read report »A data study comparing the same product across AI Mode and traditional search found a meaningful price gap, though the result reflects one experiment rather than a permanent rule.
Read report »The Dutch company’s latest phone trades thinness for repairability, offering a modular design that puts user ownership ahead of gadget fashion.
Read report »IBM Bob is being framed as a development partner rather than a coding assistant, with spawned agents, shell access, and analytics aimed at enterprise teams.
Read report »A month-long reverse-engineering effort on a Jane Street chip puzzle shows how much modern hardware analysis depends on file formats, tooling, and patience as much as raw ingenuity.
Read report »A Techdirt report says a verification system exposed scanned IDs to hackers for more than a year, renewing concerns about the security burden created by identity checks online.
Read report »CNBC says Nvidia has agreed to acquire Hugging Face for nearly $13 billion, a move meant to widen access to AI tools for developers and institutions.
Read report »A Babylonian Twins write-up says an AI rebuilt the game’s Amiga code in Godot, preserved the original 50 Hz feel and even let the author compare the old and new versions side by side.
Read report »Audacity 4.0 arrives with a rebuilt interface, a new clip-editing model and the removal of several legacy tool modes.
Read report »The first release candidate for Polars 2.0 shifts LazyFrame queries to the streaming engine by default and tightens type handling across the data toolkit.
Read report »A report from Qatar says scientists have spotted a giant 10-sided atmospheric pattern at Saturn’s south pole, adding a fresh puzzle to the gas giant’s weather system.
Read report »The ESA-JAXA BepiColombo mission has entered its Mercury arrival phase, beginning a six-month final approach before orbital insertion later this year.
Read report »Apple has put John Ternus in charge as Tim Cook steps aside after 15 years, just as the company prepares for an iPhone event that could feature its first foldable model.
Read report »Türkiye has become the 71st country to sign the Artemis Accords, adding another state to the NASA-backed framework for peaceful space cooperation.
Read report »Türkiye has signed onto the U.S.-led Artemis Accords, giving the framework for peaceful space exploration another member state.
Read report »The UN nuclear watchdog says newly exposed cooling infrastructure at Deir Ezzor matches an unfinished reactor and that inspectors accounted for about 73 tonnes of natural uranium metal.
Read report »NASA has launched the Nancy Grace Roman Space Telescope on a multi-year mission to map the cosmos and probe some of physics' biggest unanswered questions on August 30, 2026.
Read report »The complaint accuses the Claude developer and two founders of obtaining and copying protected compositions without permission; Anthropic says it will fight the claims.
Read report »The U.S. Environmental Protection Agency said new guidance clarifies that off-grid power generation facilities for projects such as data centers are not covered by the federal Acid Rain Program if they do not sell power or report as generating units to the Department of Energy.
Read report »The htmx team released version 4.0.0 after eight months of work, shifting the library’s internals to the Fetch API while preserving broad behavioral compatibility and introducing explicit inheritance and event-system changes.
Read report »Open-source game platform Luanti said its Android app was pulled from Google Play after a DMCA notice filed by Tracer.AI on Microsoft’s behalf, and the project says it has submitted a counter-notice challenging the claim.
Read report »Modal Collective said the German Sovereign Tech Agency is investing €508,640 over two years to expand Flatpak’s security model, maintenance capacity and desktop integration through new portal work and project stewardship.
Read report »A Stanford-led benchmark found that even its strongest evaluated system completed only 30% of expert-designed tasks spanning five broad areas of science.
Read report »Business Insider said the chip giant has been in talks to acquire the AI platform as it expands its dealmaking.
Read report »
