| 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) |