2025-06-07 00:00:16 +0200 | iteratee | (~kyle@199.119.84.78) iteratee |
2025-06-07 00:00:17 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-06-07 00:00:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 00:01:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 00:03:30 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-07 00:06:44 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-06-07 00:06:44 +0200 | ljdarj1 | ljdarj |
2025-06-07 00:07:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 00:07:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 00:09:47 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-06-07 00:13:55 +0200 | jespada | (~jespada@r186-48-62-70.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
2025-06-07 00:14:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 00:14:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 00:16:58 +0200 | jespada | (~jespada@r190-133-49-250.dialup.adsl.anteldata.net.uy) jespada |
2025-06-07 00:19:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 00:19:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 00:24:13 +0200 | iteratee | (~kyle@199.119.84.78) (Remote host closed the connection) |
2025-06-07 00:24:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 00:24:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 00:25:51 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-06-07 00:30:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 00:30:51 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-06-07 00:31:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 00:33:42 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-06-07 00:34:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 00:34:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-06-07 00:34:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 00:35:15 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
2025-06-07 00:36:03 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-07 00:40:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 00:40:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 00:45:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 00:47:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 00:47:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 00:50:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-07 00:53:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 00:53:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 00:54:08 +0200 | bdmg_ | (~myJebba@152.254.132.216) |
2025-06-07 00:54:52 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-06-07 00:56:15 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
2025-06-07 00:58:56 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-06-07 00:59:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 00:59:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 01:01:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 01:03:23 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
2025-06-07 01:04:13 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2025-06-07 01:06:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-07 01:06:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 01:07:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 01:12:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 01:12:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 01:16:07 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 276 seconds) |
2025-06-07 01:17:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 01:19:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 01:19:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 01:23:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 01:23:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 01:28:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 01:29:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 01:29:28 +0200 | sprotte24 | (~sprotte24@p200300d16f0c040018af77b6150bc84b.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-06-07 01:33:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 01:34:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 01:34:31 +0200 | iteratee | (~kyle@199.119.84.78) iteratee |
2025-06-07 01:37:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 01:37:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 01:42:27 +0200 | phma | (~phma@host-67-44-208-79.hnremote.net) (Read error: Connection reset by peer) |
2025-06-07 01:44:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 01:44:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 01:49:20 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-06-07 01:50:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 01:50:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 01:55:06 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 265 seconds) |
2025-06-07 01:56:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 01:56:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 02:00:27 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-06-07 02:00:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-07 02:02:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 02:02:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 02:03:58 +0200 | jespada | (~jespada@r190-133-49-250.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
2025-06-07 02:07:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 02:08:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 02:08:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-07 02:11:28 +0200 | iteratee | (~kyle@199.119.84.78) (Read error: Connection reset by peer) |
2025-06-07 02:15:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 02:15:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 02:16:06 +0200 | laurapigeon | (~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3) |
2025-06-07 02:17:53 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-06-07 02:18:05 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-07 02:19:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 02:20:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 02:20:28 +0200 | bdmg_ | (~myJebba@152.254.132.216) (Ping timeout: 276 seconds) |
2025-06-07 02:20:34 +0200 | trickard_ | trickard |
2025-06-07 02:24:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 02:25:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 02:30:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 02:31:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 02:32:58 +0200 | phma | (~phma@host-67-44-208-47.hnremote.net) |
2025-06-07 02:37:09 +0200 | iteratee | (~kyle@199.119.84.78) iteratee |
2025-06-07 02:37:29 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f5968a828eaf3f04caa.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2025-06-07 02:37:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 02:38:09 +0200 | sabathan2 | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 02:42:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 02:45:22 +0200 | iteratee | (~kyle@199.119.84.78) (Ping timeout: 265 seconds) |
2025-06-07 02:46:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 02:46:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 02:51:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 02:52:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 02:57:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 02:57:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 03:01:11 +0200 | iteratee | (~kyle@199.119.84.78) iteratee |
2025-06-07 03:02:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 03:02:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 03:03:24 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) (Remote host closed the connection) |
2025-06-07 03:04:01 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) hackager |
2025-06-07 03:04:01 +0200 | ChanServ | +v haskellbridge |
2025-06-07 03:06:37 +0200 | iteratee | (~kyle@199.119.84.78) (Ping timeout: 276 seconds) |
2025-06-07 03:08:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 03:08:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 03:13:41 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
2025-06-07 03:14:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 03:14:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 03:20:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 03:20:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 03:23:35 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
2025-06-07 03:24:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 03:24:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 03:25:40 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
2025-06-07 03:26:42 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-07 03:26:55 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-07 03:30:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-07 03:32:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 03:32:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 03:34:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 03:34:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 03:37:59 +0200 | iteratee | (~kyle@199.119.84.78) iteratee |
2025-06-07 03:38:07 +0200 | trickard__ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 03:38:12 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-06-07 03:40:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 03:41:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 03:41:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 03:44:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 03:44:19 +0200 | iteratee | (~kyle@199.119.84.78) (Ping timeout: 276 seconds) |
2025-06-07 03:44:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 03:45:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-06-07 03:50:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 03:50:28 +0200 | trickard__ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-07 03:50:41 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 03:50:45 +0200 | iteratee | (~kyle@199.119.84.78) |
2025-06-07 03:50:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 03:52:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 03:52:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 03:53:52 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-07 03:56:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 03:56:48 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-07 03:56:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 03:58:54 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
2025-06-07 04:02:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 04:02:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 04:07:51 +0200 | yangby | (~secret@115.192.233.46) yangby |
2025-06-07 04:08:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 04:08:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 04:09:31 +0200 | trickard_ | trickard |
2025-06-07 04:12:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 04:12:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 04:16:52 +0200 | yangby | (~secret@115.192.233.46) (Quit: Go out for a walk and buy a drink.) |
2025-06-07 04:18:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 04:18:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 04:18:54 +0200 | Guest25 | (~Guest73@syn-067-250-041-022.res.spectrum.com) |
2025-06-07 04:23:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 04:23:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 04:26:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 04:26:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 04:26:58 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-06-07 04:28:28 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 04:30:56 +0200 | Guest25 | (~Guest73@syn-067-250-041-022.res.spectrum.com) (Quit: Client closed) |
2025-06-07 04:31:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 04:31:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 04:39:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 04:40:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 04:45:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 04:46:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 04:48:25 +0200 | trickard_ | trickard |
2025-06-07 04:49:06 +0200 | zlqrvx | (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Read error: Connection reset by peer) |
2025-06-07 04:49:31 +0200 | zlqrvx | (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) |
2025-06-07 04:49:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f382:3720:7b46:6f36) (Ping timeout: 260 seconds) |
2025-06-07 04:51:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 04:52:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 04:53:52 +0200 | td_ | (~td@i5387091A.versanet.de) (Ping timeout: 276 seconds) |
2025-06-07 04:55:17 +0200 | td_ | (~td@i53870903.versanet.de) |
2025-06-07 04:56:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 04:57:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 05:00:52 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f382:3720:7b46:6f36) |
2025-06-07 05:02:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 05:02:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 05:07:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 05:07:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 05:09:49 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-07 05:10:04 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 05:10:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 05:10:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 05:15:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2025-06-07 05:16:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 05:17:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 05:22:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 05:22:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 05:24:26 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2025-06-07 05:25:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 05:26:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 05:30:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 05:31:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 05:33:33 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-06-07 05:35:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 05:35:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 05:41:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 05:41:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 05:46:06 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-07 05:46:20 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 05:46:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-07 05:47:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 05:47:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 05:48:42 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2025-06-07 05:51:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 05:51:36 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-07 05:51:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 05:57:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 05:57:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 05:57:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 06:00:23 +0200 | infohazards | (~user@user/fmira) fmira |
2025-06-07 06:03:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-07 06:03:56 +0200 | infohazards | (~user@user/fmira) (Client Quit) |
2025-06-07 06:04:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-07 06:05:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 06:05:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 06:07:36 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 06:10:05 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
2025-06-07 06:12:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 06:12:34 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-06-07 06:12:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 06:13:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 06:14:29 +0200 | infohazards | (~user@user/fmira) fmira |
2025-06-07 06:16:01 +0200 | infohazards | (~user@user/fmira) (Client Quit) |
2025-06-07 06:17:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 06:18:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 06:18:30 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 06:23:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 06:23:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 06:30:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 06:30:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 06:34:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 06:35:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 06:36:20 +0200 | fun-safe-math | (~fun-safe-@97-120-101-87.ptld.qwest.net) (Ping timeout: 244 seconds) |
2025-06-07 06:39:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 06:39:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 06:46:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 06:46:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 06:48:21 +0200 | fun-safe-math | (~fun-safe-@97-120-106-107.ptld.qwest.net) fun-safe-math |
2025-06-07 06:49:07 +0200 | sus0 | (zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net) |
2025-06-07 06:50:08 +0200 | sus0 | (thelounge@user/zeromomentum) zeromomentum |
2025-06-07 06:52:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 06:52:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 06:59:08 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2025-06-07 06:59:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 06:59:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-06-07 06:59:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 07:01:05 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-07 07:01:20 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 07:05:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 07:06:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 07:11:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 07:11:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 07:17:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 07:17:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 07:19:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-07 07:22:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 07:22:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 07:27:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 07:28:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 07:31:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 07:33:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 07:34:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 07:36:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-07 07:40:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 07:40:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 07:45:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 07:46:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 07:47:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 07:50:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 07:51:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 07:52:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-07 07:56:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 07:56:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 07:57:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 07:58:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 07:58:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 07:58:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 08:03:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 08:04:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 08:04:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 08:08:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-07 08:08:31 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-07 08:08:44 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 08:09:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 08:09:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 08:14:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 08:14:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 08:15:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 08:17:27 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-07 08:18:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 08:18:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 08:19:37 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 08:20:13 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
2025-06-07 08:21:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-07 08:24:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 08:25:07 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-06-07 08:25:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 08:30:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 08:31:00 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-07 08:31:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 08:32:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 08:34:02 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-07 08:35:12 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
2025-06-07 08:35:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 08:36:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 08:37:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-06-07 08:39:28 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-06-07 08:40:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 08:41:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 08:45:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 08:45:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 08:47:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-07 08:48:14 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-06-07 08:48:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 08:49:21 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-07 08:49:35 +0200 | Clint | (~Clint@user/clint) (Ping timeout: 260 seconds) |
2025-06-07 08:49:35 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 08:50:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 08:50:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 08:50:50 +0200 | Clint | (~Clint@user/clint) Clint |
2025-06-07 08:54:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-06-07 08:54:38 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-07 08:57:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 08:57:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 08:57:56 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-06-07 09:00:05 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-06-07 09:00:45 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-06-07 09:04:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 09:04:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 09:04:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 09:10:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 09:10:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 09:12:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-07 09:16:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 09:16:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2025-06-07 09:16:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 09:22:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 09:22:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 09:23:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 09:25:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 09:25:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 09:28:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-07 09:30:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-06-07 09:31:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 09:32:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 09:38:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 09:39:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 09:40:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2025-06-07 09:41:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 09:44:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 09:44:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 09:46:10 +0200 | merijn | (~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 +0200 | sabathan2 | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 09:50:49 +0200 | Everything | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 09:55:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 09:56:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 10:01:22 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f51a12bf82c566ecdd4.dip0.t-ipconnect.de) acidjnk |
2025-06-07 10:01:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 10:01:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 10:07:16 +0200 | trickard_ | trickard |
2025-06-07 10:08:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 10:09:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 10:10:14 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-06-07 10:15:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 10:15:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 10:18:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 10:19:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 10:24:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 10:24:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 10:25:43 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-07 10:25:55 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 10:30:35 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-07 10:30:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 10:31:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 10:33:25 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-07 10:35:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 10:36:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 10:43:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 10:43:18 +0200 | end | (~end@user/end/x-0094621) (Ping timeout: 244 seconds) |
2025-06-07 10:43:29 +0200 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 248 seconds) |
2025-06-07 10:43:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 10:44:37 +0200 | sus0 | (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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 10:50:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 10:52:01 +0200 | ski | was thinking of `\cases {}' (for the `b ~ True => String'), but `cases' doesn't allow zero alternatives .. |
2025-06-07 10:55:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 10:55:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 10:57:36 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-07 10:59:25 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-07 11:01:20 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-07 11:02:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 11:02:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-07 11:02:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 11:06:24 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 276 seconds) |
2025-06-07 11:07:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 11:07:16 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
2025-06-07 11:07:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 11:11:43 +0200 | raym | (~ray@user/raym) raym |
2025-06-07 11:12:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 11:12:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 11:14:07 +0200 | end | (~end@user/end/x-0094621) end^ |
2025-06-07 11:15:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 11:16:52 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-06-07 11:18:07 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-06-07 11:18:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 11:19:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 11:21:36 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-06-07 11:23:35 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
2025-06-07 11:24:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 11:24:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 11:26:21 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-06-07 11:26:22 +0200 | prdak1 | prdak |
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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 11:29:43 +0200 | sabathan2 | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 11:36:26 +0200 | sabathan2 | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 11:42:45 +0200 | sabathan2 | (~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 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-07 11:46:37 +0200 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) (Quit: Ping timeout (120 seconds)) |
2025-06-07 11:48:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 11:49:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 11:51:29 +0200 | Pixi` | (~Pixi@user/pixi) Pixi |
2025-06-07 11:53:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 11:53:56 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 252 seconds) |
2025-06-07 11:54:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 11:59:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 11:59:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 12:03:42 +0200 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) kilolympus |
2025-06-07 12:05:22 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-07 12:06:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 12:06:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 12:11:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 12:12:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 12:17:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 12:18:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 12:22:12 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-06-07 12:22:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 12:23:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 12:27:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 12:27:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 12:29:12 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-06-07 12:31:33 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Client Quit) |
2025-06-07 12:31:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 12:32:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 12:34:40 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-07 12:35:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 12:35:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 12:37:24 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-07 12:37:26 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-07 12:37:55 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-07 12:38:00 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-07 12:39:15 +0200 | Square | (~Square@user/square) Square |
2025-06-07 12:39:24 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-07 12:40:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 12:40:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 12:43:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 12:44:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 12:49:49 +0200 | visilii | (~visilii@213.24.125.92) |
2025-06-07 12:49:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 12:50:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 12:51:37 +0200 | visilii_ | (~visilii@213.24.125.211) (Ping timeout: 276 seconds) |
2025-06-07 12:55:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 12:56:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 13:00:04 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-06-07 13:01:08 +0200 | alexherbo2 | (~alexherbo@2a02-8440-350e-5515-b8c5-5133-327a-0353.rev.sfr.net) alexherbo2 |
2025-06-07 13:01:32 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-07 13:02:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 13:02:11 +0200 | jespada | (~jespada@r179-25-107-162.dialup.adsl.anteldata.net.uy) jespada |
2025-06-07 13:02:17 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-06-07 13:02:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 13:07:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 13:08:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 13:10:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 13:10:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 13:12:59 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-06-07 13:13:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 13:14:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 13:17:35 +0200 | alexherbo2 | (~alexherbo@2a02-8440-350e-5515-b8c5-5133-327a-0353.rev.sfr.net) (Remote host closed the connection) |
2025-06-07 13:19:31 +0200 | sus0 | (zero@user/zeromomentum) zeromomentum |
2025-06-07 13:20:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 13:20:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 13:25:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 13:26:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 13:28:36 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-06-07 13:33:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 13:33:11 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Client Quit) |
2025-06-07 13:33:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 13:33:39 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-06-07 13:35:43 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
2025-06-07 13:36:03 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-06-07 13:36:46 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
2025-06-07 13:38:13 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-06-07 13:38:25 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
2025-06-07 13:40:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 13:40:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 13:45:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 13:45:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 13:46:58 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-06-07 13:53:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 13:53:54 +0200 | sabathan2 | (~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 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-06-07 13:56:22 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-06-07 13:56:36 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
2025-06-07 13:57:26 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-06-07 13:57:35 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
2025-06-07 13:57:55 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-06-07 13:58:02 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-06-07 13:58:16 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Client Quit) |
2025-06-07 14:00:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 14:00:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 14:04:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 14:04:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 14:09:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 14:09:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 14:12:44 +0200 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-07 14:12:47 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-06-07 14:15:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 14:15:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 14:18:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 14:18:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 14:21:42 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
2025-06-07 14:24:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 14:24:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 14:30:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 14:30:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 14:33:48 +0200 | hellwolf | (~user@3ba8-2e34-d2d5-3ab2-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 268 seconds) |
2025-06-07 14:36:38 +0200 | hellwolf | (~user@81af-9cf4-2ab2-58cb-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
2025-06-07 14:37:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 14:37:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 14:42:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 14:42:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 14:43:04 +0200 | AlexZenon | (~alzenon@178.34.163.76) (Ping timeout: 268 seconds) |
2025-06-07 14:46:44 +0200 | AlexZenon | (~alzenon@178.34.163.76) |
2025-06-07 14:49:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 14:50:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 14:54:02 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f51a12bf82c566ecdd4.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2025-06-07 14:57:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 14:57:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 15:02:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 15:03:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 15:08:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 15:08:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 15:14:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 15:15:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 15:20:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-06-07 15:20:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 15:20:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 15:26:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 15:26:57 +0200 | socrates1298 | (~socrates1@60-242-158-136.tpgi.com.au) |
2025-06-07 15:27:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 15:32:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 15:33:16 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2025-06-07 15:34:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 15:34:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 15:35:25 +0200 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
2025-06-07 15:39:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 15:40:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 15:46:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 15:46:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 15:48:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 15:49:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 15:49:32 +0200 | Pixi` | Pixi |
2025-06-07 15:54:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 15:55:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 15:59:12 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
2025-06-07 16:00:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 16:01:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 16:07:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 16:07:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 16:13:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 16:13:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 16:15:09 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-07 16:17:40 +0200 | Digitteknohippie | Digit |
2025-06-07 16:19:45 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
2025-06-07 16:20:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 16:20:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 16:24:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 16:25:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 16:30:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 16:30:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 16:31:06 +0200 | jtza8 | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-07 16:36:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 16:36:55 +0200 | sabathan2 | (~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 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-07 16:41:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 16:41:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 16:44:36 +0200 | sabathan2 | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 16:47:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 16:49:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 16:50:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 16:53:10 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-06-07 16:53:21 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
2025-06-07 16:54:35 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-06-07 16:55:39 +0200 | prdak1 | prdak |
2025-06-07 16:56:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 16:56:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 17:02:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 17:02:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 17:04:18 +0200 | jtza8 | (~user@user/jtza8) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
2025-06-07 17:08:37 +0200 | sprotte24 | (~sprotte24@p200300d16f156400147492c810bde6e0.dip0.t-ipconnect.de) |
2025-06-07 17:09:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 17:09:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 17:10:39 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
2025-06-07 17:12:12 +0200 | socrates1298 | (~socrates1@60-242-158-136.tpgi.com.au) (Ping timeout: 252 seconds) |
2025-06-07 17:14:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-07 17:14:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 17:15:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 17:19:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 17:19:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 17:20:56 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-07 17:21:54 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
2025-06-07 17:22:55 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-07 17:23:20 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
2025-06-07 17:25:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 17:26:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 17:28:45 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-06-07 17:31:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 17:31:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 17:34:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 17:35:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 17:38:33 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-06-07 17:39:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 17:40:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 17:40:33 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-07 17:40:46 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 17:43:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 17:44:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 17:45:14 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
2025-06-07 17:49:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 17:49:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 17:52:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-07 17:55:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 17:55:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 17:56:41 +0200 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-07 17:58:01 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-06-07 17:59:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
2025-06-07 18:00:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-07 18:00:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 18:01:08 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 18:01:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 18:01:17 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Ping timeout: 265 seconds) |
2025-06-07 18:03:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 18:04:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-07 18:05:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 18:06:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 18:12:30 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-07 18:12:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 18:12:44 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 18:12:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 18:16:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 18:16:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 18:17:59 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-07 18:21:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 18:22:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 18:23:42 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 18:25:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 18:26:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 18:29:13 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f5159d963e1fbcba2ed.dip0.t-ipconnect.de) acidjnk |
2025-06-07 18:29:14 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
2025-06-07 18:31:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 18:32:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 18:35:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 18:35:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 18:41:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 18:41:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 18:46:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 18:47:04 +0200 | sabathan2 | (~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 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-06-07 18:54:30 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 260 seconds) |
2025-06-07 18:55:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 18:55:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 19:02:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 19:03:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 19:06:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 19:06:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 19:07:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-06-07 19:12:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 19:12:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 19:12:30 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-07 19:14:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 19:14:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 19:19:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 19:21:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 19:21:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 19:27:39 +0200 | sprotte24 | (~sprotte24@p200300d16f156400147492c810bde6e0.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-06-07 19:28:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 19:28:35 +0200 | sabathan2 | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 19:34:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 19:38:57 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-07 19:39:11 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 19:40:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 19:40:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 19:40:44 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-06-07 19:47:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 19:48:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 19:53:40 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-06-07 19:54:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 19:54:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 20:00:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 20:01:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 20:04:02 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-06-07 20:06:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 20:06:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 20:12:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 20:12:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 20:16:40 +0200 | sprotte24 | (~sprotte24@p200300d16f156400147492c810bde6e0.dip0.t-ipconnect.de) |
2025-06-07 20:17:02 +0200 | tccq | (~user@user/tccq) (Ping timeout: 272 seconds) |
2025-06-07 20:17:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 20:17:42 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) (Read error: Connection reset by peer) |
2025-06-07 20:18:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 20:22:20 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-07 20:22:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 20:23:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 20:23:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-07 20:24:12 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) hackager |
2025-06-07 20:24:12 +0200 | ChanServ | +v haskellbridge |
2025-06-07 20:26:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 20:26:56 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
2025-06-07 20:27:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 20:32:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 20:32:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 20:34:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 20:37:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 20:37:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 20:40:07 +0200 | trickard_ | trickard |
2025-06-07 20:40:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-06-07 20:44:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 20:45:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 20:51:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 20:51:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-07 20:51:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 20:56:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 20:56:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 20:58:16 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-06-07 21:00:00 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-06-07 21:00:40 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-06-07 21:02:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 21:02:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 21:05:25 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-06-07 21:06:01 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
2025-06-07 21:06:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 21:06:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 21:06:58 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) hackager |
2025-06-07 21:06:58 +0200 | ChanServ | +v haskellbridge |
2025-06-07 21:10:50 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-06-07 21:12:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 21:12:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 21:12:44 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-06-07 21:12:44 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-06-07 21:16:25 +0200 | Frostillicus | (~Frostilli@71.174.119.69) |
2025-06-07 21:18:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-07 21:18:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 21:21:54 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
2025-06-07 21:22:41 +0200 | tewk | (~tewk@host-194.108-90-209-dedication.srv.nethosting.com) |
2025-06-07 21:23:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 21:23:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 21:26:46 +0200 | bliminse | (~bliminse@user/bliminse) bliminse |
2025-06-07 21:29:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 21:29:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 21:33:21 +0200 | bdmg_ | (~myJebba@152.254.132.216) |
2025-06-07 21:34:07 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
2025-06-07 21:35:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 21:35:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 21:41:55 +0200 | Frostillicus | (~Frostilli@71.174.119.69) (Ping timeout: 260 seconds) |
2025-06-07 21:42:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 21:42:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 21:47:40 +0200 | Square2 | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 21:49:28 +0200 | sabathan2 | (~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 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
2025-06-07 21:55:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 21:55:26 +0200 | sabathan2 | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-07 21:59:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-07 22:00:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 22:00:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 22:02:13 +0200 | wootehfoot | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 22:06:19 +0200 | sabathan2 | (~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 +0200 | Frostillicus | (~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 +0200 | kennyboy | (~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 +0200 | merijn | (~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 +0200 | sabathan2 | (~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 +0200 | sabathan2 | (~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 +0200 | dudek | (~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 +0200 | sabathan2 | (~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 +0200 | sabathan2 | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 22:23:49 +0200 | sabathan2 | (~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 +0200 | sabathan2 | (~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 +0200 | sabathan2 | (~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 +0200 | bitmapper | (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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 22:33:32 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-06-07 22:33:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-07 22:33:55 +0200 | Everything | (~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 +0200 | kennyboy | (~kennyboy@2a09:bac1:28a0:f0::2e0:1c) (Quit: Client closed) |
2025-06-07 22:38:34 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-07 22:38:47 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-07 22:39:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 22:40:21 +0200 | sabathan2 | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 22:43:56 +0200 | sabathan2 | (~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 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-07 22:45:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-07 22:45:39 +0200 | sabathan2 | (~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 |