| 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 |
| 2025-12-20 14:04:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 14:13:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 14:15:12 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 14:15:25 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 14:18:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 14:23:05 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-20 14:23:11 +0100 | CryptLab | (~NSA@2a0d:5600:24:1375::f1e) CommanderBond007 |
| 2025-12-20 14:25:21 +0100 | CipherLab | (~NSA@2a0d:5600:24:1375::f1e) (Ping timeout: 256 seconds) |
| 2025-12-20 14:29:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 14:31:01 +0100 | Googulator48 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 14:31:17 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 14:33:42 +0100 | <tomsmeding> | % :m +Control.Exception +Data.Function |
| 2025-12-20 14:33:42 +0100 | <yahb2> | syntax: :module [+/-] [*]M1 ... [*]Mn |
| 2025-12-20 14:33:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 14:33:44 +0100 | <tomsmeding> | % :m +Control.Exception Data.Function |
| 2025-12-20 14:33:44 +0100 | <yahb2> | <no output> |
| 2025-12-20 14:33:53 +0100 | <tomsmeding> | % liftA2 ((==) `on` show) (try @SomeException (evaluate (tail @Int []))) (try @SomeException (evaluate (drop @Int 1 []))) |
| 2025-12-20 14:33:53 +0100 | <yahb2> | <interactive>:39:56: warning: [GHC-63394] [-Wx-partial] ; In the use of ‘tail’ ; (imported from Prelude, but defined in GHC.Internal.List): ; "This is a partial function, it throws an e... |
| 2025-12-20 14:34:02 +0100 | <tomsmeding> | % :set -Wno-x-partial |
| 2025-12-20 14:34:02 +0100 | <yahb2> | <no output> |
| 2025-12-20 14:34:04 +0100 | <tomsmeding> | % liftA2 ((==) `on` show) (try @SomeException (evaluate (tail @Int []))) (try @SomeException (evaluate (drop @Int 1 []))) |
| 2025-12-20 14:34:04 +0100 | <yahb2> | False |
| 2025-12-20 14:34:07 +0100 | <tomsmeding> | ncf: ^ :p |
| 2025-12-20 14:34:33 +0100 | <tomsmeding> | SomeException doesn't have Eq unfortunately |
| 2025-12-20 14:35:41 +0100 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-12-20 14:40:49 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-12-20 14:42:12 +0100 | ft | (~ft@p4fc2ab42.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-20 14:44:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 14:50:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-20 14:50:54 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Quit: Lost terminal) |
| 2025-12-20 14:51:59 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 14:53:07 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 246 seconds) |
| 2025-12-20 14:56:10 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) barrucadu |
| 2025-12-20 14:56:19 +0100 | annamalai | (~annamalai@157.32.142.48) annamalai |
| 2025-12-20 14:59:56 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2025-12-20 15:00:29 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-20 15:00:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 15:01:54 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds) |
| 2025-12-20 15:03:06 +0100 | <ncf> | i'm thinking (==) `on` spoon |
| 2025-12-20 15:05:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 15:06:21 +0100 | rainbyte | (~rainbyte@186.22.19.214) |
| 2025-12-20 15:06:33 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Remote host closed the connection) |
| 2025-12-20 15:07:04 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-20 15:09:52 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 15:10:26 +0100 | britt | (~user@2600:4040:3184:bc00:6531:8ca3:995e:177d) |
| 2025-12-20 15:11:28 +0100 | britt | (~user@2600:4040:3184:bc00:6531:8ca3:995e:177d) (Client Quit) |
| 2025-12-20 15:12:59 +0100 | britt | (~user@2600:4040:3184:bc00:6531:8ca3:995e:177d) |
| 2025-12-20 15:13:39 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-20 15:14:07 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-20 15:14:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 15:15:05 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-20 15:18:00 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 15:18:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 15:25:31 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 264 seconds) |
| 2025-12-20 15:25:52 +0100 | ft | (~ft@p4fc2ab42.dip0.t-ipconnect.de) ft |
| 2025-12-20 15:29:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 15:30:51 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 15:30:57 +0100 | britt | (~user@2600:4040:3184:bc00:6531:8ca3:995e:177d) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-12-20 15:31:17 +0100 | Googulator48 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 15:36:00 +0100 | <probie> | Is there a way to do type specific completeness checks for pattern synonoyms if the relevant type to discriminate on isn't the head of the type? |
| 2025-12-20 15:36:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-20 15:37:03 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) rekahsoft |
| 2025-12-20 15:39:03 +0100 | <probie> | I've got a type that looks like `F t a b` (i.e `F` is the same every time), but `t` determines which patterns are needed for completeness |
| 2025-12-20 15:41:37 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-20 15:47:52 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-20 15:47:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 15:52:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-20 16:00:43 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 16:00:43 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 16:05:41 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-20 16:15:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 16:20:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 16:30:30 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 16:30:37 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 16:30:58 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-20 16:31:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 16:35:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 16:36:55 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 16:41:16 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-20 16:42:23 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-20 16:43:48 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-12-20 16:46:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 16:47:21 +0100 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2025-12-20 16:51:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-20 16:51:25 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-20 16:51:46 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 16:58:36 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 16:59:29 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-20 17:02:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 17:02:22 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 17:07:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-20 17:07:44 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-12-20 17:08:32 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-12-20 17:10:03 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-12-20 17:10:54 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:ef44:34df:8bf4:c9da) (Remote host closed the connection) |
| 2025-12-20 17:12:09 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-12-20 17:16:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 17:16:38 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2025-12-20 17:20:25 +0100 | annamalai | (~annamalai@157.32.142.48) (Ping timeout: 264 seconds) |
| 2025-12-20 17:20:48 +0100 | annamalai | (~annamalai@157.32.143.203) annamalai |
| 2025-12-20 17:20:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 17:21:10 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) () |
| 2025-12-20 17:23:00 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Read error: Connection reset by peer) |
| 2025-12-20 17:23:21 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-20 17:25:53 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 17:25:53 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 17:28:19 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-12-20 17:29:26 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2025-12-20 17:30:09 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-20 17:32:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 17:37:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 17:38:23 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 17:44:55 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 245 seconds) |
| 2025-12-20 17:47:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 17:48:01 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 17:52:25 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 245 seconds) |
| 2025-12-20 17:52:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-20 17:55:39 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 17:56:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 17:56:29 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 17:58:31 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-12-20 17:58:31 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-12-20 17:58:31 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-20 18:00:24 +0100 | <monochrom> | Oh w00t new GHC! |
| 2025-12-20 18:00:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 18:02:34 +0100 | <monochrom> | What is LoongArch? Is it like this: LongArch means 64 bits, LoongArch means 128 bits? |
| 2025-12-20 18:05:11 +0100 | <ski> | and `LngArch' is `32' bits |
| 2025-12-20 18:06:07 +0100 | <monochrom> | Ah, a new RISC arch. (Ironically, it has two 32-bit versions and a 64-bit version.) |
| 2025-12-20 18:07:31 +0100 | <monochrom> | https://en.wikipedia.org/wiki/Loongson Ah, Loong is the Chinese character for dragon. |
| 2025-12-20 18:08:08 +0100 | <Franciman> | hi, do FRP and logic programming mix well? Do you know of any approach to FRP based on logic programming in haskell? |
| 2025-12-20 18:08:28 +0100 | <Franciman> | i wonder whether arrows are more conveniently seen as logic programs |
| 2025-12-20 18:08:33 +0100 | <monochrom> | Then again, dragons in Chinese mythology are long, too. :) |
| 2025-12-20 18:12:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 18:14:29 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-20 18:14:39 +0100 | <monochrom> | If you have so much as Alternative, you can already think <|> as or on steroid, <*> as and on steroid, so yeah, especially true for parsing. |
| 2025-12-20 18:15:31 +0100 | trickard_ | trickard |
| 2025-12-20 18:15:38 +0100 | <monochrom> | (Arrow is stronger than Applicative.) |
| 2025-12-20 18:16:14 +0100 | <Franciman> | true, Arrows are a strange beast |
| 2025-12-20 18:16:23 +0100 | <Franciman> | each pure function is an arrow |
| 2025-12-20 18:16:29 +0100 | <monochrom> | (Then the HXT library (for XML) adds <|> to Arrow so you get Alternative+Arrow) |
| 2025-12-20 18:19:37 +0100 | <Franciman> | thanks |
| 2025-12-20 18:19:42 +0100 | <Franciman> | for the pointer, monochrom |
| 2025-12-20 18:19:59 +0100 | <Franciman> | I was thinking about arrows, because yampa uses them to define FRP networks |
| 2025-12-20 18:24:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 18:35:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 18:36:02 +0100 | deptype | (~deptype@2406:b400:3a:2dd5:aace:ec7b:7bb3:d2d8) (Remote host closed the connection) |
| 2025-12-20 18:40:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-20 18:41:03 +0100 | fp | (~Thunderbi@130.233.70.102) fp |
| 2025-12-20 18:42:44 +0100 | fp | (~Thunderbi@130.233.70.102) (Client Quit) |
| 2025-12-20 18:43:05 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-12-20 18:43:53 +0100 | <hololeap> | is there a typeclass that abstracts over maps, namely things like insert, lookup, union, singleton etc? |
| 2025-12-20 18:44:56 +0100 | <haskellbridge> | <Morj> There is https://hackage.haskell.org/package/mono-traversable-1.0.21.0/docs/Data-Containers.html#t:IsMap |
| 2025-12-20 18:45:00 +0100 | <haskellbridge> | <Morj> Also there are lenses |
| 2025-12-20 18:45:54 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-20 18:46:20 +0100 | <hololeap> | mostly, I'd like to wrap maps in a newtype and be able to use generalized newtype deriving to get that stuff for free |
| 2025-12-20 18:46:47 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2025-12-20 18:47:34 +0100 | <hololeap> | but, yeah that looks about right |
| 2025-12-20 18:47:50 +0100 | <monochrom> | Okasaki used to have defined classes for that. |
| 2025-12-20 18:48:51 +0100 | <monochrom> | Look for "edison". |
| 2025-12-20 18:49:08 +0100 | <monochrom> | But it didn't take off. Nobody or too few people used it. |
| 2025-12-20 18:50:17 +0100 | <monochrom> | It turns out that the extremely low tech way of "just change 'import qualified Data.X" to 'import qualified Data.Y'" is sufficient for abstraction and hot-swapping. |
| 2025-12-20 18:51:07 +0100 | <int-e> | The `as Foo` renaming feature is really helpful for that |
| 2025-12-20 18:51:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 18:51:26 +0100 | <haskellbridge> | <Morj> Harder to derive a module from existing module though |
| 2025-12-20 18:52:59 +0100 | <monochrom> | IMO ideally it is SML parametrizable modules, equivalently Haskell Backpack, not classes, that is the right mechanism for this kind of abstraction. Unfortunately, Backpack arrived too late, long after people had discovered and widely use the low-tech method. (Cf bytesting and text.) |
| 2025-12-20 18:55:05 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
| 2025-12-20 18:55:44 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 18:55:48 +0100 | <monochrom> | But I can be talked into classes if it comes with associated data families or type families. :) |
| 2025-12-20 18:55:51 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-20 18:55:51 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 18:55:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 18:57:10 +0100 | <haskellbridge> | <Morj> Given a module Data.HashMap sig Map, and I want to write a module MyHashMap that newtype-wraps the old one, like hоloleap is saying. To make MyHashMap implement Map, I don't think sml or ocaml have any solutions |
| 2025-12-20 18:57:24 +0100 | <haskellbridge> | <Morj> Rust requires macros for a similar thing for examples |
| 2025-12-20 18:57:39 +0100 | <haskellbridge> | <Morj> GeneralizedNewtypeDeriving is magic that replaces macros, but it's very useful magic |
| 2025-12-20 18:59:51 +0100 | <monochrom> | Do you rule out hand-written forwarding? Because in SML I can write "module MyHashMap sig Map where insert = wrap . insert . unwrap; etc". |
| 2025-12-20 19:00:16 +0100 | <monochrom> | But I can understand if you desire automation. |
| 2025-12-20 19:00:27 +0100 | <tomsmeding> | yin geekosaur: re ghcup's bootstrap script, I made a PR https://github.com/haskell/ghcup-hs/pull/1301 |
| 2025-12-20 19:00:44 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 256 seconds) |
| 2025-12-20 19:01:26 +0100 | <monochrom> | But ocaml has m4 so it's "OK". >:) |
| 2025-12-20 19:02:14 +0100 | <monochrom> | Yeah GND is benovolent magic :) |
| 2025-12-20 19:03:28 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2025-12-20 19:03:44 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-20 19:04:51 +0100 | <haskellbridge> | <Morj> For the purpose of this excercise I rule it out. But in general I don't think it's unacceptable |
| 2025-12-20 19:05:40 +0100 | <haskellbridge> | <Morj> Another think typeclasses allow you vs modules is delaying a choice between runtime or compile time polymorphism. Like in haskell you can specialize-pragma or you can use dynamically |
| 2025-12-20 19:06:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 19:07:43 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-20 19:08:26 +0100 | Jackneill | (~Jackneill@178-164-234-79.pool.digikabel.hu) |
| 2025-12-20 19:11:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 19:18:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 19:18:31 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 240 seconds) |
| 2025-12-20 19:22:51 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-20 19:23:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-20 19:25:02 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-20 19:25:53 +0100 | Googulator53 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 19:26:22 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 19:28:08 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 19:30:36 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-20 19:32:34 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds) |
| 2025-12-20 19:34:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 19:35:34 +0100 | jonnie | (~jonnie@user/jonnie) (Remote host closed the connection) |
| 2025-12-20 19:36:50 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-20 19:38:29 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-20 19:38:42 +0100 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2025-12-20 19:39:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-20 19:42:43 +0100 | jackneill__ | (~Jackneill@178-164-234-79.pool.digikabel.hu) (Quit: Leaving) |
| 2025-12-20 19:42:45 +0100 | Jackneill | (~Jackneill@178-164-234-79.pool.digikabel.hu) (Quit: Leaving) |
| 2025-12-20 19:42:57 +0100 | Jackneill | (~Jackneill@178-164-234-79.pool.digikabel.hu) Jackneill |
| 2025-12-20 19:45:12 +0100 | shaeto | (~Shaeto@94.25.234.244) (Quit: WeeChat 4.1.1) |
| 2025-12-20 19:46:51 +0100 | milan2 | (~milan@88.212.61.169) |
| 2025-12-20 19:48:06 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-20 19:48:59 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-12-20 19:49:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 19:54:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-20 20:01:13 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2025-12-20 20:02:30 +0100 | <haskellbridge> | <loonycyborg> I used to think that newtype wrappers were dumb idea but it was because of me coming from C++ where doing something like that would require you to do a lot of boilerplate. |
| 2025-12-20 20:03:40 +0100 | <haskellbridge> | <loonycyborg> In haskell it has less typing overhead because you can use deriving. |
| 2025-12-20 20:03:40 +0100 | <haskellbridge> | <loonycyborg> And they're essential if you want to use same typeclass instance on same object with different semanics. |
| 2025-12-20 20:04:47 +0100 | <haskellbridge> | <loonycyborg> like plain [] vs ZipList |
| 2025-12-20 20:05:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 20:06:38 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 20:06:53 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 20:10:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-20 20:12:36 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-12-20 20:16:26 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-20 20:16:35 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |