Newest at the top
| 2025-10-06 20:03:54 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-10-06 20:02:34 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-10-06 20:02:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 20:00:25 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-06 20:00:01 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 256 seconds) |
| 2025-10-06 19:57:26 +0200 | Square | (~Square@user/square) Square |
| 2025-10-06 19:57:06 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-10-06 19:52:50 +0200 | int-e_ | int-e |
| 2025-10-06 19:52:27 +0200 | int-e | (~noone@int-e.eu) (Quit: Reconnecting) |
| 2025-10-06 19:52:20 +0200 | int-e_ | (~noone@int-e.eu) int-e |
| 2025-10-06 19:52:09 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-10-06 19:51:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-06 19:47:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 19:41:28 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2025-10-06 19:39:01 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2025-10-06 19:36:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 19:35:43 +0200 | ft | (~ft@p4fc2a225.dip0.t-ipconnect.de) ft |
| 2025-10-06 19:35:00 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-06 19:34:36 +0200 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-06 19:33:42 +0200 | Square2 | (~Square4@user/square) Square |
| 2025-10-06 19:32:56 +0200 | Square | (~Square@user/square) Square |
| 2025-10-06 19:32:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-06 19:31:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 19:31:16 +0200 | int-e_ | int-e |
| 2025-10-06 19:31:09 +0200 | int-e | (~noone@int-e.eu) (Killed (NickServ (GHOST command used by int-e_))) |
| 2025-10-06 19:30:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-10-06 19:30:47 +0200 | Googulator32 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 19:30:41 +0200 | Googulator79 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 19:30:28 +0200 | int-e_ | (~noone@int-e.eu) int-e |
| 2025-10-06 19:29:00 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-06 19:20:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 19:19:16 +0200 | <dminuoso> | We Haskellers just love using funky names |
| 2025-10-06 19:18:51 +0200 | <dminuoso> | "Remember to zonk the skolems of an implication" |
| 2025-10-06 19:18:42 +0200 | <dminuoso> | https://mail.haskell.org/pipermail/cvs-ghc/2012-September/076185.html |
| 2025-10-06 19:17:48 +0200 | <mauke> | *zonk* |
| 2025-10-06 19:17:05 +0200 | <dminuoso> | Mmm, staring at the text it does not read that complicated. |
| 2025-10-06 19:13:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 19:13:05 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-10-06 19:10:42 +0200 | Googulator32 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 19:10:39 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 19:06:36 +0200 | yang_ | yin |
| 2025-10-06 19:04:31 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 19:04:15 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 19:02:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 18:57:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 18:57:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-06 18:57:22 +0200 | dostoevsky_ | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2025-10-06 18:46:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-06 18:39:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 18:28:02 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |