Navier–Stokes Lost in Translation

Abstract page for arXiv paper 2610.08144: Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

GPT‑6 and Intelligent UI for everyone

Show HN: gtlds.fyi – All the proposed new gTLDs

ICANN Reveal Day 2026: the names and companies in the next gTLD round.

Wood Tape (2004)

Push ifs up and fors down: The idiom, its algebra, and its limits

Tiger Style and matklad recommend pushing ifs up and fors down. This post looks at what the idiom actually says, where it shows up in query optimization and in the algebra of functional programs, and where the analogy stops paying for itself.

Why Pendulum had to write the most cursed "+" operator in all of Python

Pendulum is a popular Python library for working with datetimes. Its + operator is unusual, even for a datetime library: when you add a timedelta to a Pendulum DateTime, it consults the call stack to decide which answer to give you. What? And why? The hack itself is on its way out, but the design behind it still matters for your code.

Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app

Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.

How machines learned precision

How do you make an accurate machine without one to copy? Explore flat surfaces, screw-cutting lathes, and millionth-of-an-inch measurements through interactive 3D figures.

Visa, Mastercard, major banks facing new litigation over 'anticompetitive' fees

A class action lawsuit alleges Visa, Mastercard and some of America's largest banks have conspired to artificially inflate merchants' credit card transaction fees.

The Mathocalypse

Last night my 9-year-old son was taunting my wife, complexity theorist Dana Moshkovitz, as follows: "mommy, I heard you got cooked! I heard that a robot solved the math problem you worked on for your whole career! OOF!" While my son was being a brat, he also wasn't wrong. Whether you're thrilled, depressed, angry, or…

House with 15m underground tunnels for sale for 300k

A house in Tilehurst featuring underground tunnels hand dug 15m below ground by the owner over twenty years is on sale for £300K.Civil engineer Tony Deane spent two decades creating a subterranean network of rooms and corridors under his home. , A house in Tilehurst featuring underground tunnels hand dug 15m below ground by the owner over twenty years is on sale for £300K.Civil engineer Tony Deane spent two decades creating a subterranean network of rooms and corridors under his home.

Nobel Prize in Chemistry 2026 to Henri B. Kagan and Kenso Soai

The Nobel Prize in Chemistry 2026 was awarded to Henri B. Kagan and Kenso Soai “for the discovery of non-linear effects and autocatalysis in asymmetric organic synthesis.”

A font recreated from photographs of classic Commodore 64 keycaps

Photo-based reconstruction of classic Commodore 64 keycap lettering, with desktop fonts, webfont, editable outlines, and a specimen. - szabadkai/c64-keyboard-font

Meta and Microsoft take steps to reduce employee usage of Claude AI

Meta and Microsoft are implementing new measures to limit employee use of Claude AI—discover what this means for the future of AI in the workplace.

Docker Agent

AI Agent Builder and Runtime by Docker Engineering - docker/docker-agent

Claude Haiku 5.5

Claude Haiku 5.5 is our fastest, most capable small model. Built for high-volume work like summarization, subagents, and browser use.

Shipping JPEG XL in Chrome

JPEG XL offre une meilleure compression que JPEG, une compatibilité HDR intégrée, un transcodage JPEG sans perte et plus encore.

Brownian Motion

Despite what Watson said, Rosalind Franklin understood structure of DNA first

This essay, co-authored by a historian of science and an X-ray crystallographer, sheds new light on Rosalind Franklin’s Photograph 51. We refute the

Animated ASCII Art for Web Pages

191 animated ascii pieces for web pages, in TypeScript with no dependencies: for React, Next.js, Astro, or one HTML tag. MIT licensed.