2025/08/24

2025-08-24 00:05:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 00:11:22 +0000sprotte24(~sprotte24@p200300d16f131600f98621b03c1eacb6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-08-24 00:13:48 +0000karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2025-08-24 00:15:16 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 00:16:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 00:21:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 00:28:13 +0000spew(e9e8135d87@user/spew) (Server closed connection)
2025-08-24 00:28:23 +0000spew(e9e8135d87@user/spew) spew
2025-08-24 00:29:30 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-08-24 00:32:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 00:36:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 00:43:50 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-24 00:46:48 +0000acidjnk(~acidjnk@p200300d6e717199218c92204bd27247f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-08-24 00:47:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 00:52:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 00:59:15 +0000loonycyborg(loonycybor@wesnoth/developer/loonycyborg) (Server closed connection)
2025-08-24 00:59:28 +0000loonycyborg(loonycybor@wesnoth/developer/loonycyborg) loonycyborg
2025-08-24 00:59:59 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-08-24 01:00:41 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-24 01:02:50 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 01:06:01 +0000yin(~zero@user/zero) (Ping timeout: 256 seconds)
2025-08-24 01:07:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 01:07:10 +0000yin(~zero@user/zero) zero
2025-08-24 01:07:25 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-24 01:07:48 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 01:15:50 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-24 01:16:12 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 01:16:56 +0000zarakshR(~Thunderbi@0542a05a.skybroadband.com) zarakshR
2025-08-24 01:18:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 01:19:32 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds)
2025-08-24 01:20:26 +0000ft(~ft@p508db91f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-08-24 01:22:14 +0000ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) ft
2025-08-24 01:22:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 01:32:33 +0000stureplan(22e45d5caf@user/stureplan) (Server closed connection)
2025-08-24 01:32:42 +0000stureplan(22e45d5caf@user/stureplan) stureplan
2025-08-24 01:33:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 01:36:42 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-08-24 01:36:44 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-24 01:38:52 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-24 01:38:52 +0000ljdarj1ljdarj
2025-08-24 01:38:59 +0000b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) (Server closed connection)
2025-08-24 01:39:08 +0000b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o
2025-08-24 01:40:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 01:45:03 +0000jmcantrell_jmcantrell
2025-08-24 01:51:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 01:56:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 01:57:43 +0000tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5)
2025-08-24 01:58:17 +0000Ankhers(e99e97ef8e@2a03:6000:1812:100::2a2) (Server closed connection)
2025-08-24 01:58:20 +0000tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Client Quit)
2025-08-24 01:58:26 +0000Ankhers(e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers
2025-08-24 01:59:15 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-24 02:05:03 +0000op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2025-08-24 02:05:37 +0000op_4(~tslil@user/op-4/x-9116473) op_4
2025-08-24 02:06:48 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-08-24 02:07:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 02:11:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 02:22:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 02:22:34 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds)
2025-08-24 02:27:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 02:37:16 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-24 02:37:47 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 02:41:37 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-08-24 02:41:50 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 02:42:20 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 258 seconds)
2025-08-24 02:42:47 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-24 02:46:06 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-24 02:48:37 +0000fgaz(1ff9197ed6@2a03:6000:1812:100::11ea) (Server closed connection)
2025-08-24 02:48:43 +0000fgaz(1ff9197ed6@2a03:6000:1812:100::11ea) fgaz
2025-08-24 02:53:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 02:57:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 02:59:05 +0000 <haskellbridge> <Axman6> I'm trying to do something that I thought would be simple using LinearTypes, but GHC tells me I'm wrong - any idea why the multiplicity of but here isn't One? https://gist.github.com/axman6/02af4d217b6755fc5637a02aad6bf85b (Sorry for anyone who also saw it on #haskell on Matrix)
2025-08-24 03:08:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 03:09:12 +0000 <Leary> Axman6: Tried switching `case` for `let`? According to <https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/linear_types.html#limitations>, inference for `case` is still experimental.
2025-08-24 03:15:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 03:19:26 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-24 03:26:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 03:31:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 03:33:06 +0000aforemny_(~aforemny@2001:9e8:6ce2:be00:e05:cc8b:50c4:6af1) aforemny
2025-08-24 03:34:16 +0000aforemny(~aforemny@2001:9e8:6cc3:5000:84f2:1d2b:1f7:6b17) (Ping timeout: 248 seconds)
2025-08-24 03:40:46 +0000 <haskellbridge> <Axman6> Ah, interesting! I will try
2025-08-24 03:41:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 03:46:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 03:47:20 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-24 03:47:42 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 03:57:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 04:02:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 04:04:47 +0000trickard(~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-24 04:05:00 +0000trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-24 04:12:50 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 04:17:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 04:18:32 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-08-24 04:23:01 +0000 <haskellbridge> <Axman6> Urgh, I guess I do not understand linear types, I simply cannot get GHC to accept anything as being linear unless it's just some version of linear id. it seem that if I pass the linear argument into another linear function it always infers that the multiplicity is Many, which makes no sense to me.
2025-08-24 04:27:17 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-08-24 04:28:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 04:28:47 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 04:32:26 +0000xff0x(~xff0x@2405:6580:b080:900:2821:a49c:15d4:98f4) (Ping timeout: 248 seconds)
2025-08-24 04:32:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 04:35:22 +0000xff0x(~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96)
2025-08-24 04:40:01 +0000harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-08-24 04:43:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 04:50:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 04:56:56 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-24 04:58:07 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-24 05:00:40 +0000 <Pozyomka> If you launch GHCi directly from a shell, and you enter an expression whose type doesn't have a Show instance, you get an error message complaining about the lack of this Show instance. But, if you launch GHCi from Emacs' haskell-mode, it behaves as if you had entered “:t expression”. Is there some command-line flag that I can pass to GHCi to get the haskell-mode behavior?
2025-08-24 05:01:39 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-08-24 05:01:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 05:03:37 +0000arahael(~wetfoot@user/arahael) arahael
2025-08-24 05:06:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 05:11:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 05:14:32 +0000xff0x(~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) (Ping timeout: 248 seconds)
2025-08-24 05:15:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 05:19:30 +0000trickard_(~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-24 05:19:43 +0000trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-24 05:22:05 +0000xff0x(~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96)
2025-08-24 05:24:53 +0000euphores(~SASL_euph@user/euphores) euphores
2025-08-24 05:26:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 05:28:37 +0000JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) (Server closed connection)
2025-08-24 05:28:46 +0000JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken
2025-08-24 05:30:34 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 248 seconds)
2025-08-24 05:31:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 05:35:24 +0000jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.0)
2025-08-24 05:38:40 +0000 <geekosaur> you might be able to `import Debug.SimpleReflect` in .ghci after arranging for https://flora.pm/packages/@hackage/simple-reflect to be installed globally by some means (or using `cabal repl` or `stack ghci`)
2025-08-24 05:40:48 +0000asivitz(uid178348@id-178348.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-08-24 05:41:22 +0000 <Pozyomka> Thanks!
2025-08-24 05:42:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 05:44:07 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-24 05:46:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 05:49:12 +0000comonad(~comonad@p200300d0270a4d00dd81877f81551ca0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-08-24 05:50:30 +0000xff0x(~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) (Ping timeout: 256 seconds)
2025-08-24 05:50:48 +0000xff0x(~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96)
2025-08-24 05:51:05 +0000comonad(~comonad@p200300d0270ddd009670adfc2eadacd3.dip0.t-ipconnect.de)
2025-08-24 05:51:17 +0000sa(sid1055@id-1055.tinside.irccloud.com) (Server closed connection)
2025-08-24 05:51:40 +0000sa(sid1055@id-1055.tinside.irccloud.com) sa
2025-08-24 05:56:18 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-08-24 05:57:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 06:02:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 06:12:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 06:17:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 06:19:35 +0000p3n(~p3n@217.198.124.246) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-24 06:21:48 +0000p3n(~p3n@217.198.124.246) p3n
2025-08-24 06:27:31 +0000juri_(~juri@implicitcad.org) (Server closed connection)
2025-08-24 06:27:45 +0000juri_(~juri@implicitcad.org) juri_
2025-08-24 06:28:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 06:31:30 +0000xff0x(~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96) (Ping timeout: 252 seconds)
2025-08-24 06:35:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 06:35:49 +0000trickard_trickard
2025-08-24 06:35:51 +0000xff0x(~xff0x@2405:6580:b080:900:1b21:58ec:e22d:3f96)
2025-08-24 06:46:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 06:51:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 06:51:56 +0000_________(~nobody@user/noodly) _________
2025-08-24 06:54:32 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-08-24 06:59:16 +0000tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5)
2025-08-24 07:00:01 +0000caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-24 07:00:42 +0000caconym747(~caconym@user/caconym) caconym
2025-08-24 07:01:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 07:06:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 07:06:57 +0000haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-08-24 07:12:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 07:16:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 07:22:55 +0000tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-24 07:23:14 +0000Guest32(~Guest32@2001:2d8:708e:9c40:e4f3:3a81:b203:f1a7)
2025-08-24 07:25:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 07:30:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 07:32:32 +0000puke(~puke@user/puke) (Quit: puke)
2025-08-24 07:36:29 +0000puke(~puke@user/puke) puke
2025-08-24 07:39:51 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 07:40:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 07:41:55 +0000Taneb(~Taneb@ip87-106-35-210.pbiaas.com) (Server closed connection)
2025-08-24 07:44:47 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-24 07:45:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-24 07:47:03 +0000Taneb(~Taneb@ip87-106-35-210.pbiaas.com) Taneb
2025-08-24 07:49:32 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-24 07:52:58 +0000Guest84(~Guest94@203.129.50.252)
2025-08-24 07:53:29 +0000 <Guest84> @pl fun2' :: Integer -> Integer
2025-08-24 07:53:30 +0000 <lambdabot> (line 1, column 20):
2025-08-24 07:53:30 +0000 <lambdabot> unexpected '>'
2025-08-24 07:53:30 +0000 <lambdabot> expecting operator
2025-08-24 07:53:30 +0000 <Guest84> fun2' = sum . filter even . takeWhile (> 1) . iterate (\n -> if even n then n `div` 2 else 3 * n + 1)
2025-08-24 07:53:44 +0000 <Guest84> @pl fun2' = sum . filter even . takeWhile (> 1) . iterate (\n -> if even n then n `div` 2 else 3 * n + 1)
2025-08-24 07:53:44 +0000 <lambdabot> fun2' = sum . filter even . takeWhile (> 1) . iterate (ap (liftM2 if' even (`div` 2)) ((1 +) . (3 *)))
2025-08-24 07:55:24 +0000 <Guest84> @pl fun2 1 = 0
2025-08-24 07:55:24 +0000 <lambdabot> fun2 = const 0
2025-08-24 07:55:24 +0000 <Guest84> fun2 n
2025-08-24 07:55:25 +0000 <Guest84>   | even n = n + fun2 (n `div` 2)
2025-08-24 07:55:25 +0000 <Guest84>   | otherwise = fun2 (3 * n + 1)
2025-08-24 07:56:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 07:57:49 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds)
2025-08-24 07:58:19 +0000 <Guest84> @pl fun1' xs = product $ map (subtract 2) (filter even xs)
2025-08-24 07:58:19 +0000 <lambdabot> fun1' = product . map (subtract 2) . filter even
2025-08-24 07:58:50 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 248 seconds)
2025-08-24 07:59:12 +0000Guest84(~Guest94@203.129.50.252) (Quit: Client closed)
2025-08-24 08:01:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 08:01:20 +0000euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-08-24 08:02:07 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-08-24 08:02:21 +0000Square2(~Square@user/square) Square
2025-08-24 08:05:33 +0000__monty__(~toonn@user/toonn) toonn
2025-08-24 08:08:28 +0000Everything(~Everythin@178-133-133-18.mobile.vf-ua.net) Everything
2025-08-24 08:11:23 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-08-24 08:12:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 08:13:14 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-08-24 08:16:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 08:18:29 +0000euphores(~SASL_euph@user/euphores) euphores
2025-08-24 08:23:13 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-08-24 08:25:39 +0000tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5)
2025-08-24 08:27:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 08:28:16 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-08-24 08:30:06 +0000acidjnk(~acidjnk@p200300d6e717199218c92204bd27247f.dip0.t-ipconnect.de) acidjnk
2025-08-24 08:31:08 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-24 08:31:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 08:43:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 08:46:18 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-08-24 08:47:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 08:47:56 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-24 08:58:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 09:02:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-24 09:12:28 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Quit: fp)
2025-08-24 09:12:46 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-08-24 09:13:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 09:17:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 09:22:43 +0000emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-08-24 09:26:09 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2025-08-24 09:28:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 09:29:50 +0000Dykam(Dykam@dykam.nl) (Server closed connection)
2025-08-24 09:30:00 +0000Dykam(Dykam@dykam.nl) Dykam
2025-08-24 09:33:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 09:33:52 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-08-24 09:43:45 +0000Guest32(~Guest32@2001:2d8:708e:9c40:e4f3:3a81:b203:f1a7) (Ping timeout: 250 seconds)
2025-08-24 09:44:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 09:48:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-24 09:49:33 +0000tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-24 09:50:34 +0000acro(~acro@user/acro) (Server closed connection)
2025-08-24 09:50:51 +0000acro(~acro@user/acro) acro
2025-08-24 09:54:38 +0000Everything(~Everythin@178-133-133-18.mobile.vf-ua.net) (Quit: leaving)
2025-08-24 09:59:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 10:06:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 10:09:18 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 252 seconds)
2025-08-24 10:12:13 +0000Guest54(~Guest94@203.129.50.252)
2025-08-24 10:12:13 +0000 <Guest54> @pl sieveSundaram :: Integer -> [Integer]
2025-08-24 10:12:13 +0000 <Guest54> sieveSundaram n = map (\x -> 2 * x + 1) [1 .. n] \\ filter (< 2 * (n + 1)) [i + j + 2 * i * j | (i, j) <- [(x, y) | x <- [1 .. n], y <- [1 .. n]]]
2025-08-24 10:12:13 +0000 <lambdabot> (line 1, column 28):
2025-08-24 10:12:13 +0000 <lambdabot> unexpected '>'
2025-08-24 10:12:13 +0000 <lambdabot> expecting operator
2025-08-24 10:12:22 +0000 <Guest54> @pl sieveSundaram n = map (\x -> 2 * x + 1) [1 .. n] \\ filter (< 2 * (n + 1)) [i + j + 2 * i * j | (i, j) <- [(x, y) | x <- [1 .. n], y <- [1 .. n]]]
2025-08-24 10:12:23 +0000 <lambdabot> (line 1, column 50):
2025-08-24 10:12:23 +0000 <lambdabot> unexpected '\\'
2025-08-24 10:12:23 +0000 <lambdabot> expecting variable, "(", operator or end of input
2025-08-24 10:12:41 +0000 <Guest54> @pl sieveSundaram n = map (\x -> 2 * x + 1) [1 .. n] || filter (< 2 * (n + 1)) [i + j + 2 * i * j | (i, j) <- [(x, y) | x <- [1 .. n], y <- [1 .. n]]]
2025-08-24 10:12:42 +0000 <lambdabot> sieveSundaram = ap ((||) . map ((1 +) . (2 *)) . enumFromTo 1) (ap (filter . flip (<) . (2 *) . (1 +)) (return . ((i + j) +) . ((2 * i) *) . ((j | (i, j)) <-) . ap ((:) . (((x, y) | x) <-) .
2025-08-24 10:12:42 +0000 <lambdabot> enumFromTo 1) (return . (y <-) . enumFromTo 1)))
2025-08-24 10:13:14 +0000tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5)
2025-08-24 10:14:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 10:16:22 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-24 10:17:33 +0000Guest54(~Guest94@203.129.50.252) (Ping timeout: 250 seconds)
2025-08-24 10:18:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 10:28:40 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 248 seconds)
2025-08-24 10:29:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 10:32:25 +0000dibblego(~dibblego@haskell/developer/dibblego) (Server closed connection)
2025-08-24 10:32:48 +0000dibblego(~dibblego@haskell/developer/dibblego) dibblego
2025-08-24 10:34:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 10:36:09 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-08-24 10:36:58 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 10:44:15 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-08-24 10:45:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 10:49:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 11:00:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 11:03:12 +0000cyphase(~cyphase@user/cyphase) (Ping timeout: 252 seconds)
2025-08-24 11:04:28 +0000cyphase(~cyphase@user/cyphase) cyphase
2025-08-24 11:04:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 11:09:37 +0000m_a_r_k(~m_a_r_k@user/m-a-r-k:45929) (Server closed connection)
2025-08-24 11:09:52 +0000m_a_r_k(~m_a_r_k@user/m-a-r-k:45929) m_a_r_k
2025-08-24 11:10:18 +0000cyphase(~cyphase@user/cyphase) (Ping timeout: 248 seconds)
2025-08-24 11:15:14 +0000jkoshy(99b9359beb@user/jkoshy) (Server closed connection)
2025-08-24 11:15:22 +0000jkoshy(99b9359beb@user/jkoshy) jkoshy
2025-08-24 11:15:47 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 11:17:22 +0000bwe(~bwe@2a01:4f8:1c1c:4878::2) (Server closed connection)
2025-08-24 11:20:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-24 11:22:55 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-08-24 11:24:48 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-24 11:24:52 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2025-08-24 11:26:18 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2025-08-24 11:27:00 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-08-24 11:28:13 +0000pabs3(~pabs3@user/pabs3) (Server closed connection)
2025-08-24 11:28:20 +0000img(~img@user/img) img
2025-08-24 11:28:43 +0000pabs3(~pabs3@user/pabs3) pabs3
2025-08-24 11:29:46 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-24 11:31:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 11:32:06 +0000AlexZenon(~alzenon@178.34.150.79) (Ping timeout: 258 seconds)
2025-08-24 11:37:16 +0000AlexZenon(~alzenon@178.34.150.79)
2025-08-24 11:37:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-24 11:41:42 +0000tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-24 11:42:28 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-08-24 11:49:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 11:53:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 11:59:51 +0000dyniec(~dyniec@dybiec.info) (Remote host closed the connection)
2025-08-24 12:00:46 +0000dyniec(~dyniec@dybiec.info)
2025-08-24 12:01:37 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 258 seconds)
2025-08-24 12:02:17 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Disconnected: closed)
2025-08-24 12:03:44 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-08-24 12:04:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 12:09:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-24 12:17:20 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-24 12:20:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 12:23:05 +0000petrichor(~jez@user/petrichor) (Ping timeout: 258 seconds)
2025-08-24 12:24:18 +0000haritz(~hrtz@209.35.65.79)
2025-08-24 12:24:18 +0000haritz(~hrtz@209.35.65.79) (Changing host)
2025-08-24 12:24:18 +0000haritz(~hrtz@user/haritz) haritz
2025-08-24 12:24:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 12:25:23 +0000petrichor(~jez@user/petrichor) petrichor
2025-08-24 12:26:32 +0000thatonelutenist(8216c46202@2a03:6000:1812:100::fb3) (Server closed connection)
2025-08-24 12:26:40 +0000thatonelutenist(8216c46202@2a03:6000:1812:100::fb3) thatonelutenist
2025-08-24 12:28:27 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 12:35:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 12:38:30 +0000tremon(~tremon@83.80.159.219) tremon
2025-08-24 12:39:11 +0000trickard(~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-24 12:39:24 +0000trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-24 12:39:44 +0000ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-08-24 12:39:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-24 12:41:26 +0000aku(aku@2a01:4f9:c010:836c::1) (Quit: Lost terminal)
2025-08-24 12:41:43 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-08-24 12:46:25 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 256 seconds)
2025-08-24 12:47:16 +0000kawzeg(kawzeg@2a01:4f9:c013:cfbf::1) (Server closed connection)
2025-08-24 12:47:28 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-08-24 12:47:34 +0000kawzeg(kawzeg@2a01:4f9:c013:cfbf::1) kawzeg
2025-08-24 12:48:46 +0000AlexZenon(~alzenon@178.34.150.79) (Ping timeout: 258 seconds)
2025-08-24 12:55:05 +0000aku(aku@65.108.245.241) eagleflo
2025-08-24 12:56:47 +0000divlamir(~divlamir@user/divlamir) divlamir
2025-08-24 12:57:36 +0000trickard_trickard
2025-08-24 12:57:46 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 13:00:26 +0000athan(~athan@syn-047-132-161-157.res.spectrum.com) athan
2025-08-24 13:02:55 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds)
2025-08-24 13:03:03 +0000uvla(~uvla@user/uvla) uvla
2025-08-24 13:06:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 13:06:33 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 13:09:08 +0000tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5)
2025-08-24 13:11:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-24 13:13:02 +0000Ram-Z(~Ram-Z@li1814-254.members.linode.com) (Server closed connection)
2025-08-24 13:13:20 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-08-24 13:13:21 +0000Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) Ram-Z
2025-08-24 13:15:03 +0000AlexZenon(~alzenon@178.34.150.79)
2025-08-24 13:21:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 13:22:55 +0000ol0ck(~quassel@user/ol0ck) (Server closed connection)
2025-08-24 13:23:04 +0000ol0ck(~quassel@user/ol0ck) ol0ck
2025-08-24 13:23:55 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-24 13:24:22 +0000weary-traveler(~user@user/user363627) user363627
2025-08-24 13:24:41 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Client Quit)
2025-08-24 13:27:43 +0000sprotte24(~sprotte24@p200300d16f111b00b51313ab39ce1871.dip0.t-ipconnect.de)
2025-08-24 13:28:07 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds)
2025-08-24 13:28:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 13:29:27 +0000AlexNoo_(~AlexNoo@178.34.150.79)
2025-08-24 13:29:29 +0000poscat0x04(~poscat@user/poscat) poscat
2025-08-24 13:30:22 +0000Alleria(~Alleria@user/alleria) (Read error: Connection reset by peer)
2025-08-24 13:31:27 +0000poscat(~poscat@user/poscat) (Ping timeout: 260 seconds)
2025-08-24 13:31:46 +0000AlexZenon(~alzenon@178.34.150.79) (Ping timeout: 256 seconds)
2025-08-24 13:31:52 +0000AlexNoo(~AlexNoo@178.34.150.79) (Ping timeout: 244 seconds)
2025-08-24 13:33:45 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-24 13:35:45 +0000AlexNoo_AlexNoo
2025-08-24 13:38:22 +0000trickard(~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-24 13:38:35 +0000trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-24 13:39:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 13:43:36 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-08-24 13:44:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 13:45:07 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 258 seconds)
2025-08-24 13:47:42 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2025-08-24 13:52:57 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 13:55:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 13:58:16 +0000trickard_(~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-08-24 13:58:31 +0000trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-24 13:59:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 14:03:11 +0000uvla(~uvla@user/uvla) (Quit: Client closed)
2025-08-24 14:03:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 14:06:29 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-24 14:08:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 14:08:30 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 258 seconds)
2025-08-24 14:18:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 14:20:35 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-08-24 14:20:50 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-24 14:23:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-24 14:23:29 +0000trickard_trickard
2025-08-24 14:26:23 +0000thenightmail(~thelounge@37.48.95.216) (Changing host)
2025-08-24 14:26:23 +0000thenightmail(~thelounge@user/thenightmail) thenightmail
2025-08-24 14:26:24 +0000qqe(~qqq@185.54.20.59)
2025-08-24 14:27:17 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-24 14:29:56 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 14:32:07 +0000cyphase(~cyphase@user/cyphase) cyphase
2025-08-24 14:34:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 14:34:33 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-24 14:34:55 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 14:38:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-24 14:40:27 +0000cyphase(~cyphase@user/cyphase) (Ping timeout: 252 seconds)
2025-08-24 14:41:27 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-24 14:41:49 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 14:49:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 14:50:11 +0000hadronized(~hadronize@2001:41d0:a:fe76::1) (Server closed connection)
2025-08-24 14:50:29 +0000hadronized(~hadronize@2001:41d0:a:fe76::1)
2025-08-24 14:54:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 14:55:30 +0000tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-24 15:00:19 +0000AlexZenon(~alzenon@178.34.150.79)
2025-08-24 15:04:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 15:11:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 15:13:17 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-24 15:13:23 +0000bwe(~bwe@2a01:4f8:1c1c:4878::2) bwe
2025-08-24 15:16:04 +0000dostoyevsky2(~sck@user/dostoyevsky2) (Server closed connection)
2025-08-24 15:16:16 +0000dostoyevsky2(~sck@user/dostoyevsky2) dostoyevsky2
2025-08-24 15:16:36 +0000pabs3(~pabs3@user/pabs3) (Ping timeout: 256 seconds)
2025-08-24 15:19:44 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 15:23:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 15:25:46 +0000bwe(~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection)
2025-08-24 15:25:56 +0000bwe(~bwe@2a01:4f8:1c1c:4878::2) bwe
2025-08-24 15:28:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-08-24 15:28:30 +0000cyphase(~cyphase@user/cyphase) cyphase
2025-08-24 15:29:58 +0000pabs3(~pabs3@user/pabs3) pabs3
2025-08-24 15:30:09 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-24 15:34:44 +0000cyphase(~cyphase@user/cyphase) (Ping timeout: 256 seconds)
2025-08-24 15:38:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 15:39:47 +0000AngelzAngelzOfDeath
2025-08-24 15:41:43 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-24 15:42:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-24 15:44:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 15:49:38 +0000AlexNoo_(~AlexNoo@5.139.233.33)
2025-08-24 15:52:56 +0000AlexNoo(~AlexNoo@178.34.150.79) (Ping timeout: 248 seconds)
2025-08-24 15:53:09 +0000AlexZenon(~alzenon@178.34.150.79) (Ping timeout: 258 seconds)
2025-08-24 15:54:12 +0000EvanR(~EvanR@user/evanr) EvanR
2025-08-24 15:57:00 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-08-24 16:03:29 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-08-24 16:05:01 +0000jmcantrell_(~weechat@user/jmcantrell) (Client Quit)
2025-08-24 16:12:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 16:13:18 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-08-24 16:13:40 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-08-24 16:14:20 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-24 16:18:37 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-08-24 16:18:55 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-08-24 16:19:35 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-24 16:19:43 +0000ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-08-24 16:22:19 +0000AlexZenon(~alzenon@5.139.233.33)
2025-08-24 16:23:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 16:30:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 16:34:40 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 16:38:49 +0000AlexNoo_AlexNoo
2025-08-24 16:41:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 16:43:52 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-08-24 16:45:06 +0000raym(~ray@user/raym) (Ping timeout: 244 seconds)
2025-08-24 16:46:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-24 16:46:43 +0000 <hololeap> what's the best way to take an Exception and turn it into a fatal error in IO, displaying the exception text e.g. displayException in the error message?
2025-08-24 16:47:48 +0000 <EvanR> throwIO it?
2025-08-24 16:47:55 +0000 <EvanR> :t throwIO
2025-08-24 16:47:57 +0000 <lambdabot> Exception e => e -> IO a
2025-08-24 16:48:26 +0000 <hololeap> iirc, that doesn't show the exception text in the error message on the command line
2025-08-24 16:48:31 +0000 <hololeap> surprisingly
2025-08-24 16:51:43 +0000 <EvanR> just the exception type?
2025-08-24 16:51:59 +0000 <hololeap> it looks like it runs 'show' on it
2025-08-24 16:52:10 +0000Pixi(~Pixi@user/pixi) (Server closed connection)
2025-08-24 16:52:19 +0000 <hololeap> instead of 'displayException'
2025-08-24 16:52:34 +0000Pixi(~Pixi@user/pixi) Pixi
2025-08-24 16:53:07 +0000 <EvanR> https://stackoverflow.com/questions/55490766/why-doesn-t-ghc-use-my-displayexception-method
2025-08-24 16:54:06 +0000 <EvanR> you can write a simple version of throwIO that does what you want
2025-08-24 16:56:00 +0000Everything(~Everythin@178-133-133-18.mobile.vf-ua.net) Everything
2025-08-24 16:56:02 +0000raym(~ray@user/raym) raym
2025-08-24 16:56:48 +0000chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-08-24 17:02:04 +0000Igloo(~ian@81.2.99.210) (Ping timeout: 272 seconds)
2025-08-24 17:02:19 +0000Igloo(~ian@45.130.105.70)
2025-08-24 17:02:37 +0000yegor(~yegor@user/yegorc) (Ping timeout: 260 seconds)
2025-08-24 17:02:55 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-24 17:04:57 +0000divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-08-24 17:05:30 +0000hellwolf(~user@fc56-fb6a-282a-0f92-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 248 seconds)
2025-08-24 17:05:46 +0000divlamir(~divlamir@user/divlamir) divlamir
2025-08-24 17:06:03 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-24 17:12:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 17:13:10 +0000hellwolf(~user@1679-d567-eb6e-40b1-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2025-08-24 17:17:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 17:19:18 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 17:19:31 +0000nckx(~nckx@libera/staff/owl/nckx) nckx
2025-08-24 17:20:33 +0000AlexNoo(~AlexNoo@5.139.233.33) (Read error: Connection reset by peer)
2025-08-24 17:22:07 +0000polykernel(~polykerne@user/polykernel) (Ping timeout: 255 seconds)
2025-08-24 17:24:36 +0000bastelfreak(bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split)
2025-08-24 17:25:24 +0000bastelfreak(bastelfrea@libera/staff/VoxPupuli.bastelfreak) bastelfreak
2025-08-24 17:25:57 +0000Igloo(~ian@45.130.105.70) (Ping timeout: 260 seconds)
2025-08-24 17:27:48 +0000sweater2(~sweater@206.81.18.26) (Server closed connection)
2025-08-24 17:27:55 +0000Igloo(~ian@81.2.99.210) Igfoo
2025-08-24 17:28:09 +0000sweater2(~sweater@206.81.18.26) sweater
2025-08-24 17:28:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 17:31:03 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-24 17:32:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-24 17:34:22 +0000tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5)
2025-08-24 17:34:50 +0000AlexZenon(~alzenon@5.139.233.33) (Ping timeout: 248 seconds)
2025-08-24 17:36:46 +0000She(haveident@libera/staff/she/her) (Quit: Either upgrades, or the world's ending.)
2025-08-24 17:36:53 +0000She(haveident@libera/staff/she/her) She
2025-08-24 17:36:56 +0000gAy_Dragon(A_D@libera/staff/dragon) (Quit: ZNC - https://znc.in)
2025-08-24 17:37:01 +0000weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-08-24 17:37:10 +0000A_Dragon(A_D@libera/staff/dragon) ad
2025-08-24 17:37:46 +0000A_DragongAy_Dragon
2025-08-24 17:41:38 +0000AlexZenon(~alzenon@5.139.233.33)
2025-08-24 17:43:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 17:48:40 +0000AlexZenon(~alzenon@5.139.233.33) (Ping timeout: 248 seconds)
2025-08-24 17:48:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-24 17:49:40 +0000weary-traveler(~user@user/user363627) user363627
2025-08-24 17:54:13 +0000AlexNoo(~AlexNoo@5.139.233.33)
2025-08-24 17:56:00 +0000AlexZenon(~alzenon@5.139.233.33)
2025-08-24 17:59:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 18:00:15 +0000ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-08-24 18:00:55 +0000AlexZenon(~alzenon@5.139.233.33) (Ping timeout: 256 seconds)
2025-08-24 18:01:42 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-24 18:03:24 +0000hellwolf(~user@1679-d567-eb6e-40b1-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 252 seconds)
2025-08-24 18:05:47 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-24 18:06:47 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-24 18:07:21 +0000AlexZenon(~alzenon@5.139.233.33)
2025-08-24 18:10:29 +0000hellwolf(~user@7458-f0ff-11fb-4bd9-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2025-08-24 18:10:52 +0000mh_le(~mads@user/mh-le/x-4465771) mh_le
2025-08-24 18:17:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 18:18:37 +0000stefan-_(~cri@42dots.de) (Server closed connection)
2025-08-24 18:18:53 +0000stefan-_(~cri@42dots.de) stefan-_
2025-08-24 18:21:14 +0000AlexZenon(~alzenon@5.139.233.33) (Ping timeout: 248 seconds)
2025-08-24 18:22:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 18:26:25 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-08-24 18:27:15 +0000yin(~zero@user/zero) (Ping timeout: 258 seconds)
2025-08-24 18:28:55 +0000beaky(~beaky@2a03:b0c0:0:1010::1e:a001) (Server closed connection)
2025-08-24 18:29:15 +0000beaky(~beaky@2a03:b0c0:0:1010::1e:a001) beaky
2025-08-24 18:30:07 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-08-24 18:34:35 +0000yin(~zero@user/zero) zero
2025-08-24 18:37:10 +0000cyphase(~cyphase@user/cyphase) cyphase
2025-08-24 18:37:34 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-24 18:38:43 +0000AlexZenon(~alzenon@5.139.233.33)
2025-08-24 18:41:46 +0000cyphase(~cyphase@user/cyphase) (Ping timeout: 255 seconds)
2025-08-24 18:41:47 +0000Hobbyboy(Hobbyboy@hobbyboy.co.uk) (Server closed connection)
2025-08-24 18:42:06 +0000Hobbyboy(Hobbyboy@hobbyboy.co.uk) Hobbyboy
2025-08-24 18:43:59 +0000yegor(~yegor@user/yegorc) yegorc
2025-08-24 18:45:07 +0000AlexZenon(~alzenon@5.139.233.33) (Ping timeout: 256 seconds)
2025-08-24 18:47:02 +0000cyphase(~cyphase@user/cyphase) cyphase
2025-08-24 18:53:44 +0000cyphase(~cyphase@user/cyphase) (Ping timeout: 248 seconds)
2025-08-24 18:55:19 +0000bcksl(~bcksl@user/bcksl) (Quit: \)
2025-08-24 18:55:19 +0000end(~end@user/end/x-0094621) (Quit: end)
2025-08-24 18:55:22 +0000juri_(~juri@implicitcad.org) (Ping timeout: 248 seconds)
2025-08-24 19:00:03 +0000caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-24 19:00:42 +0000caconym747(~caconym@user/caconym) caconym
2025-08-24 19:01:14 +0000rvalue-(~rvalue@about/hackers/rvalue) rvalue
2025-08-24 19:02:31 +0000rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 258 seconds)
2025-08-24 19:03:45 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-24 19:06:25 +0000juri_(~juri@implicitcad.org) juri_
2025-08-24 19:06:31 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds)
2025-08-24 19:06:31 +0000ljdarj1ljdarj
2025-08-24 19:06:57 +0000AlexZenon(~alzenon@5.139.233.33)
2025-08-24 19:07:01 +0000rvalue-rvalue
2025-08-24 19:07:59 +0000cyphase(~cyphase@user/cyphase) cyphase
2025-08-24 19:12:26 +0000itaipu(~itaipu@168.121.97.28) (Ping timeout: 248 seconds)
2025-08-24 19:14:04 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 19:17:18 +0000bcksl(~bcksl@user/bcksl) bcksl
2025-08-24 19:17:35 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.0)
2025-08-24 19:18:54 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-08-24 19:22:19 +0000end(~end@user/end/x-0094621) end^
2025-08-24 19:22:25 +0000AlexZenon(~alzenon@5.139.233.33) (Ping timeout: 245 seconds)
2025-08-24 19:25:27 +0000AlexZenon(~alzenon@5.139.233.33)
2025-08-24 19:26:03 +0000caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-24 19:27:11 +0000itaipu(~itaipu@168.121.97.28) itaipu
2025-08-24 19:30:10 +0000AlexZenon(~alzenon@5.139.233.33) (Ping timeout: 256 seconds)
2025-08-24 19:34:44 +0000AlexZenon(~alzenon@5.139.233.33)
2025-08-24 19:35:12 +0000Everything(~Everythin@178-133-133-18.mobile.vf-ua.net) (Quit: leaving)
2025-08-24 19:35:38 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-08-24 19:38:51 +0000caconym747(~caconym@user/caconym) caconym
2025-08-24 19:39:49 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-24 19:39:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 19:40:11 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 19:40:29 +0000ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: Lost terminal)
2025-08-24 19:41:46 +0000AlexZenon(~alzenon@5.139.233.33) (Ping timeout: 248 seconds)
2025-08-24 19:42:22 +0000ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) ft
2025-08-24 19:49:46 +0000itaipu(~itaipu@168.121.97.28) (Ping timeout: 248 seconds)
2025-08-24 19:50:22 +0000itaipu(~itaipu@168.121.97.28) itaipu
2025-08-24 19:53:03 +0000glguy(glguy@libera/staff/glguy) (Remote host closed the connection)
2025-08-24 19:53:31 +0000petrichor(~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in)
2025-08-24 19:53:46 +0000glguy(glguy@libera/staff/glguy) glguy
2025-08-24 19:55:32 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-08-24 19:55:49 +0000ZLima12(~zlima12@user/meow/ZLima12) (Remote host closed the connection)
2025-08-24 19:56:58 +0000ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2025-08-24 20:06:55 +0000tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard
2025-08-24 20:08:04 +0000AlexZenon(~alzenon@5.139.233.33)
2025-08-24 20:08:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-24 20:08:57 +0000AlexZenon(~alzenon@5.139.233.33) (Client Quit)
2025-08-24 20:10:37 +0000AlexZenon(~alzenon@5.139.233.33)
2025-08-24 20:15:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 20:19:03 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-24 20:20:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 20:25:19 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-24 20:25:41 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 20:26:34 +0000petrichor(~jez@user/petrichor) petrichor
2025-08-24 20:29:03 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-08-24 20:29:43 +0000driib3189(~driib@vmi931078.contaboserver.net) driib
2025-08-24 20:30:41 +0000Profpatsch(~Profpatsc@user/Profpatsch) (Ping timeout: 258 seconds)
2025-08-24 20:30:42 +0000ystael(~ystael@user/ystael) (Ping timeout: 258 seconds)
2025-08-24 20:30:42 +0000wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 258 seconds)
2025-08-24 20:30:52 +0000athan_(~athan@syn-047-132-161-157.res.spectrum.com) athan
2025-08-24 20:31:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 20:31:04 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 258 seconds)
2025-08-24 20:31:05 +0000koolazer(~koo@user/koolazer) (Ping timeout: 258 seconds)
2025-08-24 20:31:27 +0000athan(~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 258 seconds)
2025-08-24 20:31:28 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds)
2025-08-24 20:31:28 +0000driib318(~driib@vmi931078.contaboserver.net) (Ping timeout: 258 seconds)
2025-08-24 20:31:28 +0000driib3189driib318
2025-08-24 20:32:34 +0000ystael(~ystael@user/ystael) ystael
2025-08-24 20:32:47 +0000koolazer(~koo@user/koolazer) koolazer
2025-08-24 20:33:09 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-24 20:38:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 20:38:20 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-24 20:38:48 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-24 20:40:09 +0000carter(sid14827@id-14827.helmsley.irccloud.com) (Server closed connection)
2025-08-24 20:40:44 +0000carter(sid14827@id-14827.helmsley.irccloud.com) carter
2025-08-24 20:42:34 +0000AlexZenon(~alzenon@5.139.233.33) (Ping timeout: 248 seconds)
2025-08-24 20:43:09 +0000wz1000(~zubin@static.11.113.47.78.clients.your-server.de) wz1000
2025-08-24 20:43:35 +0000Profpatsch(~Profpatsc@user/Profpatsch) Profpatsch
2025-08-24 20:44:43 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-08-24 20:49:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 20:50:07 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 20:53:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-24 20:58:18 +0000AlexZenon(~alzenon@5.139.233.33)
2025-08-24 21:04:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 21:04:47 +0000smeik5005(~smeik5005@dynamic-002-214-090-187.2.214.pool.telefonica.de)
2025-08-24 21:07:21 +0000smeik5005(~smeik5005@dynamic-002-214-090-187.2.214.pool.telefonica.de) (Client Quit)
2025-08-24 21:07:43 +0000smeik5005(~smeik5005@dynamic-002-214-090-187.2.214.pool.telefonica.de)
2025-08-24 21:08:35 +0000smeik5005(~smeik5005@dynamic-002-214-090-187.2.214.pool.telefonica.de) (Client Quit)
2025-08-24 21:09:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-24 21:09:53 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-24 21:11:35 +0000AlexZenon(~alzenon@5.139.233.33) (Ping timeout: 245 seconds)
2025-08-24 21:14:14 +0000weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-08-24 21:16:32 +0000AlexZenon(~alzenon@5.139.233.33)
2025-08-24 21:19:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 21:20:48 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-08-24 21:24:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-24 21:28:21 +0000tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-24 21:34:10 +0000kaol(~kaol@94-237-45-144.nl-ams1.upcloud.host) (Server closed connection)
2025-08-24 21:34:17 +0000kaol(~kaol@94-237-45-144.nl-ams1.upcloud.host)
2025-08-24 21:35:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 21:35:25 +0000karenw(~karenw@user/karenw) karenw
2025-08-24 21:35:41 +0000euphores(~SASL_euph@user/euphores) (Ping timeout: 256 seconds)
2025-08-24 21:39:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 21:39:45 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-08-24 21:48:38 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-08-24 21:50:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 21:52:03 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-24 21:54:17 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-08-24 21:54:32 +0000tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-08-24 21:54:57 +0000Igloo(~ian@81.2.99.210) (Ping timeout: 252 seconds)
2025-08-24 21:55:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-24 21:56:34 +0000Igloo(~ian@45.130.105.80)
2025-08-24 22:00:58 +0000Square2(~Square@user/square) (Ping timeout: 244 seconds)
2025-08-24 22:01:55 +0000qqe(~qqq@185.54.20.59) (Quit: leaving)
2025-08-24 22:03:51 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-08-24 22:04:31 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-08-24 22:04:54 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-24 22:06:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 22:07:22 +0000emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-08-24 22:07:27 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-08-24 22:12:34 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 22:12:46 +0000kqr(~kqr@user/kqr) (Server closed connection)
2025-08-24 22:13:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 22:13:23 +0000kqr(~kqr@irc-1.xkqr.org)
2025-08-24 22:16:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 22:21:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-24 22:30:15 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-08-24 22:32:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 22:36:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 22:47:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 22:51:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-24 22:53:12 +0000Igloo(~ian@45.130.105.80) (Ping timeout: 260 seconds)
2025-08-24 22:54:38 +0000Igloo(~ian@81.2.99.210) Igfoo
2025-08-24 22:55:46 +0000mhatta(~mhatta@www21123ui.sakura.ne.jp)
2025-08-24 23:00:24 +0000Igloo(~ian@81.2.99.210) (Ping timeout: 256 seconds)
2025-08-24 23:00:46 +0000Igloo(~ian@81.2.99.210) Igfoo
2025-08-24 23:02:58 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-08-24 23:02:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 23:04:54 +0000energizer(~energizer@user/energizer) (Server closed connection)
2025-08-24 23:07:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 23:08:59 +0000zarakshR(~Thunderbi@0542a05a.skybroadband.com) (Remote host closed the connection)
2025-08-24 23:09:05 +0000 <hololeap> this is what I came up with: https://0x0.st/K-NT.txt
2025-08-24 23:09:26 +0000zarakshR(~Thunderbi@2a02:c7c:7641:a500:b260:88ff:fe0b:ae5f) zarakshR
2025-08-24 23:09:48 +0000energizer(~energizer@user/energizer) energizer
2025-08-24 23:14:08 +0000pavonia(~user@user/siracusa) siracusa
2025-08-24 23:18:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 23:18:30 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-08-24 23:23:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-24 23:23:51 +0000Igloo(~ian@81.2.99.210) (Quit: BIAB)
2025-08-24 23:27:49 +0000Axman6(~Axman6@user/axman6) (Remote host closed the connection)
2025-08-24 23:28:26 +0000weary-traveler(~user@user/user363627) user363627
2025-08-24 23:28:28 +0000todi1(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-08-24 23:28:41 +0000todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-08-24 23:31:05 +0000Axman6(~Axman6@user/axman6) Axman6
2025-08-24 23:32:00 +0000athan_(~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!)
2025-08-24 23:33:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 23:38:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-24 23:43:36 +0000sprotte24(~sprotte24@p200300d16f111b00b51313ab39ce1871.dip0.t-ipconnect.de) (Quit: Leaving)
2025-08-24 23:49:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 23:51:55 +0000jackdk(uid373013@cssa/life/jackdk) jackdk
2025-08-24 23:52:33 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-08-24 23:55:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-24 23:56:40 +0000itaipu(~itaipu@168.121.97.28) (Ping timeout: 248 seconds)
2025-08-24 23:57:12 +0000acidjnk(~acidjnk@p200300d6e717199218c92204bd27247f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)