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

That's cool, but really doesn't solve my problem of "which food do I make that minimises shoping and maximises use of perishables?"

Replying to

and

can it teach me how to cook when my brain just wants to do PL stuff more guhhh Such a mess of an adult - please help Z3