Newest at the top
| 2025-11-08 22:34:47 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-11-08 22:26:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-08 22:24:26 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Ping timeout: 244 seconds) |
| 2025-11-08 22:15:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-08 22:08:22 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-08 22:07:39 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-08 22:07:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-08 22:05:24 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-08 22:02:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-08 21:59:23 +0100 | Vq | (~vq@90-224-37-169-no600.tbcn.telia.com) Vq |
| 2025-11-08 21:58:13 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-11-08 21:51:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-08 21:50:40 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 21:50:40 +0100 | Googulator80 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 21:46:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-08 21:45:44 +0100 | Googulator80 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 21:45:37 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 21:40:44 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-11-08 21:35:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-08 21:30:32 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 21:30:32 +0100 | Googulator80 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 21:30:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-08 21:28:14 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-08 21:19:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-08 21:19:41 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-08 21:14:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-08 21:12:37 +0100 | tromp | (~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 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 21:10:45 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 21:09:44 +0100 | ljdarj | (~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 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-08 21:00:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-08 20:59:29 +0100 | Core9455 | (~Zemy@2600:100c:b0ac:a6ef:c0d:a7ff:fe1d:3979) (Ping timeout: 260 seconds) |
| 2025-11-08 20:55:36 +0100 | Zemy | (~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 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-11-08 20:49:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-08 20:45:19 +0100 | Zemy | (~Zemy@syn-192-154-181-091.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-11-08 20:44:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-08 20:43:50 +0100 | Zemy_ | (~Zemy@2600:100c:b0ac:a6ef:bc08:1bff:feb9:1664) (Read error: Connection reset by peer) |
| 2025-11-08 20:43:23 +0100 | Core9455 | (~Zemy@2600:100c:b0ac:a6ef:c0d:a7ff:fe1d:3979) |
| 2025-11-08 20:42:34 +0100 | Vq | (~vq@90-224-37-169-no600.tbcn.telia.com) (Ping timeout: 260 seconds) |
| 2025-11-08 20:40:53 +0100 | Zemy | (~Zemy@syn-192-154-181-091.biz.spectrum.com) |
| 2025-11-08 20:40:24 +0100 | Zemy | (~Zemy@syn-192-154-181-091.biz.spectrum.com) (Read error: Connection reset by peer) |