Newest at the top
| 2025-12-13 00:13:53 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-13 00:12:20 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-12-13 00:08:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 00:06:57 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-13 00:06:17 +0100 | <EvanR> | is the question to the linked answer |
| 2025-12-13 00:05:42 +0100 | <EvanR> | the question you are referring to was, what actual algorithm is used in the Show instance for floats |
| 2025-12-13 00:03:57 +0100 | <EvanR> | ok it just reveals more of what floatToDigits returns |
| 2025-12-13 00:03:43 +0100 | <lambdabot> | "1.230" |
| 2025-12-13 00:03:41 +0100 | <EvanR> | > showFFloat (Just 3) 1.23 "" |
| 2025-12-13 00:03:38 +0100 | <lambdabot> | "1.23" |
| 2025-12-13 00:03:37 +0100 | <EvanR> | > showFFloat (Just 2) 1.23 "" |
| 2025-12-13 00:03:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 00:03:32 +0100 | <lambdabot> | "1.2" |
| 2025-12-13 00:03:30 +0100 | <EvanR> | > showFFloat (Just 1) 1.23 "" |
| 2025-12-13 00:03:27 +0100 | <lambdabot> | "1" |
| 2025-12-13 00:03:26 +0100 | <EvanR> | > showFFloat (Just 0) 1.23 "" |
| 2025-12-13 00:02:44 +0100 | <EvanR> | it does sound familiar |
| 2025-12-12 23:59:53 +0100 | <int-e> | EvanR: Have you asked this previously? The topic certainly sounds familiar. I traces back to everybody using https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/ghc-internal/src/GHC/Internal/Float.hs?… (even text-show has a copy of that function) for printing floating point values and for 1.23 that returns ([1,2,3],1) |
| 2025-12-12 23:52:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-12 23:51:50 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) |
| 2025-12-12 23:51:07 +0100 | <EvanR> | 1.23 is showing plenty that is "not there" |
| 2025-12-12 23:46:20 +0100 | ephemient | (uid407513@user/ephemient) ephemient |
| 2025-12-12 23:45:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 23:45:05 +0100 | <mauke> | can't show what's not there |
| 2025-12-12 23:44:49 +0100 | <lambdabot> | True |
| 2025-12-12 23:44:48 +0100 | <mauke> | > 1.229999999999999982236431605997495353221893310546875 == 1.23 |
| 2025-12-12 23:37:27 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-12 23:34:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-12 23:34:23 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Quit: WeeChat 4.7.1) |
| 2025-12-12 23:34:14 +0100 | <sindu> | /quit |
| 2025-12-12 23:29:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 23:20:12 +0100 | spew | (~spew@user/spew) (Quit: WeeChat 4.7.2) |
| 2025-12-12 23:19:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-12 23:13:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 23:10:11 +0100 | spew | (~spew@user/spew) spew |
| 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 )) |