Claim: gpt-5-pro can prove new interesting mathematics.

Proof: I took a convex optimization paper with a clean open problem in it and asked gpt-5-pro to work on it. It proved a better bound than what is in the paper, and I checked the proof it's correct.…

Don't pick random subnets to avoid IP address conflicts on foreign networks, use VRFs!

Contribute to repomirrorhq/repomirror development by creating an account on GitHub.

On August 21, 2025, an influx of traffic directed toward clients hosted in AWS us-east-1 caused severe congestion on links between Cloudflare and us-east-1. In this post, we explain what the failure was, why it occurred, and what we’re doing to make sure…

AbstractSTUDY QUESTION. Does paracetamol (N-acetyl-para-aminophenol (APAP) also known as acetaminophen) interfere with cell division and thereby disrupt pr

Solar still needs storage cheap enough to move energy between seasons. I have been working on a startup to do this for the last two years.

Do we have to disclaim how we use AI ?

I am a computer professional that helps the public with technology. I have been troubleshooting computer problems for over 25 years. To find out more about me, visit my home page.
In August of 2023, I wrote about my switch to Linux as a Windows-centric professional.…

The adoption of Parquet version 2 is limited due to the lack of support in the ecosystem, which affects its evolution despite its improvements in compression and performance.

Most of what modern software engineers do involves APIs: public interfaces for communicating with a program, like this one from Twilio. I’ve spent a lot of time…

SpaceX designs, manufactures and launches advanced rockets and spacecraft.

In an age of AI, we need to return to handwritten assignments.

The Chips Act wasn’t about raising revenue, and an equity share wouldn’t enhance national security.

The Juno spacecraft has rewritten the story on Jupiter, the solar system’s undisputed heavyweight

Random thoughts, articles and projects by a chronic overengineer.

A simple typo of ghcr.io to ghrc.io would normally be a small goof.
You’d typically get a 404 or similar error, finally work out the issue, fix it, and move along.
But in this case, that typo appears to be doing something very malicious, stealing GitHub credentials.…

It's a quaint business model now but it had its day in the sun