2024/12/30

Newest at the top

2024-12-31 00:00:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-30 23:49:23 +0100notzmv(~umar@user/notzmv) (Ping timeout: 265 seconds)
2024-12-30 23:46:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-30 23:44:33 +0100Square(~Square@user/square) (Ping timeout: 248 seconds)
2024-12-30 23:41:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-30 23:34:15 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-12-30 23:30:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-30 23:27:16 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection)
2024-12-30 23:25:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-30 23:21:41 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-12-30 23:20:23 +0100j1n37(~j1n37@user/j1n37) j1n37
2024-12-30 23:16:52 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-12-30 23:16:51 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 252 seconds)
2024-12-30 23:14:46 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2024-12-30 23:13:18 +0100homo(~homo@user/homo) homo
2024-12-30 23:12:54 +0100zmt01(~zmt00@user/zmt00) zmt00
2024-12-30 23:11:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-30 23:09:56 +0100zlqrvx(~zlqrvx@user/zlqrvx) zlqrvx
2024-12-30 23:07:51 +0100zlqrvx(~zlqrvx@user/zlqrvx) (Ping timeout: 246 seconds)
2024-12-30 23:04:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-30 23:03:50 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2024-12-30 23:01:15 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2024-12-30 22:51:02 +0100weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2024-12-30 22:50:06 +0100jespada(~jespada@2800:a4:134:c800:9545:728e:3c3e:1167) (Client Quit)
2024-12-30 22:49:59 +0100vanishingideal(~vanishing@user/vanishingideal) (Quit: Lost terminal)
2024-12-30 22:48:00 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds)
2024-12-30 22:47:40 +0100jespada(~jespada@2800:a4:134:c800:9545:728e:3c3e:1167) jespada
2024-12-30 22:45:29 +0100jespada_(~jespada@2800:a4:134:c800:9545:728e:3c3e:1167) (Quit: My Mac has gone to sleep. ZZZzzz…)
2024-12-30 22:41:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-30 22:38:32 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2024-12-30 22:36:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-30 22:36:08 +0100jespada(~jespada@r167-63-17-65.dialup.adsl.anteldata.net.uy) (Read error: Connection reset by peer)
2024-12-30 22:36:06 +0100jespada_(~jespada@2800:a4:134:c800:9545:728e:3c3e:1167) jespada
2024-12-30 22:26:54 +0100euleritian(~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de)
2024-12-30 22:24:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-30 22:24:30 +0100weary-traveler(~user@user/user363627) user363627
2024-12-30 22:20:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-30 22:16:48 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds)
2024-12-30 22:14:01 +0100euleritian(~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-30 22:13:20 +0100euleritian(~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de)
2024-12-30 22:12:30 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2024-12-30 22:12:10 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Read error: Connection reset by peer)
2024-12-30 22:07:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-30 22:06:18 +0100euleritian(~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-12-30 22:04:42 +0100tmrtamer
2024-12-30 22:03:10 +0100tmr(~tamer@user/tamer) tamer
2024-12-30 22:03:10 +0100tmr(~tamer@5.2.74.82) (Changing host)
2024-12-30 22:02:46 +0100 <hellwolf> closed type family can work too, you get a Bool kind and then you can write type classes of it
2024-12-30 22:02:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-30 22:01:42 +0100CrunchyFlakes_(~CrunchyFl@ip4d14127c.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)