2025/03/31

Newest at the top

2025-03-31 12:33:43 +0200s3(~s3@user/bn) (Ping timeout: 245 seconds)
2025-03-31 12:32:21 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-03-31 12:30:05 +0200internatetional(~internate@103.84.7.87) internatetional
2025-03-31 12:29:49 +0200internatetional(~internate@103.84.7.87) (Remote host closed the connection)
2025-03-31 12:27:04 +0200internatetional(~internate@103.84.7.87) internatetional
2025-03-31 12:25:25 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds)
2025-03-31 12:23:59 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-03-31 12:23:28 +0200merijn(~merijn@77.242.116.146) merijn
2025-03-31 12:20:47 +0200unter-oe(~unter-oe@user/unter-oe) (Remote host closed the connection)
2025-03-31 12:19:18 +0200xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds)
2025-03-31 12:15:13 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds)
2025-03-31 12:14:45 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 276 seconds)
2025-03-31 12:10:40 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-31 12:10:38 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-03-31 12:08:44 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-03-31 12:07:03 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-03-31 12:01:22 +0200Square2Square
2025-03-31 11:48:33 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds)
2025-03-31 11:48:22 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-03-31 11:46:24 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds)
2025-03-31 11:46:04 +0200fsane(~fsane@2405:8d40:4470:9e14:fdd9:a5e:9977:d022) (Ping timeout: 260 seconds)
2025-03-31 11:45:56 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-03-31 11:45:29 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-03-31 11:43:26 +0200Ikosit(~Ikosit@user/ikosit) Ikosit
2025-03-31 11:41:43 +0200dhil(~dhil@2a0c:b381:52e:3600:1143:d61d:a64d:dc67) dhil
2025-03-31 11:39:31 +0200Square2(~Square4@user/square) Square
2025-03-31 11:38:35 +0200merijn(~merijn@77.242.116.146) merijn
2025-03-31 11:37:40 +0200fp(~Thunderbi@130.233.70.95) fp
2025-03-31 11:37:11 +0200random-jellyfish(~developer@user/random-jellyfish) (Remote host closed the connection)
2025-03-31 11:35:54 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-03-31 11:32:25 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-03-31 11:32:05 +0200mari-estel(~mari-este@user/mari-estel) (Remote host closed the connection)
2025-03-31 11:28:35 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-03-31 11:19:50 +0200Ikosit(~Ikosit@user/ikosit) (Quit: The Lounge - https://thelounge.chat)
2025-03-31 11:19:03 +0200fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds)
2025-03-31 11:18:27 +0200fsane(~fsane@2405:8d40:4470:9e14:fdd9:a5e:9977:d022)
2025-03-31 11:06:26 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-31 11:05:56 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-03-31 11:04:36 +0200merijn(~merijn@77.242.116.146) merijn
2025-03-31 11:02:01 +0200unter-oe(~unter-oe@user/unter-oe) unter-oe
2025-03-31 11:02:01 +0200unter-oe(~unter-oe@176.192.243.31) (Changing host)
2025-03-31 11:02:01 +0200unter-oe(~unter-oe@176.192.243.31)
2025-03-31 11:01:41 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-03-31 10:59:41 +0200__monty__(~toonn@user/toonn) toonn
2025-03-31 10:58:23 +0200random-jellyfish(~developer@user/random-jellyfish) random-jellyfish
2025-03-31 10:56:44 +0200swamp_(~zmt00@user/zmt00) (Ping timeout: 244 seconds)
2025-03-31 10:47:44 +0200hattckory(~hattckory@70.27.118.207) (Ping timeout: 260 seconds)
2025-03-31 10:46:12 +0200 <[exa]> Leary: turns out base even has Num a => Num (Sum a) so I don't even have to write the Sum anywhere. Thanks!
2025-03-31 10:45:57 +0200edwtjo(~edwtjo@fsf/member/edwtjo) edwtjo
2025-03-31 10:45:57 +0200edwtjo(~edwtjo@h-155-4-52-114.A213.priv.bahnhof.se) (Changing host)