| 00:17.24 | *** join/#maemo infobot (ibot@c-174-52-60-165.hsd1.ut.comcast.net) |
| 00:17.25 | *** topic/#maemo is Welcome to #maemo http://maemo.org/intro/ | "firmware" see ~lf (or ~tabletsdev ~combined ~emmc ~flasher) sdk: ~sb | http://wiki.maemo.org/Community_Council | Source: http://wiki.maemo.org/Sources | Chanlog: http://mg.pov.lt/maemo-irclog http://maemo.cloud-7.de/irclogs/freenode/_maemo/latest.log.html | #maemo-ssu is where the (few) devels and maintainers of the maemo-future meet |
| 00:17.25 | *** mode/#maemo [+v infobot] by ChanServ |
| 02:01.26 | *** join/#maemo drrty (drrty@gateway/vpn/privateinternetaccess/drrty) |
| 02:14.06 | *** join/#maemo saidinesh5 (~quassel@minad.de) |
| 02:24.25 | *** join/#maemo BitEvil (~quassel@tor/regular/SpeedEvil) |
| 03:49.55 | *** join/#maemo tm (~sinnlos@unaffiliated/tm) |
| 03:57.11 | *** join/#maemo pagurus (~user@i59F7C11B.versanet.de) |
| 04:39.52 | *** join/#maemo LauRoman (~LauRoman@5-14-132-220.residential.rdsnet.ro) |
| 05:15.44 | *** join/#maemo freemangordon (~ivo@46.249.74.23) |
| 06:54.11 | *** join/#maemo Pali (~pali@Maemo/community/contributor/Pali) |
| 07:59.49 | *** join/#maemo bleb_ (~cm@unaffiliated/bleb) |
| 08:08.48 | *** join/#maemo bleb (~cm@unaffiliated/bleb) |
| 08:14.06 | *** join/#maemo saidinesh5 (~quassel@minad.de) |
| 08:14.20 | *** join/#maemo florian_kc (~florian_k@Maemo/community/contributor/florian) |
| 08:14.29 | *** join/#maemo Venemo (~venemo@fedora/Venemo) |
| 08:26.08 | *** join/#maemo jskarvad (jskarvad@redhat/jskarvad) |
| 08:29.57 | *** join/#maemo drrty (drrty@gateway/vpn/privateinternetaccess/drrty) |
| 08:52.46 | *** join/#maemo Venemo (~venemo@fedora/Venemo) |
| 09:06.26 | *** join/#maemo bleb (~cm@unaffiliated/bleb) |
| 09:11.16 | *** join/#maemo Venemo (~venemo@fedora/Venemo) |
| 10:02.17 | *** join/#maemo Kabouik (~kabouik@2a01:e35:2fd3:5030:ebd:59c2:cdd:e2f8) |
| 11:13.36 | *** join/#maemo saidinesh5 (~quassel@minad.de) |
| 11:39.24 | *** join/#maemo sunshavi (~user@190.239.244.220) |
| 11:43.53 | *** join/#maemo Pali (~pali@Maemo/community/contributor/Pali) |
| 12:21.08 | brolin_empey | Maxdamantus: GNU bc, at least when run with the -l (--mathlib) option, seems to return the expected results without doing anything special. I have known of bc for probably at least fifteen years but may have never seriously tried using it until now, after I redd the complete https://en.wikipedia.org/wiki/Bc_(programming_language) article. |
| 12:23.33 | Maxdamantus | brolin_empey: okay, I didn't read your initial comment, but having read it now, the issue is not floating point, but binary representation of certain numbers. |
| 12:23.47 | Maxdamantus | 19:45:35 < brolin_empey> Floating point arithmetic is strange? With CPython 2.7.x on Windows NT on x86-64 (Intel Core 2), Linux on ARM on both the Nokia N900 and LG G5, 4.18+2.61 returns 6.789999999999999 or similar instead of 6.79 and 6.79+8.59 returns 15.379999999999999 or similar instead of 15.38 . |
| 12:24.16 | Maxdamantus | neither 4.18 nor 2.61 is representable in binary without using recurrence. |
| 12:24.46 | Maxdamantus | bc isn't limited to binary numbers, so does not suffer conversion issues. |
| 12:25.11 | Maxdamantus | eg, when you add 4.18 and 2.61, it just does the addition in decimal. |
| 12:26.13 | Maxdamantus | when you evaluate the expression `4.18` as a binary float, it comes up with a value that is not exactly 4.18, but is a close approximation to it, and the usual binary float printing mechanisms will figure out that that number is very close to the decimal "4.18" when printing. |
| 12:27.35 | Maxdamantus | particularly, `4.18` in all of those languages will be interpreted instead as `4.17999999999999971578290569595992565155029296875` |
| 12:28.27 | Maxdamantus | if you try writing that number in any of those languages, the printer will round it back to 4.18. |
| 12:30.15 | Maxdamantus | note that IEEE-754 includes definitions of both "binary" floats and "decimal" floats, though programming languages usually only support binary. |
| 12:30.47 | brolin_empey | I think I may have known some of this stuff at least a decade ago but forgot it because I ended up being more of a sysadmin than a software developer. |
| 12:31.30 | Maxdamantus | also note that decimal floats suffer the same issues, just with different sets of numbers. It happens that any number representable in binary is also representable in decimal, but a number like 1/3 is not representable in either. In decimal, you have to approximate 1/3 as something like `0.333333333333`, meaning (1/3)*3 will be something like `0.99999999999` |
| 12:31.59 | Maxdamantus | (in base 3, that number is trivially representable as just `0.1`) |
| 12:36.45 | Maxdamantus | fwiw, I don't think most developers understand this stuff. |
| 12:37.47 | KotCzarny | most developers live by the motto 'good enough [tm]' |
| 12:37.50 | Maxdamantus | Maybe a lot of them are aware that `0.1 + 0.2` is not `0.3`, but I suspect most of those people think the problem is in the addition, not in the representation. |
| 12:39.50 | Maxdamantus | (to clarify, the addition works perfectly fine there; the problem is that none of the numbers `0.1`, `0.2` or `0.3` are representable in binary, so it's a bit like interpreting `1/3` as `0.3333` and calculating that `(1/3)*3 = 0.9999`) |
| 13:02.17 | Maxdamantus | a related point that I find annoying: people often seem to think that the solution to this problem is for programming languages to provide decimal floats rather than just binary floats, but in cases where it actually matters, you pretty much never want decimal floats. |
| 13:03.09 | Maxdamantus | in cases where it matters, you usually want either some sort of fixed-point decimal, or arbitrary-precision decimal, or unbounded rationals. |
| 13:04.18 | Maxdamantus | Floating point overall is just a convenient way of providing generic operations for handling approximate values. If you're not willing to approximate, you shouldn't be using floats. |
| 13:04.21 | Maxdamantus | sleeps. |
| 13:04.43 | KotCzarny | there are doubles for more decimal points accuracy |
| 13:05.37 | Maxdamantus | You're probably thinking of a form of decimal floating point, like IEEE-754 decimal64 or decimal128 or something. |
| 13:06.47 | Maxdamantus | and my point applies: if those are useful to you, your cases should be handled just as well, and probably even better, by using fixed-point decimals. |
| 13:07.57 | KotCzarny | nah, just expanding byte count makes it goodier enough |
| 13:08.44 | Maxdamantus | Unless you expand the byte count to infinity, you're still not going to get `0.1 + 0.2 == 0.3` |
| 13:08.56 | Maxdamantus | really sleeps. |
| 13:09.11 | KotCzarny | ya, it's about setting your 'good enough' threshold |
| 13:45.46 | *** join/#maemo jskarvad_ (jskarvad@redhat/jskarvad) |
| 13:50.49 | *** join/#maemo peetah (~peetah@cha92-9-82-236-202-86.fbx.proxad.net) |
| 13:55.27 | *** join/#maemo florian_kc (~florian_k@Maemo/community/contributor/florian) |
| 13:57.09 | *** join/#maemo eMHa_ (~mh@b2b-78-94-197-130.unitymedia.biz) |
| 13:59.58 | *** join/#maemo jskarvad (jskarvad@redhat/jskarvad) |
| 14:11.52 | *** join/#maemo sunshavi (~user@190.239.244.220) |
| 14:36.57 | *** join/#maemo Venemo (~venemo@fedora/Venemo) |
| 15:24.20 | *** join/#maemo Venemo (~venemo@fedora/Venemo) |
| 15:46.01 | *** join/#maemo Venemo (~venemo@fedora/Venemo) |
| 16:37.42 | *** join/#maemo xmn (~xmn@user-0cdft2n.cable.mindspring.com) |
| 16:40.13 | *** join/#maemo i336 (~i336@121.218.162.48) |
| 18:08.57 | *** join/#maemo eMHa_ (~mh@p5089D9BB.dip0.t-ipconnect.de) |
| 18:28.40 | *** join/#maemo florian_kc (~florian_k@Maemo/community/contributor/florian) |
| 18:41.23 | *** join/#maemo sunshavi (~user@190.239.244.220) |
| 19:07.55 | *** join/#maemo peetah (~peetah@cha92-9-82-236-202-86.fbx.proxad.net) |
| 19:42.33 | *** join/#maemo Kabouik (~kabouik@2a01:e35:2fd3:5030:ebd:59c2:cdd:e2f8) |
| 19:56.06 | *** join/#maemo saidinesh5 (~quassel@minad.de) |
| 20:41.16 | *** join/#maemo eMHa_ (~mh@p200300CFA71A8A000A0027FFFE3269DC.dip0.t-ipconnect.de) |
| 21:12.39 | *** join/#maemo Kabouik (~kabouik@lns-bzn-37-82-253-53-3.adsl.proxad.net) |
| 22:31.17 | *** join/#maemo Kilroo (~Kilroo@173.94.24.151) |
| 23:22.03 | *** join/#maemo Oksana_ (~Wikiwide@ppp121-44-97-214.bras1.syd7.internode.on.net) |
| 23:22.16 | *** join/#maemo Oksana_ (~Wikiwide@Maemo/community/ex-council/Wikiwide) |