🌐neoliberal 🏙️yimby 🚫🚗bancars 👧🏼👧🏼👧🏼👧🏼👶🏻dad ⛵️sailing
Chicago, IL
Joined May 2008
- Tweets71.8K
- Following851
- Followers2.4K
- Likes22.5K
Oh great, another day full of people who don’t know what tailscale ssh is having a reaction to a tailscale ssh vuln
A tax on billionaires has a disparate impact on Jewish people and is therefore illegal under the Civil Rights Act.
Hey John Apple, I have five kids I need to deal with this morning. Let me order my damn $2,000 phone.
James Talarico just texted me personally. He’s asking me to break him out of the Lindner Center of Hope.
The Millennium Problems don’t move me, but I will shed a tear when the 17 squares problem falls to our digital gods.
1/2
Me + Codex (@ChatGPT) pushed the lower bound for packing 11 unit squares into a square from 3.826447… to 3.875.
That closes 95.89% of the gap to the best known packing (3.87708359…).
Rotations allowed. Exact minimum still open.
😢
17 squares. No smaller square.
I've released the first complete Lean proof of optimality for Bidwell's 1998 packing of 17 squares.
Built with @OpenAI Astra + @AnthropicAI Opus 5.5.
Thanks to @ManassehA06 & @ojoshe for prior work.
github.com/ofitzharding/sq17…
I'm actually optimistic for the future careers of mathematicians. They've shown such incredible skill at moving goalposts that they will be able to effortlessly pivot to their true calling: grounds crew at multipurpose stadiums.