Newest at the top
| 2025-12-12 23:08:48 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-12 23:08:39 +0100 | acidjnk | (~acidjnk@p200300d6e7171903602e983dc1ab5a13.dip0.t-ipconnect.de) acidjnk |
| 2025-12-12 23:02:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-12 22:58:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 22:54:08 +0100 | bggd | (~bgg@user/bggd) (Remote host closed the connection) |
| 2025-12-12 22:47:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-12 22:46:27 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-12 22:44:50 +0100 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2025-12-12 22:42:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 22:40:49 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-12-12 22:36:37 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2025-12-12 22:31:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-12 22:26:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 22:19:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-12 22:16:46 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-12 22:14:34 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-12 22:14:21 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-12 22:13:57 +0100 | <EvanR> | but not 1.23 plus 100 zeros |
| 2025-12-12 22:13:28 +0100 | <EvanR> | yes, 1.23 |
| 2025-12-12 22:13:09 +0100 | <monochrom> | I think it's because at the limited precision of 18 digits, the thing is indistinguishable from 1.23 |
| 2025-12-12 22:12:55 +0100 | <EvanR> | which I was trying to demonstrate for reasons |
| 2025-12-12 22:12:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 22:12:36 +0100 | <EvanR> | leading me to the conclusion that: truncating "the string" of a positive float is not the same as rounding down |
| 2025-12-12 22:12:17 +0100 | <lambdabot> | (19,1.23) |
| 2025-12-12 22:12:16 +0100 | <monochrom> | > let s = "1.22999999999999999" in (length s, read s :: Double) |
| 2025-12-12 22:12:12 +0100 | <monochrom> | let s = "1.22999999999999999" in (length s, read s :: Double) |
| 2025-12-12 22:11:16 +0100 | <EvanR> | not really, I'm sure, but that's the effect |
| 2025-12-12 22:11:07 +0100 | <EvanR> | in this case |
| 2025-12-12 22:11:05 +0100 | <EvanR> | basically it's taking the liberty of rounding up |
| 2025-12-12 22:09:43 +0100 | <lambdabot> | 18 |
| 2025-12-12 22:09:42 +0100 | <monochrom> | > length "1.2299999999999999" |
| 2025-12-12 22:06:15 +0100 | <monochrom> | Oh! Now I see what you mean. |
| 2025-12-12 22:05:53 +0100 | <EvanR> | (1.229999999999999982236431605997495353221893310546875) |
| 2025-12-12 22:05:28 +0100 | <EvanR> | but in the case of 1.23 it's not the correct digits |
| 2025-12-12 22:05:16 +0100 | <EvanR> | I know |
| 2025-12-12 22:05:04 +0100 | <monochrom> | Even if you're just printing 0. |
| 2025-12-12 22:05:01 +0100 | <EvanR> | maybe if you ask for over 17 significant digits it just slaps 0 on the rest |
| 2025-12-12 22:04:49 +0100 | <monochrom> | So I think the author just decided that if you have "Just n" then it unconditionally ensures n digits. |
| 2025-12-12 22:03:51 +0100 | <EvanR> | which is fine but it takes Just something for seemingly a reason |
| 2025-12-12 22:03:46 +0100 | <lambdabot> | "0.0000000000000000000000000000000000000000000000000000000000000000000000000... |
| 2025-12-12 22:03:45 +0100 | <monochrom> | > showFFloat (Just 100) 0 "" |
| 2025-12-12 22:03:14 +0100 | <EvanR> | yes Nothing seems to evoke the blessed algorithm |
| 2025-12-12 22:03:02 +0100 | <Lycurgus> | *fun |
| 2025-12-12 22:02:59 +0100 | <lambdabot> | "1.23" |
| 2025-12-12 22:02:58 +0100 | <monochrom> | > showFFloat Nothing 1.23 "" |
| 2025-12-12 22:02:53 +0100 | <Lycurgus> | engrish is so much funl, case in point, that is the 'even' of exasperation |
| 2025-12-12 22:02:47 +0100 | <EvanR> | 1.2300000000000000000000000000000 just seems absurd |
| 2025-12-12 22:01:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-12 22:00:47 +0100 | <EvanR> | what the heck is showFFloat even doing, hopefully getting performance out of its corner cutting |
| 2025-12-12 22:00:36 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |