2025/10/06

Newest at the top

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
2025-10-06 18:26:49 +0200craunts79(~craunts@136.158.7.194)
2025-10-06 18:25:24 +0200craunts79(~craunts@136.158.7.194) (Client Quit)
2025-10-06 18:24:46 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-06 18:24:33 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-06 18:24:08 +0200craunts79(~craunts@136.158.7.194)
2025-10-06 18:17:12 +0200vladbxb(~vladbxb@109.103.68.106) (Client Quit)
2025-10-06 18:13:37 +0200vladbxb(~vladbxb@109.103.68.106)
2025-10-06 17:59:45 +0200tromp(~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922)
2025-10-06 17:51:24 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds)
2025-10-06 17:51:08 +0200tromp(~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-06 17:29:10 +0200Square2(~Square4@user/square) (Ping timeout: 246 seconds)
2025-10-06 17:25:51 +0200 <[exa]> :D
2025-10-06 17:25:49 +0200 <[exa]> yeah I'm completely lost there
2025-10-06 17:25:32 +0200 <tomsmeding> reporting bugs like these to ghc is fun, you get to see very smart people solve problems
2025-10-06 17:24:31 +0200 <[exa]> tomsmeding: wow cool, thx
2025-10-06 17:19:40 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-10-06 17:13:20 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-10-06 17:11:34 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-10-06 17:07:47 +0200ds7832(~ds7832@ip-037-049-102-199.um09.pools.vodafone-ip.de)