Archive for June 2011
Translated from the शार्ङ्गधर-पद्धति by Octavio Paz:
Traveler, hurry your steps, be on your way:
the woods are full of wild animals,
snakes, elephants, tigers, and boars,
the sun’s going down and you’re so young to be going alone.
I can’t let you stay,
for I’m a young girl and no one’s home.
Translated from the गाहा-सत्तसई (= गाथा-सप्तशती) by Andrew Schelling:
sleeps over there
so does the
rest of the household but
this is my bed
don’t trip over
it in the dark
[Posting some images here for possible future reuse.]
A non-rigorous argument: when is large enough so that is small, is roughly (hand-waving) the point on the unit circle at arc length (and hence angle) :
So multiplication by roughly corresponds to rotation by angle . Multiplication by , which is multiplication by n times, roughly corresponds to rotation by angle . As , “roughly” becomes exact.
Animation for :
Image generated from Python-generated SVG files; code available if anyone wants.
In particular, once one accepts the fact/definition that (for instance, show that the function satisfies ), it is true that is a rotation by π, that is,
So apparently some farsighted folks over at WordPress decided recently (see screenshots) that everyone who uses the HTML editor is using it to write code, rather than simply because the unpredictable “Visual” editor sucks so much. If you use WordPress, don’t like this change and would like to go back to using more normal fonts, (you can go complain at the appropriate places, or) open either Firebug console, or in Google Chrome go to View → Developer → Developer Tools and choose the console, and type
document.getElementById('content').style.cssText += "font-family: sans-serif;"
or whatever it is that you want. Making this a Greasemonkey/Stylish/whatever extension is left for others; I just want something quick to fix this annoyance.
Monospaced is fine for code, but typical monospaced fonts lack so many non-ASCII characters that all the glyph substitution makes it really ugly here.