Today one year ago 
Happy holidays everyone!https://twitter.com/oe1cxw/status/1209487095993110528 …
I've made some changes to my twitter profile and my twitter avatar. You are smart, you'll figure it out. ;-) 
-
Congrats on the figuring out what you need to be happy and being brave enough to do it. Sorry I totally missed the subtlety and context and turned it into an academic discussion about algorithm completeness proofs
https://mobile.twitter.com/oe1cxw/status/1209533547888992256 …
Thanks! And don't be sorry about that. I really liked how that thread seamlessly put together two things that are important in my life 
-
-
Haha. I remember feeling a bit awkward for kicking off that thread and also thinking Holy fuck, do people really have that strong opinions on SAT solvers? :) Anyway, happy birthday to our favorite award-winning technical leader!
-
Totally but yeah, opinions on SAT solvers
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.