How did Rosalind Franklin miss the helix in her iconic DNA image? She didn't

In Vienna and Beijing, the first (thorium) nuclear clocks begin to tick

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

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.

Cleo (Mathematician)

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.

Living off-grid: Hundred Rabbits

'Jonathan' is the oldest land animal on Earth

Jonathan, a 194-year-old Aldabra giant tortoise, was born before the Civil War. Scientists have now sequenced his genome to reveal what’s behind his extreme longevity, so we can live longer too.

A new write and space optimized storage engine for MySQL is here

TidesDB becomes available under project TideSQL for MySQL.

A minimal kernel in Swift, running in QEMU

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.

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.

Margaret Hamilton has died

Margaret H. Hamilton, a profoundly influential computer scientist best known for leading the software engineering team at MIT’s Instrumentation Lab during NASA’s Apollo program, died at age 90.

Shipping JPEG XL in Chrome

JPEG XL 的壓縮效果比 JPEG 更好，且內建 HDR 支援功能、無損 JPEG 轉碼等。

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.

Sharing AI progress in mathematics

OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.

Docker Agent

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

A 100x faster* alternative to homebrew

An up to 100x* faster Homebrew alternative. Contribute to zerobrewhq/zerobrew development by creating an account on GitHub.

GPT‑6 and Intelligent UI for everyone

GPT‑6 is rolling out globally in ChatGPT with Intelligent UI, delivering faster responses with visuals and interactive experiences you can explore and use directly.

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.