You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
I found a video by @izzitmichaela the other day about the Brooklyn 99 "12 Men" Riddle and just had to solve it myself. That is, using an SMT solver of course. ;)
Here is my solution:
http://svn.clairexen.net/handicraft/2020/syn12smt/syn12smt.pdf …
This solution is complete. And it returns 13 when all 12 men weight the same. Todos: - Sort the halves into "heavier" and "lighter" - Also solve with reactive synthesis My code: http://svn.clairexen.net/handicraft/2020/syn12smt/ … Michaela's video:https://www.youtube.com/watch?v=RgxUuSXMV50 …
I LOVE THIS! I need to dig into the code more after work!
I'm happy you like it. Thanks for your video. 
Unfortunately someone stole all the comments from my code. 
So do not hesitate to fire questions in my direction.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
