Home liberachat/#haskell: Logs Calendar

Logs on 2025-08-24 (liberachat/#haskell)

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

All times are in UTC on 2025-08-24.