15 December 2004
06 December 2004
music
In the last days I'm listening to these singers/songs:
- Bob Dylan: Knocking on heaven doors, Like a roling stone, Mr. Tamburine man, Blowing in the wind, ... BTW, the Rolling Stones magazine recently selected Dylan's Like a rolling stone as the best rock song of all time.
- Johnny Cash: Hurt (from Nine Inch Nails), One (U2), Delia's gone, Long black veil, Solitary man (Neil Diamond), Hung my head (Sting). From the "cash unearthed" album accompanying text: "Nobody's song is safe out there from me <laughs>".
- Holograf (this is a romanian band): Am ramas doar noi, Dincolo de nori, Inima mea, Dimineata.
integer arithmetic
Here is a theorem of McEliece via Knuth that I find very nice. If f is a continuous function with the property that
f x is integer implies x is integer then forall real x we have that floor (f x) = floor (f (floor x)).
Some consequences are: (a) that (x+m)/n == (int(x)+m)/n (with C++-like notation) and (b) int(log(x)) == int(log(int(x))).
The proof is a nice exercise ;)