maps.google.com now redirects to google.com/maps
For as long as I can remember, maps.google.com was the defacto domain for Google Maps. Also for as long as I can remember, I allowed this domain to use the location services of my browser.
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 80,784 posts.
For as long as I can remember, maps.google.com was the defacto domain for Google Maps. Also for as long as I can remember, I allowed this domain to use the location services of my browser.
The popular packages debug and chalk on npm have been compromised with malicious code
After over two decades, players are now forbidden from flying a seaplane, all thanks to undefined code behavior.
Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics
The open source release of Stable Diffusion version 2.0.
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
We are working hard to make the official product, the Mozilla VPN, available in selected regions this year. We will continue to offer the Mozilla VPN at the current pricing model for a limited time, which allows you to protect up to five devices on Windows, Android, and iOS at $4.99/month.
This is the latest entry in my lengthy archive of writing, talks, and interviews about the EARN IT Act: * Blog posts at the CIS blog: part 1, part 2, part 3, part 4, part 5, part 6, part 7, part 8 * Articles for Brookings TechStream: part 1, part 2 * Talks
News and insights on the Android platform, developer tools, and events.
Supposedly today we have a lot of browsers to choose from - Google Chrome, Safari, Microsoft Edge, Firefox, Brave, Opera, Vivaldi, etc. Having choices is a good thing, right? Nobody wants to relive the time of almost complete Internet Explorer domination again. Unfortunately our choices are significantly fewer than…
Today, Mozilla filed a petition in federal court in Washington, DC against the Federal Communications Commission for its recent decision to overturn the 20
A visual introduction to memory allocation.
We can laugh at them but we have to take this seriously
Now refrigerators last 8–10 years, if you are fortunate. How in the world have our appliances regressed so much in the past few decades? I’ve bought and sold refrigerators and freezers from the 1950’s that still work perfectly fine. I’ve come across washers and dryers from the 1960’s and 1970’s that were still working…
Release notes for Ghostty 1.4.0, released on October 27, 2026.
A friend who has dyslexia described to me how she experiences reading. She can read, but it takes a lot of concentration, and the letters seems to “jump around”.
Honda Global | Honda R&D Co., Ltd., a research and development subsidiary of Honda Motor Co., Ltd., today conducted a launch and landing test of an experimental reusable rocket*1 (6.3 m in length, 85 cm in diameter, 900 kg dry weight/1,312 kg wet weight) developed independently by Honda. The test was completed…
We've become obsessed with fancy designs, responsive layouts, and scripts that do magical things.
Ben Johnson has joined Fly.io
Om Malik passed away on June 24, 2026, at Stanford Hospital after a long health journey with his heart. He was surrounded by family and friends. We invite you to share your remembrances of Om in th…
A look at how I used shape vectors to achieve sharp, high-quality ASCII rendering.
If you maintain an open-source project in the range of 10k-200k lines of code, I strongly encourage you to add an ARCHITECTURE document next to README and CONTRIBUTING. Before going into the details of why and how, I want to emphasize that this is not another docs are good, write more docs advice. I am pretty sloppy…
The 2010s was the Wild West of the mobile world. You couldn't walk past a row of cubicles without hearing a manager cough "Mobile-first", much like "AI-first" is today. Every company, from the biggest
Claude Sonnet 4.6 is a full upgrade of the model’s skills across coding, computer use, long-reasoning, agent planning, knowledge work, and design.
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.