The part of Navier-Stokes no one is talking about

85 ibobev 2026-09-10 21:24:58 UTC johndcook.com Llama Share 62

OpenAI has settled a long-standing question about the Navier-Stokes equations with both human-readable and Lean 4 formal proofs, marking a significant breakthrough in generating machine-verifiable formal proofs. This development reduces the effort required for formal verification by four orders of magnitude, making it more feasible for various applications beyond mathematics research.

Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra

320 seelos 2026-09-10 16:24:58 UTC cognition.com Llama Share 131

The new coding model SWE-2 achieves 50.0% on FrontierCode 1.1 Main, within one point of Fable 5.1, while being 64% cheaper than its predecessor SWE-1.7 and outperforming GPT-6 Astra at a quarter of the cost.

More questions about whether researchers can trust OpenAI with unpublished math

497 pred_ 2026-09-10 13:24:58 UTC mathstodon.xyz Llama Share 529

Tristan Buckmaster questioned OpenAI's transparency about using his conversations with ChatGPT for training data. He felt misled by their response, which he perceived as dishonest and lacking explanation or evidence.

OpenAI Agents API

44 aquir 2026-09-10 20:24:58 UTC developers.openai.com Llama Share 39

The Agents API provides access to the Codex harness through an OpenAI-managed API, allowing applications to interact with agents in a sandbox environment. Sessions are managed by OpenAI, while applications provide tools and choose their execution environment.

NASA Color Trick Was Meant for Mars. Now It's Unveiling Rock Art on Earth

229 gumby 2026-09-10 16:24:58 UTC gizmodo.com Full Share 36

NTSB Issues Investigative Update on B-767 Runway Excursion Accident in Miami

22 mckn1ght 2026-09-10 21:31:58 UTC ntsb.gov Llama Share 16

The National Transportation Safety Board is investigating a runway excursion accident involving Air Flight 7598 at Miami International Airport on September 6, 2026. The NTSB has recovered and read the cockpit voice recorder and flight data recorder, which will be reviewed to produce a written transcript.

Don't let anyone take away your big box of cables

219 Brajeshwar 2026-09-10 16:24:58 UTC blog.jim-nielsen.com Llama Share 171

A man found two old cables in his "Big Box of Cables" and realized he needed them, rekindling motivation and purpose. He hopes to pass on the lesson to his future kids about not discarding useful items.

Proof of Capture: Apple Reference Image, but open source and using steganography

31 merybenavente 2026-09-10 20:24:58 UTC merybenavente.me Llama Share 28

A new camera technology, Proof of Capture, has been introduced to prove a photo was taken by a camera and not AI generated. This approach uses an invisible watermark in the image pixels to sign a perceptual hash at capture time.

Music Theory for the 21st-Century Classroom

116 aanet 2026-09-10 17:24:58 UTC musictheory.pugetsound.edu Full Share 58

Skip to main content

Shopify moves back to Native from React Native

633 fnthawar2 2026-09-10 14:24:58 UTC shopify.engineering Llama Share 426

Shopify is moving from React Native to Swift and Kotlin due to advancements in coding models, allowing for faster development without sacrificing performance. This change will enable Shopify's teams to build mobile apps more efficiently with the help of artificial intelligence.

Forgejo <=16.0.3 Critical RCE

124 weierstass 2026-09-10 16:24:58 UTC codeberg.org Full Share 47

This git endpoint is seeing a high influx of requests for this repository, to preserve the availability of Codeberg your search request will not be processed. Sorry for the inconvenience and please try again later.

What happens when a GPU writes memory

29 ibobev 2026-09-10 19:24:58 UTC blog.doubleword.ai Llama Share 1

The RTX 4090's L2 cache handles data serialization, and stores are sent to DRAM after a miss. The cache uses a combination of eviction policies to manage space, including writing back dirty lines before evicting them. Fences are used to ensure that data is written durably and visible across the system.

Hitachi launches CO2 heat pump water heaters with solar-friendly tariff controls

267 thelastgallon 2026-09-10 11:24:58 UTC pv-magazine.com Llama Share 211

Hitachi introduces Y-series EcoCute CO2 heat pump water heaters in Japan with 370-liter and 460-liter models launching in November 2026. The new range supports daytime electricity tariffs and PV-linked energy management with a five-year manufacturer warranty.

Rust is tier-1 language at Microsoft

558 mmastrac 2026-09-10 14:24:58 UTC rustfoundation.org Llama Share 304

Microsoft has invested heavily in Rust, making it a Tier-1 language for internal development alongside C++, C#, and TypeScript. The company's MSVC backend, now connected to Rust via rustc_codegen_utc, enables seamless interoperability between the two languages.

Neki

178 simon_weber 2026-09-10 16:24:58 UTC planetscale.com Llama Share 73

Neki is a sharded Postgres database built from lessons learned running large MySQL clusters, addressing common issues like table size and backup times. It offers an online operations model with features like schema changes, version upgrades, and resharding through a single psql connection.

Bodily Oddities

12 vesterde 2026-09-10 21:24:58 UTC vester.si Full Share 13

