| 2025-12-13 00:02:44 +0100 | <EvanR> | it does sound familiar |
| 2025-12-13 00:03:26 +0100 | <EvanR> | > showFFloat (Just 0) 1.23 "" |
| 2025-12-13 00:03:27 +0100 | <lambdabot> | "1" |
| 2025-12-13 00:03:30 +0100 | <EvanR> | > showFFloat (Just 1) 1.23 "" |
| 2025-12-13 00:03:32 +0100 | <lambdabot> | "1.2" |
| 2025-12-13 00:03:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 00:03:37 +0100 | <EvanR> | > showFFloat (Just 2) 1.23 "" |
| 2025-12-13 00:03:38 +0100 | <lambdabot> | "1.23" |
| 2025-12-13 00:03:41 +0100 | <EvanR> | > showFFloat (Just 3) 1.23 "" |
| 2025-12-13 00:03:43 +0100 | <lambdabot> | "1.230" |
| 2025-12-13 00:03:57 +0100 | <EvanR> | ok it just reveals more of what floatToDigits returns |
| 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:06:17 +0100 | <EvanR> | is the question to the linked answer |
| 2025-12-13 00:06:57 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-13 00:08:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 00:12:20 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 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:19:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 00:22:17 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-12-13 00:24:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 00:33:15 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-13 00:35:03 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-13 00:35:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 00:36:46 +0100 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2025-12-13 00:37:17 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2025-12-13 00:37:17 +0100 | ChanServ | +v haskellbridge |
| 2025-12-13 00:39:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 00:44:48 +0100 | Guest27 | (~Guest27@0x3ec6e79e.ejb.customer.dk.telia.net) |
| 2025-12-13 00:45:26 +0100 | Guest27 | (~Guest27@0x3ec6e79e.ejb.customer.dk.telia.net) (Client Quit) |
| 2025-12-13 00:50:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 00:54:44 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-12-13 00:54:55 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-13 00:55:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 00:57:20 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-13 01:00:07 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2025-12-13 01:02:47 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 2025-12-13 01:06:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 01:13:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 01:13:50 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 2025-12-13 01:23:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 01:28:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 01:35:43 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-13 01:39:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 01:40:01 +0100 | Square2 | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-12-13 01:43:42 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-13 01:44:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 01:44:48 +0100 | ncf | (~n@monade.li) (Quit: Fairfarren.) |
| 2025-12-13 01:44:59 +0100 | ncf | (~n@monade.li) ncf |
| 2025-12-13 01:49:04 +0100 | <haskellbridge> | <Zemyla> I would honestly say 1.23 is a more correct answer than 1.299999999etc. |
| 2025-12-13 01:52:18 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1) |
| 2025-12-13 01:52:55 +0100 | Square2 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-12-13 01:53:20 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-12-13 01:55:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 01:59:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 02:04:31 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2025-12-13 02:11:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 02:14:17 +0100 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-12-13 02:14:20 +0100 | iqubic | (~sophia@2601:602:9203:1660:c86e:69df:f359:9bd7) (Remote host closed the connection) |
| 2025-12-13 02:14:32 +0100 | yin | (~zero@user/zero) zero |
| 2025-12-13 02:15:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 02:23:24 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-12-13 02:23:52 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2025-12-13 02:24:30 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-13 02:24:52 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-13 02:24:56 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2025-12-13 02:25:14 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-12-13 02:26:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 02:27:26 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-12-13 02:27:37 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-12-13 02:32:19 +0100 | omidmash0 | (~omidmash@user/omidmash) omidmash |
| 2025-12-13 02:34:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 02:34:38 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 2025-12-13 02:34:38 +0100 | omidmash0 | omidmash |
| 2025-12-13 02:36:15 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-12-13 02:42:38 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-12-13 02:42:38 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-12-13 02:42:38 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-13 02:44:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 02:49:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-13 02:58:25 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2025-12-13 02:58:49 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 264 seconds) |
| 2025-12-13 03:00:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 03:05:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 03:08:01 +0100 | acidjnk | (~acidjnk@p200300d6e7171903602e983dc1ab5a13.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-12-13 03:12:58 +0100 | trickard_ | trickard |
| 2025-12-13 03:16:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 03:21:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 03:27:00 +0100 | tt1231607 | (~tt1231@75.185.104.199) tt1231 |
| 2025-12-13 03:28:43 +0100 | tt123160 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 256 seconds) |
| 2025-12-13 03:28:43 +0100 | tt1231607 | tt123160 |
| 2025-12-13 03:32:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 03:36:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 03:48:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 03:53:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 03:55:43 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |