Hacker News 250

Man discovers his parents’ coffee machine used 1TB of data in 10 days - Dexerto

The man said they discovered that their parents’ coffee maker had generated far more traffic than they expected.

Why Isn't The Industry Freaking Out About DeepSeek 4.1 Flash?

thoughts, talks, docs and unpopular opinions

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.

math/history.md at main · openai/math

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

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.

Google Chrome silently installs a 4 GB AI model on your device without consent. At a billion-device scale the climate costs are insane. — That Privacy Guy!

Google Chrome is downloading a 4 GB Gemini Nano model onto users

Canada’s Bill C-22 Is a Repackaged Version of Last Year’s Surveillance Nightmare

Last year, the Canadian government pushed Bill C-2, which would erode Canadian digital rights in the name of “border security.” The bill was so bad it didn’t even make it to committee because of the backlash from the privacy community. Now, the spring’s worst sequel, Bill C-22, aka The Lawful Access Act, is trying it again.

The KIDS Act Would Require Age Checks To Get Online

Buried inside the KIDS Act are provisions that will push online services to verify all users’ ages, require government-directed moderation policies for online speech, and even create new rules about private and encrypted communications. While supporters continue to claim this bill protects minors online, its requirements come at the expense of privacy, free expression, and the ability of people of all ages to use the internet without revealing sensitive data.

api-docs.deepseek.com

Change Log | DeepSeek API Docs

Date: 2026-09-10

We Found a Stable Firefox Identifier Linking All Your Private Tor Identities

We discovered a privacy vulnerability in Firefox Private Browsing and Tor Browser that allows websites to fingerprint and track users across origins using IndexedDB database ordering, even after closing all private windows.

A.I. Should Elevate Your Thinking, Not Replace It - Blog - Koshy John

Read about the hidden divide between self-inflicted irrelevance and real engineering leverage.

Anchor Hosting

Someone Bought 30 WordPress Plugins and Planted a Backdoor in All of Them.

Last week, I wrote about catching a supply chain attack on a WordPress plugin called Widget Logic. A trusted name, acquired by a new owner, turned into

GitHub - sterlingcrispin/nothing-ever-happens: Polymarket bot that buys "No" on all non-sports markets. For entertainment only, mostly a meme.

Polymarket bot that buys "No" on all non-sports markets. For entertainment only, mostly a meme. - sterlingcrispin/nothing-ever-happens

@adlrocha - How the "AI Loser" may end up winning

Apple’s accidental moat

Bluesky Social

Serenity Forge (@serenityforge.com)

A statement regarding the removal of DDLC from the Google Play Store:

100r.ca

100R — home

Anti-Patterns in Software Blogging

Effective writing for software developers

blinry.org

DIY soft drinks

Cola, orange soda, and almond soda!

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

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

The Economics of Software Teams: Why Most Engineering Organizations Are Flying Blind

A breakdown of what software development teams actually cost, what they need to generate to be financially viable, and why most organizations have no visibility into either number.

Spain Orders Blocks On Archive.today And Its Mirrors

No court ruling was required; only a complaint, a commission, and a censorship protocol built for speed.

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

New York Post

US appeals court declares 158-year-old home distilling ban unconstitutional

The 5th U.S. Circuit Court of ‌Appeals in New Orleans on Friday declared unconstitutional a nearly 158-year-old federal ban on home distilling.

Most people can't juggle one ball — LessWrong

TLDR: A complete guide to juggling, from zero to siteswap notation, by someone who juggles in nightclubs. …

AAAS

Science | AAAS

Android now stops you sharing your location in photos – Terence Eden’s Blog

Whistle: Speech to Text in 16.9 MB

An open speech recognition model that runs on the same CPU engine as Needle. It transcribes seven languages, reaches the first token in 11 ms, and loads beside Needle so one binary turns a clip straight into tool calls.

Every train, a note.

A jazz combo played in real time by every active NYC subway train.

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

arXiv.org

All elementary functions from a single binary operator

A single two-input gate suffices for all of Boolean logic in digital hardware. No comparable primitive has been known for continuous mathematics: computing elementary functions such as sin, cos, sqrt, and log has always required multiple distinct operations. Here I show that a single binary operator, eml(x,y)=exp(x)-ln(y), together with the constant 1, generates the standard repertoire of a scientific calculator. This includes constants such as e, pi, and i; arithmetic operations including addit

I hired an illustrator to draw my house. Now it's my Home Assistant dashboard.

A flickering fireplace, a softly lit garden, and a smart home the whole family finally enjoys.

hamvocke.com

Make tmux Pretty and Usable - Ham Vocke

Customize the look and feel of tmux

The Search for Salvage

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

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.

boringBar - taskbar for macOS

Organize macOS windows by desktop with previews, pinned apps, notification badges, desktop switching, and a 14-day free trial.

I gave Opus 5.5 one prompt and six hours to visualize Invisible Cities - Quesma Blog

Claude Opus 5.5 vs GPT-6 Astra one-shot Invisible Cities by Italo Calvino in Three.js: AI design, UX, data visualization and explorable explanations.

Servo

Servo is now available on crates.io - Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Initial crates.io release and LTS version of Servo