mr. TIM
timkellogg.me
did:plc:ckaz32jwl6t2cno6fmuw2nhn
the Dinitz-Garg-Goemans conjecture, a graph theory problem that’s gone unsolved for 30 years, was solved with this prompt
2026-07-23T00:55:11.069Z
Enable JavaScript to use Bluesky.
Learn more about Bluesky at bsky.social and atproto.com.