| 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) |
| 2025-12-13 03:57:55 +0100 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-12-13 03:58:11 +0100 | yin | (~zero@user/zero) zero |
| 2025-12-13 04:01:21 +0100 | Guestroom | (~Guestroom@2601:586:d022:4f93:ad3e:4603:6791:84a7) |
| 2025-12-13 04:01:34 +0100 | Guestroom | (~Guestroom@2601:586:d022:4f93:ad3e:4603:6791:84a7) (Client Quit) |
| 2025-12-13 04:03:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 04:08:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 04:10:14 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-13 04:13:39 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-12-13 04:15:37 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-13 04:19:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 04:24:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 04:27:24 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-13 04:32:07 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-12-13 04:32:47 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-13 04:33:20 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-12-13 04:33:41 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-13 04:35:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 04:40:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 04:50:03 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-13 04:51:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 04:54:28 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2025-12-13 04:55:57 +0100 | elarks | (~yerri@user/yerrii) (Quit: WeeChat 4.7.1) |
| 2025-12-13 04:56:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-13 05:01:44 +0100 | elarks | (~yerri@user/yerrii) yerrii |
| 2025-12-13 05:03:34 +0100 | elarks | (~yerri@user/yerrii) (Client Quit) |
| 2025-12-13 05:07:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 05:10:58 +0100 | Guest87 | (~Guest87@49.43.241.226) |
| 2025-12-13 05:11:16 +0100 | Guest87 | (~Guest87@49.43.241.226) (Client Quit) |
| 2025-12-13 05:13:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 05:23:56 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-13 05:24:05 +0100 | trickard__ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-13 05:24:37 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-12-13 05:25:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 05:30:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 05:39:07 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-13 05:39:28 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-12-13 05:40:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 05:43:00 +0100 | trickard__ | trickard |
| 2025-12-13 05:45:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 05:56:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 06:01:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 06:06:37 +0100 | elarks | (~yerri@user/yerrii) yerrii |
| 2025-12-13 06:08:10 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-13 06:08:37 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-13 06:12:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 06:14:16 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-12-13 06:16:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 06:17:42 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-12-13 06:25:10 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-13 06:27:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 06:30:35 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-12-13 06:32:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 06:39:48 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-12-13 06:40:36 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-12-13 06:43:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 06:50:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-13 06:58:31 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 264 seconds) |
| 2025-12-13 07:01:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 07:03:05 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-12-13 07:03:30 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-12-13 07:06:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-13 07:10:41 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-13 07:14:16 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-13 07:17:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 07:18:46 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-13 07:22:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 07:25:20 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-12-13 07:33:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |