2025/11/08

Newest at the top

2025-11-08 22:47:02 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-11-08 22:45:37 +0100Googulator80(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-08 22:45:36 +0100Googulator74(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-08 22:42:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-08 22:37:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-08 22:34:47 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds)
2025-11-08 22:26:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-08 22:24:26 +0100Inline(~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Ping timeout: 244 seconds)
2025-11-08 22:15:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-08 22:08:22 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-11-08 22:07:39 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-11-08 22:07:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-08 22:05:24 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-11-08 22:02:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-08 21:59:23 +0100Vq(~vq@90-224-37-169-no600.tbcn.telia.com) Vq
2025-11-08 21:58:13 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-11-08 21:51:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-08 21:50:40 +0100Googulator82(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-08 21:50:40 +0100Googulator80(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-08 21:46:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-08 21:45:44 +0100Googulator80(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-08 21:45:37 +0100Googulator82(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-08 21:40:44 +0100ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-11-08 21:35:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-08 21:30:32 +0100Googulator59(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-08 21:30:32 +0100Googulator80(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-08 21:30:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-08 21:28:14 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-08 21:19:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-11-08 21:19:41 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-11-08 21:14:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-08 21:12:37 +0100tromp(~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl)
2025-11-08 21:11:24 +0100 <EvanR> which we still don't have right
2025-11-08 21:11:15 +0100 <EvanR> interesting remark about long double
2025-11-08 21:10:54 +0100Googulator86(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-08 21:10:45 +0100Googulator59(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-08 21:09:44 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-11-08 21:08:13 +0100 <int-e> (almost all integer arithmetic, so no dragon/grisu influence)
2025-11-08 21:07:24 +0100 <EvanR> amazing
2025-11-08 21:05:33 +0100 <int-e> EvanR: Looks like this at the core: https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/ghc-internal/src/GHC/Internal/Float.hs?…
2025-11-08 21:05:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-08 21:00:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-08 20:59:29 +0100Core9455(~Zemy@2600:100c:b0ac:a6ef:c0d:a7ff:fe1d:3979) (Ping timeout: 260 seconds)
2025-11-08 20:55:36 +0100Zemy(~Zemy@72.178.108.235)
2025-11-08 20:55:09 +0100 <EvanR> does anyone know what specific algorithm the Show instance for Float and Double use, I know there's been a few in the past few decades
2025-11-08 20:51:57 +0100 <EvanR> O(0) uninitialization
2025-11-08 20:50:25 +0100tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-11-08 20:49:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-08 20:45:19 +0100Zemy(~Zemy@syn-192-154-181-091.biz.spectrum.com) (Ping timeout: 264 seconds)
2025-11-08 20:44:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn