Hacker News 50

The people holding up the internet

Four billion phones ask one text file what time it is. One lecturer keeps it in his spare time. We counted the rest.

gregorygundersen.com

Brownian Motion

astrohelm.app

AstroHelm – Plate Solving & Push-To Telescope App for iOS and Android

Find galaxies, nebulae and stars with your existing telescope. AstroHelm uses fast on-device plate solving to turn smartphones into precision push-to telescope finders.

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

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

100r.ca

100R — home

GitHub - snuri00/psp-web-recomp: PSP games in the browser without an emulator: static recompilation to WebAssembly, an HLE kernel and a WebGL2 renderer

PSP games in the browser without an emulator: static recompilation to WebAssembly, an HLE kernel and a WebGL2 renderer - snuri00/psp-web-recomp

RS Web Solutions (RSWEBSOLS)

Meta and Microsoft Limit Employee Use of Claude AI Tools

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.

ShinyHunters Extorted Boeing Spin-off Prior to Arrests – Krebs on Security

404 Media

‘Jonathan’ Is the Oldest Land Animal on Earth. He Could Hold the Secrets to Defying Death

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.

Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90

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.

GitHub - pingdotgg/ts-rust: An experimental Rust port of the TypeScript 7 compiler (tsc)

An experimental Rust port of the TypeScript 7 compiler (tsc) - pingdotgg/ts-rust

math/history.md at main · openai/math

Contribute to openai/math development by creating an account on GitHub.

GitHub - shader-effects-inc/shaders: WebGPU components for React, Vue, Svelte, Solid, JS & Framer

WebGPU components for React, Vue, Svelte, Solid, JS & Framer - shader-effects-inc/shaders

Gary Linscott

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.

GitHub - zerobrewhq/zerobrew: An up to 100x* faster Homebrew alternative

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

BIGWORDS.PAGE

BIGWORDS.PAGE: Turn any screen into a sign

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.

Write Like It

Instructed to answer in cablese — the telegraph operators

Terence Tao: ""Math 1.0" placed a premium on being the first to…" - Mathstodon

GitHub - AL-255/FM-1-RE: Reverse Engineering of the M-VAVE FM-1 Pocket Synthesizer Firmware

Reverse Engineering of the M-VAVE FM-1 Pocket Synthesizer Firmware - AL-255/FM-1-RE

Push Ifs Up and Fors Down: The Idiom, Its Algebra, and Its Limits | Ruminations of a Programmer

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.

timberframe-tools.com

Timber Frame Tools » Mallet Head Angle

Anti-Patterns in Software Blogging

Effective writing for software developers

A minimal kernel in Swift, running in QEMU

Update (28th of September 2026) Max Desiatov told me that the @c swift attribute should work, instead of declaring the functions using @_cdecl. The @c attribute marks a global function as a C function implemented in Swift, which formalizes the @_cdecl attribute. A link to the proposal is available here. I did update the blog post and the code accordingly to that comment. Thanks Max! I started a small experiment: writing a very basic kernel in Swift, and running on QEMU.

classaction.org

Visa, Mastercard, Major Banks Facing New Litigation Over ‘Anticompetitive’ Merchant Credit Card Transaction Fees

A class action lawsuit alleges Visa, Mastercard and some of America

TIL: Rust's derive often implies inline

worksinprogress.co

Why were Victorian elites so effective? - Works in Progress Magazine

The biggest empire the world has ever seen was run by a small elite who partied all night, drank liters of port, and stayed in bed until the afternoon.

A Walkable History of Art · Every artist, every work, under one roof

An interactive 3D museum of art history. Zoom through more than a thousand years of periods and artists, then walk first-person galleries of their real paintings — all drawn from Wikipedia.

The Old New Thing

If somebody tries to hot-patch an already-hot-patched function, how do they avoid conflicts? - The Old New Thing

Hot-patching is for Windows, not for you.

TidesDB

TidesDB now available for MySQL v9, v26

TidesDB becomes available under project TideSQL for MySQL.

GitHub - Queuingtheorydotcom/11SquaresFormalized: Lean formalization of the optimality proof of the 11 square packing

Lean formalization of the optimality proof of the 11 square packing - Queuingtheorydotcom/11SquaresFormalized

Introducing 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.

Wood Tape

synthid.com

SynthID Detector

demoscene-recomp

Classic PC demoscene productions running in the browser.

Google

Introducing Playground: Create and play custom games

Playground is a new experimental gaming platform that lets you create, play, and share custom games.

3D-printing platform rapidly produces complex electric machines

A 3D printing platform developed at MIT can utilize multiple functional materials to fully print a complex electronic device, like an electric linear motor, in a matter of minutes.

The Search for Salvage

15 years ago, a band called Salvage dropped an epic song, and then vanished without a trace. Until now.

arXiv.org

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this process, an AI system translates the text from a natural language (NL) into a formal language such as Lean. Once this translation is done, the argument expressed in the formal language can easily be mechanically verified. The purpose of this article is to demonstrate why this process may offer no confi

Incident with Git Operations, Pull Requests and Actions

GitHub's Status Page - Incident with Git Operations, Pull Requests and Actions.