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