| 2025-12-20 00:00:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 00:11:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 00:16:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 00:22:40 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-20 00:26:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 00:31:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 00:42:17 +0100 | pfc | (~pfc@user/pfc) pfc |
| 2025-12-20 00:42:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 00:44:21 +0100 | pfc_ | (~pfc@217.131.80.94) |
| 2025-12-20 00:46:28 +0100 | pfc | (~pfc@user/pfc) (Ping timeout: 246 seconds) |
| 2025-12-20 00:47:07 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 00:47:20 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 00:48:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 00:54:47 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 00:56:34 +0100 | tromp | (~textual@2001:1c00:3487:1b00:2425:17c3:1f51:60b0) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-20 00:57:22 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-12-20 00:57:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 00:58:02 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 01:03:00 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 01:04:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-20 01:07:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 01:08:07 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-20 01:12:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 01:14:00 +0100 | wanderer | (~wanderer@user/wanderer) (Remote host closed the connection) |
| 2025-12-20 01:14:07 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-20 01:17:01 +0100 | Wanderer | (~wanderer@user/wanderer) Wanderer |
| 2025-12-20 01:17:43 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 01:18:31 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-20 01:22:31 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 264 seconds) |
| 2025-12-20 01:23:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 01:26:22 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-20 01:27:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 01:30:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 01:34:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 01:42:00 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-12-20 01:42:05 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 01:42:19 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 01:45:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 01:50:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-20 01:53:07 +0100 | trickard_ | trickard |
| 2025-12-20 02:00:19 +0100 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-12-20 02:01:02 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-12-20 02:01:03 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 02:01:16 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 02:01:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 02:04:04 +0100 | <haskellbridge> | <Zemyla> I kind of wish tail = drop 1. |
| 2025-12-20 02:04:38 +0100 | <haskellbridge> | <Liamzee> wait, if Haskell had "import with" keywords, would Haskell have OCaml functors? |
| 2025-12-20 02:06:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 02:06:18 +0100 | <haskellbridge> | <Liamzee> i'm now at the stage where i sort of wish i could pre-adapter all imports in a module cheaply |
| 2025-12-20 02:11:53 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 244 seconds) |
| 2025-12-20 02:14:37 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-20 02:16:30 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-20 02:17:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 02:22:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-20 02:22:14 +0100 | trickard_ | trickard |
| 2025-12-20 02:24:39 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-20 02:24:40 +0100 | omidmash9 | (~omidmash@user/omidmash) omidmash |
| 2025-12-20 02:24:53 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-20 02:26:34 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2025-12-20 02:26:34 +0100 | omidmash9 | omidmash |
| 2025-12-20 02:32:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 02:37:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 02:38:49 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 02:39:01 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 02:42:28 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 265 seconds) |
| 2025-12-20 02:42:59 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-12-20 02:48:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 02:51:53 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-20 02:53:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-20 02:57:59 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
| 2025-12-20 02:59:02 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-20 02:59:57 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-20 03:04:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 03:09:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 03:11:57 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:ef44:34df:8bf4:c9da) |
| 2025-12-20 03:20:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 03:25:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 03:34:02 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 03:34:15 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 03:36:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 03:38:38 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-20 03:42:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-20 03:54:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 03:57:20 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 03:57:34 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 03:58:17 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 03:58:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 04:02:28 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-20 04:02:34 +0100 | acidjnk | (~acidjnk@p200300d6e71719757debcd23ed4a65e1.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-12-20 04:05:09 +0100 | deptype | (~deptype@2406:b400:3a:2dd5:aace:ec7b:7bb3:d2d8) |
| 2025-12-20 04:09:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 04:14:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-20 04:21:17 +0100 | <EvanR> | you might "fix" tail that way but not head |
| 2025-12-20 04:21:37 +0100 | <EvanR> | the condition which guarantees head works also makes tail work |
| 2025-12-20 04:21:38 +0100 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2025-12-20 04:23:22 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-12-20 04:25:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 04:29:35 +0100 | <chromoblob> | also, it's so that you can choose between `tail` and `drop 1`, latter is terse enough |
| 2025-12-20 04:30:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 04:30:52 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 244 seconds) |
| 2025-12-20 04:32:58 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-20 04:36:55 +0100 | td_ | (~td@i53870930.versanet.de) (Ping timeout: 240 seconds) |
| 2025-12-20 04:39:00 +0100 | td_ | (~td@i5387092A.versanet.de) td_ |
| 2025-12-20 04:39:55 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-20 04:41:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 04:43:48 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 04:45:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 04:48:07 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-20 04:48:15 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-12-20 04:49:13 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 264 seconds) |
| 2025-12-20 04:52:36 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2025-12-20 04:54:47 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 04:57:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 05:00:29 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-20 05:00:48 +0100 | trickard_ | trickard |
| 2025-12-20 05:01:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-20 05:02:27 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-20 05:05:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 05:05:55 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-20 05:10:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-20 05:17:46 +0100 | remmie | (ianremsen@tilde.team) (Ping timeout: 255 seconds) |
| 2025-12-20 05:19:22 +0100 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2025-12-20 05:19:44 +0100 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-12-20 05:21:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 05:26:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-20 05:36:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 05:41:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 05:45:16 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 05:45:30 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 05:52:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 05:57:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-20 06:07:04 +0100 | remmie | (ianremsen@tilde.team) remsense |
| 2025-12-20 06:08:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 06:09:55 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 264 seconds) |
| 2025-12-20 06:11:39 +0100 | tomku | (~tomku@user/tomku) tomku |
| 2025-12-20 06:13:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 06:18:45 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2025-12-20 06:18:55 +0100 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 2025-12-20 06:24:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 06:31:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-20 06:36:40 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-20 06:41:08 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-20 06:41:38 +0100 | karenw | (~karenw@user/karenw) (Client Quit) |
| 2025-12-20 06:42:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 06:42:28 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-20 06:45:47 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 06:46:02 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 06:47:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-20 06:56:29 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Quit: Leaving) |
| 2025-12-20 06:57:11 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-20 06:57:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 07:00:31 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-12-20 07:02:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-20 07:02:57 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-20 07:06:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 07:10:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 07:20:36 +0100 | trickard_ | trickard |
| 2025-12-20 07:22:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 07:22:15 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-20 07:26:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 07:29:31 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2025-12-20 07:37:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 07:42:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-20 07:43:24 +0100 | Googulator84 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 07:43:34 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-12-20 07:43:44 +0100 | Googulator84 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 07:44:03 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 07:46:55 +0100 | trickard_ | trickard |
| 2025-12-20 07:51:16 +0100 | Googulator98 | (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-20 07:51:24 +0100 | Googulator84 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 07:53:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 07:58:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 08:07:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 08:11:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 08:14:35 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-20 08:18:54 +0100 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-12-20 08:19:11 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-12-20 08:23:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 08:27:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 08:29:25 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 08:33:55 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 264 seconds) |
| 2025-12-20 08:38:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 08:43:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 08:45:13 +0100 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2025-12-20 08:45:32 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 08:45:38 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-20 08:45:45 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 08:54:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 08:59:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 09:00:06 +0100 | tromp | (~textual@2001:1c00:3487:1b00:41ea:345c:92:984a) |
| 2025-12-20 09:04:38 +0100 | trickard_ | trickard |
| 2025-12-20 09:08:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 09:11:18 +0100 | krei-se | (~krei-se@p200300f1cf1d55010001000000000001.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-12-20 09:12:00 +0100 | tromp | (~textual@2001:1c00:3487:1b00:41ea:345c:92:984a) (Ping timeout: 245 seconds) |
| 2025-12-20 09:12:47 +0100 | krei-se | (~krei-se@p3ee0fe0e.dip0.t-ipconnect.de) krei-se |
| 2025-12-20 09:15:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 09:22:56 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-20 09:25:42 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 09:25:49 +0100 | Googulator98 | (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 09:26:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 09:31:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-20 09:37:18 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-12-20 09:42:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 09:44:53 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2025-12-20 09:45:21 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-20 09:47:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 09:49:38 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-20 09:50:34 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-20 09:51:07 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-20 09:53:11 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Remote host closed the connection) |
| 2025-12-20 09:55:47 +0100 | Googulator38 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 09:55:47 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 09:59:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 10:03:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-20 10:09:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 10:14:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 10:24:58 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-20 10:25:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 10:30:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-20 10:30:49 +0100 | Googulator38 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 10:30:53 +0100 | Googulator71 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 10:32:45 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2025-12-20 10:36:07 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-20 10:41:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 10:41:59 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-12-20 10:43:46 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-12-20 10:44:13 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-20 10:45:27 +0100 | red-snail | (~red-snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-12-20 10:45:56 +0100 | red-snail | (~red-snail@static.151.210.203.116.clients.your-server.de) red-snail |
| 2025-12-20 10:46:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-20 10:48:59 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Quit: fp) |
| 2025-12-20 10:57:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 11:03:12 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-20 11:04:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 11:10:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 11:14:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 11:16:50 +0100 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-12-20 11:17:32 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-20 11:20:30 +0100 | acidjnk | (~acidjnk@p200300d6e7171943cd580b85e09c6604.dip0.t-ipconnect.de) acidjnk |
| 2025-12-20 11:20:48 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-20 11:25:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 11:27:12 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-20 11:30:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-20 11:40:19 +0100 | Cyclic | (~Cyclic@c-73-202-24-148.hsd1.ca.comcast.net) |
| 2025-12-20 11:41:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 11:45:55 +0100 | Square2 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-12-20 11:46:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 11:51:18 +0100 | Cyclic | (~Cyclic@c-73-202-24-148.hsd1.ca.comcast.net) (Quit: Client closed) |
| 2025-12-20 11:52:35 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 11:56:22 +0100 | annamalai | (~annamalai@157.32.137.200) (Ping timeout: 265 seconds) |
| 2025-12-20 11:57:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 11:57:34 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds) |
| 2025-12-20 12:02:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-20 12:03:23 +0100 | annamalai | (~annamalai@157.32.137.200) annamalai |
| 2025-12-20 12:11:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 12:16:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 12:20:54 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 260 seconds) |
| 2025-12-20 12:26:56 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 12:27:10 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 12:27:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 12:30:08 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-12-20 12:30:28 +0100 | Googulator71 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 12:30:41 +0100 | Googulator71 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 12:31:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 12:33:05 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-12-20 12:34:27 +0100 | trickard_ | trickard |
| 2025-12-20 12:42:14 +0100 | pfc_ | pfc |
| 2025-12-20 12:42:58 +0100 | pfc | (~pfc@217.131.80.94) (Changing host) |
| 2025-12-20 12:42:58 +0100 | pfc | (~pfc@user/pfc) pfc |
| 2025-12-20 12:43:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 12:46:49 +0100 | annamalai | (~annamalai@157.32.137.200) (Ping timeout: 264 seconds) |
| 2025-12-20 12:48:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 12:56:22 +0100 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-20 12:56:33 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-20 12:59:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 13:00:49 +0100 | shaeto | (~Shaeto@94.25.234.244) (Ping timeout: 255 seconds) |
| 2025-12-20 13:01:03 +0100 | Googulator27 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 13:01:13 +0100 | Googulator71 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 13:02:40 +0100 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-20 13:03:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-20 13:11:47 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-20 13:12:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 13:17:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 13:24:48 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 13:28:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 13:28:51 +0100 | Googulator27 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-20 13:33:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-20 13:37:24 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 244 seconds) |
| 2025-12-20 13:37:52 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 246 seconds) |
| 2025-12-20 13:39:46 +0100 | Vajb | (~Vajb@n5gf526ahbjilsptg0q-1.v6.elisa-mobile.fi) |
| 2025-12-20 13:43:37 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-12-20 13:43:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 13:48:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 13:51:10 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-12-20 13:53:21 +0100 | <ncf> | <Zemyla> I kind of wish tail = drop 1. -- in what sense are they not equal? |
| 2025-12-20 13:53:36 +0100 | <ncf> | oh, empty list |
| 2025-12-20 13:54:38 +0100 | <ncf> | > tail [] == drop 1 [] |
| 2025-12-20 13:54:40 +0100 | <lambdabot> | *Exception: Prelude.tail: empty list |
| 2025-12-20 13:54:40 +0100 | <lambdabot> | CallStack (from HasCallStack): |
| 2025-12-20 13:54:40 +0100 | <lambdabot> | error, called at libraries/ghc-internal/src/GHC/Internal/List.hs:2030:3 in... |
| 2025-12-20 13:55:02 +0100 | <ncf> | i guess this can't test whether they both fail or not |
| 2025-12-20 13:55:19 +0100 | <ncf> | is there an equality test that also compares exceptions 🤔 |
| 2025-12-20 13:59:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |