Today we had the opportunity to get an updated tour of the NE Park’s construction progress.
Take a look at the attached annotated pictures!
It’s looking awesome.
The dry Springtime has allowed the crews to make expedited progress.
We also got to take a little driving tour of the new 1 mile walking trail that goes around the perimeter of the park and will eventually tie in to the 17 mile Welaunee trail loop!
We are entering a new era of on-device automation. ✨
Watch Gemma 4 E4B navigate and drive an iOS simulator directly using Argent. Local models can handle complex interactions and software navigation autonomously.
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.
For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.
An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.
This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
Built an app for the first time in a while.
I always wished I could look back in time and see where all I had visited in Tallahassee.
Now moving forward, I can.
Check out Wandr, free on the App Store.
https://t.co/JXPeAydEvW
AI coding agents have a dumb infrastructure problem:
They all want the same ports.
Claude starts Next.js on 3000.
Codex starts another dev server on 3000.
Playwright grabs 8080.
A crashed process leaves stale state behind.
So I built portclaim.
Open-source, Rust, MIT.
A file-based port registry for AI agents and dev tools.
No daemon.
No database.
No race-prone "find free port" guesswork.
`PORT=$(portclaim acquire --service next-dev --prefer 3000)
next dev --port $PORT`
It gives you:
-atomic file-based claims in ~/.portclaim/
-flock coordination across processes
-dead PID cleanup
-IPv4 + IPv6 bind probing
-JSON output for agents
-MCP tools for Claude/Codex/Cursor/etc.
-an HTTP dashboard for humans
Agents should not hardcode ports.
They should claim them.