2025/12/12

Newest at the top

2025-12-13 00:33:15 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-12-13 00:24:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 00:22:17 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)
2025-12-13 00:19:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 00:13:53 +0100tromp(~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-13 00:12:20 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-12-13 00:08:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 00:06:57 +0100takuan(~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 +0100merijn(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-12 23:51:50 +0100tromp(~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 +0100ephemient(uid407513@user/ephemient) ephemient
2025-12-12 23:45:32 +0100merijn(~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 +0100tromp(~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-12 23:34:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-12 23:34:23 +0100sindu(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-12 23:20:12 +0100spew(~spew@user/spew) (Quit: WeeChat 4.7.2)
2025-12-12 23:19:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-12 23:13:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-12 23:10:11 +0100spew(~spew@user/spew) spew
2025-12-12 23:08:48 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2025-12-12 23:08:39 +0100acidjnk(~acidjnk@p200300d6e7171903602e983dc1ab5a13.dip0.t-ipconnect.de) acidjnk
2025-12-12 23:02:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-12 22:58:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-12 22:54:08 +0100bggd(~bgg@user/bggd) (Remote host closed the connection)
2025-12-12 22:47:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-12 22:46:27 +0100pavonia(~user@user/siracusa) siracusa
2025-12-12 22:44:50 +0100michalz(~michalz@185.246.207.201) (Remote host closed the connection)
2025-12-12 22:42:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-12 22:40:49 +0100jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2025-12-12 22:36:37 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)