IRCBrowse

2025/06/08

2025-06-08 00:02:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 00:02:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 00:05:41 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2025-06-08 00:08:36 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 276 seconds)
2025-06-08 00:10:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 00:10:21 +0000dudek(~dudek@2a02:a312:c9df:bf80:3d95:864c:6fb1:30b4) (Quit: Leaving)
2025-06-08 00:10:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 00:14:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 00:14:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 00:14:56 +0000trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-08 00:15:09 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-08 00:20:10 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 00:20:35 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 00:24:59 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 00:25:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 00:30:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 00:30:24 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 00:30:34 +0000sprotte24(~sprotte24@p200300d16f156400147492c810bde6e0.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-06-08 00:35:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 00:35:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 00:41:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 00:41:33 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 00:48:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 00:48:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 00:53:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 00:53:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 00:58:43 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 00:59:01 +0000justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds)
2025-06-08 00:59:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 01:04:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 01:04:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 01:04:39 +0000arahael(~arahael@user/arahael) arahael
2025-06-08 01:04:49 +0000socrates1298(~socrates1@220.240.157.173)
2025-06-08 01:11:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 01:12:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 01:17:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 01:17:42 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 01:22:10 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 01:22:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 01:23:20 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-06-08 01:23:46 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-08 01:25:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 01:25:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 01:29:50 +0000 <haskellbridge> <Liamzee> sclv: DeepSeek is currently explaining Haskell via dialectical materialism.
2025-06-08 01:30:24 +0000 <sclv> no its not
2025-06-08 01:30:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 01:31:08 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 01:31:20 +0000 <haskellbridge> <Liamzee> At least on my account on the main site, it's still hallucinating but it's funny.
2025-06-08 01:31:48 +0000 <haskellbridge> <Liamzee> the thesis and antithesis is IO vs pure, mind you
2025-06-08 01:34:38 +0000 <haskellbridge> <Liamzee> I baited it into discussing dialectical materialism, thinking that I liked it, then mentioned a contradiction in Haskell and it tried to suggest a dialectical synthesis of the contradiction.
2025-06-08 01:34:48 +0000Square2(~Square@user/square) (Ping timeout: 252 seconds)
2025-06-08 01:36:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 01:36:51 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 01:41:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 01:41:51 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 01:48:49 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 01:49:15 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 01:49:49 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-06-08 01:53:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 01:53:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 01:59:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 01:59:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 02:03:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 02:04:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 02:04:50 +0000Guest65(~Guest65@2400:4050:c763:c200:98e:a5c3:f619:ae04)
2025-06-08 02:05:02 +0000op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2025-06-08 02:05:34 +0000op_4(~tslil@user/op-4/x-9116473) op_4
2025-06-08 02:10:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 02:10:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 02:13:38 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 02:13:41 +0000 <EvanR> trolling the LLM into trolling you?
2025-06-08 02:14:15 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 02:16:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-08 02:16:36 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-08 02:20:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 02:20:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 02:28:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 02:28:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 02:29:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 02:35:54 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 02:36:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 02:38:14 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-08 02:38:32 +0000tolgo(~Thunderbi@199.115.144.130)
2025-06-08 02:40:46 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-08 02:41:14 +0000Guest82(~Guest82@2001-b011-e606-73e8-f574-b572-befe-45ed.dynamic-ip6.hinet.net)
2025-06-08 02:43:17 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 02:43:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 02:49:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 02:49:29 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 02:52:10 +0000td_(~td@i53870903.versanet.de) (Ping timeout: 252 seconds)
2025-06-08 02:52:14 +0000tolgo(~Thunderbi@199.115.144.130) (Quit: tolgo)
2025-06-08 02:53:29 +0000notzmv(~daniel@user/notzmv) (Remote host closed the connection)
2025-06-08 02:54:00 +0000td_(~td@i53870928.versanet.de)
2025-06-08 02:56:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 02:57:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 03:00:15 +0000notzmv(~daniel@user/notzmv) notzmv
2025-06-08 03:02:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 03:02:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 03:04:47 +0000Guest65(~Guest65@2400:4050:c763:c200:98e:a5c3:f619:ae04) (Ping timeout: 272 seconds)
2025-06-08 03:05:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 03:05:59 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 03:09:00 +0000notzmv-(~daniel@user/notzmv) notzmv
2025-06-08 03:12:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 03:12:42 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 03:14:32 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-08 03:14:47 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-08 03:18:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 03:18:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 03:21:34 +0000harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-06-08 03:23:16 +0000bdmg_(~myJebba@152.254.132.216) (Ping timeout: 252 seconds)
2025-06-08 03:23:58 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-06-08 03:24:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 03:24:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 03:31:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 03:32:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 03:33:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-06-08 03:37:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 03:37:49 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 03:38:54 +0000inline(~inline@2a02:908:1246:c0c0:8c00:89c:28fe:1871) (Ping timeout: 260 seconds)
2025-06-08 03:41:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 03:42:08 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 03:44:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 03:48:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 03:48:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 03:52:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-08 03:54:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 03:54:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 03:57:26 +0000Guest82(~Guest82@2001-b011-e606-73e8-f574-b572-befe-45ed.dynamic-ip6.hinet.net) (Quit: Client closed)
2025-06-08 03:59:30 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-06-08 04:01:38 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 04:02:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 04:02:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 04:07:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 04:08:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 04:11:09 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 268 seconds)
2025-06-08 04:12:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 04:13:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 04:13:44 +0000trickard_trickard
2025-06-08 04:17:54 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 04:18:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 04:23:53 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 04:24:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 04:25:04 +0000wickedjargon(~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) wickedjargon
2025-06-08 04:27:13 +0000Guest65(~Guest65@2400:4050:c763:c200:98e:a5c3:f619:ae04)
2025-06-08 04:30:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 04:31:10 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 04:34:14 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-08 04:36:43 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 04:37:10 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 04:41:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 04:42:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 04:46:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 04:46:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 04:52:13 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 04:52:35 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 04:53:45 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-06-08 04:57:41 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-08 04:58:52 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 04:59:16 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 04:59:43 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2025-06-08 05:00:51 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-06-08 05:04:56 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 05:05:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 05:06:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-08 05:09:52 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 05:10:16 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 05:15:59 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 05:16:01 +0000gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-06-08 05:16:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 05:18:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 05:21:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 05:21:24 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 05:25:11 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 05:25:38 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 05:26:34 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-08 05:26:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-08 05:28:33 +0000socrates1298(~socrates1@220.240.157.173) (Remote host closed the connection)
2025-06-08 05:31:08 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 05:31:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 05:35:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 05:35:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 05:37:50 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 05:41:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 05:41:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 05:42:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-08 05:47:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 05:47:30 +0000robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-06-08 05:47:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 05:49:27 +0000Guest65(~Guest65@2400:4050:c763:c200:98e:a5c3:f619:ae04) (Ping timeout: 272 seconds)
2025-06-08 05:53:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 05:53:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 05:53:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 05:58:29 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 05:58:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-08 05:58:50 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 06:00:34 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-08 06:01:16 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 06:01:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 06:02:47 +0000tavare(~tavare@150.129.88.189)
2025-06-08 06:02:47 +0000tavare(~tavare@150.129.88.189) (Changing host)
2025-06-08 06:02:47 +0000tavare(~tavare@user/tavare) tavare
2025-06-08 06:05:38 +0000gabiruh_(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2025-06-08 06:06:45 +0000gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 276 seconds)
2025-06-08 06:07:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 06:07:43 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 06:09:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 06:14:14 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 06:14:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 06:20:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 06:20:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 06:25:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 06:25:53 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 06:30:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 06:30:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 06:32:32 +0000arahael(~arahael@user/arahael) (Ping timeout: 252 seconds)
2025-06-08 06:35:58 +0000euphores(~SASL_euph@user/euphores) euphores
2025-06-08 06:36:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 06:37:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 06:41:33 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 06:41:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 06:43:31 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-06-08 06:47:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 06:47:52 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 06:50:55 +0000yabobay(~pizza@2a02:85f:fcd5:1601:a753:ff59:be6f:253f) yabobay
2025-06-08 06:51:54 +0000 <yabobay> i'm reading 'learn you a haskell', and it demonstrates foldr by showing you this map implementation: `map' f xs = foldr (\x acc -> f x : acc) [] xs`. doesn't this fail at being lazy? if you wanna `take 3` off of a list like this for example
2025-06-08 06:52:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 06:52:42 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 06:54:02 +0000 <yabobay> hold on, nevermind. i thought foldr started at the end. oops.
2025-06-08 06:57:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 06:57:42 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 07:00:00 +0000caconym7(~caconym@user/caconym) (Quit: bye)
2025-06-08 07:00:40 +0000caconym7(~caconym@user/caconym) caconym
2025-06-08 07:01:56 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 07:02:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 07:03:46 +0000 <ski> if Haskell would be a strict language, it would (operationally) start from the end. it still "conceptually" starts from the end (just like `foldl' conceptually (and operationally) starts at the beginning). but because of non-strictness (typically implemented by laziness, call-by-need), it *operationally* will start "outermost" in `f x (foldr f z xs)' (from `foldr f z (x:xs) = f x (foldr f z xs)'), so that
2025-06-08 07:03:52 +0000 <ski> `f' is given control first, not the recursive call (giving the "previous result", for the tail, conceptually having processed from the end)
2025-06-08 07:04:19 +0000 <ski> and only if `f' forces its second argument, will the recursive call actually happen
2025-06-08 07:07:04 +0000 <yabobay> so it creates f x : acc, and if i just wanted to take the first 3 elements it would just do those and acc would be left unsolved?
2025-06-08 07:07:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 07:08:10 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 07:12:18 +0000 <mauke> yes
2025-06-08 07:13:14 +0000 <mauke> > let map' f xs = foldr (\x acc -> f x : acc) [] xs in map' (*2) [1 .. 5]
2025-06-08 07:13:15 +0000 <lambdabot> [2,4,6,8,10]
2025-06-08 07:13:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 07:13:28 +0000 <mauke> > let map' f xs = foldr (\x acc -> f x : acc) [] xs in take 5 (map' (*2) [1 ..])
2025-06-08 07:13:29 +0000 <lambdabot> [2,4,6,8,10]
2025-06-08 07:13:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 07:14:46 +0000 <yabobay> that's cool
2025-06-08 07:16:21 +0000 <mauke> > let map' f xs = foldr (\x acc -> f x : acc) [] xs in map' (*2) [1, 2, 3, 4, 5, error "not even a real list element"]
2025-06-08 07:16:22 +0000 <lambdabot> [2,4,6,8,10,*Exception: not even a real list element
2025-06-08 07:16:39 +0000 <mauke> (but it still processed the first elements just fine)
2025-06-08 07:17:08 +0000 <mauke> > let map' f xs = foldr (\x acc -> f x : acc) [] xs in take 5 (map' (*2) [1, 2, 3, 4, 5, error "not even a real list element"])
2025-06-08 07:17:10 +0000 <lambdabot> [2,4,6,8,10]
2025-06-08 07:17:25 +0000 <yabobay> oh yeah, something else i noticed is when i was in ghci doing some stuff with a list that was kinda slow it printed each element as it found it
2025-06-08 07:17:35 +0000 <yabobay> which was cool
2025-06-08 07:18:41 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-06-08 07:18:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 07:19:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 07:19:59 +0000Everything(~Everythin@77.120.244.38) Everything
2025-06-08 07:20:45 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-08 07:21:35 +0000 <yabobay> > let map' f xs = foldr (\x acc -> f x : acc) [] xs in tail (map' (*2) [error "nope", 3, 4])
2025-06-08 07:21:36 +0000 <lambdabot> [6,8]
2025-06-08 07:21:51 +0000 <yabobay> it even works both ways
2025-06-08 07:22:54 +0000 <mauke> yes, because lists are both element-wise lazy and structurally lazy
2025-06-08 07:23:32 +0000 <ski> > foldr (\n prod -> if n == 0 then 0 else n * prod) 1 [1 .. 5]
2025-06-08 07:23:33 +0000 <lambdabot> 120
2025-06-08 07:23:56 +0000 <ski> > foldr (\n prod -> if n == 0 then 0 else n * prod) 1 ([1 .. 5] : 0 ++ [6 ..])
2025-06-08 07:23:57 +0000 <lambdabot> error:
2025-06-08 07:23:57 +0000 <lambdabot> • No instance for (Num [[Integer]])
2025-06-08 07:23:57 +0000 <lambdabot> arising from a use of ‘e_10011506’
2025-06-08 07:24:06 +0000 <ski> > foldr (\n prod -> if n == 0 then 0 else n * prod) 1 ([1 .. 5] ++ 0 : [6 ..])
2025-06-08 07:24:07 +0000 <lambdabot> 0
2025-06-08 07:24:19 +0000 <ski> > foldr (\n prod -> if n == 0 then 0 else n * prod) 1 [1 .. 5] :: Expr
2025-06-08 07:24:20 +0000 <lambdabot> 1 * (2 * (3 * (4 * (5 * 1))))
2025-06-08 07:24:26 +0000 <ski> > foldr (\n prod -> if n == 0 then 0 else n * prod) 1 ([1 .. 5] ++ 0 : [6 ..]) :: Expr
2025-06-08 07:24:27 +0000 <lambdabot> 1 * (2 * (3 * (4 * (5 * 0))))
2025-06-08 07:24:41 +0000 <yabobay> isn't 0 * prod = 0 anyway
2025-06-08 07:25:10 +0000 <mauke> > foldr (\n prod -> n * prod) 1 [0 ..]
2025-06-08 07:25:18 +0000 <lambdabot> mueval-core: Time limit exceeded
2025-06-08 07:25:19 +0000 <lambdabot> mueval.real: ExitFailure 1
2025-06-08 07:25:24 +0000 <ski> note that both of these "conceptually" start at the end with `1', multiplying backwards in all the factors into that "current product" "backwards accumulator result"
2025-06-08 07:25:28 +0000 <mauke> > foldr (\n prod -> if n == 0 then 0 else n * prod) 1 [0 ..]
2025-06-08 07:25:30 +0000 <lambdabot> 0
2025-06-08 07:25:47 +0000 <ski> > foldr (\n prod -> n * prod) 1 [1 .. 5]
2025-06-08 07:25:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 07:25:48 +0000 <lambdabot> 120
2025-06-08 07:25:50 +0000 <yabobay> if (*) _happened_ to be programmed in a way where it doesn't calculate one of the operands if the other is 0, would it then work?
2025-06-08 07:25:55 +0000 <mauke> yes
2025-06-08 07:26:02 +0000 <ski> > foldr (\n prod -> n * prod) 1 ([1 .. 5] ++ 0 : [6 ..])
2025-06-08 07:26:10 +0000 <lambdabot> mueval-core: Time limit exceeded
2025-06-08 07:26:16 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 07:26:24 +0000 <ski> but in the infinite case, there is no end of the list, so that ^ does not terminate
2025-06-08 07:26:37 +0000 <ski> but with the pre-check for zero, it does
2025-06-08 07:27:23 +0000 <ski> conceptually, this is an "infinite computation in the past", not having a beginning, but having an end (multiplying in the first element of the list)
2025-06-08 07:27:32 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-08 07:28:50 +0000 <ski> so, with the zero check, `f' is non-strict, doesn't always force `prod' (being `foldr (...) 1 xs' for each tail `xs'), and so we don't "look at the infinite past", stop "tracing backwards in time" at some point, causing the computation to bottom out, terminate
2025-06-08 07:28:57 +0000 <ski> yabobay : makes sense ?
2025-06-08 07:29:44 +0000 <yabobay> mhm
2025-06-08 07:29:45 +0000 <yabobay> thanks
2025-06-08 07:30:58 +0000 <ski> with your `map', the `f', that is `\x acc -> f x : acc' is also non-strict in `acc' (because `(:)' is non-strict in its second argument, doesn't force the tail of the list, will only be forced if/when later you look at it)
2025-06-08 07:31:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 07:32:06 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 07:32:10 +0000 <yabobay> lazy evaluation in general kinda feels like black magic but i'll probably get used to it at some point
2025-06-08 07:32:46 +0000rvalue-(~rvalue@user/rvalue) rvalue
2025-06-08 07:33:27 +0000 <ski> btw, for `foldl', the `z' argument in `foldl f z (x:xs) = foldl f (f z x) xs' acts as a "forward/downwards accumulator", as opposed to the recursive result `foldr f z xs' in `foldr f z (x:xs) = f x (foldr f z xs)' acting like a "backwards/upwards accumulator" .. usually when people say "accumulator", they mean the "downwards/forwards" ones)
2025-06-08 07:34:02 +0000rvalue(~rvalue@user/rvalue) (Ping timeout: 268 seconds)
2025-06-08 07:34:35 +0000 <yabobay> uhhhhhh
2025-06-08 07:34:39 +0000 <ski> "isn't 0 * prod = 0 anyway" -- conceptually (in terms of math), yes. "if (*) _happened_ to be programmed in a way where it doesn't calculate one of the operands if the other is 0, would it then work?" -- yes
2025-06-08 07:35:20 +0000 <ski> > let 0 * _ = 0; m * n = m Prelude.* n in foldr (\n prod -> n * prod) 1 ([1 .. 5] ++ 0 : [6 ..])
2025-06-08 07:35:21 +0000 <lambdabot> 0
2025-06-08 07:35:42 +0000mhatta(~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection)
2025-06-08 07:37:06 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 07:37:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 07:39:27 +0000 <ski> (oh, and we're speaking specifically about `(*)' on the usual numeric types, like `Int',`Integer',`Rational',`Double',&c. -- if we implement "Peano naturals" like `data Natural = Zero | Succ Natural', it would be natural to define `Zero * _ = Zero; Succ m * n = n + m * n', making it non-strict in second parameter, when first is zero. similarly, `Zero <= _ = True; Succ m <= Zero = False; Succ m <=
2025-06-08 07:39:33 +0000 <ski> Succ n' makes it so that `0 <= inf' (where `inf = Succ inf') terminates)
2025-06-08 07:39:38 +0000rvalue-rvalue
2025-06-08 07:40:38 +0000perr_(~aaron@syn-072-191-245-069.res.spectrum.com)
2025-06-08 07:42:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 07:43:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 07:47:28 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-06-08 07:47:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 07:48:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 07:54:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 07:55:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 07:55:20 +0000Xe_(~Xe@perl/impostor/xe) Xe
2025-06-08 07:55:56 +0000Xe(~Xe@perl/impostor/xe) (Ping timeout: 244 seconds)
2025-06-08 08:00:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:00:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:02:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:02:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:08:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:08:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:12:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:12:07 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-08 08:12:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:13:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-08 08:13:25 +0000acidjnk(~acidjnk@p200300d6e71c4f61194499f5787da3cf.dip0.t-ipconnect.de) acidjnk
2025-06-08 08:16:54 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-06-08 08:17:59 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:18:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:21:12 +0000tbiorgm(~tbiorgm@user/tbiorgm) tbiorgm
2025-06-08 08:24:29 +0000 <ski> @let data Nat = Z | S Nat deriving (Show,Read)
2025-06-08 08:24:30 +0000 <lambdabot> Defined.
2025-06-08 08:24:37 +0000 <ski> @let instance Eq Nat where {Z == Z = True; S m == S n = m == n; _ == _ = False}; instance Ord Nat where {Z <= _ = True; S m <= Z = False; S m <= S n = m <= n; Z `compare` Z = EQ; Z `compare` S _ = LT; S _ `compare` Z = GT; S m `compare` S n = m `compare` n}
2025-06-08 08:24:38 +0000 <lambdabot> Defined.
2025-06-08 08:24:46 +0000 <ski> @let instance Num Nat where {Z + n = n; S m + n = S (m + n); m - Z = m; S m - S n = m - n; Z * _ = Z; S m * n = n + m * n; negate Z = Z; abs m = m; signum Z = Z; signum (S _) = S Z; fromInteger 0 = Z; fromInteger n | n > 0 = S (fromInteger (n - 1))}
2025-06-08 08:24:47 +0000 <lambdabot> Defined.
2025-06-08 08:24:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 08:24:55 +0000 <ski> @let natToInteger :: Nat -> Integer; natToInteger Z = 0; natToInteger (S n) = 1 + natToInteger n; instance Real Nat where {toRational = toRational . natToInteger}
2025-06-08 08:24:56 +0000 <lambdabot> Defined.
2025-06-08 08:25:03 +0000 <ski> @let instance Enum Nat where {toEnum = fromIntegral; fromEnum = fromIntegral . natToInteger; succ = S; pred (S n) = n; enumFrom n = n : enumFrom (S n); enumFromThen m n = m : enumFromThen n (n - m + n); enumFromTo m n | m > n = [] | otherwise = m : enumFromTo (S m) n; enumFromThenTo m n o | m > o = [] | otherwise = m : enumFromThenTo n (n - m + n) o}
2025-06-08 08:25:04 +0000 <lambdabot> Defined.
2025-06-08 08:25:10 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:25:13 +0000 <ski> @let instance Integral Nat where {n `quotRem` d@(S _) | n < d = (Z ,n) | otherwise = (S q,r) where {(q,r) = (n - d) `quotRem` d}; divMod = quotRem; toInteger = natToInteger}
2025-06-08 08:25:14 +0000 <lambdabot> Defined.
2025-06-08 08:25:18 +0000yabobay(~pizza@2a02:85f:fcd5:1601:a753:ff59:be6f:253f) (Quit: yabobay)
2025-06-08 08:25:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:27:48 +0000 <ski> @let inf :: Nat; inf = S inf
2025-06-08 08:27:49 +0000 <lambdabot> Defined.
2025-06-08 08:27:59 +0000 <ski> > Z <= inf
2025-06-08 08:28:01 +0000 <lambdabot> True
2025-06-08 08:28:09 +0000 <ski> > Z * inf
2025-06-08 08:28:10 +0000 <lambdabot> Z
2025-06-08 08:28:44 +0000 <ski> ah, yabobay left
2025-06-08 08:30:17 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:30:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:30:48 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-06-08 08:33:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-08 08:34:28 +0000_fantom(~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds)
2025-06-08 08:38:16 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:38:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:40:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 08:40:43 +0000 <Digit> :) i've just encountered https://www.reddit.com/r/haskell/comments/3ww33x/the_zen_of_haskell/ ... anyone know of a further refined version of the zen of haskell?
2025-06-08 08:44:17 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:44:43 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:44:55 +0000 <Digit> wondering if there's a "zen of haskell" that's more from first principles of haskell, rather than just trying to make it a tight fit one-for-one with the zen of python piece.
2025-06-08 08:46:53 +0000Guest65(~Guest65@2400:4050:c763:c200:6c85:fb5c:17ed:35ca)
2025-06-08 08:47:49 +0000 <Digit> i found http://www.haskeller.org/ but it seems a bit more frivolous and ambiguous free flowing poetic fun (e.g. "lazy is better then crazy").
2025-06-08 08:48:14 +0000 <Rembane> Haskell is kinda free flowing poetic fun though
2025-06-08 08:51:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:51:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:55:11 +0000trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-08 08:55:25 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-08 08:58:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:58:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 09:00:42 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 09:01:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 09:02:01 +0000tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-06-08 09:05:52 +0000fp(~Thunderbi@hof1.kyla.fi) fp
2025-06-08 09:06:04 +0000Clint(~Clint@user/clint) (Ping timeout: 276 seconds)
2025-06-08 09:06:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 09:07:07 +0000Clint(~Clint@user/clint) Clint
2025-06-08 09:07:08 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 09:07:14 +0000fp(~Thunderbi@hof1.kyla.fi) (Read error: Connection reset by peer)
2025-06-08 09:07:31 +0000fp(~Thunderbi@hof1.kyla.fi) fp
2025-06-08 09:10:52 +0000trickard_trickard
2025-06-08 09:11:42 +0000fp(~Thunderbi@hof1.kyla.fi) (Client Quit)
2025-06-08 09:12:00 +0000fp(~Thunderbi@hof1.kyla.fi) fp
2025-06-08 09:12:05 +0000 <Digit> https://medium.com/@gopikrishnan.ganesan/zen-of-functional-programming-1bcb6acc16da while continuing to search, encountered this pleasant piece. not quite the same thing, but, very pleasant none the less. seems a really good functionalprogramming/haskell intro.
2025-06-08 09:13:13 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 09:13:20 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2025-06-08 09:13:26 +0000flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection)
2025-06-08 09:13:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 09:14:32 +0000flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke
2025-06-08 09:20:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 09:20:51 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 09:25:09 +0000fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 248 seconds)
2025-06-08 09:25:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 09:25:49 +0000sprotte24(~sprotte24@p200300d16f1d0100e16dc5a160a22d63.dip0.t-ipconnect.de)
2025-06-08 09:26:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 09:31:50 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 09:32:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 09:34:14 +0000sroso(~sroso@user/SrOso) (Quit: Leaving :))
2025-06-08 09:37:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 09:38:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 09:42:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 09:42:42 +0000justsomeguy(~justsomeg@user/justsomeguy) justsomeguy
2025-06-08 09:42:42 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-06-08 09:43:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 09:43:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-08 09:47:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 09:48:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 09:52:21 +0000fp(~Thunderbi@hof1.kyla.fi) fp
2025-06-08 09:55:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 09:55:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 09:56:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 10:00:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 10:01:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:02:43 +0000tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2025-06-08 10:03:34 +0000ell5(~ellie@user/ellie) ellie
2025-06-08 10:04:00 +0000lukec_(9dfd4d094e@2a03:6000:1812:100::10e)
2025-06-08 10:04:12 +0000orcus(~orcus@user/brprice) brprice
2025-06-08 10:04:35 +0000bw_(sid2730@user/betawaffle) betawaffle
2025-06-08 10:04:37 +0000cptaffe`(~cptaffe@user/cptaffe) cptaffe
2025-06-08 10:05:24 +0000filwisher_(2e6936c793@2a03:6000:1812:100::170)
2025-06-08 10:05:50 +0000markasoftware_(~quassel@2604:180:f2::217) markasoftware
2025-06-08 10:05:58 +0000xal_(~xal@mx1.xal.systems) xal
2025-06-08 10:05:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 10:06:03 +0000bionade24_(~quassel@server2.oscloud.info) bionade24
2025-06-08 10:06:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:06:26 +0000pmk_(6afe4476a1@2a03:6000:1812:100::26d)
2025-06-08 10:06:27 +0000henrytill_(e0180937c3@2a03:6000:1812:100::e8c) henrytill
2025-06-08 10:06:28 +0000b0o_(0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o
2025-06-08 10:06:28 +0000bheesham_(3aa22d8375@2a03:6000:1812:100::e40) bheesham
2025-06-08 10:06:28 +0000cpli_(77fc530071@2a03:6000:1812:100::252) cpli
2025-06-08 10:06:29 +0000eso_(a0662dfd5e@2a03:6000:1812:100::1266) jeso
2025-06-08 10:06:29 +0000evanrelf_(3addc196af@2a03:6000:1812:100::f0) evanrelf
2025-06-08 10:06:35 +0000olivial_(~benjaminl@2601:1c0:847f:9c70:223:24ff:fe66:4370)
2025-06-08 10:06:40 +0000fgaz_(1ff9197ed6@2a03:6000:1812:100::11ea) fgaz
2025-06-08 10:06:41 +0000bsima1_(9d7e39c8ad@2a03:6000:1812:100::dd)
2025-06-08 10:06:41 +0000aniketd_(32aa4844cd@2a03:6000:1812:100::dcb) aniketd
2025-06-08 10:06:42 +0000fvr_(ef3e56ca8b@2a03:6000:1812:100::3c4) fvr
2025-06-08 10:06:44 +0000bgtdsword_(b968c1779f@user/titibandit) titibandit
2025-06-08 10:06:44 +0000arthurvl(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) earthy
2025-06-08 10:06:45 +0000comonad1(~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de)
2025-06-08 10:06:58 +0000bradparker_(sid262931@id-262931.uxbridge.irccloud.com) bradparker
2025-06-08 10:07:02 +0000justsome1(~justsomeg@user/justsomeguy) justsomeguy
2025-06-08 10:07:05 +0000caubert_(~caubert@user/caubert) caubert
2025-06-08 10:07:08 +0000lesihctej(~jetchisel@user/jetchisel) jetchisel
2025-06-08 10:07:11 +0000dysfigured(~dfg@dfg.rocks)
2025-06-08 10:07:14 +0000monochrm(trebla@216.138.220.146)
2025-06-08 10:08:03 +0000ridcully(~ridcully@p57b52c91.dip0.t-ipconnect.de) ridcully
2025-06-08 10:08:08 +0000int-e_(~noone@int-e.eu) int-e
2025-06-08 10:08:18 +0000down200-(~down200@shell.lug.mtu.edu) down200
2025-06-08 10:08:44 +0000aku_(aku@65.108.245.241) eagleflo
2025-06-08 10:08:51 +0000Clint_(~Clint@user/clint) Clint
2025-06-08 10:09:01 +0000Everythi1g(~Everythin@77.120.244.38)
2025-06-08 10:10:44 +0000doyougnu-(~doyougnu@syn-045-046-170-068.res.spectrum.com) doyougnu-
2025-06-08 10:11:15 +0000ZLima12_(~zlima12@user/meow/ZLima12) ZLima12
2025-06-08 10:12:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 10:12:27 +0000sm_(znc@plaintextaccounting/sm) sm
2025-06-08 10:12:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:14:19 +0000justsomeguy(~justsomeg@user/justsomeguy) (*.net *.split)
2025-06-08 10:14:19 +0000Clint(~Clint@user/clint) (*.net *.split)
2025-06-08 10:14:19 +0000Everything(~Everythin@77.120.244.38) (*.net *.split)
2025-06-08 10:14:19 +0000down200(~down200@shell.lug.mtu.edu) (*.net *.split)
2025-06-08 10:14:19 +0000ZLima12(~zlima12@user/meow/ZLima12) (*.net *.split)
2025-06-08 10:14:20 +0000bionade24(~quassel@2a03:4000:35:f24::1) (*.net *.split)
2025-06-08 10:14:20 +0000orcus-(~orcus@user/brprice) (*.net *.split)
2025-06-08 10:14:20 +0000dispater-(~dispater@user/brprice) (*.net *.split)
2025-06-08 10:14:20 +0000ridcully_(~ridcully@p57b52c91.dip0.t-ipconnect.de) (*.net *.split)
2025-06-08 10:14:20 +0000olivial(~benjaminl@user/benjaminl) (*.net *.split)
2025-06-08 10:14:20 +0000cptaffe(~cptaffe@user/cptaffe) (*.net *.split)
2025-06-08 10:14:20 +0000monochrom(~trebla@216.138.220.146) (*.net *.split)
2025-06-08 10:14:20 +0000tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split)
2025-06-08 10:14:20 +0000earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (*.net *.split)
2025-06-08 10:14:20 +0000jetchisel(~jetchisel@user/jetchisel) (*.net *.split)
2025-06-08 10:14:20 +0000sm(znc@plaintextaccounting/sm) (*.net *.split)
2025-06-08 10:14:21 +0000comonad(~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de) (*.net *.split)
2025-06-08 10:14:21 +0000bradparker(sid262931@id-262931.uxbridge.irccloud.com) (*.net *.split)
2025-06-08 10:14:21 +0000xal(~xal@mx1.xal.systems) (*.net *.split)
2025-06-08 10:14:21 +0000ell(~ellie@user/ellie) (*.net *.split)
2025-06-08 10:14:21 +0000aku(aku@65.108.245.241) (*.net *.split)
2025-06-08 10:14:21 +0000doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com) (*.net *.split)
2025-06-08 10:14:21 +0000bw(sid2730@user/betawaffle) (*.net *.split)
2025-06-08 10:14:21 +0000fvr(ef3e56ca8b@2a03:6000:1812:100::3c4) (*.net *.split)
2025-06-08 10:14:21 +0000bgtdsword(b968c1779f@user/titibandit) (*.net *.split)
2025-06-08 10:14:21 +0000b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) (*.net *.split)
2025-06-08 10:14:21 +0000bheesham(04d095ca04@2a03:6000:1812:100::e40) (*.net *.split)
2025-06-08 10:14:21 +0000cpli(77fc530071@2a03:6000:1812:100::252) (*.net *.split)
2025-06-08 10:14:21 +0000henrytill(e0180937c3@2a03:6000:1812:100::e8c) (*.net *.split)
2025-06-08 10:14:21 +0000eso(a0662dfd5e@2a03:6000:1812:100::1266) (*.net *.split)
2025-06-08 10:14:22 +0000aniketd(32aa4844cd@2a03:6000:1812:100::dcb) (*.net *.split)
2025-06-08 10:14:22 +0000evanrelf(3addc196af@2a03:6000:1812:100::f0) (*.net *.split)
2025-06-08 10:14:22 +0000fgaz(1ff9197ed6@2a03:6000:1812:100::11ea) (*.net *.split)
2025-06-08 10:14:22 +0000pmk(6afe4476a1@2a03:6000:1812:100::26d) (*.net *.split)
2025-06-08 10:14:22 +0000filwisher(2e6936c793@2a03:6000:1812:100::170) (*.net *.split)
2025-06-08 10:14:22 +0000lukec(9dfd4d094e@2a03:6000:1812:100::10e) (*.net *.split)
2025-06-08 10:14:22 +0000bsima1(9d7e39c8ad@2a03:6000:1812:100::dd) (*.net *.split)
2025-06-08 10:14:22 +0000dfg(~dfg@user/dfg) (*.net *.split)
2025-06-08 10:14:22 +0000int-e(~noone@int-e.eu) (*.net *.split)
2025-06-08 10:14:22 +0000markasoftware(~quassel@2604:180:f2::217) (*.net *.split)
2025-06-08 10:14:22 +0000caubert(~caubert@user/caubert) (*.net *.split)
2025-06-08 10:14:22 +0000fvr_fvr
2025-06-08 10:14:22 +0000b0o_b0o
2025-06-08 10:14:22 +0000bheesham_bheesham
2025-06-08 10:14:22 +0000cpli_cpli
2025-06-08 10:14:22 +0000eso_eso
2025-06-08 10:14:23 +0000fgaz_fgaz
2025-06-08 10:14:23 +0000bsima1_bsima1
2025-06-08 10:14:23 +0000bw_bw
2025-06-08 10:14:23 +0000bradparker_bradparker
2025-06-08 10:14:23 +0000bgtdsword_bgtdsword
2025-06-08 10:14:23 +0000aniketd_aniketd
2025-06-08 10:14:23 +0000evanrelf_evanrelf
2025-06-08 10:14:23 +0000lukec_lukec
2025-06-08 10:14:24 +0000cptaffe`cptaffe
2025-06-08 10:14:24 +0000monochrmmonochrom
2025-06-08 10:14:24 +0000ell5ell
2025-06-08 10:14:24 +0000henrytill_henrytill
2025-06-08 10:14:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 10:15:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:20:54 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 10:21:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:22:51 +0000sprotte24_(~sprotte24@p200300d16f204800914da669750177d2.dip0.t-ipconnect.de)
2025-06-08 10:23:33 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-06-08 10:25:05 +0000sprotte24(~sprotte24@p200300d16f1d0100e16dc5a160a22d63.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-06-08 10:26:16 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 10:26:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:30:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 10:31:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:33:22 +0000fp(~Thunderbi@hof1.kyla.fi) (Read error: Connection reset by peer)
2025-06-08 10:33:34 +0000fp(~Thunderbi@hof1.kyla.fi) fp
2025-06-08 10:34:55 +0000bdmg_(~myJebba@152.254.132.216)
2025-06-08 10:35:44 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 10:36:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:37:16 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 10:37:42 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:44:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 10:45:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:47:22 +0000trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-08 10:47:36 +0000trickard(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-08 10:49:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 10:49:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:52:45 +0000trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 276 seconds)
2025-06-08 10:54:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 10:54:29 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:57:44 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-08 10:59:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 10:59:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 11:02:09 +0000jespada(~jespada@r190-133-44-235.dialup.adsl.anteldata.net.uy) jespada
2025-06-08 11:04:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 11:04:43 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 11:07:05 +0000jespada(~jespada@r190-133-44-235.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds)
2025-06-08 11:09:10 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 11:09:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 11:10:25 +0000doyougnu-(~doyougnu@syn-045-046-170-068.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in)
2025-06-08 11:11:10 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-08 11:12:11 +0000doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com)
2025-06-08 11:14:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 11:15:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 11:17:22 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-06-08 11:21:43 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 11:22:08 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 11:23:26 +0000justsome1(~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds)
2025-06-08 11:27:16 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 11:27:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 11:30:37 +0000TMA(tma@twin.jikos.cz) (Ping timeout: 252 seconds)
2025-06-08 11:31:17 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 11:31:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 11:32:35 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 11:32:39 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-08 11:32:54 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-08 11:33:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 11:36:17 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-06-08 11:38:14 +0000TMA(tma@twin.jikos.cz) TMA
2025-06-08 11:39:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 11:39:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 11:40:18 +0000trickard_trickard
2025-06-08 11:44:20 +0000justsomeguy(~justsomeg@user/justsomeguy) justsomeguy
2025-06-08 11:45:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 11:46:10 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 11:51:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 11:51:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 11:51:50 +0000jespada(~jespada@r190-133-44-235.dialup.adsl.anteldata.net.uy) jespada
2025-06-08 11:53:44 +0000fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 245 seconds)
2025-06-08 11:55:31 +0000Guest65(~Guest65@2400:4050:c763:c200:6c85:fb5c:17ed:35ca) (Ping timeout: 272 seconds)
2025-06-08 11:56:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 11:56:14 +0000jespada(~jespada@r190-133-44-235.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds)
2025-06-08 11:56:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 12:00:49 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 12:01:11 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 12:01:54 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-06-08 12:03:40 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-06-08 12:06:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 12:06:44 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 12:12:44 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 12:13:06 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 12:14:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-08 12:17:50 +0000jespada(~jespada@r190-133-44-235.dialup.adsl.anteldata.net.uy) jespada
2025-06-08 12:18:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 12:18:29 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 12:20:15 +0000int-e_int-e
2025-06-08 12:23:30 +0000haasn(uid579015@hampstead.irccloud.com) (Ping timeout: 260 seconds)
2025-06-08 12:24:27 +0000haasn(sid579015@id-579015.hampstead.irccloud.com) haasn
2025-06-08 12:24:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 12:24:53 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 12:26:32 +0000arahael(~arahael@user/arahael) arahael
2025-06-08 12:26:35 +0000Square2(~Square@user/square) Square
2025-06-08 12:27:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 12:30:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 12:30:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 12:34:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 12:35:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 12:41:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 12:42:08 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 12:46:10 +0000trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-08 12:46:24 +0000trickard(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-08 12:47:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 12:48:10 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 12:54:50 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 12:55:13 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 12:55:21 +0000inline(~inline@2a02:908:1246:c0c0:38d3:706e:a2da:8cb4) Inline
2025-06-08 12:57:54 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 12:58:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 13:01:05 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2025-06-08 13:04:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 13:07:55 +0000jespada(~jespada@r190-133-44-235.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
2025-06-08 13:08:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 13:12:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 13:12:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 13:15:51 +0000biberu(~biberu@user/biberu) (Quit: ZNC - https://znc.in)
2025-06-08 13:17:20 +0000biberu(~biberu@user/biberu) biberu
2025-06-08 13:18:14 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 13:18:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 13:18:47 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-06-08 13:22:01 +0000trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-08 13:22:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 13:22:20 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-08 13:22:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 13:24:34 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds)
2025-06-08 13:25:29 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-06-08 13:25:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 13:26:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 13:30:16 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-06-08 13:31:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-08 13:32:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 13:32:35 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 13:37:26 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 13:37:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 13:39:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 13:39:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 13:41:03 +0000biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2025-06-08 13:41:26 +0000biberu(~biberu@user/biberu) biberu
2025-06-08 13:43:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 13:43:06 +0000notzmv-(~daniel@user/notzmv) (Ping timeout: 252 seconds)
2025-06-08 13:43:39 +0000notzmv(~daniel@user/notzmv) (Ping timeout: 244 seconds)
2025-06-08 13:46:14 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 13:46:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 13:52:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 13:52:13 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds)
2025-06-08 13:52:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 14:00:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 14:00:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 14:06:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 14:06:54 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 14:08:45 +0000lally(sid388228@uxbridge.irccloud.com) (Ping timeout: 244 seconds)
2025-06-08 14:11:58 +0000lally(sid388228@id-388228.uxbridge.irccloud.com) lally
2025-06-08 14:12:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 14:12:51 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 14:14:05 +0000justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2025-06-08 14:17:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 14:17:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 14:23:15 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 14:23:38 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 14:26:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 14:26:50 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 14:32:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 14:32:26 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 14:37:29 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds)
2025-06-08 14:37:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 14:37:59 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 14:44:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 14:44:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 14:49:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 14:50:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 14:55:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 14:55:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 14:56:44 +0000puke(~puke@user/puke) (Remote host closed the connection)
2025-06-08 14:57:04 +0000puke(~puke@user/puke) puke
2025-06-08 14:58:57 +0000end(~end@user/end/x-0094621) (Ping timeout: 248 seconds)
2025-06-08 14:59:00 +0000bcksl(~bcksl@user/bcksl) (Ping timeout: 272 seconds)
2025-06-08 14:59:53 +0000sus0(zero@user/zeromomentum) (Ping timeout: 268 seconds)
2025-06-08 15:00:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 15:01:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 15:03:34 +0000trickard___(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-06-08 15:04:02 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-06-08 15:06:26 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 15:06:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 15:08:29 +0000sus0(zero@user/zeromomentum) zeromomentum
2025-06-08 15:12:44 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 15:13:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 15:15:09 +0000socrates1298(~socrates1@220.240.157.173)
2025-06-08 15:15:19 +0000socrates1298(~socrates1@220.240.157.173) (Client Quit)
2025-06-08 15:18:51 +0000inline_(~inline@2a02:908:1246:c0c0:38d3:706e:a2da:8cb4) Inline
2025-06-08 15:19:33 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 15:19:36 +0000comerijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 15:19:43 +0000biberu\(~biberu@user/biberu) biberu
2025-06-08 15:19:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 15:23:42 +0000nefercheprure(tma@twin.jikos.cz) TMA
2025-06-08 15:25:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 15:25:50 +0000bdmg_(~myJebba@152.254.132.216) (Read error: Connection reset by peer)
2025-06-08 15:26:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 15:28:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (*.net *.split)
2025-06-08 15:28:43 +0000biberu(~biberu@user/biberu) (*.net *.split)
2025-06-08 15:28:43 +0000inline(~inline@2a02:908:1246:c0c0:38d3:706e:a2da:8cb4) (*.net *.split)
2025-06-08 15:28:43 +0000arahael(~arahael@user/arahael) (*.net *.split)
2025-06-08 15:28:43 +0000TMA(tma@twin.jikos.cz) (*.net *.split)
2025-06-08 15:28:45 +0000biberu\biberu
2025-06-08 15:29:38 +0000bcksl(~bcksl@user/bcksl) bcksl
2025-06-08 15:30:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 15:30:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 15:34:40 +0000end(~end@user/end/x-0094621) end^
2025-06-08 15:36:08 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 15:36:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 15:42:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 15:43:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 15:46:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 15:46:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 15:50:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 15:51:10 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 16:00:11 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 16:00:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 16:05:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 16:05:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 16:10:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 16:10:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 16:11:10 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-06-08 16:16:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 16:16:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 16:22:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 16:23:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 16:26:29 +0000loreto(~loreto@user/loreto) loreto
2025-06-08 16:29:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 16:29:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 16:31:49 +0000Guest65(~Guest65@2400:4050:c763:c200:9f7:5472:5445:988e)
2025-06-08 16:34:17 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 16:34:42 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 16:35:03 +0000Guest65(~Guest65@2400:4050:c763:c200:9f7:5472:5445:988e) (Client Quit)
2025-06-08 16:37:51 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 16:38:16 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 16:44:49 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 16:45:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 16:47:57 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-06-08 16:50:16 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 16:50:36 +0000 <mjacob> Can anyone recommend an IRC or Matrix channel for functional programming in general?
2025-06-08 16:50:42 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 16:52:21 +0000 <geekosaur> the only one I know of is on Discord, not IRC or Matrix
2025-06-08 16:55:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 16:55:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 16:57:56 +0000 <ski> (iirc there's also Usenet newsgroup <news:comp.lang.functional> (how i found my way to here and IRC) .. haven't checked it in some time, though)
2025-06-08 17:01:26 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 17:01:51 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 17:02:42 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-06-08 17:06:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 17:06:43 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 17:12:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 17:13:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 17:13:55 +0000 <monochrom> Fun fact: Haskell finally got its own Usenet newsgroup, just in time for the last days of Usenet. >:)
2025-06-08 17:14:50 +0000monochromblames PHP programmers who couldn't find actually valuable things to do so they invented "web forums" to justify their purpose of existence.
2025-06-08 17:15:32 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-08 17:16:31 +0000 <monochrom> which could have been slightly tolerable if not additionally they went to to prove that they didn't understand tree structures.
2025-06-08 17:18:50 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 17:18:58 +0000 <int-e> Usenet... it's more than a distributed file storage for warez!
2025-06-08 17:19:06 +0000 <monochrom> :)
2025-06-08 17:19:08 +0000 <int-e> (and pr0n)
2025-06-08 17:19:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 17:19:36 +0000 <monochrom> And to think MIME didn't exist back then.
2025-06-08 17:19:40 +0000 <ski> and plonking, cross-posting, flamewars
2025-06-08 17:20:47 +0000 <monochrom> That part is human nature and I'm sure present in coffee house discussions and Hyde Park too.
2025-06-08 17:22:03 +0000 <ski> (i recall seeing some article suggesting an abstract format/API/protocol for thread handling, intended for newsgroups, mailing lists, web fora, and similar, to implement as a common interface, meant to enable more alternative style third-party clients for reading & posting, to get away from the often clunky interfaces for web fora and similar systems)
2025-06-08 17:22:10 +0000 <monochrom> Nevermind, that's a non-sequitor. I don't know why I brought that up.
2025-06-08 17:23:35 +0000 <int-e> monochrom: An Oscar Wilde moment, "I can resist anything but temptation."
2025-06-08 17:24:38 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 17:24:47 +0000 <int-e> . o O ( cross-posting, v. - writing a comment with the intent of making the reader cross. see also: trolling )
2025-06-08 17:25:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 17:25:58 +0000 <ski> hah
2025-06-08 17:26:10 +0000skicrosses eyes
2025-06-08 17:27:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 17:28:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 17:28:43 +0000 <monochrom> For some years I used emacs gnus for unified email+newgroup client.
2025-06-08 17:31:19 +0000 <int-e> What was that usenet client... ah, tin. It's been 2 decades. :P
2025-06-08 17:31:41 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-06-08 17:32:08 +0000 <monochrom> Yeah I think I ssh'ed to my ISP's shell to run tin before I switched to locally emacs gnus.
2025-06-08 17:33:27 +0000bdmg_(~myJebba@152.254.132.216)
2025-06-08 17:33:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 17:34:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 17:34:37 +0000bdmg_(~myJebba@152.254.132.216) (Max SendQ exceeded)
2025-06-08 17:35:03 +0000bdmg_(~myJebba@152.254.132.216)
2025-06-08 17:36:16 +0000bdmg_(~myJebba@152.254.132.216) (Max SendQ exceeded)
2025-06-08 17:36:42 +0000bdmg_(~myJebba@152.254.132.216)
2025-06-08 17:37:47 +0000bdmg_(~myJebba@152.254.132.216) (Max SendQ exceeded)
2025-06-08 17:38:13 +0000bdmg_(~myJebba@152.254.132.216)
2025-06-08 17:38:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 17:39:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 17:39:18 +0000bdmg_(~myJebba@152.254.132.216) (Max SendQ exceeded)
2025-06-08 17:39:44 +0000bdmg_(~myJebba@152.254.132.216)
2025-06-08 17:40:49 +0000 <monochrom> Actually even ssh didn't exist that far back, it was rsh/rlogin/telnet. It was also OK because the physical connection is dial-up modem rather than going through arbitrary internet hops.
2025-06-08 17:40:59 +0000bdmg_(~myJebba@152.254.132.216) (Max SendQ exceeded)
2025-06-08 17:41:25 +0000bdmg_(~myJebba@152.254.132.216)
2025-06-08 17:41:39 +0000 <Rembane> Only one hop between you and the server and that hop is dial up?
2025-06-08 17:41:55 +0000 <monochrom> Yeah.
2025-06-08 17:42:06 +0000 <Rembane> Sounds safe to me
2025-06-08 17:42:38 +0000bdmg_(~myJebba@152.254.132.216) (Max SendQ exceeded)
2025-06-08 17:43:07 +0000 <monochrom> Safe enough unless state actors are involved.
2025-06-08 17:43:50 +0000 <Rembane> But then nothing is safe
2025-06-08 17:44:40 +0000 <monochrom> It was also way before Echelon, OK?
2025-06-08 17:45:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 17:46:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 17:46:28 +0000 <Rembane> This one? https://en.wikipedia.org/wiki/ECHELON
2025-06-08 17:47:58 +0000 <monochrom> Fine I concede.
2025-06-08 17:49:41 +0000 <Rembane> I'm just confused, I'm not trying to prove a point. :)
2025-06-08 17:50:07 +0000 <int-e> monochrom: now everybody knows that you're ancient ;-)
2025-06-08 17:52:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 17:52:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 17:52:53 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 17:53:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 18:00:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 18:00:56 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 18:06:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 18:06:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 18:09:39 +0000inline_inline
2025-06-08 18:16:13 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 18:16:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 18:17:06 +0000euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-06-08 18:22:38 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 18:23:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 18:25:33 +0000Square2(~Square@user/square) (Remote host closed the connection)
2025-06-08 18:26:40 +0000euphores(~SASL_euph@user/euphores) euphores
2025-06-08 18:28:53 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 18:29:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 18:34:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 18:34:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 18:40:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 18:40:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 18:44:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 18:44:26 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 18:44:59 +0000michalz(~michalz@185.246.207.203)
2025-06-08 18:47:48 +0000comerijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-08 18:48:42 +0000 <EvanR> monochrom, having worked momentarily as a technician, with access to the phone terminals in the comm line closets... it wouldn't be that hard to eavesdrop on a conversation in there, without state actor resources!
2025-06-08 18:49:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 18:49:05 +0000 <EvanR> back when that's how phones worked
2025-06-08 18:49:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 18:55:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 18:55:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 19:00:01 +0000caconym7(~caconym@user/caconym) (Quit: bye)
2025-06-08 19:00:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 19:00:33 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 19:00:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 19:00:39 +0000caconym7(~caconym@user/caconym) caconym
2025-06-08 19:01:31 +0000trickard___trickard
2025-06-08 19:05:13 +0000Xe_Xe
2025-06-08 19:05:38 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 19:06:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 19:09:38 +0000LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-06-08 19:11:16 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 19:11:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 19:12:46 +0000LainIwakura(~LainIwaku@user/LainIwakura) (Client Quit)
2025-06-08 19:13:09 +0000trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-08 19:13:22 +0000trickard(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-06-08 19:15:32 +0000LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-06-08 19:18:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 19:18:08 +0000pavonia(~user@user/siracusa) siracusa
2025-06-08 19:18:09 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-06-08 19:18:24 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 19:21:22 +0000econo_(uid147250@id-147250.tinside.irccloud.com)
2025-06-08 19:22:01 +0000LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds)
2025-06-08 19:22:17 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 19:22:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 19:23:10 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-06-08 19:25:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 19:25:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 19:28:59 +0000loreto(~loreto@user/loreto) (Ping timeout: 272 seconds)
2025-06-08 19:30:43 +0000loreto(~loreto@user/loreto) loreto
2025-06-08 19:31:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 19:31:29 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 19:33:22 +0000talismanick(~user@2601:644:937c:ed10::ae5) talismanick
2025-06-08 19:33:31 +0000trickard__(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-08 19:34:42 +0000trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 276 seconds)
2025-06-08 19:36:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 19:36:44 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 19:38:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 19:38:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 19:42:55 +0000loreto(~loreto@user/loreto) (Ping timeout: 272 seconds)
2025-06-08 19:43:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 19:44:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 19:44:58 +0000trickard__trickard
2025-06-08 19:48:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 19:48:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 19:52:23 +0000Everythi1g(~Everythin@77.120.244.38) (Quit: leaving)
2025-06-08 19:52:46 +0000comonad1(~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de) (Quit: WeeChat 4.6.0-dev)
2025-06-08 19:55:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 19:56:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 20:00:37 +0000loreto(~loreto@user/loreto) loreto
2025-06-08 20:02:34 +0000inline(~inline@2a02:908:1246:c0c0:38d3:706e:a2da:8cb4) (Quit: Leaving)
2025-06-08 20:03:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 20:04:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 20:05:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-08 20:06:36 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-08 20:07:37 +0000loreto(~loreto@user/loreto) (Ping timeout: 272 seconds)
2025-06-08 20:08:54 +0000loreto(~loreto@user/loreto) loreto
2025-06-08 20:10:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 20:10:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 20:13:37 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-06-08 20:15:50 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 20:16:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 20:16:17 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 20:22:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 20:23:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 20:24:47 +0000mud(~mud@user/kadoban) kadoban
2025-06-08 20:28:24 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 20:28:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 20:33:04 +0000inline(~inline@2a02:908:1246:c0c0:59c6:ccf0:1b75:3e7c) Inline
2025-06-08 20:33:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 20:33:44 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 20:37:20 +0000FANTOM(~fantom@33be818f.skybroadband.com)
2025-06-08 20:37:54 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-06-08 20:38:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 20:38:52 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 20:46:08 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 20:46:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 20:50:53 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 20:51:01 +0000sroso(~sroso@user/SrOso) SrOso
2025-06-08 20:51:17 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 20:54:29 +0000jespada(~jespada@r179-24-24-141.dialup.adsl.anteldata.net.uy) jespada
2025-06-08 20:54:48 +0000lesihctejjetchisel
2025-06-08 20:56:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 20:56:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 20:56:57 +0000 <talismanick> The streams package has `data Stream a = a :> (Stream a)`; if I wrap it in `newtype AStream = AStream (Stream a)` and write `append a x@(AStream _) = (:>) a <$> x`, it errors with "couldn't match type 'a' with 'Stream a'"
2025-06-08 20:57:11 +0000 <talismanick> I feel like I'm missing something really obvious....
2025-06-08 20:59:10 +0000jespada(~jespada@r179-24-24-141.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds)
2025-06-08 21:00:32 +0000anselmschueler(~quassel@user/schuelermine) schuelermine
2025-06-08 21:01:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 21:01:42 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 21:02:17 +0000anselmschueler(~quassel@user/schuelermine) (Client Quit)
2025-06-08 21:06:30 +0000 <EvanR> ((:>) a) <$> x ? and did you remember to derive Functor
2025-06-08 21:06:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 21:07:14 +0000 <EvanR> oh you can't derive functor
2025-06-08 21:07:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 21:07:23 +0000 <EvanR> AStream has the wrong kind
2025-06-08 21:10:23 +0000Square(~Square@user/square) Square
2025-06-08 21:10:35 +0000Square(~Square@user/square) (Remote host closed the connection)
2025-06-08 21:10:57 +0000Square(~Square@user/square) Square
2025-06-08 21:11:08 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-08 21:11:15 +0000Square(~Square@user/square) (Remote host closed the connection)
2025-06-08 21:11:36 +0000Square(~Square@user/square) Square
2025-06-08 21:11:43 +0000 <talismanick> EvanR: err, I meant to write `AStream a = ...`
2025-06-08 21:12:10 +0000 <talismanick> and yeah, I already had `deriving Functor`
2025-06-08 21:12:33 +0000machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-06-08 21:12:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 21:13:17 +0000 <talismanick> Otherwise it would've errored on that
2025-06-08 21:13:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 21:15:14 +0000 <talismanick> It works if I instead write `append a (AStream s) = AStream $ a :> s`
2025-06-08 21:16:01 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-06-08 21:17:55 +0000loreto(~loreto@user/loreto) (Ping timeout: 272 seconds)
2025-06-08 21:19:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-06-08 21:20:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 21:20:10 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-06-08 21:20:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 21:20:54 +0000michalz(~michalz@185.246.207.203) (Remote host closed the connection)
2025-06-08 21:25:33 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 21:25:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 21:27:17 +0000 <lyxia> talismanick: (<$>) on AStream does not do what you think it does. You want it to do f <$> AStream s = AStream (f s) but (<$>) has the wrong type for that
2025-06-08 21:29:13 +0000loreto(~loreto@user/loreto) loreto
2025-06-08 21:29:19 +0000 <talismanick> lyxia: you're right
2025-06-08 21:29:38 +0000 <talismanick> I just wrote the instance out manually and... `fmap f (AStream s) = AStream $ f <$> s`
2025-06-08 21:29:45 +0000 <talismanick> which makes sense
2025-06-08 21:30:27 +0000 <lyxia> it's an understandable mistake to make
2025-06-08 21:31:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 21:31:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 21:32:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 21:34:23 +0000loreto(~loreto@user/loreto) (Ping timeout: 272 seconds)
2025-06-08 21:35:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 21:35:26 +0000nefercheprureTMA
2025-06-08 21:35:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 21:39:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-08 21:42:11 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 21:42:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 21:46:15 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 21:46:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 21:46:57 +0000loreto(~loreto@user/loreto) loreto
2025-06-08 21:50:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 21:50:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 21:50:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 21:53:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 21:53:23 +0000loreto(~loreto@user/loreto) (Ping timeout: 272 seconds)
2025-06-08 21:53:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 22:00:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 22:00:09 +0000jespada(~jespada@r179-24-24-141.dialup.adsl.anteldata.net.uy) jespada
2025-06-08 22:00:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 22:04:33 +0000jespada(~jespada@r179-24-24-141.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds)
2025-06-08 22:04:34 +0000loreto(~loreto@user/loreto) loreto
2025-06-08 22:06:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 22:06:54 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 22:07:16 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-06-08 22:09:51 +0000loreto(~loreto@user/loreto) (Ping timeout: 272 seconds)
2025-06-08 22:13:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 22:13:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 22:13:32 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-08 22:16:39 +0000euphores(~SASL_euph@user/euphores) (Ping timeout: 245 seconds)
2025-06-08 22:18:26 +0000loreto(~loreto@user/loreto) loreto
2025-06-08 22:19:29 +0000machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds)
2025-06-08 22:21:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 22:21:24 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 22:21:52 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-08 22:23:13 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-06-08 22:23:47 +0000loreto(~loreto@user/loreto) (Ping timeout: 272 seconds)
2025-06-08 22:23:53 +0000euphores(~SASL_euph@user/euphores) euphores
2025-06-08 22:25:35 +0000 <geekosaur> I'm going to take the bridge down in a few minutes so I can swap out my router. Optimistically that will take around 15 minutes, reality may be half an hour or longer
2025-06-08 22:26:23 +0000sprotte24_(~sprotte24@p200300d16f204800914da669750177d2.dip0.t-ipconnect.de) (Quit: Leaving)
2025-06-08 22:26:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 22:27:06 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 22:29:04 +0000comonad(~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de)
2025-06-08 22:31:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 22:31:54 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 22:33:45 +0000 <geekosaur> outage about to begin
2025-06-08 22:34:15 +0000haskellbridge(~hackager@syn-096-028-224-255.res.spectrum.com) (Remote host closed the connection)
2025-06-08 22:34:25 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-06-08 22:34:48 +0000trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-08 22:35:02 +0000trickard(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-08 22:35:19 +0000loreto(~loreto@user/loreto) loreto
2025-06-08 22:35:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 22:36:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 22:39:27 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-06-08 22:40:15 +0000loreto(~loreto@user/loreto) (Ping timeout: 272 seconds)
2025-06-08 22:41:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 22:42:06 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 22:47:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 22:47:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 22:52:15 +0000loreto(~loreto@user/loreto) loreto
2025-06-08 22:53:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 22:53:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 22:57:21 +0000loreto(~loreto@user/loreto) (Ping timeout: 272 seconds)
2025-06-08 22:57:38 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 22:58:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 23:03:07 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-08 23:03:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 23:04:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 23:05:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 23:05:43 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-08 23:06:06 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 23:08:51 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-08 23:10:24 +0000loreto(~loreto@user/loreto) loreto
2025-06-08 23:11:43 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 23:12:06 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 23:12:28 +0000jespada(~jespada@r179-24-24-141.dialup.adsl.anteldata.net.uy) jespada
2025-06-08 23:12:44 +0000trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-08 23:15:19 +0000trickard(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-08 23:16:21 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-06-08 23:16:59 +0000loreto(~loreto@user/loreto) (Ping timeout: 272 seconds)
2025-06-08 23:17:09 +0000drewr(~drew@user/drewr) (Ping timeout: 248 seconds)
2025-06-08 23:17:39 +0000jespada(~jespada@r179-24-24-141.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds)
2025-06-08 23:17:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 23:18:13 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 23:19:34 +0000loreto(~loreto@user/loreto) loreto
2025-06-08 23:21:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 23:22:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 23:25:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 23:25:51 +0000loreto(~loreto@user/loreto) (Ping timeout: 272 seconds)
2025-06-08 23:26:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 23:31:29 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds)
2025-06-08 23:31:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 23:32:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 23:32:07 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-08 23:37:14 +0000loreto(~loreto@user/loreto) loreto
2025-06-08 23:37:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 23:38:08 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 23:38:22 +0000markasoftware_(~quassel@2604:180:f2::217) (Ping timeout: 276 seconds)
2025-06-08 23:41:34 +0000markasoftware(~quassel@2604:180:f2::217) markasoftware
2025-06-08 23:43:12 +0000haskellbridge(~hackager@syn-096-028-224-227.res.spectrum.com) hackager
2025-06-08 23:43:12 +0000ChanServ+v haskellbridge
2025-06-08 23:43:35 +0000loreto(~loreto@user/loreto) (Ping timeout: 272 seconds)
2025-06-08 23:43:41 +0000 <geekosaur> okay, should be back. matrix side may take some time to catch up as my IP address changed again
2025-06-08 23:43:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 23:44:13 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 23:47:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-08 23:47:47 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-06-08 23:49:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 23:50:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 23:51:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 23:54:34 +0000loreto(~loreto@user/loreto) loreto
2025-06-08 23:55:48 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 252 seconds)
2025-06-08 23:57:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 23:57:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)