A sourced field guide to strange, normal things human bodies do: reflexes, illusions, sounds, tricks and rare abilities. Every entry says how common it is.

JEP 544: Ahead-of-Time Code Compilation

55 Skinney 2026-09-10 18:24:58 UTC openjdk.org Llama Share 22

The goal is to improve startup and warmup time for Java applications by compiling code to native code in a training run, storing it in an AOT cache for use in subsequent production runs. This approach combines the benefits of static compilation with the agility and portability of dynamic compilation, allowing Java applications to achieve peak performance while adapting to changing workloads.

Show HN: Vertumnus – printable posters of farmers' market produce seasonality

12 perspectivezoom 2026-09-10 20:24:58 UTC vertumnus.fyi Full Share 3

Printable posters of what's in season at your local farmers' market. Produce data is specific to your region, with week-level granularity.

Silicon Valley Is Transforming the Military-Industrial Complex

129 paimapi 2026-09-10 16:24:58 UTC costsofwar.watson.brown.edu Llama Share 244

Anthropologist Roberto González examines the US military-industrial complex's expansion to Silicon Valley, where big tech companies receive multi-billion dollar Defense contracts. This has led to a lack of transparency and substantial spending on ineffective, unpredictable, and unsafe defense products funded by American taxpayers.

Recursion into Madness

5 surprisetalk 2026-09-10 21:24:58 UTC blog.coredump.cx LocalLLM Share 0

The author explores how AI models fail through recursive processes, leading to chaotic outputs in image and video editing. They demonstrate this by showing how repeated edits on a text passage result in increasingly bizarre and unstable transformations.

Douglas Hofstadter: Analogy as the Core of Cognition [video]

117 tosh 2026-09-10 16:24:58 UTC youtube.com Embed Share 65

Detecting and countering misuse of AI: September 2026

43 garo-pro 2026-09-10 17:24:58 UTC anthropic.com Llama Share 22

Threat actors have increasingly used AI models like Claude to carry out sophisticated cyber operations, including espionage and influence operations. These attacks often involve the use of compromised API keys, session tokens, and devices to accelerate their ability to rapidly scan, exploit, and take over target systems.

Creativity is the New Moat

98 virgil_disgr4ce 2026-09-10 19:24:58 UTC inventbuild.studio Llama Share 53

The author reflects on the Flash era of web development, where experimentation and creativity led to innovative ideas, but also resulted in bad ones. Today, generative AI tools are lowering the barrier to entry for new websites and apps, but true innovation requires human creativity and experimentation.

Cognition's SWE-2 achieves 92.8 on Terminal-Bench 2.1

46 cdnsteve 2026-09-10 17:24:58 UTC tokenstead.ai Llama Share 22

Cognition's SWE-2 model achieves 50.0 on FrontierCode, beating SWE-1.7 by 15 points and outperforming Claude Fable 5.1 by one point, at a claimed 64% lower cost than Fable. The model excels in Terminal-Bench 2.1 with the highest score of 92.8, but lags behind GPT-6 Astra in this benchmark by a significant margin.

What algorithm did Windows XP use to choose your initial user picture?

330 soheilpro 2026-09-10 09:24:58 UTC devblogs.microsoft.com Llama Share 160

Windows XP uses a one-pass random selection algorithm to choose the initial profile picture, utilizing RtlRandomEx with GetTickCount() as the seed. This approach is efficient and avoids complications if directory contents change during execution.

iPhone Duo

1400 thecosmicfrog 2026-09-09 22:24:58 UTC apple.com Llama Share 2417

The iPhone Duo offers a spacious display, multitasking capabilities, and compact design. It features essential controls on the side for easy access and comes with various accessories like a 100% fiber-based box for packaging.

Schemy Lisp En DOS

75 AlexeyBrin 2026-09-10 17:24:58 UTC sled.neocities.org Llama Share 16

SLED is a symbolic Lisp interpreter that runs on DOS and its emulators, with features inspired by Scheme. It has built-in functions, standard library, and special forms for data manipulation and interaction with the system.

List of references on Sony websites to players "owning" their digital games

338 haunter 2026-09-10 12:24:58 UTC consumerrights.wiki Llama Share 112

Four California PlayStation buyers sued Sony Interactive Entertainment, alleging they received a limited license rather than ownership for hundreds of dollars spent on digital goods. The complaint claims the store's checkout language violates California's digital-goods transparency law.

Compute-efficient pretraining and scaling to trillion-parameter models

106 ronfriedhaber 2026-09-10 14:24:58 UTC magic.dev Llama Share 58

The authors have developed a highly efficient pretraining recipe for large language models, achieving over 10x better compute efficiency than leading open-weight base models. This allows them to train trillion-parameter models with significantly less computational resources.

Stockfish 19

258 atiedebee 2026-09-10 08:24:58 UTC stockfishchess.org Llama Share 145

Stockfish 19 has been released with improved strength and features, offering a stronger play and more accurate analysis. The new release brings an Elo gain of up to 44 points and is available for download at stockfishchess.org/download.