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
Recursion Schemes (probably over the top)? Generating compiler optimizations from examples?
I have no idea about either of these. Can you briefly explain what they are and why they're really interesting?
Recursion schemes classify some types of recursion and let you abstract them away in code. Possibly recognizing them and optimizing away. The latter is rather cool too, see http://www.cs.cornell.edu/~ross/publications/proofgen/proofgen_tate_popl10.pdf …
Essentially, you can take an example of an optimization, generalize it, prove that the generalization holds, and implement it, all automatically (as far as I understand)
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
