2025/05/23

2025-05-23 00:01:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 00:01:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 00:04:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-23 00:08:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 00:09:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 00:10:10 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Remote host closed the connection)
2025-05-23 00:11:42 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2025-05-23 00:12:23 +0200davl(~davl@207.154.228.18) (Read error: Connection reset by peer)
2025-05-23 00:12:44 +0200davl(~davl@207.154.228.18) davl
2025-05-23 00:14:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 00:14:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 00:15:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 00:18:02 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-05-23 00:18:12 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-05-23 00:20:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 00:20:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 00:22:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-23 00:22:52 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit)
2025-05-23 00:24:22 +0200 <Square> Anyone know how to bypass "Internal error when trying to open a repl for the package fake-package-0. The package is not in the set of available targets for the project plan, which would suggest an inconsistency between readTargetSelectors and resolveTargets"
2025-05-23 00:25:12 +0200 <Square> when issuing "cabal repl" in a multi module project? Filed here among other places https://github.com/haskell/cabal/issues/9983
2025-05-23 00:25:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 00:25:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 00:28:07 +0200 <int-e> this suggests that you're supposed to also provide a package name for loading into the repl
2025-05-23 00:29:41 +0200 <Square> Yeah, easy to figure out. I'll try to onboard some colleagues into haskell land next week so i hoped I could offer a more user friendly experience.
2025-05-23 00:31:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 00:32:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 00:32:18 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-23 00:33:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 00:36:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 00:36:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 00:38:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-23 00:42:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 00:42:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 00:48:06 +0200athan(~athan@syn-173-042-095-241.biz.spectrum.com) athan
2025-05-23 00:50:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 00:50:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 00:51:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-05-23 00:52:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 00:53:43 +0200athan(~athan@syn-173-042-095-241.biz.spectrum.com) (Quit: Konversation terminated!)
2025-05-23 00:57:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-23 00:57:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 00:58:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 01:01:14 +0200xff0x(~xff0x@2405:6580:b080:900:65d9:fee1:57b4:c2d1) (Ping timeout: 245 seconds)
2025-05-23 01:03:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 01:04:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 01:05:40 +0200xff0x(~xff0x@2405:6580:b080:900:65d9:fee1:57b4:c2d1)
2025-05-23 01:07:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 01:11:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 01:12:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 01:12:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-23 01:18:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 01:18:04 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-23 01:18:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 01:22:39 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-05-23 01:23:20 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-05-23 01:23:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 01:25:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 01:25:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 01:28:10 +0200notzmv(~daniel@user/notzmv) (Remote host closed the connection)
2025-05-23 01:28:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-23 01:30:17 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-23 01:31:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 01:32:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 01:33:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 01:36:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-23 01:39:37 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-05-23 01:43:36 +0200tolgo(~Thunderbi@199.115.144.130)
2025-05-23 01:46:59 +0200tolgo(~Thunderbi@199.115.144.130) (Client Quit)
2025-05-23 01:47:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 01:48:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 01:48:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 01:52:14 +0200acidjnk(~acidjnk@p200300d6e71c4f686104470de4bb3da9.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-05-23 01:52:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-23 01:56:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 01:56:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 02:02:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 02:03:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 02:03:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 02:04:44 +0200jespada(~jespada@r167-61-220-219.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
2025-05-23 02:08:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-23 02:08:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 02:08:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 02:16:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 02:16:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 02:19:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 02:21:51 +0200djmetzle(~djmetzle@syn-141-126-079-209.res.spectrum.com)
2025-05-23 02:22:10 +0200djmetzle(~djmetzle@syn-141-126-079-209.res.spectrum.com) (Changing host)
2025-05-23 02:22:10 +0200djmetzle(~djmetzle@user/djmetzle) djmetzle
2025-05-23 02:22:38 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-05-23 02:22:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 02:23:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 02:23:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-23 02:28:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 02:28:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 02:29:45 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-05-23 02:30:01 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-05-23 02:31:09 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds)
2025-05-23 02:34:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 02:35:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 02:35:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 02:35:45 +0200olivial(~benjaminl@user/benjaminl) (Ping timeout: 272 seconds)
2025-05-23 02:39:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-23 02:40:11 +0200olivial(~benjaminl@user/benjaminl) benjaminl
2025-05-23 02:41:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 02:41:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 02:49:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 02:49:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 02:50:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 02:51:39 +0200craunts7(~craunts@136.158.8.87)
2025-05-23 02:51:58 +0200craunts7(~craunts@136.158.8.87) (Client Quit)
2025-05-23 02:52:51 +0200craunts7(~craunts@136.158.8.87)
2025-05-23 02:53:36 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-23 02:56:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-23 02:57:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 02:57:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 03:03:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 03:04:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 03:06:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 03:07:00 +0200mange(~user@user/mange) mange
2025-05-23 03:10:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 03:10:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 03:11:27 +0200xff0x(~xff0x@2405:6580:b080:900:65d9:fee1:57b4:c2d1) (Ping timeout: 252 seconds)
2025-05-23 03:13:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-23 03:14:02 +0200df(~ben@justworks.xyz) (Ping timeout: 252 seconds)
2025-05-23 03:14:16 +0200df(~ben@justworks.xyz)
2025-05-23 03:18:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 03:19:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 03:24:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 03:25:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 03:25:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 03:26:08 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-23 03:29:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-23 03:31:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 03:31:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 03:39:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 03:39:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 03:40:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 03:45:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-23 03:46:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 03:46:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 03:52:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 03:53:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 03:56:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 03:59:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 03:59:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 04:01:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-23 04:05:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 04:05:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 04:06:04 +0200polykernel(~polykerne@user/polykernel) (Remote host closed the connection)
2025-05-23 04:06:54 +0200polykernel(~polykerne@user/polykernel) polykernel
2025-05-23 04:09:16 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-05-23 04:10:05 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-05-23 04:11:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 04:12:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 04:13:19 +0200poscat(~poscat@user/poscat) poscat
2025-05-23 04:13:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 04:17:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 04:17:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 04:17:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-23 04:23:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 04:23:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 04:25:16 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-23 04:27:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 04:28:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 04:28:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 04:33:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 04:33:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 04:34:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-23 04:38:19 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-23 04:41:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 04:42:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 04:43:14 +0200philopsos(~caecilius@user/philopsos) philopsos
2025-05-23 04:44:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 04:48:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 04:48:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 04:51:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-23 04:52:15 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-05-23 04:53:04 +0200pierrot(~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in)
2025-05-23 04:53:30 +0200pierrot(~pi@user/pierrot) pierrot
2025-05-23 04:54:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 04:54:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 04:57:33 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2025-05-23 04:57:52 +0200EvanR(~EvanR@user/evanr) EvanR
2025-05-23 05:02:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 05:02:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 05:03:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 05:08:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-23 05:10:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 05:13:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 05:14:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 05:15:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-23 05:21:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 05:22:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 05:25:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 05:27:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-23 05:28:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 05:29:04 +0200aforemny(~aforemny@2001:9e8:6ce6:ef00:2fd7:e80c:fba:7604) aforemny
2025-05-23 05:29:33 +0200aforemny_(~aforemny@2001:9e8:6cc7:2b00:37c8:f56f:dea9:2687) (Ping timeout: 276 seconds)
2025-05-23 05:30:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-23 05:34:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 05:34:57 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-23 05:35:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 05:35:52 +0200codedmart(~codedmart@li335-49.members.linode.com) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2025-05-23 05:36:09 +0200codedmart(~codedmart@li335-49.members.linode.com) codedmart
2025-05-23 05:41:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 05:41:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 05:41:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 05:42:35 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds)
2025-05-23 05:46:09 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-23 05:46:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-23 05:48:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 05:48:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 05:54:11 +0200michalz(~michalz@185.246.207.203)
2025-05-23 05:56:14 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-23 05:57:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 05:58:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 05:58:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 06:02:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-23 06:06:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 06:06:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 06:12:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-23 06:12:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 06:13:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 06:14:27 +0200tavare(~tavare@150.129.88.189)
2025-05-23 06:14:28 +0200tavare(~tavare@150.129.88.189) (Changing host)
2025-05-23 06:14:28 +0200tavare(~tavare@user/tavare) tavare
2025-05-23 06:18:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-23 06:20:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 06:20:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 06:24:01 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-05-23 06:27:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 06:27:17 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-05-23 06:27:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 06:28:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 06:32:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 06:33:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 06:33:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-23 06:39:45 +0200YuutaW(~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 276 seconds)
2025-05-23 06:39:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 06:40:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 06:44:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 06:44:26 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-23 06:44:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 06:44:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 06:48:10 +0200Square(~Square4@user/square) (Ping timeout: 252 seconds)
2025-05-23 06:49:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-23 06:51:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 06:52:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 06:53:44 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-05-23 06:56:32 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds)
2025-05-23 06:56:32 +0200takuan(~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer)
2025-05-23 06:56:46 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-05-23 06:56:59 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-05-23 07:00:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 07:00:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 07:00:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 07:05:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-23 07:07:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 07:07:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 07:09:35 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-05-23 07:10:33 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-23 07:11:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 07:13:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 07:14:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 07:16:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-23 07:20:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-23 07:20:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 07:23:37 +0200tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-05-23 07:27:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 07:27:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 07:28:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 07:33:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-23 07:34:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 07:34:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 07:40:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 07:40:45 +0200ft(~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving)
2025-05-23 07:41:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 07:44:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 07:45:06 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-05-23 07:46:51 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-23 07:49:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 07:49:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 07:51:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-23 07:56:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 07:57:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 08:01:23 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-05-23 08:02:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 08:03:27 +0200iteratee_(~kyle@199.119.84.78)
2025-05-23 08:03:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 08:03:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 08:04:13 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-05-23 08:06:13 +0200iteratee(~kyle@199.119.84.78) (Ping timeout: 248 seconds)
2025-05-23 08:07:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-23 08:08:48 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-23 08:08:50 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-05-23 08:09:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 08:10:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 08:12:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 08:12:41 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-23 08:16:13 +0200tromp(~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5)
2025-05-23 08:16:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 08:16:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 08:17:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-23 08:17:21 +0200j0lol(~j0lol@132.145.17.236) (Remote host closed the connection)
2025-05-23 08:17:35 +0200j0lol(~j0lol@132.145.17.236) j0lol
2025-05-23 08:18:20 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-23 08:22:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 08:23:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 08:24:35 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-23 08:27:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 08:28:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 08:29:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 08:32:07 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 276 seconds)
2025-05-23 08:32:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-23 08:35:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 08:35:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 08:41:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 08:41:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 08:43:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 08:47:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 08:47:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 08:48:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-23 08:51:14 +0200craunts7(~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat)
2025-05-23 08:51:28 +0200craunts7(~craunts@136.158.8.87)
2025-05-23 08:51:45 +0200craunts7(~craunts@136.158.8.87) (Client Quit)
2025-05-23 08:52:12 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-23 08:52:35 +0200craunts7(~craunts@136.158.8.87)
2025-05-23 08:54:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 08:55:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 08:58:04 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-23 08:59:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 09:00:01 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-23 09:00:39 +0200caconym7(~caconym@user/caconym) caconym
2025-05-23 09:01:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 09:02:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 09:04:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-23 09:04:43 +0200fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-05-23 09:09:33 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-05-23 09:09:52 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-23 09:10:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 09:10:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 09:10:47 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2025-05-23 09:11:43 +0200remedan(~remedan@ip-94-113-89-193.bb.vodafone.cz) remedan
2025-05-23 09:13:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 09:13:23 +0200 <tomsmeding> hellwolf: yay :)
2025-05-23 09:13:28 +0200YuutaW(~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW
2025-05-23 09:15:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 09:15:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 09:18:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-23 09:23:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 09:23:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 09:23:49 +0200 <Leary> Is there a good reason why, if I have e.g `t :: (,) _ _`, GHC can't give me `t ~ '(,) _ _`? How dangerous is it for me to magic up such an equality?
2025-05-23 09:25:23 +0200 <haskellbridge> <Morj> Omitting Nil also leads to some inconsistencies of functions for 2-tuples and [n>2]-tuples; that's why purescript doesn't omit it
2025-05-23 09:25:25 +0200 <haskellbridge> <Morj> Like should snd be snd = cdr . car or snd = cdr
2025-05-23 09:25:25 +0200 <haskellbridge> <Morj> *car . cdr, well you get it
2025-05-23 09:25:25 +0200 <haskellbridge> <Morj> fromList elements are homogenous though
2025-05-23 09:25:25 +0200 <haskellbridge> <Morj> No fromList [1, "one"]
2025-05-23 09:25:25 +0200 <haskellbridge> <hellwolf> named wildcard
2025-05-23 09:25:26 +0200 <haskellbridge> <hellwolf> check it out
2025-05-23 09:25:45 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-05-23 09:26:09 +0200 <haskellbridge> <hellwolf> perhaps it can help, since that's the only way to provide additional information to wildcard
2025-05-23 09:28:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 09:30:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 09:30:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 09:31:41 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2025-05-23 09:31:58 +0200innegatives(~user@37.61.112.6) innegatives
2025-05-23 09:32:14 +0200 <innegatives> Is there a recommended Haskell video course for absolute beginners?
2025-05-23 09:35:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-23 09:35:21 +0200 <[exa]> good question, I started with the written ones
2025-05-23 09:35:22 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-05-23 09:35:39 +0200 <[exa]> lemme check, there's been a good list of resources on haskell wiki
2025-05-23 09:36:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-23 09:36:38 +0200 <[exa]> some of stuff here is videos actually https://wiki.haskell.org/index.php?title=Tutorials
2025-05-23 09:37:13 +0200 <innegatives> ok thanks
2025-05-23 09:37:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-23 09:37:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 09:38:25 +0200 <[exa]> also maybe here https://wiki.haskell.org/index.php?title=Learning_Haskell
2025-05-23 09:39:38 +0200 <[exa]> btw innegatives are you programming already or is this te first time coding?
2025-05-23 09:39:48 +0200 <innegatives> been programming for 10+ years
2025-05-23 09:39:55 +0200 <tomsmeding> Leary: is t a term or a type?
2025-05-23 09:40:10 +0200 <hellwolf> 05-23 10:39 <innegatives> been programming for 10+ years
2025-05-23 09:40:10 +0200 <hellwolf> which language(s)?
2025-05-23 09:40:25 +0200 <innegatives> the usual, c++, javascript, typescript, go, python, etc
2025-05-23 09:40:43 +0200 <Leary> tomsmeding: type
2025-05-23 09:40:48 +0200 <[exa]> innegatives: unless you totally need videos you might have luck skimming through this https://learnyouahaskell.github.io/, it's a good book but there aren't exercises. But you should be able to invent some.
2025-05-23 09:42:39 +0200 <tomsmeding> Leary: do you mean something specific by writing `(,) _ _` instead of `(a, b)`?
2025-05-23 09:42:53 +0200 <[exa]> oh wow the wiki has a tutorial on tutorials https://wiki.haskell.org/index.php?title=Meta-tutorial
2025-05-23 09:43:32 +0200 <Leary> tomsmeding: No, just avoiding the complexities of quantification/unification etc.
2025-05-23 09:44:01 +0200 <Leary> My "magic" looks like: `matchTup :: forall {k1} {k2} (t :: (k1, k2)) r. (forall (a :: k1) (b :: k2). t :~: '(a, b) -> r) -> r; matchTup k = k (unsafeCoerce (Refl @t))`
2025-05-23 09:44:30 +0200 <[exa]> innegatives: and for a practical programmer, this is indispensable https://wiki.haskell.org/index.php?title=How_to_write_a_Haskell_program
2025-05-23 09:44:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 09:45:02 +0200user3(~user@37.61.120.251)
2025-05-23 09:45:09 +0200chele(~chele@user/chele) chele
2025-05-23 09:45:16 +0200 <tomsmeding> Leary: I guess one could say that you're asking: do type-level pairs have an eta law
2025-05-23 09:45:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 09:45:39 +0200innegatives(~user@37.61.112.6) (Ping timeout: 276 seconds)
2025-05-23 09:46:31 +0200 <tomsmeding> I don't think GHC ever reasons with eta laws in type checking
2025-05-23 09:47:09 +0200user3innegatives
2025-05-23 09:50:39 +0200 <tomsmeding> innegatives: that "how to write a haskell program" is mostly good but a little outdated
2025-05-23 09:51:45 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-05-23 09:52:35 +0200 <tomsmeding> don't add a Setup.hs; use `cabal build` to build instead of sandbox/install; use `cabal run` to run (also builds automatically) if needed; never run `cabal install` except if you want to globally install a binary in ~/.cabal/bin; you'll need to add dependencies to the `build-depends:` field of the <name>.cabal file (think package.json)
2025-05-23 09:53:17 +0200 <tomsmeding> uploading documentation to hackage is also much simpler than written there, but you'll get there when you get there
2025-05-23 09:54:06 +0200__monty__(~toonn@user/toonn) toonn
2025-05-23 09:54:39 +0200 <tomsmeding> the Libraries section is mostly bunk today because it's considered a very bad idea to install libraries globally; you declaratively depend on libraries, and if you need to depend on something that's not on Hackage, use a https://cabal.readthedocs.io/en/stable/cabal-project-description-file.html file (note: <package>.cabal and cabal.project are NOT the same thing, confusingly)
2025-05-23 09:55:54 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-05-23 09:56:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 09:56:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 09:57:13 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-23 09:58:41 +0200 <haskellbridge> <sm> innegatives here's a recent list of all the stuff: https://joyful.com/Haskell+map
2025-05-23 09:58:53 +0200 <innegatives> thanks dudes
2025-05-23 09:59:45 +0200 <tomsmeding> [exa]: honestly, https://cabal.readthedocs.io/en/stable/getting-started.html is much less extensive than that guide, but good enough for starting
2025-05-23 09:59:49 +0200 <tomsmeding> innegatives: ^
2025-05-23 09:59:58 +0200 <tomsmeding> with the advantage that it's actually up to date
2025-05-23 10:00:25 +0200 <[exa]> true
2025-05-23 10:00:39 +0200 <tomsmeding> if you need more than the getting started guide, you'll be in a good enough position to read more
2025-05-23 10:01:14 +0200djmetzle(~djmetzle@user/djmetzle) (Quit: Client closed)
2025-05-23 10:02:50 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2025-05-23 10:02:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 10:03:12 +0200 <tomsmeding> added a link to that guide at the top of the wiki page
2025-05-23 10:03:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 10:07:04 +0200 <dminuoso> [exa]: If possible, I would consider cabal data-files rather than trying to hack them into the binary file.
2025-05-23 10:07:07 +0200 <dminuoso> Via TH
2025-05-23 10:09:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 10:09:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 10:12:25 +0200Digitteknohippie(~user@user/digit) Digit
2025-05-23 10:13:08 +0200Digit(~user@user/digit) (Ping timeout: 252 seconds)
2025-05-23 10:13:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 10:14:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 10:15:07 +0200 <tomsmeding> do those work if you do weird things like include a package as a git dependency?
2025-05-23 10:15:45 +0200 <[exa]> dminuoso: yeah I'd love to, the issue is that there's no applicable package installation system on the other end, so in this case I really want to make a blob into the executable to keep stuff simple for the users
2025-05-23 10:15:55 +0200 <tomsmeding> my experience with cabal data files is that they mostly don't work unless you get a package from hackage or install it globally, but maybe things have changed
2025-05-23 10:16:08 +0200 <haskellbridge> <sm> data-files is totally fragile, waste of time IMHO
2025-05-23 10:16:30 +0200 <[exa]> tbh it worked for me on the few occasions I could use it
2025-05-23 10:17:22 +0200 <[exa]> as in, debian packaging can work with it, so you can do a debian package that distributes its own data without touching debtools, which is a win
2025-05-23 10:19:04 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-23 10:19:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-23 10:20:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 10:21:38 +0200DigitteknohippieDigit
2025-05-23 10:22:40 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-05-23 10:24:23 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-05-23 10:24:23 +0200haritz(~hrtz@user/haritz) haritz
2025-05-23 10:26:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 10:26:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 10:31:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-23 10:32:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-23 10:32:36 +0200pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-05-23 10:34:21 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)