I'm heading for a Rust meetup. Maybe should have picked a different t-shirt.pic.twitter.com/esskEAm95h
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
Rust or other sufficiently complex and type heavy language might be interested in what a built in theorem prover could do for them in terms of reasoning about properties of the language.
I don't know if you've seen that: It's not quite a theorem prover, but Rust is definitely a friend of such approaches. https://github.com/nikomatsakis/chalk … (chalk may replace the current trait and lifetime resolution mechanisms at some point)
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.