Stories tagged “Coding.”
30 stories
Anthropic's Claude AI has formally proven Fermat's Last Theorem, a 358-year-old math problem, in just 11 days, generating the longest computer-checkable proof ever.
Anthropic's Claude AI has generated a computer-checked proof of Fermat's Last Theorem in 11 days, writing millions of lines of code and proving thousands of intermediate theorems.
Ponytail is an AI coding agent plugin designed to reduce the amount of new code written by agents by prioritizing existing code, standard libraries, and native APIs. It aims to prevent "overbuilding" by introducing a "stop rule" for AI development.
Jujutsu (jj) is a new version control system designed for ease of use and power, offering Git compatibility with innovative features.
Bitwarden consolidates its client applications, excluding mobile, into a single open-source repository for enhanced development and community contribution.
GitHub explores new AI terms like loop engineering, squads, and harnesses in a podcast episode.
Mold is a high-performance linker designed to significantly speed up software builds by leveraging pervasive parallelism and efficient algorithms.
Attackers are actively exploiting critical vulnerabilities in Langflow and Ruby on Rails, leading to credential harvesting and command-and-control activity.
Grist offers a modern relational spreadsheet, blending spreadsheet flexibility with database robustness. The grist-core edition provides a powerful server for hosting spreadsheets.
React Three Fiber is a React renderer for Three.js, enabling declarative 3D scene creation with reusable components.
OpenAI Releases Official Python SDK for Seamless API Integration
OpenAI's official Python library offers synchronous and asynchronous clients for its REST API, simplifying AI model integration.
Workers in Singapore are leveraging AI to improve workplace safety and streamline processes, thanks to training programs like NTUC LearningHub.
An experimental open-source Linux DRM/KMS driver has been released for specific Silicon Motion SM750G10 SE-DP750A-HDMI PCIe cards, enabling HDMI output and performance optimizations.
Superagent is a new open-source Mac application designed to provide a more intuitive and visual interface for AI coding agents, allowing them to interact with a real browser, iOS Simulator, and local files.
OpenTIE is an open-source project that modernizes Star Wars: TIE Fighter for current operating systems, combining features from its 1995 and 1998 releases with enhanced graphics and controls. It requires the original game data to run, and a related project, OpenXWA, does …
The `ai-engineer-notebooks` GitHub repository offers hands-on, framework-free Colab notebooks for AI Engineers, covering essential skills like RAG, agents, and evaluations using raw API calls, all runnable on the free Groq API.
YouTube.js Empowers Developers with a JavaScript Client for YouTube's Internal API
YouTube.js offers a JavaScript client for YouTube's internal API, supporting Node.js, Deno, and browsers.
The retrial for Tornado Cash developer Roman Storm has been postponed to April 26, 2027. This delay is due to a pending motion for acquittal filed by Storm's defense team.
Apple has submitted its response to OpenAI's attempt to block expedited discovery in its ongoing trade secret lawsuit. Apple wants substantive responses to its written discovery within 30 days and an OpenAI corporate deposition within 50 days.
OpenAI has lost another executive, Chris Malone, who oversaw the company's data center strategy. Malone's departure adds to a string of over a dozen executive departures this year, including several senior roles.
Anthropic's Clio system provides privacy-preserving insights into real-world AI use, analyzing conversations to understand how people use language models. It helps improve safety measures and identifies top tasks people use AI for, including coding, education, and busines…
Firms in Spain and Portugal are investing in battery power backup systems to avoid disruption from power cuts. The move comes after a massive power failure in April 2025 caused chaos across the Iberian peninsula.
Evaluating LLMs before production is challenging due to real inputs being ambiguous, labels being inconsistent, and important context being missing or truncated. The evaluation set may not reflect the production distribution, and edge cases that rarely appear in benchmark…
MIT Startup Exchange is working with Silvis Materials to test its fully biodegradable cellulose adhesives, which could cut production emissions by up to 80% and use half the energy of fossil-based glues.
Young people are increasingly turning to prescription pills as a substitute for alcohol, with some even selling them online. The trend has raised concerns about the potential risks and consequences of this behavior.
IBM's new Granite 4.2 models add reasoning and stay dense
IBM has released new Granite 4.2 models that add reasoning capabilities while maintaining their dense nature. These models are part of IBM's effort to improve its AI technology.
Kelly Shen, a double major in computer science and math from MIT, works at Sotheby's in the field of art intelligence, building algorithms to predict prices and improve audience engagement.
Investors need to start thinking about which stocks will be the best performers in 2027, in order to buy them before the new year arrives. The trend I think will prevail in 2027 is the same one that was successful over the past few years: AI hardware investing.
CLI or IDE? Build in verification first
The New Stack discusses the importance of building verification into either a command-line interface (CLI) or an integrated development environment (IDE) to ensure the accuracy and reliability of artificial intelligence (AI) models.
Two major Chinese suppliers to Apple posted divergent first-half results, underscoring how soaring memory prices are squeezing profits even as component makers pin their hopes on upcoming iPhone releases for a second-half rebound.