Conversation

RT if your life's work is solving undecidable problems, but you have trouble with normal life choices

honestly if Z3 could decide what I should make for dinner that'd be a lifesaver

This Tweet was deleted by the Tweet author. Learn more

was this… a yakshave…? have you eaten yet? 🙀

This Tweet was deleted by the Tweet author. Learn more

Replying to

and

Oh, so Z3 gives you a little sampling and hopes that'll be enough variety to satisfy you? How thoughtful!