| 2025-12-21 00:03:21 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-21 00:04:45 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 265 seconds) |
| 2025-12-21 00:09:10 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-21 00:09:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 00:15:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 00:20:11 +0100 | trickard_ | trickard |
| 2025-12-21 00:21:23 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2025-12-21 00:25:35 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-21 00:25:44 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-21 00:27:14 +0100 | <hololeap> | any guesses why this wants/needs an isomorphism? https://hackage.haskell.org/package/foldl-1.4.18/docs/Control-Foldl.html#v:foldMap |
| 2025-12-21 00:27:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 00:28:04 +0100 | <hololeap> | oh, wait I misread it |
| 2025-12-21 00:28:33 +0100 | <hololeap> | so I guess the second function could be `id`? it still seems strange to me |
| 2025-12-21 00:31:11 +0100 | <hololeap> | something to do with the way the Applicative instance is impemented for Fold |
| 2025-12-21 00:31:12 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 00:31:25 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 00:31:36 +0100 | <hololeap> | "extraction function" |
| 2025-12-21 00:31:53 +0100 | <hololeap> | "This allows the Applicative instance to assemble derived folds that traverse the container only once" |
| 2025-12-21 00:32:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-21 00:35:34 +0100 | <byorgey> | the second function could be id. It just allows for a bit more flexibility in the case that the final result you want is itself not monoidal, but can be extracted from some monoidal result. |
| 2025-12-21 00:36:53 +0100 | <byorgey> | It seems like it would not be strictly necessary in the case of foldMap, but since the Fold type already provides this separate "extraction" capability for other reasons, foldMap might as well provide the extra flexibility? |
| 2025-12-21 00:38:18 +0100 | <Leary> | I would have omitted it, since you can always `fmap` anyway. |
| 2025-12-21 00:39:28 +0100 | <byorgey> | very true |
| 2025-12-21 00:41:15 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2025-12-21 00:42:23 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-12-21 00:43:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 00:47:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 00:58:54 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 00:59:06 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 00:59:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 01:03:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 01:05:23 +0100 | Googulator93 | Googulator |
| 2025-12-21 01:05:44 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-12-21 01:07:20 +0100 | arandombit | (~arandombi@2603:7000:4600:ffbe:285a:40d:971e:7069) |
| 2025-12-21 01:07:20 +0100 | arandombit | (~arandombi@2603:7000:4600:ffbe:285a:40d:971e:7069) (Changing host) |
| 2025-12-21 01:07:20 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-12-21 01:14:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 01:16:56 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 01:17:10 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 01:19:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 01:29:22 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 01:29:35 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 01:30:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 01:35:00 +0100 | trickard_ | trickard |
| 2025-12-21 01:35:37 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 01:35:48 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 01:36:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 01:39:00 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 01:41:45 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 01:48:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 01:53:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 01:59:21 +0100 | Cyclic30 | (~Cyclic@c-73-202-24-148.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2025-12-21 02:03:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 02:08:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 02:10:42 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 02:10:49 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 02:23:55 +0100 | omidmash1 | (~omidmash@user/omidmash) omidmash |
| 2025-12-21 02:24:35 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-21 02:24:52 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-21 02:25:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 02:25:46 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2025-12-21 02:25:47 +0100 | omidmash1 | omidmash |
| 2025-12-21 02:29:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-21 02:36:33 +0100 | Googulator51 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 02:40:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 02:40:45 +0100 | Googulator95 | (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-21 02:41:09 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-21 02:41:15 +0100 | Googulator51 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Client Quit) |
| 2025-12-21 02:45:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 02:56:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 03:00:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 03:02:12 +0100 | qqe | (~qqq@185.54.20.98) |
| 2025-12-21 03:02:31 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 03:03:39 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-21 03:06:59 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds) |
| 2025-12-21 03:10:45 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 03:10:45 +0100 | Googulator95 | (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 03:12:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 03:19:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 03:25:32 +0100 | Cyclic27 | (~Cyclic@c-73-202-24-148.hsd1.ca.comcast.net) |
| 2025-12-21 03:28:06 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-21 03:29:48 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 03:37:11 +0100 | qqe | (~qqq@185.54.20.98) (Quit: Lost terminal) |
| 2025-12-21 03:40:38 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 03:40:39 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 03:44:44 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-12-21 03:45:04 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-21 04:05:02 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-12-21 04:05:17 +0100 | annamalai | (~annamalai@2409:4042:d13:652a::9eca:d20b) annamalai |
| 2025-12-21 04:05:34 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-12-21 04:07:50 +0100 | acidjnk | (~acidjnk@p200300d6e7171943cd580b85e09c6604.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-12-21 04:08:32 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-12-21 04:08:49 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-21 04:21:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 04:25:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 04:27:06 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Remote host closed the connection) |
| 2025-12-21 04:27:28 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 04:28:35 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |
| 2025-12-21 04:35:38 +0100 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-12-21 04:35:57 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-12-21 04:36:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 04:37:02 +0100 | td_ | (~td@i5387092A.versanet.de) (Ping timeout: 256 seconds) |
| 2025-12-21 04:38:44 +0100 | td_ | (~td@i5387093A.versanet.de) td_ |
| 2025-12-21 04:40:40 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 04:40:47 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 04:40:54 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds) |
| 2025-12-21 04:40:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 04:41:48 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-21 04:43:27 +0100 | <hololeap> | is there a way to get the default `compare` for a data type without deriving Ord? |
| 2025-12-21 04:44:15 +0100 | <hololeap> | I want to compare one inner value first, then fall back to the default `compare` |
| 2025-12-21 04:44:45 +0100 | <hololeap> | (the data type has a lot of constructors so it will be tedious to write the whole thing by hand) |
| 2025-12-21 04:46:21 +0100 | <hololeap> | transformers-compat only has Ord1 |
| 2025-12-21 04:51:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 04:57:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 05:07:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 05:07:44 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 05:10:41 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 05:10:48 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 05:12:09 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 265 seconds) |
| 2025-12-21 05:12:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 05:14:35 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2025-12-21 05:15:20 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-21 05:17:15 +0100 | trickard_ | trickard |
| 2025-12-21 05:23:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 05:28:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 05:38:18 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) synchromesh |
| 2025-12-21 05:38:25 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 264 seconds) |
| 2025-12-21 05:39:09 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-12-21 05:39:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 05:43:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 05:55:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 05:57:07 +0100 | AlexNoo_ | (~AlexNoo@178.34.160.91) |
| 2025-12-21 05:59:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-21 06:00:19 +0100 | AlexNoo | (~AlexNoo@5.139.232.96) (Ping timeout: 246 seconds) |
| 2025-12-21 06:00:37 +0100 | AlexZenon | (~alzenon@5.139.232.96) (Ping timeout: 264 seconds) |
| 2025-12-21 06:01:01 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: bbl) |
| 2025-12-21 06:04:08 +0100 | AlexZenon | (~alzenon@178.34.160.91) |
| 2025-12-21 06:04:55 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-12-21 06:05:30 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-21 06:05:51 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 06:06:00 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-21 06:06:04 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 06:09:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 06:09:55 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2025-12-21 06:11:50 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-21 06:15:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 06:25:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 06:30:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 06:40:40 +0100 | Googulator55 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 06:40:42 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 06:41:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 06:47:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 06:54:19 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-12-21 07:01:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 07:05:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-21 07:10:23 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 07:13:13 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 07:16:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 07:21:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 07:25:54 +0100 | trickard_ | trickard |
| 2025-12-21 07:31:43 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 07:32:13 +0100 | finsternis | (~X@23.226.237.192) finsternis |
| 2025-12-21 07:34:26 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 07:40:53 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 07:41:17 +0100 | Googulator55 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 07:45:28 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-21 07:48:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 07:52:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 08:04:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 08:08:35 +0100 | trickard_ | trickard |
| 2025-12-21 08:09:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-21 08:10:45 +0100 | Googulator8 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 08:10:45 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 08:10:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 08:15:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-21 08:26:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 08:31:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 08:34:18 +0100 | annamalai | (~annamalai@2409:4042:d13:652a::9eca:d20b) (Remote host closed the connection) |
| 2025-12-21 08:39:15 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2d2a:a485:c072:ffd2) (Ping timeout: 250 seconds) |
| 2025-12-21 08:40:41 +0100 | Googulator58 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 08:41:23 +0100 | Googulator8 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 08:42:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 08:43:01 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-21 08:46:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 08:47:29 +0100 | annamalai | (~annamalai@157.33.254.173) annamalai |
| 2025-12-21 08:48:17 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-21 08:56:14 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-21 08:57:28 +0100 | img | (~img@user/img) img |
| 2025-12-21 08:58:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 09:00:12 +0100 | tt1231607 | (~tt1231@75.185.104.199) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-21 09:01:12 +0100 | milan2 | (~milan@88.212.61.169) |
| 2025-12-21 09:03:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-21 09:05:37 +0100 | tt1231607 | (~tt1231@75.185.104.199) tt1231 |
| 2025-12-21 09:06:51 +0100 | FirefoxDeHuk | (~FirefoxDe@user/FirefoxDeHuk) FirefoxDeHuk |
| 2025-12-21 09:11:00 +0100 | orizuru | (~orizuru@user/orizuru) (The Lounge - https://thelounge.chat) |
| 2025-12-21 09:11:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 09:16:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 09:20:42 +0100 | Googulator97 | (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-21 09:21:17 +0100 | Googulator58 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 09:22:23 +0100 | xff0x | (~xff0x@2405:6580:b080:900:ae34:f81a:c4c2:4c9b) |
| 2025-12-21 09:27:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 09:34:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 09:40:15 +0100 | FirefoxDeHuk | (~FirefoxDe@user/FirefoxDeHuk) (Quit: Client closed) |
| 2025-12-21 09:41:03 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-21 09:44:11 +0100 | FirefoxDeHuk | (~FirefoxDe@user/FirefoxDeHuk) FirefoxDeHuk |
| 2025-12-21 09:45:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 09:45:33 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) (Read error: Connection reset by peer) |
| 2025-12-21 09:46:45 +0100 | Cyclic27 | (~Cyclic@c-73-202-24-148.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2025-12-21 09:47:01 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) synchromesh |
| 2025-12-21 09:48:13 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-21 09:48:24 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-21 09:49:55 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-21 09:50:10 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-21 09:50:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 09:55:53 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-21 10:00:15 +0100 | Square2 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-12-21 10:01:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 10:06:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 10:12:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 10:17:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-21 10:20:13 +0100 | <tomsmeding> | hololeap: not with a guarantee that you get the actual default `compare`, because GHC only produces that when you `deriving (Ord)`; you'd have to find a library |
| 2025-12-21 10:21:24 +0100 | <[exa]> | hololeap: can you derive it for some wrapper/related newtype or so and then coerce? (or maybe the other way) |
| 2025-12-21 10:21:58 +0100 | <[exa]> | good mornin' btw |
| 2025-12-21 10:22:30 +0100 | <hololeap> | good morning |
| 2025-12-21 10:23:01 +0100 | neuromute | (~neuromute@173.44.56.66) (Remote host closed the connection) |
| 2025-12-21 10:33:37 +0100 | FirefoxDeHuk | (~FirefoxDe@user/FirefoxDeHuk) (Ping timeout: 272 seconds) |
| 2025-12-21 10:37:56 +0100 | FirefoxDeHuk | (~FirefoxDe@user/FirefoxDeHuk) FirefoxDeHuk |
| 2025-12-21 10:37:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 10:42:31 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-21 10:42:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-21 10:48:13 +0100 | pfc | (~pfc@user/pfc) (Remote host closed the connection) |
| 2025-12-21 10:50:57 +0100 | pfc | (~pfc@user/pfc) pfc |
| 2025-12-21 10:53:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 10:54:48 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-21 10:56:20 +0100 | pfc | (~pfc@user/pfc) (Remote host closed the connection) |
| 2025-12-21 10:58:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 10:58:55 +0100 | pfc | (~pfc@user/pfc) pfc |
| 2025-12-21 11:04:02 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-21 11:09:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 11:17:08 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-21 11:17:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 11:25:44 +0100 | FirefoxDeHuk | (~FirefoxDe@user/FirefoxDeHuk) (Quit: Client closed) |
| 2025-12-21 11:29:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 11:34:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 11:37:02 +0100 | acidjnk | (~acidjnk@p200300d6e71719599454bb6a38637d1e.dip0.t-ipconnect.de) acidjnk |
| 2025-12-21 11:44:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 11:49:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-21 11:50:55 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 11:51:09 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 11:58:13 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-12-21 11:58:48 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-21 12:00:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 12:03:45 +0100 | trickard_ | trickard |
| 2025-12-21 12:05:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 12:05:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-21 12:06:15 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-21 12:14:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 12:15:40 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
| 2025-12-21 12:16:49 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-21 12:19:41 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 12:20:04 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 12:20:36 +0100 | Googulator97 | (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 12:20:43 +0100 | Googulator97 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 12:21:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 12:32:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 12:36:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 12:43:01 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-21 12:44:54 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-21 12:46:38 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-12-21 12:48:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 12:48:21 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-21 12:52:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 12:55:44 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 12:55:57 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 13:03:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 13:08:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-21 13:12:41 +0100 | Ekho | (~Ekho@user/ekho) (Ping timeout: 250 seconds) |
| 2025-12-21 13:13:08 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2025-12-21 13:15:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 13:19:10 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-21 13:20:41 +0100 | Googulator25 | (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-21 13:20:50 +0100 | Googulator97 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 13:21:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 13:23:31 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 2025-12-21 13:23:36 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-21 13:31:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 13:36:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 13:37:35 +0100 | larsivi | (~larsivi@user/larsivi) (Quit: WeeChat 4.8.1) |
| 2025-12-21 13:47:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 13:50:42 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 13:51:29 +0100 | Googulator25 | (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 13:52:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 13:54:50 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) (Read error: Connection reset by peer) |
| 2025-12-21 13:55:25 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) synchromesh |
| 2025-12-21 14:00:20 +0100 | AlexNoo_ | AlexNoo |
| 2025-12-21 14:03:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 14:06:47 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-21 14:07:03 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-21 14:07:44 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-21 14:09:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-21 14:13:37 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-12-21 14:16:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 14:17:31 +0100 | Jackneill | (~Jackneill@178-164-234-79.pool.digikabel.hu) (Read error: Connection reset by peer) |
| 2025-12-21 14:17:51 +0100 | trickard_ | trickard |
| 2025-12-21 14:18:40 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-12-21 14:20:14 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 14:20:45 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 14:20:49 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 14:21:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 14:24:30 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 245 seconds) |
| 2025-12-21 14:29:16 +0100 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-21 14:32:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 14:37:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-21 14:42:31 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 246 seconds) |
| 2025-12-21 14:47:19 +0100 | Square2 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-12-21 14:48:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 14:50:32 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 14:50:40 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 14:52:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 14:53:34 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-21 14:57:14 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-21 15:02:18 +0100 | jonnie | (~jonnie@user/jonnie) (Remote host closed the connection) |
| 2025-12-21 15:03:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 15:03:46 +0100 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2025-12-21 15:08:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 15:08:55 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-12-21 15:08:56 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-12-21 15:08:56 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-21 15:19:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 15:19:18 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-21 15:23:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 15:35:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 15:39:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-21 15:42:53 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-12-21 15:43:05 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-21 15:50:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 15:50:37 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 15:50:49 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 15:55:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 16:02:09 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-21 16:02:50 +0100 | corecaps | (~quassel@user/corecaps) corecaps |
| 2025-12-21 16:06:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 16:11:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-21 16:15:32 +0100 | corecaps | (~quassel@user/corecaps) (Read error: Connection reset by peer) |
| 2025-12-21 16:19:35 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-21 16:20:39 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 16:20:45 +0100 | Googulator39 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 16:22:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 16:26:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 16:28:28 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-12-21 16:29:57 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2025-12-21 16:30:39 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-12-21 16:37:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 16:39:00 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-21 16:44:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 16:50:39 +0100 | Googulator14 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 16:50:51 +0100 | Googulator39 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 16:54:33 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 250 seconds) |
| 2025-12-21 16:56:01 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2025-12-21 16:59:38 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-12-21 16:59:39 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-12-21 17:00:18 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-12-21 17:00:20 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-12-21 17:00:35 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 2025-12-21 17:03:45 +0100 | corecaps | (~quassel@2a01:e0a:bce:8d30:213f:8faa:e762:278d) |
| 2025-12-21 17:05:06 +0100 | corecaps | (~quassel@2a01:e0a:bce:8d30:213f:8faa:e762:278d) (Changing host) |
| 2025-12-21 17:05:06 +0100 | corecaps | (~quassel@user/corecaps) corecaps |
| 2025-12-21 17:07:32 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-21 17:09:08 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-21 17:09:25 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-12-21 17:11:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 17:16:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 17:17:15 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-21 17:22:10 +0100 | FloorCalc | (~user@user/FloorCalc) FloorCalc |
| 2025-12-21 17:23:46 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-12-21 17:27:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 17:27:49 +0100 | FloorCalc | (~user@user/FloorCalc) (Read error: Connection reset by peer) |
| 2025-12-21 17:28:12 +0100 | FloorCalc | (~user@user/FloorCalc) FloorCalc |
| 2025-12-21 17:29:29 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-12-21 17:29:46 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-21 17:30:06 +0100 | Googulator14 | Googulator |
| 2025-12-21 17:33:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 17:41:36 +0100 | opencircuit | (~quassel@user/opencircuit) (Remote host closed the connection) |
| 2025-12-21 17:41:45 +0100 | opencircuit | (~quassel@user/opencircuit) opencircuit |
| 2025-12-21 17:41:56 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-21 17:43:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 17:48:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-21 17:49:55 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-21 17:52:07 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 240 seconds) |
| 2025-12-21 17:52:33 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-12-21 17:55:55 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-21 17:56:18 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-21 17:59:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 18:01:24 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-21 18:03:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 18:06:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 18:06:12 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 18:10:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 18:10:49 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 250 seconds) |
| 2025-12-21 18:14:55 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 2025-12-21 18:18:33 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-21 18:21:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 18:26:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 18:28:04 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-12-21 18:29:53 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds) |
| 2025-12-21 18:30:43 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-12-21 18:35:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 18:39:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 18:39:49 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2025-12-21 18:45:01 +0100 | corecaps | (~quassel@user/corecaps) (Remote host closed the connection) |
| 2025-12-21 18:47:22 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-12-21 18:50:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 18:55:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 18:59:35 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-12-21 19:00:14 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-21 19:01:49 +0100 | corecaps | (~quassel@user/corecaps) corecaps |
| 2025-12-21 19:04:19 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2025-12-21 19:06:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 19:11:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 19:15:51 +0100 | <milan2> | Hello guyz, I have a quastion based on assumption. So lets start with that. Is it true that it is best to build lists from other lists by use of foldr? |
| 2025-12-21 19:16:59 +0100 | <milan2> | If that is true then I should prefer that over foldl. However I had to use foldl, now does using foldr have meaning? I guess it still has right? |
| 2025-12-21 19:17:46 +0100 | <milan2> | foldr s3 . folrl s2 . foldl s1 |
| 2025-12-21 19:18:43 +0100 | <c_wraith> | "best" is vague. |
| 2025-12-21 19:19:12 +0100 | <milan2> | Even for purpose of producing new list from old lists? |
| 2025-12-21 19:19:18 +0100 | <geekosaur> | I think building lists from other lists is actually better done with difference lists in most cases, because folds will traverse the lists multiple times? |
| 2025-12-21 19:19:25 +0100 | <geekosaur> | but it will depend on the exact intent |
| 2025-12-21 19:19:26 +0100 | <c_wraith> | sure. What's the best for implementing reverse? |
| 2025-12-21 19:19:45 +0100 | <c_wraith> | @src reverse |
| 2025-12-21 19:19:45 +0100 | <lambdabot> | reverse = foldl (flip (:)) [] |
| 2025-12-21 19:20:58 +0100 | <milan2> | chain of foldr should not traverse multiple times? |
| 2025-12-21 19:21:20 +0100 | <milan2> | c_wraith: Ok, so for reverse foldl is preferable. |
| 2025-12-21 19:21:41 +0100 | <c_wraith> | I think what you're getting at is foldr/build fusion |
| 2025-12-21 19:22:04 +0100 | <c_wraith> | Participating in that on both sides requires using both foldr and build |
| 2025-12-21 19:22:19 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 19:22:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 19:23:14 +0100 | <milan2> | c_wraith: Now I am lost a little, could you elaborate on "build" or provide some documentation? |
| 2025-12-21 19:23:50 +0100 | <c_wraith> | see https://hackage-content.haskell.org/package/ghc-internal-9.1401.0/docs/src/GHC.Internal.Base.html#… for an example. In particular, pay attention to the long section of comments. |
| 2025-12-21 19:24:16 +0100 | <c_wraith> | build itself is documented at https://hackage-content.haskell.org/package/base-4.22.0.0/docs/GHC-List.html#v:build |
| 2025-12-21 19:24:21 +0100 | <milan2> | Ty :) |
| 2025-12-21 19:24:59 +0100 | <probie> | @src foldl |
| 2025-12-21 19:24:59 +0100 | <lambdabot> | foldl f z [] = z |
| 2025-12-21 19:24:59 +0100 | <lambdabot> | foldl f z (x:xs) = foldl f (f z x) xs |
| 2025-12-21 19:25:30 +0100 | <c_wraith> | yeah, the @src database is not what GHC actually uses, either. |
| 2025-12-21 19:27:02 +0100 | <probie> | Yeah, looking at the source for base `foldl k z0 xs = foldr (\(v::a) (fn::b->b) -> oneShot (\(z::b) -> fn (k z v))) (id :: b -> b) xs z0` |
| 2025-12-21 19:27:08 +0100 | <probie> | which is the sort of think I was expecting to see |
| 2025-12-21 19:27:24 +0100 | <probie> | s/think/thing/ |
| 2025-12-21 19:28:00 +0100 | <c_wraith> | the @src database is older than the optimizations in GHC that allow foldl-via-foldr to be a good consumer. |
| 2025-12-21 19:28:36 +0100 | <c_wraith> | that optimization was... uh.... "precise arity analysis"? |
| 2025-12-21 19:29:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-21 19:29:38 +0100 | <c_wraith> | https://www.joachim-breitner.de/publications/CallArity-TFP.pdf Well. Sometimes it gets called that. |
| 2025-12-21 19:30:33 +0100 | <milan2> | c_wraith: I think I understand what build does, so for chaining foldr multiple lists are created. But that should not matter as they are produced lazily? |
| 2025-12-21 19:32:20 +0100 | <c_wraith> | it minimizes garbage collector churn |
| 2025-12-21 19:33:00 +0100 | <c_wraith> | every one of those (:) that's actually allocated still goes on the heap and still needs to be collected later. |
| 2025-12-21 19:34:23 +0100 | <c_wraith> | For tight loops, that can make a big difference. |
| 2025-12-21 19:36:04 +0100 | <c_wraith> | I've definitely written code where using build cut the run time by about 65%.... given the specific way the list was later being consumed. |
| 2025-12-21 19:36:52 +0100 | <milan2> | That is considerable. |
| 2025-12-21 19:37:09 +0100 | <c_wraith> | .... also, it was the runtime of that specific operation. Not the whole program. I should be clear, it was a micro-optimization. |
| 2025-12-21 19:40:01 +0100 | <c_wraith> | But the moral of the story - there are a lot of ways to consume and produce lists. Which one is best can be pretty context-dependent. For broad rules: use the least powerful tool that gets the job done. |
| 2025-12-21 19:40:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 19:41:07 +0100 | <milan2> | I guess, I am still noob and optimizations are not needed for Advent of Code :D |
| 2025-12-21 19:44:31 +0100 | <c_wraith> | Yeah. In the context of aoc, just avoid the big performance pitfalls and you'll be fine. I mean, people use *far* slower runtimes than what you get out of GHC without trouble. Algorithm choice is the big deal. |
| 2025-12-21 19:45:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 19:46:02 +0100 | <c_wraith> | I was actually amused my testing for Day 8, part 2 showed that the classic hyper-optimized mutable reference algorithms weren't any faster than just using Data.Map. At least at that size of problem. |
| 2025-12-21 19:53:28 +0100 | <monochrom> | If you consult base source code for performance prediction, don't forget to look for RULES which can totally override normal source code. |
| 2025-12-21 19:55:54 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-21 19:56:05 +0100 | <monochrom> | In the case of lists, those rules will suggest that the best way to build list is to use `build`, ironically literally. >:) |
| 2025-12-21 19:56:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 20:01:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-21 20:04:06 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-12-21 20:06:10 +0100 | FloorCalc | (~user@user/FloorCalc) (Remote host closed the connection) |
| 2025-12-21 20:06:35 +0100 | FloorCalc | (~user@user/FloorCalc) FloorCalc |
| 2025-12-21 20:06:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 20:10:25 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-21 20:12:01 +0100 | shaeto | (~Shaeto@94.25.234.244) (Quit: WeeChat 4.1.1) |
| 2025-12-21 20:12:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-21 20:12:23 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-21 20:21:14 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-12-21 20:22:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 20:24:53 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 20:25:06 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 20:25:21 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-21 20:27:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 20:34:01 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-21 20:34:13 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-12-21 20:34:31 +0100 | <haskellbridge> | <Artem> c_wraith: I've rediscovered this several times over the years I did AoC |
| 2025-12-21 20:35:38 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-21 20:36:50 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-12-21 20:38:08 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 260 seconds) |
| 2025-12-21 20:38:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 20:38:42 +0100 | pavonia | (~user@user/siracusa) siracusa |