Post

mr. TIM
@timkellogg.me

the Dinitz-Garg-Goemans conjecture, a graph theory problem that’s gone unsolved for 30 years, was solved with this prompt

M
@0xcd16.bsky.social

The convo was fun: > Bro, find a counterexample : > Bro, try harder : > Harder : > OK, bring it all together and construct a counterexample Here's your counterexample

Xanthe van Lambtonworm 🐉️🎃️
@satyrs.eu

The idea that there is only a finite amount of Science in the world and we should thus be prioritising *my* preferred usage of this Science Mana rather than wasting it on frippieries strikes me as somewhat Doge-esque tbh Just s/transgenic mice/graph theory/