2025/05/24

2025-05-24 00:02:24 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-24 00:07:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 00:07:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 00:08:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 00:08:48 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-05-24 00:08:53 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-05-24 00:12:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 00:12:55 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-24 00:13:54 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds)
2025-05-24 00:15:45 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-24 00:16:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 00:16:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 00:23:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 00:23:17 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-05-24 00:24:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 00:24:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 00:28:03 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-05-24 00:28:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 00:31:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 00:32:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 00:36:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 00:37:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 00:38:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 00:41:31 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-05-24 00:43:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 00:43:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 00:43:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 00:50:14 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-05-24 00:50:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 00:51:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 00:54:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 00:57:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 00:58:01 +0200haskellbridge(~hackager@syn-096-028-224-255.res.spectrum.com) (Remote host closed the connection)
2025-05-24 00:58:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 00:59:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-24 01:01:12 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-24 01:02:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 01:03:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:08:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 01:09:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:10:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 01:13:05 +0200haskellbridge(~hackager@syn-096-028-224-255.res.spectrum.com) hackager
2025-05-24 01:13:05 +0200ChanServ+v haskellbridge
2025-05-24 01:15:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 01:17:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 01:17:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:22:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-05-24 01:22:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 01:23:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:25:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 01:29:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 01:29:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:30:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-24 01:36:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 01:36:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:40:05 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 248 seconds)
2025-05-24 01:41:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 01:43:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 01:43:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:45:17 +0200sprotte24(~sprotte24@p200300d16f16bc005158636fac7acba7.dip0.t-ipconnect.de) (Quit: Leaving)
2025-05-24 01:46:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 01:46:37 +0200 <EvanR> I think it's working now but damn https://paste.tomsmeding.com/pfWqi8Uz
2025-05-24 01:47:39 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-24 01:50:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 01:51:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:55:32 +0200immibis(foobar@social.immibis.com) immibis
2025-05-24 01:56:58 +0200pyooque(~puke@user/puke) puke
2025-05-24 01:56:58 +0200pukeGuest3731
2025-05-24 01:56:58 +0200Guest3731(~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services)))
2025-05-24 01:56:58 +0200pyooquepuke
2025-05-24 01:57:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 01:57:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 01:58:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:58:58 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-05-24 02:00:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-05-24 02:02:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 02:03:56 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds)
2025-05-24 02:04:16 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-05-24 02:04:16 +0200jespada(~jespada@r167-61-145-158.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
2025-05-24 02:04:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 02:04:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 02:05:03 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)
2025-05-24 02:06:51 +0200EvanR(~EvanR@user/evanr) EvanR
2025-05-24 02:11:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 02:11:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 02:12:23 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-24 02:13:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 02:15:36 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-24 02:16:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 02:16:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 02:20:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-24 02:24:07 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-05-24 02:25:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 02:25:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 02:31:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 02:33:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 02:33:39 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-05-24 02:33:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 02:36:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 02:39:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 02:40:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 02:42:56 +0200 <haskellbridge> <hellwolf> f x -> f (t xs) -> f (t (x:xs))
2025-05-24 02:42:56 +0200 <haskellbridge> what could this be
2025-05-24 02:45:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 02:46:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 02:46:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 02:51:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 02:52:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 02:52:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 02:59:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 02:59:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:02:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 03:05:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 03:05:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:07:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 03:11:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 03:12:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:18:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 03:19:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 03:19:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:21:22 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-24 03:23:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 03:26:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 03:27:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:27:14 +0200anpad(~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in)
2025-05-24 03:27:24 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-05-24 03:30:47 +0200anpad(~pandeyan@user/anpad) anpad
2025-05-24 03:32:29 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds)
2025-05-24 03:33:32 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-05-24 03:33:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 03:34:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 03:34:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:34:51 +0200img(~img@user/img) img
2025-05-24 03:34:57 +0200 <haskellbridge> <Liamzee> EvanR: if I'm an edgelord, I now have at least a specious argument for why using Haskell is an existential necessity
2025-05-24 03:36:35 +0200 <haskellbridge> <Liamzee> the question about rogue AIs is not a question of if, but when and how bad, owing to the fact that AI is being democratized and is becoming trainable on increasingly cheaper software
2025-05-24 03:37:50 +0200 <haskellbridge> <Liamzee> we maiy end up getting to the stage where someone having a bad day with a $1000 GPU could instantiate a rogue AI very cheaply, consider rampage/spree violence as an example of people actually having similar motivations
2025-05-24 03:38:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 03:39:00 +0200 <haskellbridge> <Liamzee> high correctness languages like Haskell provide insulation against the effects of rogue AI, allowing social safety mechanisms, like police AI, to neutralize the threat before too much harm is done
2025-05-24 03:39:21 +0200 <haskellbridge> <Liamzee> dynamically and weakly typed languages are now an existential threat >:)
2025-05-24 03:40:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 03:41:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:41:33 +0200 <haskellbridge> <sm> I don't think a static type system has any preference for safe/non-rogue actions :)
2025-05-24 03:42:02 +0200 <haskellbridge> <sm> particular software might (try to)
2025-05-24 03:42:34 +0200 <haskellbridge> <Liamzee> in truth, I told you about my interaction with a Haskell luminary in some Galapagos community, right?
2025-05-24 03:43:21 +0200 <haskellbridge> <Liamzee> He moved onto AI and said in a group chat that from the point of view of AI, there is no difference between generated Rust or Haskell (other than Claude and DeepSeek STILL can't generate a proper Brick snake due to confusion regarding the API)
2025-05-24 03:43:26 +0200 <haskellbridge> <sm> by "you" do you mean me, or the generic Internet :)
2025-05-24 03:44:13 +0200 <haskellbridge> <Liamzee> I trust him, I'm forward-looking, so I'm trying to look for reasons why Haskell is still relevant when the US earmarked $500 billion (including from non-government sources) for AGI / ASI development
2025-05-24 03:45:01 +0200 <haskellbridge> <Liamzee> readability and comprehensibility, as monochrom explains, matters a lot, and code that humans can understand and make safe is now an existential necessity
2025-05-24 03:45:36 +0200 <haskellbridge> <Liamzee> of course the argument is specious as maerwald's pointed out fundamental problems in Haskell's execution model
2025-05-24 03:46:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 03:47:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:49:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 03:51:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 03:52:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:54:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-24 03:58:39 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-24 03:58:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 03:59:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:04:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 04:04:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:05:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 04:09:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 04:09:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:10:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 04:17:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 04:17:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:20:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 04:24:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 04:25:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:25:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 04:29:56 +0200 <monochrom> Yeah the leap from "type-safe" to "three-laws-safe" is unsubstantiated.
2025-05-24 04:30:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 04:31:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:35:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 04:37:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 04:38:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:40:42 +0200 <Axman6> ok, I guess things have changes a lot since I last needed to do this - how do I start a repl with a package in scope? I can't figure out how to do it with either cabal repl or ghci
2025-05-24 04:40:58 +0200 <Axman6> d*
2025-05-24 04:41:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-24 04:41:20 +0200 <Axman6> just want to do it in a dir without a cabal file
2025-05-24 04:41:28 +0200 <monochrom> Is it something like cabal repl -b base -b random ?
2025-05-24 04:41:52 +0200 <Axman6> urgh, I thought I tried that. I guess not
2025-05-24 04:44:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 04:44:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:51:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 04:51:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 04:51:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:52:43 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-24 04:57:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 04:58:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:58:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-24 05:03:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 05:03:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:08:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 05:08:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:09:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 05:10:08 +0200 <haskellbridge> <sm> generally cabal does useful things only inside cabal projects ?
2025-05-24 05:11:24 +0200 <geekosaur> `cabal install` only does useful things _outside_ cabal projects 🙂
2025-05-24 05:11:39 +0200 <haskellbridge> <sm> or so I thought.. right "cabal install", cabal scripts are some of the exceptions
2025-05-24 05:12:10 +0200 <haskellbridge> <sm> install is useful inside projects too
2025-05-24 05:12:53 +0200 <monochrom> generally, everything is not a project.
2025-05-24 05:12:56 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-24 05:14:17 +0200 <haskellbridge> <sm> Axman6, how about something like: cd; cabal install --lib PKG; ghci -package PKG ?
2025-05-24 05:14:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-24 05:15:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 05:16:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:17:36 +0200 <monochrom> Recently I ran into an instance when "cabal install --lib PKG" turns on non-default flags for PKG that are not turned on by "-b PKG" or "build-depends: PKG".
2025-05-24 05:18:26 +0200 <monochrom> Now I run "cabal repl -b PKG" then exit it then hand-edit the environment file myself.
2025-05-24 05:20:43 +0200 <monochrom> --lib is getting no love and is slowly becoming broken one bit at a time as a side effect of cabal gaining other features outside --lib but somehow --lib is affected and of course the devs want to scaremonger you into not using --lib so they are not interested in fixing it.
2025-05-24 05:22:08 +0200 <haskellbridge> <sm> well they're right I think. Glad to see the explanation when you use it at least
2025-05-24 05:22:28 +0200 <haskellbridge> <sm> I confirm "cabal install --lib random; cabal repl -b random" works, but better practice would be to add --package-env maybe
2025-05-24 05:22:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 05:23:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:23:52 +0200 <haskellbridge> <sm> removing the global environment file now before I forget
2025-05-24 05:24:12 +0200 <monochrom> I wasn't saying that --lib "didn't work". But it turns on non-default flags and suddenly time and space are wasted on downloading and building non-default dependencies because for example testing is enabled.
2025-05-24 05:24:53 +0200 <haskellbridge> <sm> and for completeness, with stack it's "stack repl --package random"
2025-05-24 05:25:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 05:25:38 +0200 <haskellbridge> <sm> monochrom yes, good to know; I was just confirming my theory for Axman6
2025-05-24 05:27:30 +0200aforemny_(~aforemny@2001:9e8:6cc6:bf00:652b:325:be37:9697) aforemny
2025-05-24 05:28:15 +0200 <haskellbridge> <sm> I guess it's simpler with stack because ~/.stack/global-project/stack.yaml sets one default package db & ghc version. Couldn't cabal do something more like that ?
2025-05-24 05:28:23 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-05-24 05:28:39 +0200aforemny(~aforemny@2001:9e8:6ce6:ef00:2fd7:e80c:fba:7604) (Ping timeout: 276 seconds)
2025-05-24 05:28:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 05:29:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:29:58 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-24 05:30:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-24 05:34:10 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds)
2025-05-24 05:36:18 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-24 05:36:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 05:36:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:41:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 05:41:57 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-24 05:42:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 05:43:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:44:28 +0200dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2025-05-24 05:45:30 +0200dutchie(~dutchie@user/dutchie) dutchie
2025-05-24 05:45:38 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-24 05:46:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 05:49:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 05:49:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:52:38 +0200tavare(~tavare@150.129.88.189)
2025-05-24 05:52:38 +0200tavare(~tavare@150.129.88.189) (Changing host)
2025-05-24 05:52:38 +0200tavare(~tavare@user/tavare) tavare
2025-05-24 05:56:09 +0200tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-05-24 05:56:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 05:56:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:57:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 05:57:49 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-05-24 05:59:43 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca
2025-05-24 06:02:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-24 06:03:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 06:04:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 06:10:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 06:10:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-24 06:10:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 06:12:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 06:16:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 06:17:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 06:17:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 06:24:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 06:24:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 06:28:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 06:31:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 06:31:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 06:31:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-24 06:35:35 +0200xff0x(~xff0x@2405:6580:b080:900:6950:4692:fe46:5eb2) (Ping timeout: 252 seconds)
2025-05-24 06:35:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-24 06:35:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 06:36:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 06:36:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 06:39:07 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-05-24 06:40:55 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2025-05-24 06:41:21 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-24 06:41:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 06:42:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 06:43:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 06:48:17 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-05-24 06:51:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 06:51:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 06:52:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 06:56:13 +0200poscat0x04(~poscat@user/poscat) poscat
2025-05-24 06:56:19 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-05-24 06:56:52 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds)
2025-05-24 06:56:53 +0200xff0x(~xff0x@2405:6580:b080:900:6950:4692:fe46:5eb2)
2025-05-24 06:57:41 +0200Lord_of_Life_Lord_of_Life
2025-05-24 06:58:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-24 06:58:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 06:59:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 06:59:17 +0200poscat(~poscat@user/poscat) (Ping timeout: 265 seconds)
2025-05-24 07:00:51 +0200Square(~Square@user/square) Square
2025-05-24 07:02:25 +0200Square(~Square@user/square) (Remote host closed the connection)
2025-05-24 07:02:25 +0200Square3(~Square@user/square) (Remote host closed the connection)
2025-05-24 07:02:47 +0200Square(~Square@user/square) Square
2025-05-24 07:04:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 07:05:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 07:08:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 07:11:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 07:11:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 07:13:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 07:17:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 07:17:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 07:22:59 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: kjdkjsb)
2025-05-24 07:24:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 07:24:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 07:24:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 07:29:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-24 07:29:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 07:29:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 07:30:14 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-05-24 07:32:53 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-24 07:33:25 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-05-24 07:35:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 07:35:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 07:37:37 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-24 07:37:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 07:39:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 07:40:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 07:42:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 07:42:56 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-24 07:43:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 07:43:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 07:49:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 07:49:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 07:53:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 07:55:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 07:55:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 07:56:33 +0200arahael(~arahael@user/arahael) (Ping timeout: 252 seconds)
2025-05-24 07:56:39 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 245 seconds)
2025-05-24 07:57:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 07:57:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 07:58:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-24 08:04:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 08:05:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 08:08:00 +0200Square(~Square@user/square) (Ping timeout: 252 seconds)
2025-05-24 08:09:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 08:11:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 08:12:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 08:16:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-24 08:18:48 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-05-24 08:19:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 08:19:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 08:20:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-24 08:22:47 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-24 08:24:20 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-05-24 08:25:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 08:26:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 08:27:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 08:32:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-24 08:33:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 08:33:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 08:38:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 08:38:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 08:38:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 08:39:37 +0200euandreh(~Thunderbi@2804:d59:892b:6600:cfc9:47d1:96e8:b32d) euandreh
2025-05-24 08:41:07 +0200tromp(~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5)
2025-05-24 08:43:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 08:43:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 08:44:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 08:47:19 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-24 08:49:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 08:49:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 08:50:36 +0200 <jle`> .b 1
2025-05-24 08:51:33 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-24 08:54:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 08:57:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 08:57:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 08:59:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-24 09:00:05 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-24 09:00:44 +0200caconym7(~caconym@user/caconym) caconym
2025-05-24 09:01:53 +0200euandreh1(~Thunderbi@189.6.105.228) euandreh
2025-05-24 09:02:25 +0200euandreh(~Thunderbi@2804:d59:892b:6600:cfc9:47d1:96e8:b32d) (Quit: euandreh)
2025-05-24 09:03:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 09:03:33 +0200euandreh(~Thunderbi@2804:d59:892b:6600:cfc9:47d1:96e8:b32d) euandreh
2025-05-24 09:03:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 09:06:24 +0200euandreh1(~Thunderbi@189.6.105.228) (Ping timeout: 265 seconds)
2025-05-24 09:09:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 09:09:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 09:10:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 09:12:46 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-05-24 09:15:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 09:16:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 09:16:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 09:23:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 09:23:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 09:24:54 +0200olivial(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2025-05-24 09:25:10 +0200olivial(~benjaminl@user/benjaminl) benjaminl
2025-05-24 09:25:51 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-05-24 09:26:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 09:30:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 09:30:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 09:31:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 09:33:04 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds)
2025-05-24 09:35:14 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-24 09:36:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 09:37:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 09:39:14 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-24 09:39:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 09:42:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 09:42:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 09:43:03 +0200srazkvt(~sarah@user/srazkvt) srazkvt
2025-05-24 09:44:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 09:47:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 09:47:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 09:48:39 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-24 09:50:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 09:50:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 09:54:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 09:54:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 09:55:04 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-24 09:55:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 09:57:40 +0200euandreh1(~Thunderbi@189.6.105.228) euandreh
2025-05-24 09:58:49 +0200jathan(~jathan@69.61.93.38) (Quit: WeeChat 2.3)
2025-05-24 09:59:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 09:59:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 10:00:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-24 10:00:32 +0200euandreh(~Thunderbi@2804:d59:892b:6600:cfc9:47d1:96e8:b32d) (Ping timeout: 265 seconds)
2025-05-24 10:00:32 +0200euandreh1euandreh
2025-05-24 10:04:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 10:04:47 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-05-24 10:04:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 10:09:34 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds)
2025-05-24 10:10:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 10:11:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 10:11:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 10:13:26 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-24 10:15:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-24 10:16:49 +0200Digit(~user@user/digit) (Remote host closed the connection)
2025-05-24 10:17:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 10:20:44 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-24 10:21:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 10:22:13 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-05-24 10:22:40 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-24 10:25:06 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-24 10:25:41 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-05-24 10:26:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 10:26:23 +0200ridcully(~ridcully@pd951f029.dip0.t-ipconnect.de) (Quit: WeeChat 4.6.2)
2025-05-24 10:26:41 +0200ridcully(~ridcully@pd951f029.dip0.t-ipconnect.de) ridcully
2025-05-24 10:27:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 10:27:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 10:30:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-24 10:31:36 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-05-24 10:33:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 10:33:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 10:36:11 +0200__monty__(~toonn@user/toonn) toonn
2025-05-24 10:36:53 +0200Frostillicus(~Frostilli@71.174.119.69)
2025-05-24 10:38:29 +0200euandreh(~Thunderbi@189.6.105.228) (Quit: euandreh)
2025-05-24 10:38:42 +0200euandreh(~Thunderbi@189.6.105.228) euandreh
2025-05-24 10:38:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 10:39:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 10:40:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 10:45:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 10:45:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 10:47:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 10:47:32 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-24 10:49:11 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-05-24 10:52:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 10:53:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 10:57:24 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-05-24 10:58:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 11:00:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 11:00:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 11:04:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-24 11:04:20 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
2025-05-24 11:06:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 11:07:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 11:12:03 +0200Digit(~user@user/digit) Digit
2025-05-24 11:12:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 11:12:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 11:16:45 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-05-24 11:17:10 +0200Frostillicus(~Frostilli@71.174.119.69) (Ping timeout: 260 seconds)
2025-05-24 11:19:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 11:19:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 11:26:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 11:26:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 11:27:20 +0200euandreh(~Thunderbi@189.6.105.228) (Quit: euandreh)
2025-05-24 11:27:38 +0200euandreh(~Thunderbi@189.6.105.228) euandreh
2025-05-24 11:30:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 11:31:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 11:35:52 +0200zmt00(~zmt00@user/zmt00) zmt00
2025-05-24 11:37:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 11:37:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 11:37:57 +0200zmt01(~zmt00@user/zmt00) (Ping timeout: 248 seconds)
2025-05-24 11:38:03 +0200swamp_(~zmt00@user/zmt00) zmt00
2025-05-24 11:41:05 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 268 seconds)
2025-05-24 11:41:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 11:44:28 +0200sam113102(~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101
2025-05-24 11:45:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 11:45:55 +0200sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer)
2025-05-24 11:45:57 +0200sam113102sam113101
2025-05-24 11:46:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 11:46:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-24 11:47:19 +0200swamp_(~zmt00@user/zmt00) (Ping timeout: 260 seconds)
2025-05-24 11:52:15 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-24 11:52:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 11:52:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 11:56:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 11:57:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 11:57:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 12:02:18 +0200Digit(~user@user/digit) (Ping timeout: 252 seconds)
2025-05-24 12:02:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 12:02:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 12:02:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 12:03:12 +0200lol_(~lol@2603:3016:1e01:b960:39f8:84ab:20bd:ae78) (Ping timeout: 276 seconds)
2025-05-24 12:04:13 +0200jcarpenter2(~lol@96.78.87.197)
2025-05-24 12:05:35 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-05-24 12:07:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 12:07:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 12:08:27 +0200Digit(~user@user/digit) Digit
2025-05-24 12:08:33 +0200ft(~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving)
2025-05-24 12:09:25 +0200fp(~Thunderbi@hof1.kyla.fi) fp
2025-05-24 12:13:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 12:15:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 12:15:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 12:18:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-24 12:19:31 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-24 12:21:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 12:22:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 12:23:17 +0200Vajb(~Vajb@n70s1gw9rltp7nongp6-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds)
2025-05-24 12:23:50 +0200Vajb(~Vajb@n70s1gw9rltp7nongp6-1.v6.elisa-mobile.fi)
2025-05-24 12:28:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 12:29:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 12:29:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 12:34:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 12:34:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 12:34:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 12:39:45 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-05-24 12:40:06 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-24 12:41:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 12:42:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 12:42:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 12:47:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 12:47:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-24 12:47:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 12:53:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 12:53:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 12:55:07 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-05-24 12:58:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 13:00:04 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-24 13:01:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 13:01:47 +0200jespada(~jespada@r179-25-61-235.dialup.adsl.anteldata.net.uy) jespada
2025-05-24 13:01:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 13:02:04 +0200caconym7(~caconym@user/caconym) caconym
2025-05-24 13:03:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 13:08:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 13:08:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 13:14:08 +0200tromp(~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-24 13:14:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 13:15:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 13:16:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 13:17:55 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-05-24 13:19:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-24 13:22:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 13:22:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 13:25:40 +0200puke(~puke@user/puke) (Quit: puke)
2025-05-24 13:26:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 13:27:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 13:28:57 +0200Everything(~Everythin@77.120.244.38) Everything
2025-05-24 13:30:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 13:30:39 +0200puke(~puke@user/puke) puke
2025-05-24 13:33:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 13:34:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 13:35:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-24 13:38:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 13:39:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 13:40:20 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-05-24 13:41:13 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 244 seconds)
2025-05-24 13:43:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 13:45:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 13:45:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 13:45:55 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds)
2025-05-24 13:48:40 +0200euphores(~SASL_euph@user/euphores) euphores
2025-05-24 13:50:20 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca
2025-05-24 13:50:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 13:51:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 13:52:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 13:57:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 13:58:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 13:58:44 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-05-24 14:00:07 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
2025-05-24 14:01:28 +0200takuan(~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
2025-05-24 14:01:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 14:03:14 +0200tromp(~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5)
2025-05-24 14:04:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 14:05:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 14:06:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-24 14:07:55 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-05-24 14:07:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 14:08:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 14:11:59 +0200euandreh(~Thunderbi@189.6.105.228) (Ping timeout: 260 seconds)
2025-05-24 14:13:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 14:14:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 14:17:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 14:19:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 14:20:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 14:22:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 14:23:03 +0200euandreh(~Thunderbi@189.6.105.228) euandreh
2025-05-24 14:26:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 14:26:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 14:32:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 14:33:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 14:33:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 14:38:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-24 14:39:35 +0200chiselfu1e(~chiselfus@user/chiselfuse) chiselfuse
2025-05-24 14:40:16 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-05-24 14:41:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 14:41:09 +0200fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 276 seconds)
2025-05-24 14:41:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 14:42:48 +0200chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds)
2025-05-24 14:48:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 14:48:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 14:49:18 +0200euphores(~SASL_euph@user/euphores) euphores
2025-05-24 14:49:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 14:50:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 14:50:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 14:54:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-24 14:55:22 +0200_________(~nobody@user/noodly) (Ping timeout: 252 seconds)
2025-05-24 14:56:15 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-24 14:56:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 14:57:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 15:03:06 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-05-24 15:03:57 +0200_________(~nobody@user/noodly) _________
2025-05-24 15:04:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 15:04:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 15:05:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 15:10:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-24 15:10:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 15:11:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 15:17:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 15:18:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 15:20:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 15:22:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 15:22:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 15:25:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 15:29:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 15:29:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 15:36:12 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds)
2025-05-24 15:36:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 15:36:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 15:36:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 15:41:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-24 15:44:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 15:44:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 15:49:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 15:50:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 15:52:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 15:55:15 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-24 15:57:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 15:57:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 15:58:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 15:59:17 +0200euandreh(~Thunderbi@189.6.105.228) (Read error: Connection reset by peer)
2025-05-24 15:59:28 +0200euandreh1(~Thunderbi@189.6.105.228) euandreh
2025-05-24 16:01:46 +0200euandreh1euandreh
2025-05-24 16:04:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 16:04:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 16:07:33 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-24 16:08:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 16:08:21 +0200weary-traveler(~user@user/user363627) user363627
2025-05-24 16:10:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 16:10:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 16:13:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-24 16:14:36 +0200kenran(~kenran@user/kenran) kenran
2025-05-24 16:17:14 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-05-24 16:18:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 16:18:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 16:21:29 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds)
2025-05-24 16:21:53 +0200Guest96(~Guest96@2601:400:8001:9520:298a:4c:8656:360)
2025-05-24 16:22:37 +0200Guest96(~Guest96@2601:400:8001:9520:298a:4c:8656:360) (Client Quit)
2025-05-24 16:23:46 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-05-24 16:23:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 16:25:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 16:25:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 16:26:26 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-05-24 16:27:51 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-24 16:30:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 16:31:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-24 16:31:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 16:33:42 +0200jespada_(~jespada@r190-135-76-187.dialup.adsl.anteldata.net.uy) jespada
2025-05-24 16:33:54 +0200Spawns_Carpeting(~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-05-24 16:35:29 +0200jespada(~jespada@r179-25-61-235.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds)
2025-05-24 16:35:33 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-24 16:35:54 +0200Spawns_Carpeting(~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting
2025-05-24 16:37:04 +0200haritz(~hrtz@152.37.68.157)
2025-05-24 16:37:04 +0200haritz(~hrtz@152.37.68.157) (Changing host)
2025-05-24 16:37:04 +0200haritz(~hrtz@user/haritz) haritz
2025-05-24 16:38:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 16:38:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 16:42:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 16:44:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 16:44:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 16:46:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-24 16:52:05 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-05-24 16:53:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 16:53:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 16:57:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 17:01:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 17:01:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 17:02:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 17:04:47 +0200tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 244 seconds)
2025-05-24 17:05:10 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-05-24 17:07:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 17:07:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 17:10:54 +0200tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier
2025-05-24 17:12:04 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-24 17:12:11 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-24 17:13:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 17:14:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 17:14:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 17:18:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-24 17:20:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 17:21:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 17:24:40 +0200tromp(~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-24 17:25:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 17:25:45 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-24 17:25:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 17:28:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 17:29:33 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-05-24 17:31:40 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-05-24 17:32:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 17:32:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 17:37:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 17:39:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 17:39:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 17:40:19 +0200erty(~user@user/aeroplane) aeroplane
2025-05-24 17:45:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 17:46:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 17:47:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 17:49:29 +0200tromp(~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5)
2025-05-24 17:52:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 17:52:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-24 17:53:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 17:57:16 +0200ft(~ft@mue-88-130-105-114.dsl.tropolys.de) ft
2025-05-24 17:59:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 17:59:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 18:03:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 18:03:21 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-24 18:03:36 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-05-24 18:03:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 18:04:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 18:07:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 18:07:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 18:09:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-24 18:13:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 18:13:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 18:14:06 +0200Square(~Square@user/square) Square
2025-05-24 18:17:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 18:17:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 18:18:40 +0200talismanick(~user@2601:644:937c:ed10::ae5) talismanick
2025-05-24 18:21:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 18:21:55 +0200acidjnk(~acidjnk@p200300d6e71c4f256df027c33ba93341.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-05-24 18:23:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 18:23:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 18:26:37 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-05-24 18:27:10 +0200 <talismanick> If there was an infix shorthand for flip, what would it ideally be?
2025-05-24 18:27:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 18:27:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 18:28:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 18:29:35 +0200 <TMA> talismanick: I would suggest ><
2025-05-24 18:31:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 18:32:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 18:34:02 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-24 18:35:32 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-05-24 18:35:42 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-24 18:38:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 18:38:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 18:38:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 18:40:29 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-05-24 18:41:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 18:42:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 18:43:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 18:47:05 +0200euphores(~SASL_euph@user/euphores) euphores
2025-05-24 18:47:29 +0200 <EvanR> but flip is unary
2025-05-24 18:47:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 18:47:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 18:48:53 +0200 <EvanR> -- looking at fits data block format it says the header is always a 2880 byte metadata block of text followed by optional 2880 byte data block
2025-05-24 18:48:57 +0200 <EvanR> I'm like that's random
2025-05-24 18:49:14 +0200 <EvanR> divide by 8 to see how many words I can fit in there
2025-05-24 18:49:15 +0200 <EvanR> 360
2025-05-24 18:49:16 +0200 <EvanR> oh
2025-05-24 18:49:24 +0200 <EvanR> it's babylonian tech
2025-05-24 18:50:06 +0200tromp(~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-24 18:53:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 18:54:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 18:56:01 +0200 <talismanick> EvanR: technically it's ternary, no? And, it can behave like a binary operator when composing higher-order functions in pointfree code
2025-05-24 18:56:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 18:56:18 +0200 <EvanR> :t flip
2025-05-24 18:56:19 +0200 <lambdabot> (a -> b -> c) -> b -> a -> c
2025-05-24 18:56:44 +0200 <EvanR> (a -> b -> c) -> (b -> a -> c) 😎
2025-05-24 18:56:49 +0200 <talismanick> which is actually why I was thinking to myself "it'd be nice to have infix synonyms for flip and const to clean up parens"
2025-05-24 18:57:16 +0200 <EvanR> it might work but adds to "haskell has too many operators" gripes
2025-05-24 18:58:16 +0200 <EvanR> I like >< for composing relations, think inner join
2025-05-24 18:58:21 +0200 <talismanick> I personally like APL-family languages, which amp that up to 11 lol
2025-05-24 18:58:23 +0200 <EvanR> er, cross join
2025-05-24 18:58:40 +0200 <EvanR> APL definitely owns up to it
2025-05-24 18:59:02 +0200 <EvanR> but they have a more or less understood repertoire of symbols
2025-05-24 18:59:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 18:59:14 +0200 <EvanR> while haskell has "I made this up last week and no one uses it"
2025-05-24 18:59:24 +0200 <talismanick> modern APL (Dyalog, etc), J, and BQN have implicit support for combinator composition without any operators, actually
2025-05-24 18:59:30 +0200 <talismanick> which I personally am a big fan of
2025-05-24 18:59:35 +0200 <EvanR> yes, pointless style
2025-05-24 18:59:57 +0200 <talismanick> https://raw.githubusercontent.com/codereport/Content/main/Publications/Combinatory_Logic_and_Combi…
2025-05-24 19:00:07 +0200tromp(~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5)
2025-05-24 19:00:22 +0200 <talismanick> this paper compares them to each other and to Haskell
2025-05-24 19:00:36 +0200 <EvanR> the "operators" I see on the first few pages are all recognizably APL
2025-05-24 19:01:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-24 19:01:05 +0200 <EvanR> while >< is not currency at this time in haskell as far as I know
2025-05-24 19:01:14 +0200 <EvanR> unlike <>
2025-05-24 19:01:37 +0200 <talismanick> >< feels like it should have meaning dual to <>
2025-05-24 19:02:03 +0200 <talismanick> like how >$< is to contravariant as <$> is to covariant
2025-05-24 19:02:09 +0200 <EvanR> Cosemigroup a => a -> (a, a)
2025-05-24 19:02:53 +0200 <talismanick> ah, but Haskell only has trivial comonoids
2025-05-24 19:02:59 +0200 <EvanR> which is again unary
2025-05-24 19:03:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 19:04:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 19:04:24 +0200 <EvanR> clone :: Something a => a -> (a,a)
2025-05-24 19:04:30 +0200 <talismanick> and, more pertinently, just join (,)
2025-05-24 19:04:45 +0200 <talismanick> or (,) >>= id if you don't like prefixing it with flip
2025-05-24 19:04:55 +0200 <EvanR> monads?
2025-05-24 19:05:17 +0200 <talismanick> :t join (,)
2025-05-24 19:05:18 +0200 <lambdabot> b -> (b, b)
2025-05-24 19:05:54 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-05-24 19:09:19 +0200 <EvanR> > join (,) 'c'
2025-05-24 19:09:20 +0200 <lambdabot> ('c','c')
2025-05-24 19:09:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 19:09:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 19:11:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 19:13:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 19:14:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 19:15:38 +0200tromp(~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-24 19:16:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-24 19:17:10 +0200 <talismanick> EvanR: there's an argument - intermediate to the paper's, which is that Haskell (or derivatives) should make combinators implicit to reduce noise in pointfree code - to be made that if haskell is going to have (<*>) as S, then it should additionally support BCKW with operators
2025-05-24 19:17:57 +0200 <EvanR> what do you mean make combinators implicit
2025-05-24 19:18:06 +0200 <talismanick> B is (.), C is flip, W is join - https://combinatorylogic.com/table.html
2025-05-24 19:18:29 +0200weary-traveler(~user@user/user363627) user363627
2025-05-24 19:19:45 +0200 <talismanick> EvanR: you'll see what I mean when you read the paper
2025-05-24 19:19:52 +0200 <talismanick> about hooks, forks, and trains
2025-05-24 19:20:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 19:20:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 19:20:43 +0200 <EvanR> I started to read about those in modern day APLs
2025-05-24 19:21:00 +0200 <talismanick> it implicitly parenthesizes function juxtapositions (without the need for ((.) . (. (.) .))-type spam) in those languages
2025-05-24 19:21:11 +0200 <EvanR> I remember when first starting haskell bringing up the limitation of every function being single input single output
2025-05-24 19:21:38 +0200 <EvanR> and people said it would be too complicated to have more than one output
2025-05-24 19:21:43 +0200 <EvanR> or input
2025-05-24 19:21:45 +0200 <talismanick> that is to say, it's function application itself which is overloaded
2025-05-24 19:22:27 +0200 <EvanR> then later we got Arrows and it was confirmed
2025-05-24 19:22:48 +0200 <talismanick> arrows are moreso the "wrong" abstraction
2025-05-24 19:22:54 +0200 <talismanick> at least as they were originally implemented
2025-05-24 19:23:11 +0200 <talismanick> there was an alternative basis of just three operators derived at some point IIRC
2025-05-24 19:23:16 +0200 <talismanick> (2012 or so?)
2025-05-24 19:23:27 +0200 <talismanick> but around the time that lenses were really taking off anyways
2025-05-24 19:24:24 +0200 <EvanR> I like the apl binary operator sensibility that in _ op _ the left operand is modulating or configuring the operation and the right operand is the "real argument", not sure how universally that applies but it sounds manageable
2025-05-24 19:24:33 +0200 <talismanick> and it was later derived that arrows are strong profunctors, which would've dovetailed nicely if integrating the work on profunctor optics hadn't stalled
2025-05-24 19:24:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 19:24:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 19:25:46 +0200 <EvanR> I will see how it turns out in the thing I'm working on now which will let you chain array operations
2025-05-24 19:25:56 +0200 <talismanick> right - it's a strong intuition, first made explicit in J, that we're missing an aspect of spoken language when talking about verbs, etc that we don't really have adverbs in ours languages
2025-05-24 19:26:16 +0200 <talismanick> in our programming languages*
2025-05-24 19:26:56 +0200 <EvanR> if function is a verb (sometimes dubious) then higher order functions are adverbs
2025-05-24 19:26:57 +0200 <talismanick> I like how BQN handles these topics
2025-05-24 19:27:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 19:27:30 +0200 <talismanick> not least because it makes everything so much less foreign that its choices were guided by a desire to keep the grammar context-free
2025-05-24 19:28:40 +0200 <EvanR> :t join @((->) Int)
2025-05-24 19:28:40 +0200 <talismanick> yes, but it becomes complicated by rank polymorphism (which is itself quite powerful in reducing verbosity and communicating intent but hard to square with static typing)
2025-05-24 19:28:41 +0200 <lambdabot> error: parse error on input ‘->’
2025-05-24 19:29:22 +0200 <EvanR> rank is one of several things you can represent in the type system for arrays
2025-05-24 19:29:39 +0200 <talismanick> only dependently, no? that's what Remora was about
2025-05-24 19:29:57 +0200 <monochrom> Belated about flip: I don't think there is benefit in making it infix, because you would need extra parentheses eg (f >< y) x. It is true that flip is conceptually unary---you use it to modify one single function. But if you really like the look of (><) f y x, that's cool too. :)
2025-05-24 19:29:59 +0200 <EvanR> I'll avoid the D word unless absolutely necessary xD
2025-05-24 19:30:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 19:30:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 19:30:57 +0200 <talismanick> it really is such a headache in representing tensoriality lmao
2025-05-24 19:31:05 +0200 <EvanR> haskell lets you put this information in the type system, but it's still not technically dependently typed, or it depends on politics if we need to or want to emphasize it
2025-05-24 19:31:12 +0200 <talismanick> arguably, APL is to blame here
2025-05-24 19:31:52 +0200 <monochrom> Hrm HOF as adverbs. listly :: (a -> b) -> [a] -> [b] ? :)
2025-05-24 19:31:58 +0200 <EvanR> for array operations the type variables might range over number like things
2025-05-24 19:32:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 19:32:19 +0200 <EvanR> but it doesn't necessary mean it needs to be compatible with literal numbers
2025-05-24 19:32:29 +0200 <monochrom> listly increment [3,1,4] = [3+1, 1+1, 4+1] :)
2025-05-24 19:32:30 +0200 <EvanR> still lets a lot of things be expressed
2025-05-24 19:32:43 +0200 <talismanick> insofar as the recieved wisdom on rank polymorphism in various languages (everything thus far has evolved - by a mix of trial and error as well as giving up and resorting to prior art - towards APL's model) has resulted in defaulting to requiring a choice of basis when encoding tensors
2025-05-24 19:33:23 +0200 <int-e> monochrom: bonus points if it reverses the list
2025-05-24 19:33:44 +0200 <int-e> for *checks notes* efficiency
2025-05-24 19:34:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 19:34:19 +0200acidjnk(~acidjnk@p200300d6e71c4f20e9033a69b5091294.dip0.t-ipconnect.de) acidjnk
2025-05-24 19:35:04 +0200 <talismanick> e.g. Julia in their arraypocalypse release - https://github.com/JuliaLang/LinearAlgebra.jl/issues/255
2025-05-24 19:36:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 19:36:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 19:36:59 +0200internatetional(~nate@2404:c0:5c40::2c02:1fc5) internatetional
2025-05-24 19:37:01 +0200 <talismanick> they tried to reinvent array handling in a way idiomatic to the language's Lisp/CLOS (multiple dispatch, first-class dynamic types, etc) roots before deciding APL had already "gotten it right"
2025-05-24 19:37:18 +0200 <talismanick> insofar as rank polymorphism goes
2025-05-24 19:37:34 +0200 <monochrom> More meta-ly, I am skeptic of going out of your way to fit "1st-order function -> verb, hof -> adverb", etc. Sure, when you can do it in easy cases, that's nice. But you will run into limits, natural languages never came remotely close to the depth of programming languages and type systems. (Do they have a whole hierarchy of nth-order adverbs for each n, like we have a whole hierarchy of nth-order functions for each n?)
2025-05-24 19:37:35 +0200 <haskellbridge> <sm> 👀
2025-05-24 19:38:25 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-05-24 19:39:00 +0200 <EvanR> adverbs are already overloaded
2025-05-24 19:39:12 +0200 <EvanR> since they ad-verbs and adjectives and other adverbs
2025-05-24 19:39:15 +0200 <talismanick> monochrom: right, your choices are to either hardcode it for each natural (kind of like how there's (,), (,,), (,,,), etc up to... 17, was it?) or figure out a clever inductive kind of encoding
2025-05-24 19:39:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-24 19:39:30 +0200 <EvanR> so adverbs are like the universe containing itself
2025-05-24 19:39:34 +0200 <talismanick> something something Day convolution?
2025-05-24 19:39:41 +0200 <talismanick> idek
2025-05-24 19:40:30 +0200 <EvanR> the boat is undeniably absolutely unsinkable
2025-05-24 19:40:34 +0200 <talismanick> the sort of reference frame thinking you need to include from the begnning in language design, arguably
2025-05-24 19:41:01 +0200 <EvanR> that's right associated so I'll come up with an adverb adverbing another adverb directly
2025-05-24 19:41:28 +0200 <monochrom> Exactly, English just merges all adverbs into one single level. For no reason apart from lack of imagination. So why not also merge adverbs with verbs? I am trying to say that natural languages are irrational and ad hoc in the first place, why shoehorn a beatifully designed programming language into that mess.
2025-05-24 19:41:37 +0200 <EvanR> get out very promptly
2025-05-24 19:41:52 +0200 <talismanick> EvanR: well, rank polymorphism (or something like it) could perhaps be phrased in the language of enriched categories
2025-05-24 19:42:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 19:42:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 19:42:55 +0200 <EvanR> that's an insult to irrational numbers, which are well principled and non ad hoc at all
2025-05-24 19:42:59 +0200 <talismanick> some way of giving composition rules structure without muddying the object language-metalanguage distinction to the point of incoherence
2025-05-24 19:43:37 +0200 <EvanR> am I reading that julia dropped some of its type level detail?
2025-05-24 19:44:24 +0200 <EvanR> also >transposing a vector returns a covector ok...
2025-05-24 19:44:34 +0200 <talismanick> well, you could say that it made a choice to standardize on APL-style behavior for array operations
2025-05-24 19:45:02 +0200 <EvanR> which behavior exactly, because even APLs disagree on array behavior
2025-05-24 19:45:53 +0200 <EvanR> the behavior of rank?
2025-05-24 19:46:03 +0200 <talismanick> yeah, rank polymorphism/broadcasting
2025-05-24 19:46:57 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-05-24 19:47:01 +0200 <talismanick> as opposed to having operations on collections be a matter of generic-as-possible multiple dispatch like everything else in the language
2025-05-24 19:47:08 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-24 19:48:05 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-24 19:49:12 +0200 <talismanick> "transpose of a vector is a covector" is an example of a more algebraically-principled approach like I gestured towards when I asserted that APL's solution to encoding bulk operations in light of tensorial structure might actually go too far in semantic assumptions
2025-05-24 19:49:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 19:49:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 19:50:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 19:50:06 +0200tromp(~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5)
2025-05-24 19:50:13 +0200 <talismanick> arrays/rank-polymorphism <-> choice of basis with explicit dimensions, etc
2025-05-24 19:51:19 +0200 <talismanick> for a statically-typed language, that is
2025-05-24 19:51:39 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 265 seconds)
2025-05-24 19:51:59 +0200 <talismanick> Conal Elliott has written about this
2025-05-24 19:52:04 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-05-24 19:52:10 +0200 <monochrom> I heard that when applying category theory to linear algebra, naturality becomes being independent of the choice of basis.
2025-05-24 19:54:11 +0200 <talismanick> https://hackage.haskell.org/package/vector-space is a step in that direction
2025-05-24 19:54:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-24 19:55:05 +0200 <monochrom> Hrm, next time someone asks "does Haskell have machine learning libraries" may I answer "yes, it's called vector-space"? >:)
2025-05-24 19:55:25 +0200 <monochrom> Also next time when someone asks about quantum computing libraries >:) >:)
2025-05-24 19:55:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 19:55:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 19:56:15 +0200 <talismanick> now we need someone to hook that up together with https://gitlab.com/sheaf/fir as a highly-optimizing backend
2025-05-24 19:56:39 +0200 <monochrom> (That's what I have been telling first-year students. You want CG? It's linear algebra again. You want ML? It's linear algebra again. You want quantum computing? It's linear algebra again, and this time with complex numbers too!)
2025-05-24 19:57:50 +0200 <talismanick> rewriting ML in terms of infinite-dimensional function spaces could be powerful if only there existed a modicum of a guarantee that if you follow this-this-and-that algebraic restriction you'll get efficient compilation to the GPU
2025-05-24 19:57:56 +0200 <monochrom> Hrm why did they call it FIR?
2025-05-24 19:58:04 +0200 <talismanick> no clue lol
2025-05-24 19:58:13 +0200 <monochrom> heh OK
2025-05-24 19:58:38 +0200 <talismanick> and the last commit was a year ago
2025-05-24 19:58:40 +0200 <monochrom> Well ML just needs 10^10-dimensional for now.
2025-05-24 19:58:40 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-05-24 19:58:46 +0200 <int-e> . o O ( it's a tree )
2025-05-24 19:58:50 +0200 <talismanick> yeah, exactly lol
2025-05-24 19:59:48 +0200 <monochrom> I grew up in a very urban city (Hong Kong) so I never paid attention to tree species and names, be it in English or Chinese.
2025-05-24 20:00:17 +0200 <talismanick> like, at what point do you start getting better results with automated optimizations when you instead write "assume we have a Banach space with these additional properties giving us reasonably-fast convergence for special cases x, y, & z"?
2025-05-24 20:00:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 20:00:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 20:02:12 +0200 <monochrom> (Instead I paid attention to distinguishing between fast food franchises heh.)
2025-05-24 20:02:34 +0200 <talismanick> and whatever happened to all that talk of the manifold hypothesis, anyways? do they still tag on some arbitrarily high dimension rather than speaking of (uniformly-convergent?) sequences of spaces because infinite-dimensional manifolds are too much of a pain to be worth the extra effort?
2025-05-24 20:04:11 +0200 <monochrom> What is the manifold hypothesis?
2025-05-24 20:04:19 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-05-24 20:04:48 +0200 <EvanR> it's the 100 - 0 rule, 100% of the practical value comes from 0% of the possibly dimensions
2025-05-24 20:05:07 +0200 <talismanick> for neural nets, the data is internally encoded in long, long vectors of floats
2025-05-24 20:05:18 +0200 <monochrom> Ah. Thanks.
2025-05-24 20:05:40 +0200srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-05-24 20:05:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 20:05:51 +0200 <monochrom> Wait why is it not called simply "the linear algebra hypothesis"? :)
2025-05-24 20:07:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 20:07:06 +0200 <talismanick> which - for some arbitrarily-large n - maps trivially onto an n-manifold (some arbitrarily curved and connected space with the restriction that it be locally similar to R^n, so calculus is possible)
2025-05-24 20:07:07 +0200 <EvanR> I wish my linear algebra course prefaced the innumerable matrix exercises with "this is used in literally everything ever so pay attention"
2025-05-24 20:07:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 20:07:51 +0200 <talismanick> and training it means walking this manifold surface with calculus to find a manifold with much smaller n
2025-05-24 20:08:14 +0200 <talismanick> find a submanifold*
2025-05-24 20:08:25 +0200 <monochrom> Although, I now recall a talk from which I learned that research on the brain does model collected data as an n-dim manifold (if there are n measuring probes).
2025-05-24 20:09:07 +0200 <monochrom> (so not just linear algebra, but also diff geom and topology)
2025-05-24 20:10:50 +0200 <talismanick> isn't topology only explicitly used in rarer techniques like persistent homology/TDA?
2025-05-24 20:11:09 +0200 <monochrom> I don't know anything beyond that.
2025-05-24 20:11:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-24 20:12:07 +0200 <EvanR> does haskell have killer webapps
2025-05-24 20:12:12 +0200 <EvanR> yes, vector-space
2025-05-24 20:12:20 +0200 <monochrom> hee hee was going to say
2025-05-24 20:12:37 +0200 <talismanick> but yeah, the manifold hypothesis is the principle raison d'etre for "geometric deep learing", which tries to bring diffgeo into machine learning
2025-05-24 20:14:14 +0200 <talismanick> there's also categorical cybernetics, which helps bring up work closer to direct implementation in Haskell
2025-05-24 20:14:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 20:14:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 20:15:08 +0200 <monochrom> I misread that as "direct manipulation" because I was primed by "cybernetics".
2025-05-24 20:15:15 +0200erty(~user@user/aeroplane) (Ping timeout: 276 seconds)
2025-05-24 20:15:28 +0200 <monochrom> "Haskell can directly manipulate me!" Now that's a killer app. Literally.
2025-05-24 20:15:52 +0200 <EvanR> you heard of cloud haskell, now we can have cyberhaskell
2025-05-24 20:15:57 +0200 <talismanick> some of the work in that line even explicitly mentioned a blogpost which demonstrated that reverse-mode automatic differentiation ("backprop" to the heathen masses) has the type of a(n unlawful) lens lol
2025-05-24 20:15:57 +0200 <EvanR> who may or may not terminate
2025-05-24 20:16:31 +0200 <talismanick> https://www.philipzucker.com/reverse-mode-differentiation-is-kind-of-like-a-lens-ii/
2025-05-24 20:17:20 +0200 <EvanR> cloudhaskell : skynet :: cyberhaskell : terminator
2025-05-24 20:17:40 +0200 <talismanick> https://cybercat.institute/
2025-05-24 20:17:54 +0200 <talismanick> https://cybercat.institute/blog/
2025-05-24 20:18:11 +0200 <EvanR> I've been seeing a lot of safety and governance stuff lately
2025-05-24 20:18:23 +0200 <EvanR> why does this seem like a ship has sailed sort of area
2025-05-24 20:18:52 +0200 <EvanR> by the time the funding goes through something has already broken out of the lab
2025-05-24 20:19:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 20:20:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 20:20:29 +0200 <EvanR> in order of decreasing responsiveness: web 2.0, AI stuff, safety theory, legal framework, congressional clue
2025-05-24 20:20:46 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-05-24 20:21:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 20:24:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 20:24:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 20:26:19 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-05-24 20:26:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 20:27:37 +0200balthxzar(~balthxzar@user/Balthxzar) Balthxzar
2025-05-24 20:30:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 20:30:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 20:33:12 +0200euandreh(~Thunderbi@189.6.105.228) (Quit: euandreh)
2025-05-24 20:33:32 +0200euandreh(~Thunderbi@189.6.105.228) euandreh
2025-05-24 20:33:46 +0200 <monochrom> BTW Bryon Cook et al. made an automated verification method for checking termination. It is good for "for i from a to b step k" loops. They call the tool Terminator. The method uses linear algebra again.
2025-05-24 20:34:06 +0200 <monochrom> https://www.researchgate.net/publication/221402998_Terminator_Beyond_Safety for example, or generally search for "Byron Cook Terminator".
2025-05-24 20:34:39 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2025-05-24 20:36:02 +0200Everything(~Everythin@77.120.244.38) (Quit: leaving)
2025-05-24 20:37:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 20:38:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 20:38:12 +0200 <EvanR> preconditions: b is finite
2025-05-24 20:38:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 20:38:23 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-24 20:38:29 +0200 <EvanR> result follows
2025-05-24 20:38:47 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-24 20:42:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-24 20:42:55 +0200rvalue-(~rvalue@user/rvalue) rvalue
2025-05-24 20:43:35 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 260 seconds)
2025-05-24 20:44:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 20:44:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 20:47:24 +0200euandreh(~Thunderbi@189.6.105.228) (Quit: euandreh)
2025-05-24 20:47:52 +0200rvalue-rvalue
2025-05-24 20:49:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 20:49:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 20:50:22 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-05-24 20:53:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 20:53:08 +0200kenran(~kenran@user/kenran) (Remote host closed the connection)
2025-05-24 20:56:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 20:56:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 20:59:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 21:00:03 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-24 21:00:42 +0200caconym7(~caconym@user/caconym) caconym
2025-05-24 21:04:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 21:04:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 21:09:11 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-05-24 21:11:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 21:11:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 21:11:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 21:15:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 21:19:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 21:20:11 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-05-24 21:20:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 21:21:34 +0200__monty__(~toonn@user/toonn) toonn
2025-05-24 21:25:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 21:25:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 21:26:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 21:30:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 21:31:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 21:32:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-24 21:36:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 21:37:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 21:38:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 21:39:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 21:42:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 21:43:00 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds)
2025-05-24 21:43:16 +0200balthxzar(~balthxzar@user/Balthxzar) (Quit: Konversation terminated!)
2025-05-24 21:46:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 21:47:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 21:47:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 21:52:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 21:53:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 21:58:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 21:58:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 21:58:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 22:03:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-24 22:04:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 22:05:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 22:05:10 +0200pavonia(~user@user/siracusa) siracusa
2025-05-24 22:11:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 22:12:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 22:14:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 22:18:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 22:18:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 22:19:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-24 22:23:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 22:23:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 22:26:53 +0200sprotte24(~sprotte24@p200300d16f200d007d4433339bb724df.dip0.t-ipconnect.de)
2025-05-24 22:28:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 22:29:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 22:30:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 22:30:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 22:31:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 22:35:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-24 22:37:22 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 252 seconds)
2025-05-24 22:38:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 22:39:11 +0200cyphase(~cyphase@user/cyphase) cyphase
2025-05-24 22:39:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 22:45:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 22:46:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 22:46:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 22:50:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-24 22:51:02 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-24 22:51:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 22:51:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 22:57:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 22:57:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 23:00:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 23:01:03 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-05-24 23:01:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 23:01:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 23:03:26 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-05-24 23:06:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 23:08:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 23:08:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 23:14:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 23:15:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 23:17:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 23:21:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 23:21:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 23:22:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-24 23:27:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 23:27:45 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
2025-05-24 23:27:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 23:33:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 23:33:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 23:33:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 23:34:39 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-05-24 23:34:59 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj