2025/10/06

Newest at the top

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