2025/12/07

2025-12-07 00:03:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-07 00:09:06 +0000jmcantrell_jmcantrell
2025-12-07 00:17:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 00:22:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 00:25:22 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-12-07 00:32:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 00:39:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 00:41:11 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 00:43:41 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 00:50:08 +0000lambdabot(~lambdabot@haskell/bot/lambdabot) (Read error: Connection reset by peer)
2025-12-07 00:50:08 +0000int-e(~noone@int-e.eu) (Read error: Connection reset by peer)
2025-12-07 00:50:21 +0000int-e(~noone@int-e.eu) int-e
2025-12-07 00:50:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 00:51:31 +0000Googulator48(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 00:51:47 +0000Googulator48(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 00:52:02 +0000lambdabot(~lambdabot@haskell/bot/lambdabot) lambdabot
2025-12-07 00:52:02 +0000ChanServ+v lambdabot
2025-12-07 00:55:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-07 00:56:48 +0000sindu(~sindu@2.148.32.207.tmi.telenormobil.no)
2025-12-07 00:58:53 +0000ljdarj(~Thunderbi@user/ljdarj) (Read error: Connection reset by peer)
2025-12-07 01:06:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 01:08:40 +0000trickard_trickard
2025-12-07 01:11:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-07 01:12:33 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 01:17:43 +0000notzmv(~umar@user/notzmv) (Ping timeout: 264 seconds)
2025-12-07 01:19:12 +0000xal(~xal@mx1.xal.systems) (Quit: bye)
2025-12-07 01:19:31 +0000notzmv(~umar@user/notzmv) notzmv
2025-12-07 01:19:50 +0000xal(~xal@mx1.xal.systems) xal
2025-12-07 01:22:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 01:23:54 +0000infinity0(~infinity0@pwned.gg) (Ping timeout: 244 seconds)
2025-12-07 01:25:37 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 01:27:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-07 01:37:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 01:39:08 +0000omidmash6(~omidmash@user/omidmash) omidmash
2025-12-07 01:40:17 +0000Tuplanolla(~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.)
2025-12-07 01:41:19 +0000omidmash(~omidmash@user/omidmash) (Ping timeout: 260 seconds)
2025-12-07 01:41:19 +0000omidmash6omidmash
2025-12-07 01:43:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 01:44:40 +0000infinity0(~infinity0@pwned.gg) infinity0
2025-12-07 01:53:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 01:58:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-07 02:03:10 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-12-07 02:12:59 +0000karenw(~karenw@user/karenw) (Ping timeout: 244 seconds)
2025-12-07 02:20:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 02:21:47 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-12-07 02:23:19 +0000vetkat(~vetkat@user/vetkat) (Read error: Connection reset by peer)
2025-12-07 02:23:39 +0000vetkat(~vetkat@user/vetkat) vetkat
2025-12-07 02:25:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 02:26:56 +0000lambdabot(~lambdabot@haskell/bot/lambdabot) (Read error: Connection reset by peer)
2025-12-07 02:26:57 +0000int-e(~noone@int-e.eu) (Read error: Connection reset by peer)
2025-12-07 02:27:06 +0000lambdabot(~lambdabot@haskell/bot/lambdabot) lambdabot
2025-12-07 02:27:06 +0000ChanServ+v lambdabot
2025-12-07 02:27:14 +0000int-e(~noone@int-e.eu) int-e
2025-12-07 02:34:49 +0000trickard_trickard
2025-12-07 02:36:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 02:42:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 02:52:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 02:52:41 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-12-07 02:56:02 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-12-07 02:56:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-07 03:04:12 +0000annamalai(~annamalai@2409:4042:eb1:23b6::9e4a:5012) annamalai
2025-12-07 03:05:02 +0000op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2025-12-07 03:05:39 +0000op_4(~tslil@user/op-4/x-9116473) op_4
2025-12-07 03:08:15 +0000sindu(~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 245 seconds)
2025-12-07 03:08:36 +0000merijn(~merijn@62.45.137.128) merijn
2025-12-07 03:10:23 +0000ephemient(uid407513@user/ephemient) ephemient
2025-12-07 03:10:36 +0000annamalai(~annamalai@2409:4042:eb1:23b6::9e4a:5012) (Remote host closed the connection)
2025-12-07 03:11:01 +0000annamalai(~annamalai@157.33.227.191) annamalai
2025-12-07 03:13:29 +0000merijn(~merijn@62.45.137.128) (Ping timeout: 260 seconds)
2025-12-07 03:13:53 +0000Googulator48Googulator
2025-12-07 03:15:34 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 03:15:48 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 03:23:55 +0000DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2025-12-07 03:23:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 03:26:39 +0000td_(~td@i53870933.versanet.de) (Ping timeout: 252 seconds)
2025-12-07 03:27:16 +0000DetourNetworkUK(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2025-12-07 03:28:21 +0000td_(~td@i53870918.versanet.de)
2025-12-07 03:31:10 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 03:31:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 03:31:58 +0000djspacewhale(~djspacewh@user/djspacewhale) djspacewhale
2025-12-07 03:33:48 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 03:34:07 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-12-07 03:38:16 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-12-07 03:40:01 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2025-12-07 03:42:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 03:45:12 +0000deptype(~deptype@2406:b400:3a:9d2f:1954:65bc:775e:6df)
2025-12-07 03:46:21 +0000Googulator(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 03:46:22 +0000Googulator73(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 03:46:23 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 03:46:37 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 03:47:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-07 03:56:31 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-12-07 03:57:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 03:58:30 +0000kerosenewife(~thalber@user/kerosenewife) kerosenewife
2025-12-07 04:02:31 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-12-07 04:02:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-07 04:13:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 04:14:28 +0000hakutaku(~textual@chen.yukari.eu.org)
2025-12-07 04:15:16 +0000infinity0(~infinity0@pwned.gg) (Ping timeout: 256 seconds)
2025-12-07 04:15:43 +0000Googulator73(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 04:15:48 +0000Googulator54(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 04:16:53 +0000notzmv(~umar@user/notzmv) (Read error: Connection reset by peer)
2025-12-07 04:18:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-07 04:18:24 +0000kerosenewife(~thalber@user/kerosenewife) (WeeChat 4.7.1)
2025-12-07 04:21:57 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 04:22:03 +0000rekahsoft(~rekahsoft@70.51.99.245) (Remote host closed the connection)
2025-12-07 04:22:11 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 04:29:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 04:30:04 +0000divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-12-07 04:30:26 +0000divlamir(~divlamir@user/divlamir) divlamir
2025-12-07 04:33:43 +0000trickard_trickard
2025-12-07 04:34:13 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds)
2025-12-07 04:34:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-07 04:42:16 +0000elarks(~yerri@user/yerrii) (Quit: WeeChat 4.7.1)
2025-12-07 04:45:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 04:45:44 +0000Googulator54(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 04:45:46 +0000Googulator21(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 04:50:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 05:00:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 05:02:53 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 05:03:07 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 05:06:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 05:11:23 +0000djspacewhale(~djspacewh@user/djspacewhale) (Remote host closed the connection)
2025-12-07 05:15:46 +0000Googulator36(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 05:15:48 +0000Googulator21(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 05:16:47 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 05:21:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-07 05:29:35 +0000spew(~spew@user/spew) (Quit: WeeChat 4.7.2)
2025-12-07 05:32:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 05:34:40 +0000infinity0(~infinity0@pwned.gg) infinity0
2025-12-07 05:36:21 +0000euphores(~SASL_euph@user/euphores) euphores
2025-12-07 05:37:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 05:39:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 05:44:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-07 05:44:23 +0000ephemient(uid407513@user/ephemient) (Quit: Connection closed for inactivity)
2025-12-07 05:45:42 +0000Googulator54(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 05:45:47 +0000Googulator36(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 06:00:10 +0000EpicBanana(~szqmpc_@user/szqmpc-:51693) szqmpc_
2025-12-07 06:01:43 +0000fgarcia(~lei@user/fgarcia) (Ping timeout: 240 seconds)
2025-12-07 06:02:27 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-12-07 06:11:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 06:15:06 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 06:15:18 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2025-12-07 06:15:19 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 06:18:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 06:28:20 +0000iqubic(~sophia@2601:602:9203:1660:dd90:fc81:4acd:a139) (Remote host closed the connection)
2025-12-07 06:28:25 +0000notzmv(~umar@user/notzmv) notzmv
2025-12-07 06:29:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 06:31:59 +0000trickard_trickard
2025-12-07 06:33:18 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-12-07 06:33:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-07 06:43:54 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2025-12-07 06:44:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 06:45:53 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-12-07 06:47:16 +0000EpicBanana(~szqmpc_@user/szqmpc-:51693) (Quit: Leaving)
2025-12-07 06:49:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-07 06:50:31 +0000tromp(~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf)
2025-12-07 06:51:00 +0000tromp(~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Client Quit)
2025-12-07 06:56:14 +0000iqubic(~sophia@2601:602:9203:1660:dd90:fc81:4acd:a139) iqubic
2025-12-07 07:00:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 07:05:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-07 07:16:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 07:18:28 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-12-07 07:19:49 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2025-12-07 07:21:18 +0000 <haskellbridge> <Liamzee> Just curious, there's no way to
2025-12-07 07:21:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-07 07:21:29 +0000 <haskellbridge> <Liamzee> I mean, you COULD unsafePerformIO it, but, ummm, really?
2025-12-07 07:22:14 +0000 <haskellbridge> <Liamzee> I'm looking at some JS code, there's a safety catch, you can do it in Haskell, but you'd have to use do notation
2025-12-07 07:22:28 +0000 <haskellbridge> <Liamzee> it'd be more useful if you could say, put a monadic value into the guard
2025-12-07 07:28:53 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-12-07 07:32:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 07:37:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-12-07 07:40:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 07:43:12 +0000Square2(~Square@user/square) Square
2025-12-07 07:45:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 07:55:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 08:00:07 +0000tt123160(~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat)
2025-12-07 08:03:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 08:05:19 +0000tt123160(~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231
2025-12-07 08:06:50 +0000tromp(~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf)
2025-12-07 08:09:37 +0000xff0x(~xff0x@2405:6580:b080:900:7967:e26:4b29:6339) (Ping timeout: 250 seconds)
2025-12-07 08:13:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 08:18:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-12-07 08:22:32 +0000xff0x(~xff0x@2405:6580:b080:900:ad3f:f420:2d20:b3b4)
2025-12-07 08:24:59 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-12-07 08:28:28 +0000peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds)
2025-12-07 08:29:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 08:34:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-07 08:41:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 08:42:13 +0000chenjf(~chenjf@68.64.178.54)
2025-12-07 08:43:50 +0000chenjf(~chenjf@68.64.178.54) (Client Quit)
2025-12-07 08:45:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-07 08:56:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 09:01:48 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-12-07 09:01:50 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-07 09:12:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 09:16:54 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-12-07 09:17:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-12-07 09:26:28 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-12-07 09:28:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 09:32:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-07 09:38:39 +0000emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-12-07 09:42:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 09:45:30 +0000ell(~ellie@user/ellie) (Quit: Leaving)
2025-12-07 09:46:36 +0000ell(~ellie@user/ellie) ellie
2025-12-07 09:47:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-12-07 09:53:49 +0000fgarcia(~lei@user/fgarcia) fgarcia
2025-12-07 09:57:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 09:58:38 +0000gAy_DragonFestive_Dragon
2025-12-07 10:00:45 +0000Googulator54(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 10:00:52 +0000Googulator54(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 10:03:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 10:03:33 +0000__monty__(~toonn@user/toonn) toonn
2025-12-07 10:03:48 +0000Tuplanolla(~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla
2025-12-07 10:12:17 +0000confusedalex(~confuseda@user/confusedalex) (Remote host closed the connection)
2025-12-07 10:12:36 +0000confusedalex(~confuseda@user/confusedalex) confusedalex
2025-12-07 10:21:23 +0000flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection)
2025-12-07 10:21:46 +0000flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke
2025-12-07 10:23:05 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
2025-12-07 10:23:33 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-12-07 10:23:56 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 10:33:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 10:39:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 10:40:54 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-12-07 10:41:09 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 10:43:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 10:44:09 +0000poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-12-07 10:44:47 +0000karenw(~karenw@user/karenw) karenw
2025-12-07 10:46:15 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 10:47:17 +0000poscat(~poscat@user/poscat) poscat
2025-12-07 10:49:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-07 10:52:04 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 10:58:19 +0000trickard_trickard
2025-12-07 11:00:37 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 11:01:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 11:03:10 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 11:05:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-07 11:05:51 +0000trickard_trickard
2025-12-07 11:07:09 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-12-07 11:07:38 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-12-07 11:07:51 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-12-07 11:08:15 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-12-07 11:12:01 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2025-12-07 11:12:36 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-12-07 11:12:37 +0000ljdarj1(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2025-12-07 11:17:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 11:22:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 11:23:37 +0000rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in)
2025-12-07 11:24:22 +0000rembo10(~rembo10@main.remulis.com) rembo10
2025-12-07 11:32:04 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 11:32:47 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 11:34:35 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 11:37:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-07 11:44:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 11:46:38 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-12-07 11:47:04 +0000deptype_(~deptype@2406:b400:3a:9d2f:1954:65bc:775e:6df)
2025-12-07 11:49:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 11:51:25 +0000tromp(~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-07 11:59:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 12:04:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-07 12:15:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 12:20:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-07 12:20:29 +0000hakutaku(~textual@chen.yukari.eu.org) (Ping timeout: 244 seconds)
2025-12-07 12:22:49 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 12:22:55 +0000Square2(~Square@user/square) (Ping timeout: 240 seconds)
2025-12-07 12:23:02 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 12:23:35 +0000hakutaku(~textual@chen.yukari.eu.org)
2025-12-07 12:31:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 12:38:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 12:45:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 12:50:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-12-07 13:00:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 13:05:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-07 13:06:28 +0000karenw(~karenw@user/karenw) (Ping timeout: 246 seconds)
2025-12-07 13:08:57 +0000tromp(~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf)
2025-12-07 13:10:55 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
2025-12-07 13:10:57 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-12-07 13:11:59 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-12-07 13:14:02 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 13:14:15 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 13:15:04 +0000halloy7803(~halloy780@46.211.29.235)
2025-12-07 13:16:03 +0000halloy7803(~halloy780@46.211.29.235) (Client Quit)
2025-12-07 13:16:07 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
2025-12-07 13:16:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 13:19:24 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 13:20:55 +0000Googulator91(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 13:20:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-07 13:20:58 +0000Googulator54(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 13:22:13 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-12-07 13:23:31 +0000ephemient(uid407513@user/ephemient) ephemient
2025-12-07 13:23:57 +0000Pozyomka(~pyon@user/pyon) (Quit: bbl)
2025-12-07 13:24:16 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 13:25:27 +0000Pozyomka(~pyon@user/pyon) pyon
2025-12-07 13:32:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 13:37:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-07 13:46:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 13:49:32 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-12-07 13:51:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-12-07 13:55:39 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds)
2025-12-07 13:56:23 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2025-12-07 14:00:55 +0000tromp(~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-07 14:01:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 14:02:14 +0000tromp(~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf)
2025-12-07 14:07:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 14:07:38 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 14:07:51 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 14:17:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 14:20:32 +0000Googulator91(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 14:20:38 +0000Googulator35(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 14:22:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-07 14:30:01 +0000ljdarj(~Thunderbi@user/ljdarj) (Read error: Connection reset by peer)
2025-12-07 14:33:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 14:36:22 +0000spew(~spew@user/spew) spew
2025-12-07 14:38:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 14:38:26 +0000qqe(~qqq@185.54.20.98)
2025-12-07 14:40:29 +0000trickard_trickard
2025-12-07 14:44:13 +0000hakutaku(~textual@chen.yukari.eu.org) (Ping timeout: 244 seconds)
2025-12-07 14:46:09 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-12-07 14:47:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 14:50:44 +0000Googulator35(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 14:50:54 +0000Googulator35(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 14:52:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 14:56:14 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-12-07 14:59:06 +0000sindu(~sindu@2.148.32.207.tmi.telenormobil.no)
2025-12-07 15:02:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 15:04:04 +0000ouilemur(~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.2)
2025-12-07 15:08:37 +0000jreicher(~user@user/jreicher) (Ping timeout: 246 seconds)
2025-12-07 15:09:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-07 15:11:45 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-12-07 15:18:21 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-12-07 15:21:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 15:25:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-07 15:28:14 +0000tremon(~tremon@83.80.159.219) tremon
2025-12-07 15:29:58 +0000hakutaku(~textual@chen.yukari.eu.org)
2025-12-07 15:30:21 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-12-07 15:33:33 +0000hakutaku(~textual@chen.yukari.eu.org) (Remote host closed the connection)
2025-12-07 15:34:08 +0000hakutaku(~textual@chen.yukari.eu.org)
2025-12-07 15:34:50 +0000Googulator35Googulator
2025-12-07 15:36:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 15:39:01 +0000hakutaku(~textual@chen.yukari.eu.org) (Ping timeout: 264 seconds)
2025-12-07 15:42:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 15:48:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 15:49:27 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-12-07 15:50:43 +0000ljdarj(~Thunderbi@user/ljdarj) (Read error: Connection reset by peer)
2025-12-07 15:50:43 +0000ljdarj1ljdarj
2025-12-07 15:52:08 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-12-07 15:52:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-07 15:54:59 +0000user363627(~user@user/user363627) user363627
2025-12-07 15:55:10 +0000weary-traveler(~user@user/user363627) (Ping timeout: 246 seconds)
2025-12-07 16:03:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 16:04:26 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-12-07 16:08:23 +0000qqe(~qqq@185.54.20.98) (Remote host closed the connection)
2025-12-07 16:09:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 16:11:03 +0000wbooze(~wbooze@cgn-195-14-220-195.nc.de) (Ping timeout: 250 seconds)
2025-12-07 16:19:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 16:20:20 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-12-07 16:22:06 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-12-07 16:24:31 +0000wbooze(~wbooze@cgn-195-14-220-195.nc.de) Inline
2025-12-07 16:24:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 16:26:50 +0000biberu(~biberu@user/biberu) biberu
2025-12-07 16:27:49 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2025-12-07 16:28:35 +0000Pixi(~Pixi@user/pixi) (Quit: Leaving)
2025-12-07 16:29:44 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.1)
2025-12-07 16:30:44 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-12-07 16:35:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 16:38:00 +0000 <haskellbridge> <magic_rb> anyone know how to make microlens-th work with DuplicateRecordFields and NoFieldSelectors? with makeClassy it still defines toplevel names that conflict between multiple datatypes
2025-12-07 16:38:14 +0000biberu(~biberu@user/biberu) (Remote host closed the connection)
2025-12-07 16:38:25 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 16:38:38 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 16:38:44 +0000 <haskellbridge> <magic_rb> If I have data Foo = Foo { content :: Content } and data Content = ... then it will create two content toplevel bindings for some odd reason
2025-12-07 16:40:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-12-07 16:41:04 +0000opencircuit_(~quassel@user/opencircuit) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-12-07 16:41:44 +0000opencircuit(~quassel@user/opencircuit) opencircuit
2025-12-07 16:43:19 +0000potatoespotatoes(~quassel@user/potatoespotatoes) (Ping timeout: 240 seconds)
2025-12-07 16:43:31 +0000Pixi(~Pixi@user/pixi) Pixi
2025-12-07 16:44:44 +0000potatoespotatoes(~quassel@130.44.145.181)
2025-12-07 16:44:44 +0000potatoespotatoes(~quassel@130.44.145.181) (Changing host)
2025-12-07 16:44:44 +0000potatoespotatoes(~quassel@user/potatoespotatoes) potatoespotatoes
2025-12-07 16:49:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 16:50:25 +0000potatoespotatoes(~quassel@user/potatoespotatoes) (Ping timeout: 264 seconds)
2025-12-07 16:53:58 +0000Gedanken(~Gedanken@2601:14d:4d7e:8f0:89fd:a92e:847:4479)
2025-12-07 16:54:10 +0000potatoespotatoes(~quassel@130.44.145.181)
2025-12-07 16:54:10 +0000potatoespotatoes(~quassel@130.44.145.181) (Changing host)
2025-12-07 16:54:10 +0000potatoespotatoes(~quassel@user/potatoespotatoes) potatoespotatoes
2025-12-07 16:54:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 16:57:15 +0000biberu(~biberu@user/biberu) biberu
2025-12-07 17:04:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 17:05:39 +0000Googulator69(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 17:05:39 +0000Googulator(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 17:10:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 17:10:30 +0000ftzm(~ftzm@085080241041.dynamic.telenor.dk) ftzm
2025-12-07 17:12:58 +0000 <[exa]> magic_rb: there was some extra naming convention there that you afaik had to use even with the extensions
2025-12-07 17:15:18 +0000 <[exa]> magic_rb: (just in case, can you do a minimal reproducer?)
2025-12-07 17:16:45 +0000ftzm(~ftzm@085080241041.dynamic.telenor.dk) (Quit: The Lounge - https://thelounge.chat)
2025-12-07 17:20:09 +0000 <[exa]> Liamzee: if you pull a monad through guards you have to be able to also rollback it, so a sound implementation would probably require at least Alternative or so
2025-12-07 17:20:47 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 17:20:54 +0000 <[exa]> but at that point you don't really need the guards because you can just `asum` the branches and it's going to work
2025-12-07 17:22:38 +0000 <[exa]> (or logicT which iirc has an actual cut to use after the guard condition succeeds)
2025-12-07 17:25:47 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-12-07 17:27:37 +0000Square2(~Square@user/square) Square
2025-12-07 17:31:38 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-12-07 17:33:41 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-12-07 17:35:45 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-12-07 17:36:16 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds)
2025-12-07 17:36:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 17:36:37 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2025-12-07 17:36:37 +0000ljdarj1ljdarj
2025-12-07 17:40:42 +0000Googulator10(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 17:40:46 +0000Googulator69(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 17:41:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-07 17:43:06 +0000wbooze(~wbooze@cgn-195-14-220-195.nc.de) (Read error: Connection reset by peer)
2025-12-07 17:46:26 +0000spew(~spew@user/spew) (Quit: WeeChat 4.7.2)
2025-12-07 17:50:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 17:52:33 +0000Gedanken(~Gedanken@2601:14d:4d7e:8f0:89fd:a92e:847:4479) ()
2025-12-07 17:52:54 +0000tromp(~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-07 17:55:35 +0000wbooze(~wbooze@cgn-195-14-220-195.nc.de) Inline
2025-12-07 17:57:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 17:57:21 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-12-07 18:03:11 +0000Guest28(~Guest28@185-85-149-249.dynamic.telemach.net)
2025-12-07 18:03:52 +0000Guest28(~Guest28@185-85-149-249.dynamic.telemach.net) (Client Quit)
2025-12-07 18:05:53 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-12-07 18:08:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 18:10:42 +0000Googulator10(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 18:10:45 +0000Googulator94(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 18:12:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-07 18:14:31 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-12-07 18:24:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 18:26:04 +0000 <monochrom> A few days ago we were talking about hypothetical Additive and Multiplicative classes. Someone has done it before! And completely fleshed out: https://hackage.haskell.org/package/numhask
2025-12-07 18:29:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 18:30:00 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-12-07 18:32:25 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2025-12-07 18:39:01 +0000sindu(~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 264 seconds)
2025-12-07 18:39:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 18:40:40 +0000sindu(~sindu@2.148.32.207.tmi.telenormobil.no)
2025-12-07 18:40:59 +0000tromp(~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf)
2025-12-07 18:41:06 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-12-07 18:42:24 +0000pebble(~pebble@37.63.35.63) (Read error: Connection reset by peer)
2025-12-07 18:43:25 +0000 <geekosaur> yep
2025-12-07 18:43:34 +0000 <geekosaur> I think there's a couple of others as well
2025-12-07 18:45:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-07 18:46:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 18:47:03 +0000 <geekosaur> numeric-prelude has Additive but makes Multiplicative part of Ring (but it's written in Henningskell so figuring this out from the haddock takes some work)
2025-12-07 18:47:32 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-12-07 18:50:01 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-12-07 18:52:10 +0000deptype_(~deptype@2406:b400:3a:9d2f:1954:65bc:775e:6df) (Remote host closed the connection)
2025-12-07 18:52:10 +0000deptype(~deptype@2406:b400:3a:9d2f:1954:65bc:775e:6df) (Remote host closed the connection)
2025-12-07 18:55:00 +0000michalz(~michalz@185.246.207.205)
2025-12-07 18:55:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-12-07 18:57:21 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-12-07 19:02:46 +0000 <haskellbridge> <doc> i'm so glad henningskell has official recognition
2025-12-07 19:06:56 +0000Googulator94Googulator
2025-12-07 19:06:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 19:11:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-12-07 19:15:52 +0000spew(~spew@user/spew) spew
2025-12-07 19:22:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 19:24:17 +0000qqe(~qqq@185.54.20.98)
2025-12-07 19:27:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-07 19:30:34 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2025-12-07 19:31:14 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-12-07 19:31:49 +0000tromp(~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-07 19:32:23 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2025-12-07 19:34:45 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-12-07 19:35:48 +0000spew(~spew@user/spew) (Quit: WeeChat 4.7.2)
2025-12-07 19:36:10 +0000spew(~spew@user/spew) spew
2025-12-07 19:38:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 19:43:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-07 19:45:54 +0000iqubic(~sophia@2601:602:9203:1660:dd90:fc81:4acd:a139) (Remote host closed the connection)
2025-12-07 19:47:07 +0000spew_(~spew@user/spew) spew
2025-12-07 19:49:04 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 19:49:18 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 19:49:28 +0000pebble(~pebble@37.63.35.63) pebble
2025-12-07 19:50:49 +0000spew(~spew@user/spew) (Killed (NickServ (GHOST command used by spew_)))
2025-12-07 19:50:57 +0000spew_spew
2025-12-07 19:52:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 19:52:32 +0000tromp(~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf)
2025-12-07 19:55:38 +0000Googulator46(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 19:55:51 +0000Googulator(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 19:55:56 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-07 19:57:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-07 19:57:56 +0000califax(~califax@user/califx) califx
2025-12-07 19:58:01 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-07 19:58:59 +0000califax(~califax@user/califx) califx
2025-12-07 20:05:07 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-07 20:05:53 +0000califax(~califax@user/califx) califx
2025-12-07 20:07:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 20:09:15 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-07 20:10:11 +0000califax(~califax@user/califx) califx
2025-12-07 20:10:32 +0000qqe(~qqq@185.54.20.98) (Remote host closed the connection)
2025-12-07 20:11:41 +0000biberu(~biberu@user/biberu) (Quit: ZNC - https://znc.in)
2025-12-07 20:11:57 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-07 20:12:21 +0000califax(~califax@user/califx) califx
2025-12-07 20:13:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-07 20:17:00 +0000euphores(~SASL_euph@user/euphores) (Ping timeout: 252 seconds)
2025-12-07 20:23:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 20:24:55 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-12-07 20:27:20 +0000pebble(~pebble@37.63.35.63) (Read error: Connection reset by peer)
2025-12-07 20:28:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 20:38:24 +0000mikess(~sam@user/mikess) mikess
2025-12-07 20:39:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 20:45:29 +0000spew(~spew@user/spew) (Quit: nyaa~)
2025-12-07 20:46:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 20:49:37 +0000jreicher(~user@user/jreicher) jreicher
2025-12-07 20:53:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 20:55:32 +0000Googulator79(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 20:55:44 +0000Googulator46(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 20:58:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 21:06:29 +0000user363627(~user@user/user363627) (Remote host closed the connection)
2025-12-07 21:08:02 +0000weary-traveler(~user@user/user363627) user363627
2025-12-07 21:08:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 21:13:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 21:23:56 +0000td_(~td@i53870918.versanet.de) (Quit: waking up from the american dream ...)
2025-12-07 21:24:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 21:29:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-12-07 21:30:43 +0000td_(~td@i53870918.versanet.de)
2025-12-07 21:35:16 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 21:35:30 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 21:40:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 21:41:06 +0000Square(~Square4@user/square) Square
2025-12-07 21:44:09 +0000Square2(~Square@user/square) (Ping timeout: 260 seconds)
2025-12-07 21:44:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-07 21:55:33 +0000Googulator79(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 21:55:37 +0000 <chromoblob> "numhask" whoa
2025-12-07 21:55:37 +0000Googulator29(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 21:56:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 22:00:06 +0000 <chromoblob> soon one will be able to learn math by Haskell packages...
2025-12-07 22:00:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-07 22:04:52 +0000michalz(~michalz@185.246.207.205) (Remote host closed the connection)
2025-12-07 22:10:39 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2025-12-07 22:11:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 22:12:30 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-12-07 22:13:26 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-12-07 22:16:26 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 22:16:39 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 22:17:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-12-07 22:20:24 +0000raeven(~raeven@user/raeven) raeven
2025-12-07 22:21:41 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-12-07 22:25:43 +0000Googulator89(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 22:26:15 +0000Googulator29(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 22:27:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 22:29:59 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-07 22:30:13 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-07 22:32:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-07 22:34:32 +0000confusedalex(~confuseda@user/confusedalex) (Remote host closed the connection)
2025-12-07 22:35:20 +0000confusedalex(~confuseda@user/confusedalex) confusedalex
2025-12-07 22:40:31 +0000gorignak(~gorignak@user/gorignak) gorignak
2025-12-07 22:43:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 22:44:38 +0000raeven(~raeven@user/raeven) (Quit: leaving)
2025-12-07 22:48:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 22:52:21 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-12-07 22:58:56 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-12-07 22:58:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 23:03:58 +0000Googulator49(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-07 23:04:05 +0000Googulator89(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-07 23:04:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-12-07 23:08:33 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2025-12-07 23:10:49 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-12-07 23:11:10 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-12-07 23:11:35 +0000baturhan(~baturhan@user/baturhan) baturhan
2025-12-07 23:13:26 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-12-07 23:14:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 23:14:57 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-12-07 23:15:41 +0000tromp(~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-07 23:19:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-07 23:22:46 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-12-07 23:24:37 +0000annamalai(~annamalai@157.33.227.191) (Ping timeout: 264 seconds)
2025-12-07 23:30:35 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-12-07 23:30:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 23:36:23 +0000mikess(~sam@user/mikess) (Ping timeout: 244 seconds)
2025-12-07 23:37:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 23:44:25 +0000Square(~Square4@user/square) (Ping timeout: 264 seconds)
2025-12-07 23:45:58 +0000pavonia(~user@user/siracusa) siracusa
2025-12-07 23:48:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-07 23:50:05 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-12-07 23:53:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-07 23:57:19 +0000td_(~td@i53870918.versanet.de) (Ping timeout: 250 seconds)