Message261086
I feel odd trying to advocate a POV that I disagree with, so let me just quote MAL:
"""
In practice you often don't know the resolution of
the timing source. Nowadays, the reverse of what you said
is usually true: the source resolution is higher than the
precision you use to print it.
..
For full seconds, truncation will add an error of +/- 1 second,
whereas rounding only adds +/- 0.5 seconds. This is what convinced
me to use rounding instead of truncation.
"""
I somehow missed this argument when Marc-Andre made it, so I want to make sure that it is properly considered before we finalize this issue. |
|
Date |
User |
Action |
Args |
2016-03-01 22:09:32 | belopolsky | set | recipients:
+ belopolsky, lemburg, gvanrossum, tim.peters, terry.reedy, vstinner, ezio.melotti, cvrebert, SilentGhost, berker.peksag, martin.panter, matrixise, jerry.elmore, acucci |
2016-03-01 22:09:32 | belopolsky | set | messageid: <1456870172.45.0.92886308143.issue19475@psf.upfronthosting.co.za> |
2016-03-01 22:09:32 | belopolsky | link | issue19475 messages |
2016-03-01 22:09:32 | belopolsky | create | |
|