2025/06/07

2025-06-07 00:00:16 +0200iteratee(~kyle@199.119.84.78) iteratee
2025-06-07 00:00:17 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-06-07 00:00:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 00:01:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 00:03:30 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-06-07 00:06:44 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-06-07 00:06:44 +0200ljdarj1ljdarj
2025-06-07 00:07:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 00:07:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 00:09:47 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-06-07 00:13:55 +0200jespada(~jespada@r186-48-62-70.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds)
2025-06-07 00:14:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 00:14:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 00:16:58 +0200jespada(~jespada@r190-133-49-250.dialup.adsl.anteldata.net.uy) jespada
2025-06-07 00:19:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 00:19:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 00:24:13 +0200iteratee(~kyle@199.119.84.78) (Remote host closed the connection)
2025-06-07 00:24:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 00:24:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 00:25:51 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-06-07 00:30:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 00:30:51 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-06-07 00:31:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 00:33:42 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-06-07 00:34:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 00:34:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-06-07 00:34:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 00:35:15 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-06-07 00:36:03 +0200loreto(~loreto@user/loreto) (Ping timeout: 272 seconds)
2025-06-07 00:40:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 00:40:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 00:45:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 00:47:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 00:47:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 00:50:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-07 00:53:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 00:53:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 00:54:08 +0200bdmg_(~myJebba@152.254.132.216)
2025-06-07 00:54:52 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-06-07 00:56:15 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-06-07 00:58:56 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-06-07 00:59:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 00:59:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 01:01:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 01:03:23 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds)
2025-06-07 01:04:13 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2025-06-07 01:06:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-07 01:06:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 01:07:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 01:12:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 01:12:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 01:16:07 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 276 seconds)
2025-06-07 01:17:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 01:19:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 01:19:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 01:23:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 01:23:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 01:28:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 01:29:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 01:29:28 +0200sprotte24(~sprotte24@p200300d16f0c040018af77b6150bc84b.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-06-07 01:33:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 01:34:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 01:34:31 +0200iteratee(~kyle@199.119.84.78) iteratee
2025-06-07 01:37:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 01:37:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 01:42:27 +0200phma(~phma@host-67-44-208-79.hnremote.net) (Read error: Connection reset by peer)
2025-06-07 01:44:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 01:44:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 01:49:20 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-06-07 01:50:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 01:50:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 01:55:06 +0200ttybitnik(~ttybitnik@user/wolper) (Ping timeout: 265 seconds)
2025-06-07 01:56:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 01:56:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 02:00:27 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-06-07 02:00:59 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-07 02:02:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 02:02:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 02:03:58 +0200jespada(~jespada@r190-133-49-250.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
2025-06-07 02:07:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 02:08:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 02:08:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-07 02:11:28 +0200iteratee(~kyle@199.119.84.78) (Read error: Connection reset by peer)
2025-06-07 02:15:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 02:15:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 02:16:06 +0200laurapigeon(~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3)
2025-06-07 02:17:53 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-06-07 02:18:05 +0200trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-06-07 02:19:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 02:20:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 02:20:28 +0200bdmg_(~myJebba@152.254.132.216) (Ping timeout: 276 seconds)
2025-06-07 02:20:34 +0200trickard_trickard
2025-06-07 02:24:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 02:25:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 02:30:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 02:31:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 02:32:58 +0200phma(~phma@host-67-44-208-47.hnremote.net)
2025-06-07 02:37:09 +0200iteratee(~kyle@199.119.84.78) iteratee
2025-06-07 02:37:29 +0200acidjnk(~acidjnk@p200300d6e71c4f5968a828eaf3f04caa.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-06-07 02:37:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 02:38:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 02:40:37 +0200 <Leary> tomsmeding: Can you not refactor like this <https://play.haskell.org/saved/SfMQxTk9>?
2025-06-07 02:42:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 02:42:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 02:45:22 +0200iteratee(~kyle@199.119.84.78) (Ping timeout: 265 seconds)
2025-06-07 02:46:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 02:46:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 02:51:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 02:52:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 02:57:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 02:57:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 03:01:11 +0200iteratee(~kyle@199.119.84.78) iteratee
2025-06-07 03:02:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 03:02:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 03:03:24 +0200haskellbridge(~hackager@syn-096-028-224-255.res.spectrum.com) (Remote host closed the connection)
2025-06-07 03:04:01 +0200haskellbridge(~hackager@syn-096-028-224-255.res.spectrum.com) hackager
2025-06-07 03:04:01 +0200ChanServ+v haskellbridge
2025-06-07 03:06:37 +0200iteratee(~kyle@199.119.84.78) (Ping timeout: 276 seconds)
2025-06-07 03:08:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 03:08:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 03:13:41 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-06-07 03:14:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 03:14:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 03:20:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 03:20:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 03:23:35 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Quit: Lost terminal)
2025-06-07 03:24:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 03:24:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 03:25:40 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-06-07 03:26:42 +0200trickard(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-07 03:26:55 +0200trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-06-07 03:30:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-07 03:32:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 03:32:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 03:34:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 03:34:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 03:37:59 +0200iteratee(~kyle@199.119.84.78) iteratee
2025-06-07 03:38:07 +0200trickard__(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 03:38:12 +0200trickard_(~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-06-07 03:40:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 03:41:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 03:41:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 03:44:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 03:44:19 +0200iteratee(~kyle@199.119.84.78) (Ping timeout: 276 seconds)
2025-06-07 03:44:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 03:45:57 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-06-07 03:50:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 03:50:28 +0200trickard__(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-07 03:50:41 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 03:50:45 +0200iteratee(~kyle@199.119.84.78)
2025-06-07 03:50:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 03:52:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 03:52:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 03:53:52 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-06-07 03:56:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 03:56:48 +0200poscat(~poscat@user/poscat) poscat
2025-06-07 03:56:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 03:58:54 +0200Square(~Square@user/square) (Ping timeout: 260 seconds)
2025-06-07 04:02:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 04:02:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 04:07:51 +0200yangby(~secret@115.192.233.46) yangby
2025-06-07 04:08:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 04:08:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 04:09:31 +0200trickard_trickard
2025-06-07 04:12:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 04:12:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 04:16:52 +0200yangby(~secret@115.192.233.46) (Quit: Go out for a walk and buy a drink.)
2025-06-07 04:18:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 04:18:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 04:18:54 +0200Guest25(~Guest73@syn-067-250-041-022.res.spectrum.com)
2025-06-07 04:23:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 04:23:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 04:26:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 04:26:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 04:26:58 +0200trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-06-07 04:28:28 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 04:30:56 +0200Guest25(~Guest73@syn-067-250-041-022.res.spectrum.com) (Quit: Client closed)
2025-06-07 04:31:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 04:31:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 04:39:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 04:40:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 04:45:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 04:46:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 04:48:25 +0200trickard_trickard
2025-06-07 04:49:06 +0200zlqrvx(~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Read error: Connection reset by peer)
2025-06-07 04:49:31 +0200zlqrvx(~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3)
2025-06-07 04:49:39 +0200xff0x(~xff0x@2405:6580:b080:900:f382:3720:7b46:6f36) (Ping timeout: 260 seconds)
2025-06-07 04:51:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 04:52:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 04:53:52 +0200td_(~td@i5387091A.versanet.de) (Ping timeout: 276 seconds)
2025-06-07 04:55:17 +0200td_(~td@i53870903.versanet.de)
2025-06-07 04:56:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 04:57:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 05:00:52 +0200xff0x(~xff0x@2405:6580:b080:900:f382:3720:7b46:6f36)
2025-06-07 05:02:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 05:02:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 05:07:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 05:07:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 05:09:49 +0200trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-07 05:10:04 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 05:10:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 05:10:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 05:15:33 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-06-07 05:16:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 05:17:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 05:22:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 05:22:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 05:24:26 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-06-07 05:25:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 05:26:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 05:30:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 05:31:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 05:33:33 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-06-07 05:35:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 05:35:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 05:41:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 05:41:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 05:46:06 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-07 05:46:20 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 05:46:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-07 05:47:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 05:47:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 05:48:42 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-06-07 05:51:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 05:51:36 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-07 05:51:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 05:57:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 05:57:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 05:57:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 06:00:23 +0200infohazards(~user@user/fmira) fmira
2025-06-07 06:03:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-07 06:03:56 +0200infohazards(~user@user/fmira) (Client Quit)
2025-06-07 06:04:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-07 06:05:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 06:05:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 06:07:36 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 06:10:05 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca
2025-06-07 06:12:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 06:12:34 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-06-07 06:12:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 06:13:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 06:14:29 +0200infohazards(~user@user/fmira) fmira
2025-06-07 06:16:01 +0200infohazards(~user@user/fmira) (Client Quit)
2025-06-07 06:17:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 06:18:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 06:18:30 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 06:23:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 06:23:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 06:30:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 06:30:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 06:34:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 06:35:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 06:36:20 +0200fun-safe-math(~fun-safe-@97-120-101-87.ptld.qwest.net) (Ping timeout: 244 seconds)
2025-06-07 06:39:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 06:39:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 06:46:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 06:46:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 06:48:21 +0200fun-safe-math(~fun-safe-@97-120-106-107.ptld.qwest.net) fun-safe-math
2025-06-07 06:49:07 +0200sus0(zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net)
2025-06-07 06:50:08 +0200sus0(thelounge@user/zeromomentum) zeromomentum
2025-06-07 06:52:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 06:52:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 06:59:08 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2025-06-07 06:59:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 06:59:36 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-06-07 06:59:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 07:01:05 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-07 07:01:20 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 07:05:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 07:06:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 07:11:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 07:11:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 07:17:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 07:17:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 07:19:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-07 07:22:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 07:22:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 07:27:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 07:28:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 07:31:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 07:33:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 07:34:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 07:36:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-07 07:40:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 07:40:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 07:45:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 07:46:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 07:47:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 07:50:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 07:51:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 07:52:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-07 07:56:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 07:56:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 07:57:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 07:58:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 07:58:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 07:58:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 08:03:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 08:04:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 08:04:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 08:08:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-07 08:08:31 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-07 08:08:44 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 08:09:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 08:09:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 08:14:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 08:14:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 08:15:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 08:17:27 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-07 08:18:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 08:18:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 08:19:37 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 08:20:13 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-06-07 08:21:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-07 08:24:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 08:25:07 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-06-07 08:25:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 08:30:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 08:31:00 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-06-07 08:31:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 08:32:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 08:34:02 +0200poscat(~poscat@user/poscat) poscat
2025-06-07 08:35:12 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-06-07 08:35:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 08:36:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 08:37:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-06-07 08:39:28 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-06-07 08:40:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 08:41:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 08:45:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 08:45:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 08:47:09 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-07 08:48:14 +0200euphores(~SASL_euph@user/euphores) euphores
2025-06-07 08:48:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 08:49:21 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-07 08:49:35 +0200Clint(~Clint@user/clint) (Ping timeout: 260 seconds)
2025-06-07 08:49:35 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 08:50:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 08:50:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 08:50:50 +0200Clint(~Clint@user/clint) Clint
2025-06-07 08:54:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-06-07 08:54:38 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-07 08:57:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 08:57:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 08:57:56 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-06-07 09:00:05 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-06-07 09:00:45 +0200caconym7(~caconym@user/caconym) caconym
2025-06-07 09:04:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 09:04:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 09:04:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:10:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:10:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:12:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-07 09:16:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:16:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2025-06-07 09:16:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:22:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:22:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:23:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 09:25:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:25:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:28:34 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-07 09:30:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-06-07 09:31:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:32:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:38:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:39:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:40:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2025-06-07 09:41:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 09:44:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:44:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:46:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-07 09:48:20 +0200 <tomsmeding> Leary: clever, but unfortunately no; the whole right-hand side of foo depends on the boolean in some cases, not only the parts being optionally returned
2025-06-07 09:49:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:49:42 +0200 <tomsmeding> Leary: here is a fragment of the solution I ended up with: https://paste.tomsmeding.com/q3llQ1ol
2025-06-07 09:49:59 +0200 <tomsmeding> the optional "return values" are the injections
2025-06-07 09:50:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:50:49 +0200Everything(~Everythin@77.120.244.38) Everything
2025-06-07 09:51:52 +0200 <tomsmeding> part of the design is that I want to be able to return stuff in these positions even if I'm not supposed to, to make handling the cases more uniform; for example, in the posted cases, I return the first injection regardless of what boolean that is, because I can't improve the code with knowledge that I don't need to provide the first injection
2025-06-07 09:52:36 +0200 <tomsmeding> with the constraint-based design, that use of Noinj would be one of those inaccessible 'undefined' values
2025-06-07 09:53:15 +0200 <tomsmeding> and these two are approximately the simplest cases of sparsePlusS ;p
2025-06-07 09:54:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:55:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:56:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 10:01:22 +0200acidjnk(~acidjnk@p200300d6e71c4f51a12bf82c566ecdd4.dip0.t-ipconnect.de) acidjnk
2025-06-07 10:01:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 10:01:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 10:07:16 +0200trickard_trickard
2025-06-07 10:08:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 10:09:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 10:10:14 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-06-07 10:15:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 10:15:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 10:18:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 10:19:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 10:24:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 10:24:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 10:25:43 +0200trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-07 10:25:55 +0200trickard(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 10:30:35 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-06-07 10:30:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 10:31:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 10:33:25 +0200poscat(~poscat@user/poscat) poscat
2025-06-07 10:35:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 10:36:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 10:43:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 10:43:18 +0200end(~end@user/end/x-0094621) (Ping timeout: 244 seconds)
2025-06-07 10:43:29 +0200bcksl(~bcksl@user/bcksl) (Ping timeout: 248 seconds)
2025-06-07 10:43:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 10:44:37 +0200sus0(thelounge@user/zeromomentum) (Ping timeout: 248 seconds)
2025-06-07 10:46:00 +0200 <Leary> tomsmeding: I'll give up on taking in the context and just throw one more option at the wall: https://play.haskell.org/saved/WYsXlTW2
2025-06-07 10:50:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 10:50:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 10:52:01 +0200skiwas thinking of `\cases {}' (for the `b ~ True => String'), but `cases' doesn't allow zero alternatives ..
2025-06-07 10:55:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 10:55:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 10:57:36 +0200prdak(~Thunderbi@user/prdak) prdak
2025-06-07 10:59:25 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)