Live Roundups Editor's Desk Insights Executive Ops Weather About 🔍
Home › Technology › The part of Navier-Stokes no one is talking about
Technology

The part of Navier-Stokes no one is talking about

Hacker News Thursday 10 September 2026, 21:22 UTC By ibobev 1 min read
Key Points

Article URL: https://www.johndcook.com/blog/2026/09/09/formal-method-revolution/ Comments URL: https://news.ycombinator.com/item?id=49650326 Points: 5 # Comments: 0

Article URL: https://www.johndcook.com/blog/2026/09/09/formal-method-revolution/

Comments URL: https://news.ycombinator.com/item?id=49650326

Points: 5

# Comments: 0

Navier-Stokes (ORG)
Originally published by Hacker News Read original →

Related Stories

Commentary: The changing face of terrorism 25 years after 9/11

Commentary: The changing face of terrorism 25 years after 9/11 Twenty-five years after the September 11 terror attacks, Singapore and the region face a rapidly evolving landscape of terrorism and extremism threats, says RSIS’ Kumar Ramakrishna. SINGAPORE: The attacks in New York and Washington on September 11, 2002, that killed nearly 3,000 people were a catalyst for transnational terrorism. Southeast Asia felt its repercussions through the terror bombings of two nightclubs in Bali,...

Channel News Asia 10m ago

Commentary: A US$2,000 iPhone gives Apple’s new CEO his Steve Jobs moment

Commentary: A US$2,000 iPhone gives Apple’s new CEO his Steve Jobs moment Apple will need to spend a great deal of energy explaining the “why” of a foldable iPhone that costs at least US$2,000, says Bloomberg Opinion's Dave Lee. When John Ternus succeeded Tim Cook as chief executive officer of Apple at the start of this month, he needed no introduction to the company’s more than 160,000 employees.

Channel News Asia 11m ago

Pentagon in talks to lend $5 billion to AI cloud startup Fluidstack, WSJ reports

Pentagon in talks to lend $5 billion to AI cloud startup Fluidstack, WSJ reports Sept 10 : The Pentagon is in talks to lend roughly $5 billion to AI cloud-computing startup Fluidstack to shore up the U.S. data-center supply chain, the Wall Street Journal reported on Thursday, citing people familiar with the matter. Reuters could not immediately verify the report.

Channel News Asia 17m ago

Could A.I. Really Kill All Humans?

After an Anthropic researcher quit, warning that the A.I. race is “gambling with our lives,” Cade Metz joined Natalie Kitroeff on “The Call” to break down what’s at stake.

NYT Technology 17m ago