2025/04/25

2025-04-25 00:00:14 +0200dhil(~dhil@5.151.29.139) (Ping timeout: 265 seconds)
2025-04-25 00:02:39 +0200Leary(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2025-04-25 00:04:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 00:06:34 +0200tromp(~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-25 00:10:28 +0200Leary(~Leary@user/Leary/x-0910699) Leary
2025-04-25 00:12:12 +0200 <ski> `~x' is allowed
2025-04-25 00:16:15 +0200sprotte24(~sprotte24@p200300d16f39dc0021da69fc15788ac5.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-04-25 00:24:37 +0200 <EvanR> negative 3 is really spelled ~3 in ML?
2025-04-25 00:26:01 +0200 <mauke> Plankalkül, anyone?
2025-04-25 00:31:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 00:31:39 +0200haritzondo(~hrtz@user/haritz) (Ping timeout: 245 seconds)
2025-04-25 00:34:15 +0200haritz(~hrtz@152.37.68.178)
2025-04-25 00:36:00 +0200haritz(~hrtz@152.37.68.178) (Changing host)
2025-04-25 00:36:00 +0200haritz(~hrtz@user/haritz) haritz
2025-04-25 00:38:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 00:43:08 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-25 00:46:52 +0200Googulator(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed)
2025-04-25 00:47:08 +0200Googulator(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu)
2025-04-25 00:48:32 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-04-25 00:48:52 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-25 00:49:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 00:52:44 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-25 00:52:44 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-04-25 00:54:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 00:55:59 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-25 00:56:00 +0200notdabs(~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) (Quit: Leaving)
2025-04-25 00:56:10 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-04-25 00:56:53 +0200xff0x(~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) (Ping timeout: 248 seconds)
2025-04-25 00:58:57 +0200xff0x(~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7)
2025-04-25 01:03:04 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-04-25 01:04:40 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-25 01:05:00 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-04-25 01:05:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 01:07:59 +0200califax_(~califax@user/califx) califx
2025-04-25 01:08:00 +0200califax(~califax@user/califx) (Ping timeout: 264 seconds)
2025-04-25 01:08:26 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-04-25 01:09:14 +0200califax_califax
2025-04-25 01:10:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-25 01:21:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 01:26:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-25 01:35:37 +0200__jmcantrell__(~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1)
2025-04-25 01:36:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 01:40:22 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-04-25 01:42:02 +0200jespada_(~jespada@r167-61-222-92.dialup.adsl.anteldata.net.uy) jespada
2025-04-25 01:42:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-25 01:44:24 +0200Googulator(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed)
2025-04-25 01:44:40 +0200Googulator(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu)
2025-04-25 01:45:09 +0200jespada(~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds)
2025-04-25 01:45:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 01:49:30 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-04-25 01:49:56 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-25 01:50:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-25 01:58:43 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-04-25 01:58:52 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-25 02:00:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 02:04:58 +0200jespada_(~jespada@r167-61-222-92.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
2025-04-25 02:05:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-25 02:06:42 +0200notdabs(~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40)
2025-04-25 02:16:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 02:21:28 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-04-25 02:22:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 02:25:38 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com) bitmapper
2025-04-25 02:28:12 +0200Googulator(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed)
2025-04-25 02:28:25 +0200Googulator(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu)
2025-04-25 02:31:39 +0200xff0x(~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) (Ping timeout: 245 seconds)
2025-04-25 02:33:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 02:38:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 02:40:29 +0200weary-traveler(~user@user/user363627) user363627
2025-04-25 02:43:50 +0200otto_s(~user@p4ff274cd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-04-25 02:45:33 +0200otto_s(~user@p4ff2799b.dip0.t-ipconnect.de)
2025-04-25 02:47:59 +0200notdabs(~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) (Read error: Connection reset by peer)
2025-04-25 02:48:36 +0200JamesMowery177(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-04-25 02:48:48 +0200artynnn5(~artynnn@23.95.246.172)
2025-04-25 02:49:01 +0200Wstfgl0(~me-me@kc.randomserver.name)
2025-04-25 02:49:11 +0200smiesner_(b0cf5acf8c@2a03:6000:1812:100::13b9)
2025-04-25 02:49:11 +0200simendsjo_(34b0550437@2a03:6000:1812:100::1441) simendsjo
2025-04-25 02:49:12 +0200ymherklotz_(cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz
2025-04-25 02:49:12 +0200arcadewise_(52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta
2025-04-25 02:49:13 +0200stureplan_(22e45d5caf@user/stureplan) stureplan
2025-04-25 02:49:18 +0200dutchie_(~dutchie@user/dutchie) dutchie
2025-04-25 02:49:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 02:49:35 +0200sp1ff`(~user@c-67-160-173-55.hsd1.wa.comcast.net)
2025-04-25 02:49:37 +0200img_(~img@user/img) img
2025-04-25 02:49:52 +0200ycp_(~znc@user/dragestil) dragestil
2025-04-25 02:50:18 +0200stureplan(22e45d5caf@user/stureplan) (Ping timeout: 276 seconds)
2025-04-25 02:50:18 +0200euleritian(~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Ping timeout: 276 seconds)
2025-04-25 02:50:18 +0200sand-witch(~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 276 seconds)
2025-04-25 02:50:18 +0200dutchie(~dutchie@user/dutchie) (Ping timeout: 276 seconds)
2025-04-25 02:50:18 +0200arcadewise(52968ed80d@2a03:6000:1812:100::3df) (Ping timeout: 276 seconds)
2025-04-25 02:50:18 +0200ycp(~znc@user/dragestil) (Ping timeout: 276 seconds)
2025-04-25 02:50:18 +0200stureplan_stureplan
2025-04-25 02:50:18 +0200arcadewise_arcadewise
2025-04-25 02:50:21 +0200dutchie_dutchie
2025-04-25 02:50:30 +0200sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2025-04-25 02:50:30 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection)
2025-04-25 02:50:44 +0200img(~img@user/img) (Ping timeout: 276 seconds)
2025-04-25 02:50:44 +0200ymherklotz(cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 276 seconds)
2025-04-25 02:50:44 +0200JamesMowery17(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 276 seconds)
2025-04-25 02:50:45 +0200Eoco(~ian@128.101.131.218) (Ping timeout: 276 seconds)
2025-04-25 02:50:45 +0200ymherklotz_ymherklotz
2025-04-25 02:50:46 +0200JamesMowery177JamesMowery17
2025-04-25 02:50:50 +0200simendsjo(34b0550437@2a03:6000:1812:100::1441) (Read error: Connection reset by peer)
2025-04-25 02:50:50 +0200smiesner(b0cf5acf8c@user/smiesner) (Read error: Connection reset by peer)
2025-04-25 02:50:50 +0200smiesner_smiesner
2025-04-25 02:50:50 +0200simendsjo_simendsjo
2025-04-25 02:51:07 +0200sand-witch(~m-mzmz6l@vmi833741.contaboserver.net)
2025-04-25 02:51:23 +0200Me-me(~me-me@kc.randomserver.name) (Ping timeout: 276 seconds)
2025-04-25 02:51:23 +0200hammond(proscan@user/hammond2) (Ping timeout: 276 seconds)
2025-04-25 02:51:23 +0200Flow(~none@gentoo/developer/flow) (Ping timeout: 276 seconds)
2025-04-25 02:51:23 +0200artynnn(~artynnn@23.95.246.172) (Ping timeout: 276 seconds)
2025-04-25 02:51:29 +0200Wstfgl0Me-me
2025-04-25 02:51:33 +0200hammond(proscan@gateway04.insomnia247.nl)
2025-04-25 02:51:55 +0200ycp_ycp
2025-04-25 02:52:01 +0200Flow(~none@gentoo/developer/flow) flow
2025-04-25 02:52:20 +0200Eoco(~ian@128.101.131.218) Eoco
2025-04-25 02:53:19 +0200acidjnk_new(~acidjnk@p200300d6e71c4f805da7edc33ed0f570.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-04-25 02:54:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-25 02:54:30 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) lambdabot
2025-04-25 02:54:31 +0200ChanServ+v lambdabot
2025-04-25 02:54:58 +0200euleritian(~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de)
2025-04-25 02:55:09 +0200euleritian(~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Remote host closed the connection)
2025-04-25 02:55:22 +0200Cattycatties
2025-04-25 02:55:27 +0200euleritian(~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de)
2025-04-25 02:56:15 +0200euleritian(~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Remote host closed the connection)
2025-04-25 02:57:29 +0200euleritian(~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de)
2025-04-25 03:00:05 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds)
2025-04-25 03:00:39 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-25 03:02:15 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-04-25 03:02:15 +0200haritz(~hrtz@152.37.68.178)
2025-04-25 03:02:16 +0200haritz(~hrtz@152.37.68.178) (Changing host)
2025-04-25 03:02:16 +0200haritz(~hrtz@user/haritz) haritz
2025-04-25 03:05:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 03:07:08 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-25 03:10:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 03:11:00 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2025-04-25 03:15:27 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-04-25 03:21:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 03:24:37 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2025-04-25 03:26:00 +0200califax(~califax@user/califx) (Ping timeout: 264 seconds)
2025-04-25 03:26:16 +0200califax(~califax@user/califx) califx
2025-04-25 03:27:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-25 03:33:13 +0200comonad(~comonad@p200300d027303e00f556181ab74e36af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-04-25 03:33:24 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-04-25 03:35:15 +0200comonad(~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de)
2025-04-25 03:39:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 03:41:30 +0200__jmcantrell__(~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1)
2025-04-25 03:44:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 03:54:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 03:55:32 +0200 <ski> yes, EvanR (SML)
2025-04-25 04:00:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 04:10:31 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-04-25 04:10:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 04:12:34 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-04-25 04:15:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-25 04:23:39 +0200td_(~td@83.135.9.7) (Ping timeout: 265 seconds)
2025-04-25 04:25:02 +0200td_(~td@i5387092B.versanet.de) td_
2025-04-25 04:26:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 04:31:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 04:36:15 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-04-25 04:42:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 04:42:50 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-25 04:43:58 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-04-25 04:47:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-25 04:58:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 04:59:53 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-25 05:00:40 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds)
2025-04-25 05:02:40 +0200j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-25 05:05:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 05:09:25 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-25 05:12:40 +0200Me-me(~me-me@kc.randomserver.name) (I never did learn haskell, did I?)
2025-04-25 05:16:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 05:20:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 05:21:55 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-25 05:28:21 +0200aforemny_(~aforemny@2001:9e8:6cc4:a200:cdb7:b741:f6b2:ab55) (Ping timeout: 248 seconds)
2025-04-25 05:28:46 +0200aforemny(~aforemny@2001:9e8:6ce4:fd00:2b9b:42c6:1d6:b68) aforemny
2025-04-25 05:31:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 05:36:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 05:37:05 +0200lol_(~lol@2603:3016:1e01:b960:c8e6:63b3:6b9f:3e52)
2025-04-25 05:37:12 +0200jcarpenter2(~lol@96.78.87.197) (Read error: Connection reset by peer)
2025-04-25 05:44:50 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2025-04-25 05:44:55 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-04-25 05:45:32 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) hackager
2025-04-25 05:45:33 +0200ChanServ+v haskellbridge
2025-04-25 05:47:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 05:50:23 +0200michalz(~michalz@185.246.207.217)
2025-04-25 05:52:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 05:54:02 +0200__jmcantrell__(~weechat@user/jmcantrell) (Ping timeout: 276 seconds)
2025-04-25 06:03:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 06:08:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)