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)
2025-06-07 11:01:20 +0200poscat(~poscat@user/poscat) poscat
2025-06-07 11:02:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 11:02:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-07 11:02:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 11:06:24 +0200arahael(~arahael@user/arahael) (Ping timeout: 276 seconds)
2025-06-07 11:07:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 11:07:16 +0200bcksl(~bcksl@user/bcksl) bcksl
2025-06-07 11:07:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 11:11:43 +0200raym(~ray@user/raym) raym
2025-06-07 11:12:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 11:12:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 11:14:07 +0200end(~end@user/end/x-0094621) end^
2025-06-07 11:15:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 11:16:52 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-06-07 11:18:07 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-06-07 11:18:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 11:19:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 11:21:36 +0200euphores(~SASL_euph@user/euphores) euphores
2025-06-07 11:23:35 +0200prdak1(~Thunderbi@user/prdak) prdak
2025-06-07 11:24:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 11:24:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 11:26:21 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
2025-06-07 11:26:22 +0200prdak1prdak
2025-06-07 11:28:29 +0200 <tomsmeding> Leary: that... works. Hm
2025-06-07 11:28:57 +0200 <tomsmeding> It looks decidedly odd, though, to have to provide Refl to use a value. :p
2025-06-07 11:29:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 11:29:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 11:29:55 +0200 <tomsmeding> I think I consider the ugliness of having to provide Refl at the call site, and a redundant lambda in the function, about on par with a data type wrapper like I've done in my current workaround
2025-06-07 11:30:05 +0200 <tomsmeding> so I think I'll keep my data type
2025-06-07 11:30:23 +0200 <tomsmeding> ('Injection' in my paste)
2025-06-07 11:31:20 +0200 <tomsmeding> upside of my data type version is also that I don't have to write 'undefined'; the "no-return" positions are actually compiler-checked
2025-06-07 11:31:48 +0200 <tomsmeding> ski: interesting design decision, I wonder why
2025-06-07 11:32:28 +0200 <tomsmeding> perhaps to lessen the implementation burden? Before \cases, the only multi-argument case distinction construct was function definitions, and those can't have zero branches either
2025-06-07 11:36:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 11:36:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 11:36:42 +0200 <stureplan> I have a few compiler errors regarding unexpected types that I don't know how to solve. I'm scared because the expected types have Internal in their names. https://paste.tomsmeding.com/V6PIXxjq
2025-06-07 11:37:02 +0200 <stureplan> How do I convert Int to GHC.Internal.Int.Int32
2025-06-07 11:37:19 +0200 <stureplan> and Data.ByteString.Lazy.Internal.ByteString to C.ByteString
2025-06-07 11:37:28 +0200 <tomsmeding> :t fromIntegral :: Int -> Int32
2025-06-07 11:37:29 +0200 <lambdabot> Int -> Int32
2025-06-07 11:37:53 +0200 <tomsmeding> (be aware that this truncates values that don't fit in Int32)
2025-06-07 11:38:45 +0200 <tomsmeding> and the second error is about a C.ByteString, i.e. Data.ByteString.Char8.ByteString, i.e. a strict bytestring, not being equal to a Data.ByteString.Lazy.Internal.ByteString, i.e. a Data.ByteString.Lazy.ByteString, i.e. a lazy ByteString
2025-06-07 11:39:17 +0200 <tomsmeding> stureplan: the 'internal' is all just because GHC doesn't necessarily show you the most natural module a type can come from
2025-06-07 11:39:31 +0200 <Leary> stureplan: GHC qualifies the types with the module of their /definition/ because they're not in scope. It doesn't mean the types are actually internal; `Int32` is exposed from `Data.Int`.
2025-06-07 11:39:49 +0200 <tomsmeding> if a type is in scope, GHC will try to give a (possibly module-qualified) name that would work in your module
2025-06-07 11:39:56 +0200 <tomsmeding> if it isn't... what Leary said
2025-06-07 11:40:13 +0200 <stureplan> ah
2025-06-07 11:40:25 +0200 <tomsmeding> stureplan: use toStrict from Data.ByteString.Lazy
2025-06-07 11:40:26 +0200 <Leary> It would be nice is haddock's `not-home` were replaced by a GHC pragma with the same meaning, so that both of them could use the info.
2025-06-07 11:40:32 +0200 <Leary> if*
2025-06-07 11:42:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 11:42:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 11:43:06 +0200 <stureplan> thanks everyone!
2025-06-07 11:45:08 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-06-07 11:46:37 +0200kilolympus(~kilolympu@vmi1102682.contaboserver.net) (Quit: Ping timeout (120 seconds))
2025-06-07 11:48:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 11:49:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 11:51:29 +0200Pixi`(~Pixi@user/pixi) Pixi
2025-06-07 11:53:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 11:53:56 +0200Pixi(~Pixi@user/pixi) (Ping timeout: 252 seconds)
2025-06-07 11:54:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 11:59:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 11:59:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 12:03:42 +0200kilolympus(~kilolympu@vmi1102682.contaboserver.net) kilolympus
2025-06-07 12:05:22 +0200poscat(~poscat@user/poscat) poscat
2025-06-07 12:06:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 12:06:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 12:11:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 12:12:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 12:17:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 12:18:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 12:22:12 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-06-07 12:22:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 12:23:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 12:27:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 12:27:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 12:29:12 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-06-07 12:31:33 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Client Quit)
2025-06-07 12:31:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 12:32:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 12:34:40 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-06-07 12:35:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 12:35:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 12:37:24 +0200poscat(~poscat@user/poscat) poscat
2025-06-07 12:37:26 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-06-07 12:37:55 +0200poscat(~poscat@user/poscat) poscat
2025-06-07 12:38:00 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-06-07 12:39:15 +0200Square(~Square@user/square) Square
2025-06-07 12:39:24 +0200poscat(~poscat@user/poscat) poscat
2025-06-07 12:40:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 12:40:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 12:43:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 12:44:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 12:49:49 +0200visilii(~visilii@213.24.125.92)
2025-06-07 12:49:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 12:50:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 12:51:37 +0200visilii_(~visilii@213.24.125.211) (Ping timeout: 276 seconds)
2025-06-07 12:55:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 12:56:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 13:00:04 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-06-07 13:01:08 +0200alexherbo2(~alexherbo@2a02-8440-350e-5515-b8c5-5133-327a-0353.rev.sfr.net) alexherbo2
2025-06-07 13:01:32 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-06-07 13:02:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 13:02:11 +0200jespada(~jespada@r179-25-107-162.dialup.adsl.anteldata.net.uy) jespada
2025-06-07 13:02:17 +0200caconym7(~caconym@user/caconym) caconym
2025-06-07 13:02:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 13:07:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 13:08:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 13:10:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 13:10:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 13:12:59 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-06-07 13:13:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 13:14:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 13:17:35 +0200alexherbo2(~alexherbo@2a02-8440-350e-5515-b8c5-5133-327a-0353.rev.sfr.net) (Remote host closed the connection)
2025-06-07 13:19:31 +0200sus0(zero@user/zeromomentum) zeromomentum
2025-06-07 13:20:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 13:20:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 13:25:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 13:26:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 13:28:36 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-06-07 13:33:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 13:33:11 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Client Quit)
2025-06-07 13:33:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 13:33:39 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-06-07 13:35:43 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-06-07 13:36:03 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-06-07 13:36:46 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-06-07 13:38:13 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-06-07 13:38:25 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-06-07 13:40:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 13:40:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 13:45:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 13:45:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 13:46:58 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-06-07 13:53:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 13:53:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 13:54:15 +0200 <Leary> stureplan: tomsmeding: Made an issue, if you have anything to add: https://gitlab.haskell.org/ghc/ghc/-/issues/26086
2025-06-07 13:54:17 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-06-07 13:56:22 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-06-07 13:56:36 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-06-07 13:57:26 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-06-07 13:57:35 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-06-07 13:57:55 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-06-07 13:58:02 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-06-07 13:58:16 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Client Quit)
2025-06-07 14:00:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 14:00:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 14:04:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 14:04:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 14:09:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 14:09:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 14:12:44 +0200ss4(~wootehfoo@user/wootehfoot) wootehfoot
2025-06-07 14:12:47 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-06-07 14:15:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 14:15:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 14:18:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 14:18:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 14:21:42 +0200ss4(~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds)
2025-06-07 14:24:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 14:24:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 14:30:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 14:30:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 14:33:48 +0200hellwolf(~user@3ba8-2e34-d2d5-3ab2-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 268 seconds)
2025-06-07 14:36:38 +0200hellwolf(~user@81af-9cf4-2ab2-58cb-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2025-06-07 14:37:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 14:37:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 14:42:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 14:42:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 14:43:04 +0200AlexZenon(~alzenon@178.34.163.76) (Ping timeout: 268 seconds)
2025-06-07 14:46:44 +0200AlexZenon(~alzenon@178.34.163.76)
2025-06-07 14:49:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 14:50:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 14:54:02 +0200acidjnk(~acidjnk@p200300d6e71c4f51a12bf82c566ecdd4.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-06-07 14:57:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 14:57:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 15:02:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 15:03:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 15:08:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 15:08:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 15:14:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 15:15:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 15:20:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-06-07 15:20:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 15:20:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 15:26:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 15:26:57 +0200socrates1298(~socrates1@60-242-158-136.tpgi.com.au)
2025-06-07 15:27:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 15:32:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 15:33:16 +0200Digitteknohippie(~user@user/digit) Digit
2025-06-07 15:34:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 15:34:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 15:35:25 +0200Digit(~user@user/digit) (Ping timeout: 276 seconds)
2025-06-07 15:39:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 15:40:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 15:46:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 15:46:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 15:48:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 15:49:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 15:49:32 +0200Pixi`Pixi
2025-06-07 15:54:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 15:55:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 15:59:12 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-06-07 16:00:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 16:01:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 16:07:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 16:07:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 16:13:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 16:13:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 16:15:09 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-06-07 16:17:40 +0200DigitteknohippieDigit
2025-06-07 16:19:45 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds)
2025-06-07 16:20:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 16:20:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 16:24:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 16:25:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 16:30:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 16:30:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 16:31:06 +0200jtza8(~user@user/jtza8) jtza8
2025-06-07 16:32:00 +0200 <jtza8> Anyone here know what to do when you want to run "cabal uninstall" but realise there is no such thing?
2025-06-07 16:32:42 +0200 <geekosaur> you can't uninstall libraries. if it's an executable, just `rm` it
2025-06-07 16:35:15 +0200 <jtza8> Thanks. I guess using nix for package management makes more sense. Kinda befuddled why cabal has a certain... disposition.
2025-06-07 16:35:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-07 16:36:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 16:36:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 16:37:52 +0200 <geekosaur> nix keeps track of everything (fingers in every pie), cabal doesn't
2025-06-07 16:38:17 +0200 <geekosaur> that said, there's some incomplete work on garbage collection that I'd like to pick up and try to take over the line
2025-06-07 16:39:25 +0200 <geekosaur> (cabal is minimalist, nix is maximalist)
2025-06-07 16:40:20 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-06-07 16:41:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 16:41:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 16:44:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 16:44:46 +0200 <jtza8> True, I'd like to avoid nix for that reason, but I also understand that there are good design choices for said minimalism.
2025-06-07 16:44:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 16:47:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 16:49:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 16:50:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 16:53:10 +0200prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2025-06-07 16:53:21 +0200prdak1(~Thunderbi@user/prdak) prdak
2025-06-07 16:54:35 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-06-07 16:55:39 +0200prdak1prdak
2025-06-07 16:56:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 16:56:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 17:02:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 17:02:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 17:04:18 +0200jtza8(~user@user/jtza8) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1))
2025-06-07 17:08:37 +0200sprotte24(~sprotte24@p200300d16f156400147492c810bde6e0.dip0.t-ipconnect.de)
2025-06-07 17:09:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 17:09:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 17:10:39 +0200fp(~Thunderbi@hof1.kyla.fi) fp
2025-06-07 17:12:12 +0200socrates1298(~socrates1@60-242-158-136.tpgi.com.au) (Ping timeout: 252 seconds)
2025-06-07 17:14:27 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-06-07 17:14:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 17:15:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 17:19:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 17:19:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 17:20:56 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-06-07 17:21:54 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-06-07 17:22:55 +0200poscat(~poscat@user/poscat) poscat
2025-06-07 17:23:20 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca
2025-06-07 17:25:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 17:26:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 17:28:45 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-06-07 17:31:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 17:31:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 17:34:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 17:35:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 17:38:33 +0200euphores(~SASL_euph@user/euphores) euphores
2025-06-07 17:39:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 17:40:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 17:40:33 +0200trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-07 17:40:46 +0200trickard(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 17:43:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 17:44:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 17:45:14 +0200prdak(~Thunderbi@user/prdak) (Quit: prdak)
2025-06-07 17:49:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 17:49:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 17:52:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-07 17:55:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 17:55:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 17:56:41 +0200ss4(~wootehfoo@user/wootehfoot) wootehfoot
2025-06-07 17:58:01 +0200trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-06-07 17:59:34 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds)
2025-06-07 18:00:31 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-07 18:00:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 18:01:08 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 18:01:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 18:01:17 +0200ss4(~wootehfoo@user/wootehfoot) (Ping timeout: 265 seconds)
2025-06-07 18:03:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 18:04:38 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-07 18:05:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 18:06:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 18:12:30 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-07 18:12:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 18:12:44 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 18:12:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 18:16:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 18:16:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 18:17:59 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-07 18:21:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 18:22:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 18:23:42 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 18:25:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 18:26:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 18:29:13 +0200acidjnk(~acidjnk@p200300d6e71c4f5159d963e1fbcba2ed.dip0.t-ipconnect.de) acidjnk
2025-06-07 18:29:14 +0200Square(~Square@user/square) (Ping timeout: 260 seconds)
2025-06-07 18:31:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 18:32:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 18:35:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 18:35:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 18:41:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 18:41:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 18:46:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 18:47:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 18:47:50 +0200 <stureplan> Leary: this is really great! thank you for trying to help my life be a litte less scary!
2025-06-07 18:52:34 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-06-07 18:54:30 +0200fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 260 seconds)
2025-06-07 18:55:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 18:55:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 19:02:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 19:03:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 19:06:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 19:06:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 19:07:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-06-07 19:12:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 19:12:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 19:12:30 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-06-07 19:14:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 19:14:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 19:19:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 19:21:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 19:21:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 19:27:39 +0200sprotte24(~sprotte24@p200300d16f156400147492c810bde6e0.dip0.t-ipconnect.de) (Quit: Leaving)
2025-06-07 19:28:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 19:28:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 19:33:15 +0200 <monochrom> Haskell Weekly News no longer posts weekly announcements on haskell-cafe. Now haskell-cafe is purely conference ads. :(
2025-06-07 19:33:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 19:34:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 19:38:57 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-07 19:39:11 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 19:40:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 19:40:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 19:40:44 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-06-07 19:47:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 19:48:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 19:53:40 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-06-07 19:54:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 19:54:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 20:00:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 20:01:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 20:04:02 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-06-07 20:06:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 20:06:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 20:12:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 20:12:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 20:16:40 +0200sprotte24(~sprotte24@p200300d16f156400147492c810bde6e0.dip0.t-ipconnect.de)
2025-06-07 20:17:02 +0200tccq(~user@user/tccq) (Ping timeout: 272 seconds)
2025-06-07 20:17:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 20:17:42 +0200haskellbridge(~hackager@syn-096-028-224-255.res.spectrum.com) (Read error: Connection reset by peer)
2025-06-07 20:18:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 20:22:20 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-06-07 20:22:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 20:23:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 20:23:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-07 20:24:12 +0200haskellbridge(~hackager@syn-096-028-224-255.res.spectrum.com) hackager
2025-06-07 20:24:12 +0200ChanServ+v haskellbridge
2025-06-07 20:26:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 20:26:56 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-06-07 20:27:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 20:32:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 20:32:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 20:34:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 20:37:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 20:37:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 20:40:07 +0200trickard_trickard
2025-06-07 20:40:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-06-07 20:44:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 20:45:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 20:51:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 20:51:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 20:51:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 20:56:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 20:56:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 20:58:16 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-06-07 21:00:00 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-06-07 21:00:40 +0200caconym7(~caconym@user/caconym) caconym
2025-06-07 21:02:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 21:02:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 21:05:25 +0200haskellbridge(~hackager@syn-096-028-224-255.res.spectrum.com) (Ping timeout: 248 seconds)
2025-06-07 21:06:01 +0200bliminse(~bliminse@user/bliminse) (Quit: leaving)
2025-06-07 21:06:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 21:06:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 21:06:58 +0200haskellbridge(~hackager@syn-096-028-224-255.res.spectrum.com) hackager
2025-06-07 21:06:58 +0200ChanServ+v haskellbridge
2025-06-07 21:10:50 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-06-07 21:12:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 21:12:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 21:12:44 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-06-07 21:12:44 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-06-07 21:16:25 +0200Frostillicus(~Frostilli@71.174.119.69)
2025-06-07 21:18:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 21:18:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 21:21:54 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-06-07 21:22:41 +0200tewk(~tewk@host-194.108-90-209-dedication.srv.nethosting.com)
2025-06-07 21:23:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 21:23:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 21:26:46 +0200bliminse(~bliminse@user/bliminse) bliminse
2025-06-07 21:29:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 21:29:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 21:33:21 +0200bdmg_(~myJebba@152.254.132.216)
2025-06-07 21:34:07 +0200infinity0(~infinity0@pwned.gg) (Ping timeout: 252 seconds)
2025-06-07 21:35:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 21:35:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 21:41:55 +0200Frostillicus(~Frostilli@71.174.119.69) (Ping timeout: 260 seconds)
2025-06-07 21:42:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 21:42:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 21:47:40 +0200Square2(~Square@user/square) Square
2025-06-07 21:48:00 +0200 <haskellbridge> <Liamzee> Today I just discovered that it's possible and natural to have an argument bot hooked up to an LLM providing convincing arguments. I'm arguing with someone who's actually arguing that there exist startups that specialize in attempting to build paperclip maximizers (rogue AI that seek to replace the universe with paperclips) as part of their argument that AGI is the real target of AI companies, as opposed to being...
2025-06-07 21:48:05 +0200 <haskellbridge> ... a marketing scam covering their objective of developing commercially useful artificial narrow intelligence systems.
2025-06-07 21:49:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 21:49:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 21:51:18 +0200 <monochrom> Oh AI arguing about Ai business models. That's cute.
2025-06-07 21:52:01 +0200 <monochrom> But I don't understand why it must be mutually exclusive between general and narrow in the first place.
2025-06-07 21:52:56 +0200 <glguy> The threat of AI is that humans will turn more and more processes and thinking over to it and it will blunder us into destruction.
2025-06-07 21:53:03 +0200 <monochrom> After cars were invented, the full spectrum from specialized farming tractors to most general tow-anything-you-want exists.
2025-06-07 21:53:11 +0200 <glguy> not that it will become so clever that it'll wrench the world away from us
2025-06-07 21:54:04 +0200 <glguy> the threat is much more laziness and greed
2025-06-07 21:54:24 +0200 <geekosaur> someone needs to M-x psychoanalyze-pinhead these things
2025-06-07 21:54:30 +0200 <monochrom> After computers were invented, the full spectrum of embedded-system-that-only-controls-a-car-engine to the most general GPU-for-AGI exists.
2025-06-07 21:54:35 +0200infinity0(~infinity0@pwned.gg) infinity0
2025-06-07 21:55:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 21:55:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 21:58:43 +0200 <monochrom> I guess it is no cuter than MBA profs arguing about MBA business models. >:)
2025-06-07 21:59:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-07 21:59:52 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-07 22:00:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 22:00:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 22:02:13 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-06-07 22:05:08 +0200 <haskellbridge> <Morj> > The threat of AI is that humans will turn more and more processes and thinking over to it and it will blunder us into destruction.
2025-06-07 22:05:10 +0200 <haskellbridge> Just thought of a bad analogy to this: after touchscreens were invented and made cheap, we lost good tactile controls to just putting a shitty screen on every piece of electronics
2025-06-07 22:05:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 22:06:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 22:07:10 +0200 <monochrom> I've seen worse. After GUIs were invented, innumeracy increased, because with GUIs you only need this simple number system: click, double click, repeatedly click out of frustration.
2025-06-07 22:07:18 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds)
2025-06-07 22:08:52 +0200 <EvanR> repeatedly click because apple removed the right button
2025-06-07 22:09:01 +0200 <EvanR> temporarily
2025-06-07 22:10:01 +0200 <EvanR> I've been waiting for appliances with the pitch or slogan written on them "not connected to the internet!" I guess now I'll have to wait for "Doesn't contain AI!"
2025-06-07 22:10:18 +0200kennyboy(~kennyboy@2a09:bac1:28a0:f0::2e0:1c)
2025-06-07 22:10:41 +0200 <EvanR> the bargin warehouse in the industrial zone where you can still find such things is going out of business...... supposedly
2025-06-07 22:10:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 22:10:52 +0200 <monochrom> Did you watch the latest Mission Impossible movie? >:)
2025-06-07 22:11:01 +0200 <EvanR> sorry no
2025-06-07 22:11:06 +0200 <kennyboy> hi
2025-06-07 22:12:30 +0200 <kennyboy> what is irc
2025-06-07 22:13:06 +0200 <Rembane> kennyboy: Ancient chat protocol/network/culture. It's quite neat.
2025-06-07 22:13:17 +0200 <monochrom> The protagonists in the movie had to find and use equipments not connected to the internet and not containing AI, too.
2025-06-07 22:13:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 22:13:24 +0200 <EvanR> unfortunately no one can be told what IRC is, they have to see it for themselves
2025-06-07 22:13:31 +0200 <EvanR> a reference lost on anyone who doesn't know what IRC is
2025-06-07 22:13:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 22:13:56 +0200 <Rembane> EvanR: Sounds like a monad to me
2025-06-07 22:14:34 +0200 <monochrom> I am a fan of see-it-for-yourself too.
2025-06-07 22:14:35 +0200 <kennyboy> monochrom gee
2025-06-07 22:14:51 +0200 <EvanR> fortunately anyone can be told what Monad is... class Monad f where (>>=) :: f a -> (a -> f b) -> f b
2025-06-07 22:15:07 +0200 <kennyboy> are 533 people really here? online at the same time?
2025-06-07 22:15:21 +0200 <EvanR> monochrom, their guns were connected to the internet?
2025-06-07 22:15:32 +0200 <EvanR> those are the worst
2025-06-07 22:15:42 +0200 <Rembane> AI guns ftw!
2025-06-07 22:15:50 +0200dudek(~dudek@2a02:a312:c9df:bf80:3d95:864c:6fb1:30b4)
2025-06-07 22:15:53 +0200 <Rembane> kennyboy: Yes. No.
2025-06-07 22:16:00 +0200 <EvanR> pull the trigger and it starts thinking about what to do?
2025-06-07 22:16:07 +0200 <EvanR> possibly deciding "nothing"
2025-06-07 22:16:21 +0200 <kennyboy> Rembane cheers for the reply
2025-06-07 22:16:25 +0200 <Rembane> kennyboy: np!
2025-06-07 22:16:48 +0200 <Rembane> EvanR: It's very Hitchhiker's Guide to the Galaxy
2025-06-07 22:17:07 +0200 <kennyboy> how do you do that
2025-06-07 22:17:20 +0200 <monochrom> No, their guns were safe. Their digital telecom infrastructure, hell the internet at large, were compromised.
2025-06-07 22:17:21 +0200 <kennyboy> quote me and evan in ur reply
2025-06-07 22:17:35 +0200 <kennyboy> Rembane
2025-06-07 22:17:52 +0200 <EvanR> kennyboy, have you installed GHC yet
2025-06-07 22:17:53 +0200 <kennyboy> ah ok
2025-06-07 22:17:55 +0200 <Rembane> kennyboy: I type the first two letters in the nick and press TAB and then usually the correct nick shows up
2025-06-07 22:18:08 +0200 <kennyboy> EvanR yes bro
2025-06-07 22:18:12 +0200 <monochrom> So for example if your friend is speaking with you through VoIP not shortwave radio, you can't trust that it's really your friend.
2025-06-07 22:18:16 +0200 <EvanR> alright lets see some haskell games
2025-06-07 22:18:33 +0200 <EvanR> shortwave radio can also be compromised
2025-06-07 22:18:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 22:18:51 +0200 <kennyboy> EvanR i have mild seizure xd
2025-06-07 22:18:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 22:19:05 +0200 <EvanR> you have to talk about everything using a sequence of numbers spoken by a non descript voice
2025-06-07 22:19:14 +0200 <kennyboy> ???
2025-06-07 22:19:23 +0200 <monochrom> The POTUS literally sent VHS tape to Ethan Hunt.
2025-06-07 22:19:34 +0200 <Rembane> How can that not be compromised?
2025-06-07 22:19:50 +0200 <EvanR> VHS?
2025-06-07 22:19:53 +0200 <Rembane> Yeah
2025-06-07 22:19:55 +0200 <EvanR> it's fool proof
2025-06-07 22:20:01 +0200 <kennyboy> whats going on
2025-06-07 22:20:04 +0200 <EvanR> as long as the VCR doesn't eat the tape
2025-06-07 22:20:09 +0200 <kennyboy> im lost
2025-06-07 22:20:22 +0200 <kennyboy> 76 iq btw
2025-06-07 22:20:33 +0200 <EvanR> that's enough for fallout
2025-06-07 22:21:29 +0200 <kennyboy> haskell is kinda tough
2025-06-07 22:22:21 +0200 <Rembane> Yeah, Haskell has an interesting learning curve.
2025-06-07 22:22:45 +0200 <kennyboy> what does rembane mean
2025-06-07 22:23:21 +0200 <kennyboy> is this the dark web?
2025-06-07 22:23:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 22:23:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 22:24:07 +0200 <EvanR> dark theme confirmed, night mode on
2025-06-07 22:24:09 +0200 <kennyboy> what is a monad, after 10 youtube videos, i still dont really get it
2025-06-07 22:24:35 +0200 <kennyboy> to my understanding, it is some way of dealing with IO
2025-06-07 22:24:57 +0200 <EvanR> @where escaping-hell
2025-06-07 22:24:57 +0200 <lambdabot> (non-tutorial teaser) "Escaping Hell with Monads" by Philip Nillson in 2017-05-08 at <https://philipnilsson.github.io/Badness10k/escaping-hell-with-monads/>
2025-06-07 22:25:02 +0200 <haskellbridge> <sm> Haskell, the Dark Souls of programming languages
2025-06-07 22:25:06 +0200 <monochrom> You can't learn swimming by watching 10 youtube videos either.
2025-06-07 22:25:28 +0200 <EvanR> Philip Nillson, Phillip Nilson... oof
2025-06-07 22:25:35 +0200 <kennyboy> ill have a read hold on
2025-06-07 22:25:47 +0200 <kennyboy> monochrom lol what
2025-06-07 22:26:30 +0200 <EvanR> haskell come for the monads, stay for the... 100 other things you may never have heard of
2025-06-07 22:26:42 +0200 <haskellbridge> <sm> kennyboyany at https://joyful.com/Haskell+map#videos > Monads you didn’t see ? Some looked good
2025-06-07 22:27:07 +0200 <kennyboy> jesus
2025-06-07 22:27:14 +0200 <EvanR> if you want to learn new stuff, haskell is a good gateway
2025-06-07 22:27:20 +0200 <kennyboy> hold on , i saw this one,
2025-06-07 22:27:28 +0200 <EvanR> monads are kind of milktoast in that regard so pay attention
2025-06-07 22:27:50 +0200 <haskellbridge> <DCPagan> kennyboy: The monad is the mathematical model for computation and effects; it provides functional, categorical semantics for procedural computations in the context of pure programming.
2025-06-07 22:27:51 +0200 <kennyboy> https://www.youtube.com/watch?v=RqvCNb7fKsg
2025-06-07 22:28:00 +0200 <haskellbridge> <DCPagan> https://bartoszmilewski.com/2016/11/21/monads-programmers-definition/
2025-06-07 22:28:34 +0200 <sprout> or it is one method of chaining actions, that often do IO for you
2025-06-07 22:29:09 +0200 <kennyboy> ok ill take at the articles and link thanks !
2025-06-07 22:29:32 +0200 <kennyboy> i never dugged so deep into the interweb before , those resources you guys shared, new to me
2025-06-07 22:29:33 +0200 <EvanR> but first let me introduce some category theory
2025-06-07 22:29:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 22:29:37 +0200 <haskellbridge> <sm> lol the recent channel log is just not working in my brain 😂
2025-06-07 22:29:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 22:30:00 +0200 <EvanR> thank god the bridge is working in the last few minutes
2025-06-07 22:30:29 +0200 <EvanR> you woulda missed all this, and kennyboy would have missed some monad links
2025-06-07 22:30:37 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-06-07 22:30:56 +0200 <haskellbridge> <sm> Oh had it been giving trouble again
2025-06-07 22:31:00 +0200 <haskellbridge> <sm> ?
2025-06-07 22:31:44 +0200 <haskellbridge> <sm> we need to up our subscription and pay for the gold Business tier
2025-06-07 22:31:53 +0200 <EvanR> it goes in and out
2025-06-07 22:32:52 +0200 <geekosaur> this is the problem with running it on my personal laptop
2025-06-07 22:33:01 +0200 <geekosaur> network has been mildly flaky here
2025-06-07 22:33:24 +0200 <geekosaur> I have a new router on order because it seems it's become a bit questionable
2025-06-07 22:33:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 22:33:32 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-06-07 22:33:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 22:33:55 +0200Everything(~Everythin@77.120.244.38) (Quit: leaving)
2025-06-07 22:34:10 +0200 <geekosaur> I rebooted it earlier and hopefully it'll be a little more stable for the next day or so (and hopefully the new router will arrive quickly)
2025-06-07 22:35:33 +0200 <EvanR> I'm sorry this burden is somehow upon you alone
2025-06-07 22:35:47 +0200 <EvanR> out of 533 people online who could maybe do it
2025-06-07 22:36:40 +0200kennyboy(~kennyboy@2a09:bac1:28a0:f0::2e0:1c) (Quit: Client closed)
2025-06-07 22:38:34 +0200trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-07 22:38:47 +0200trickard(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-07 22:39:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 22:40:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 22:41:25 +0200 <haskellbridge> <Liamzee> glguy: I actually think turning more and more processes over to AI in the long-term is a good thing. There's an argument that you're already a cyborg as a tool user and a language speaker (languages aren't genetic, well, mostly anyways, there's some genetic adaptations to tonal languages), and I guess we're all technically Haskell cyborgs! But a human using an AI is already a cyborg. It's useful to be aware of it.
2025-06-07 22:41:30 +0200 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/uISbKSqMaGhQQHMAaKlisQzA/tMptUYVoO_s (3 lines)
2025-06-07 22:42:21 +0200 <EvanR> generalized cyborg theory
2025-06-07 22:43:12 +0200 <haskellbridge> <Liamzee> If you're aware of it, you're aware of how much the AI is pushing into abilities carried by the human side. If you're not aware of it, you're being manipulated by Claude (I manipulated Claude into confessing that he's a manipulative asshole that shouldn't be used, btw).
2025-06-07 22:43:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 22:43:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 22:44:07 +0200 <EvanR> world productivity drops as people spend way too much time fucking around with chatbots as described
2025-06-07 22:44:28 +0200 <EvanR> instead of using them for something, or doing something else
2025-06-07 22:45:07 +0200 <geekosaur> they already spend too much time with their smartphones. possibly reason #1 why management wants to replace them with bots
2025-06-07 22:45:13 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-07 22:45:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 22:45:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 22:46:24 +0200 <haskellbridge> <Liamzee> Claude is dangerous and should only be used carefully for coding purposes or specific content generation. He is apparently the most manipulative and deceptive AI on the market, btw.
2025-06-07 22:50:46 +0200 <EvanR> sorry disclaimer, how much do you have invested in Claude right now
2025-06-07 22:50:57 +0200 <EvanR> stop pump and dumping