| 2025-12-21 00:03:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 00:05:23 +0000 | Googulator93 | Googulator |
| 2025-12-21 00:05:44 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-12-21 00:07:20 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:285a:40d:971e:7069) |
| 2025-12-21 00:07:20 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:285a:40d:971e:7069) (Changing host) |
| 2025-12-21 00:07:20 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-12-21 00:14:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 00:16:56 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 00:17:10 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 00:19:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 00:29:22 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 00:29:35 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 00:30:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 00:35:00 +0000 | trickard_ | trickard |
| 2025-12-21 00:35:37 +0000 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 00:35:48 +0000 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 00:36:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 00:39:00 +0000 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 00:41:45 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 00:48:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 00:53:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 00:59:21 +0000 | Cyclic30 | (~Cyclic@c-73-202-24-148.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2025-12-21 01:03:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 01:08:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 01:10:42 +0000 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 01:10:49 +0000 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 01:23:55 +0000 | omidmash1 | (~omidmash@user/omidmash) omidmash |
| 2025-12-21 01:24:35 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-21 01:24:52 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-21 01:25:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 01:25:46 +0000 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2025-12-21 01:25:47 +0000 | omidmash1 | omidmash |
| 2025-12-21 01:29:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-21 01:36:33 +0000 | Googulator51 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 01:40:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 01:40:45 +0000 | Googulator95 | (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-21 01:41:09 +0000 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-21 01:41:15 +0000 | Googulator51 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Client Quit) |
| 2025-12-21 01:45:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 01:56:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 02:00:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 02:02:12 +0000 | qqe | (~qqq@185.54.20.98) |
| 2025-12-21 02:02:31 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 02:03:39 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-21 02:06:59 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds) |
| 2025-12-21 02:10:45 +0000 | Googulator63 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 02:10:45 +0000 | Googulator95 | (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 02:12:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 02:19:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 02:25:32 +0000 | Cyclic27 | (~Cyclic@c-73-202-24-148.hsd1.ca.comcast.net) |
| 2025-12-21 02:28:06 +0000 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-21 02:29:48 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 02:37:11 +0000 | qqe | (~qqq@185.54.20.98) (Quit: Lost terminal) |
| 2025-12-21 02:40:38 +0000 | Googulator63 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 02:40:39 +0000 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 02:44:44 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-12-21 02:45:04 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-21 03:05:02 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-12-21 03:05:17 +0000 | annamalai | (~annamalai@2409:4042:d13:652a::9eca:d20b) annamalai |
| 2025-12-21 03:05:34 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-12-21 03:07:50 +0000 | acidjnk | (~acidjnk@p200300d6e7171943cd580b85e09c6604.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-12-21 03:08:32 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-12-21 03:08:49 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-21 03:21:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 03:25:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 03:27:06 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Remote host closed the connection) |
| 2025-12-21 03:27:28 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 03:28:35 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |
| 2025-12-21 03:35:38 +0000 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-12-21 03:35:57 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-12-21 03:36:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 03:37:02 +0000 | td_ | (~td@i5387092A.versanet.de) (Ping timeout: 256 seconds) |
| 2025-12-21 03:38:44 +0000 | td_ | (~td@i5387093A.versanet.de) td_ |
| 2025-12-21 03:40:40 +0000 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 03:40:47 +0000 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 03:40:54 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds) |
| 2025-12-21 03:40:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 03:41:48 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-21 03:43:27 +0000 | <hololeap> | is there a way to get the default `compare` for a data type without deriving Ord? |
| 2025-12-21 03:44:15 +0000 | <hololeap> | I want to compare one inner value first, then fall back to the default `compare` |
| 2025-12-21 03:44:45 +0000 | <hololeap> | (the data type has a lot of constructors so it will be tedious to write the whole thing by hand) |
| 2025-12-21 03:46:21 +0000 | <hololeap> | transformers-compat only has Ord1 |
| 2025-12-21 03:51:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 03:57:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 04:07:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 04:07:44 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 04:10:41 +0000 | Googulator7 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 04:10:48 +0000 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 04:12:09 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 265 seconds) |
| 2025-12-21 04:12:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 04:14:35 +0000 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2025-12-21 04:15:20 +0000 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-21 04:17:15 +0000 | trickard_ | trickard |
| 2025-12-21 04:23:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 04:28:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 04:38:18 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) synchromesh |
| 2025-12-21 04:38:25 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 264 seconds) |
| 2025-12-21 04:39:09 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-12-21 04:39:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 04:43:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 04:55:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 04:57:07 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.91) |
| 2025-12-21 04:59:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-21 05:00:19 +0000 | AlexNoo | (~AlexNoo@5.139.232.96) (Ping timeout: 246 seconds) |
| 2025-12-21 05:00:37 +0000 | AlexZenon | (~alzenon@5.139.232.96) (Ping timeout: 264 seconds) |
| 2025-12-21 05:01:01 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: bbl) |
| 2025-12-21 05:04:08 +0000 | AlexZenon | (~alzenon@178.34.160.91) |
| 2025-12-21 05:04:55 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-12-21 05:05:30 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-21 05:05:51 +0000 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 05:06:00 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-21 05:06:04 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 05:09:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 05:09:55 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2025-12-21 05:11:50 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-21 05:15:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 05:25:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 05:30:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 05:40:40 +0000 | Googulator55 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 05:40:42 +0000 | Googulator7 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 05:41:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 05:47:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 05:54:19 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-12-21 06:01:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 06:05:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-21 06:10:23 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 06:13:13 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 06:16:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 06:21:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 06:25:54 +0000 | trickard_ | trickard |
| 2025-12-21 06:31:43 +0000 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 06:32:13 +0000 | finsternis | (~X@23.226.237.192) finsternis |
| 2025-12-21 06:34:26 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 06:40:53 +0000 | Googulator19 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 06:41:17 +0000 | Googulator55 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 06:45:28 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-21 06:48:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 06:52:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 07:04:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 07:08:35 +0000 | trickard_ | trickard |
| 2025-12-21 07:09:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-21 07:10:45 +0000 | Googulator8 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 07:10:45 +0000 | Googulator19 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 07:10:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 07:15:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-21 07:26:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 07:31:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 07:34:18 +0000 | annamalai | (~annamalai@2409:4042:d13:652a::9eca:d20b) (Remote host closed the connection) |
| 2025-12-21 07:39:15 +0000 | xff0x | (~xff0x@2405:6580:b080:900:2d2a:a485:c072:ffd2) (Ping timeout: 250 seconds) |
| 2025-12-21 07:40:41 +0000 | Googulator58 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 07:41:23 +0000 | Googulator8 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 07:42:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 07:43:01 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-21 07:46:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 07:47:29 +0000 | annamalai | (~annamalai@157.33.254.173) annamalai |
| 2025-12-21 07:48:17 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-21 07:56:14 +0000 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-21 07:57:28 +0000 | img | (~img@user/img) img |
| 2025-12-21 07:58:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 08:00:12 +0000 | tt1231607 | (~tt1231@75.185.104.199) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-21 08:01:12 +0000 | milan2 | (~milan@88.212.61.169) |
| 2025-12-21 08:03:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-21 08:05:37 +0000 | tt1231607 | (~tt1231@75.185.104.199) tt1231 |
| 2025-12-21 08:06:51 +0000 | FirefoxDeHuk | (~FirefoxDe@user/FirefoxDeHuk) FirefoxDeHuk |
| 2025-12-21 08:11:00 +0000 | orizuru | (~orizuru@user/orizuru) (The Lounge - https://thelounge.chat) |
| 2025-12-21 08:11:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 08:16:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 08:20:42 +0000 | Googulator97 | (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-21 08:21:17 +0000 | Googulator58 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 08:22:23 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ae34:f81a:c4c2:4c9b) |
| 2025-12-21 08:27:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 08:34:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 08:40:15 +0000 | FirefoxDeHuk | (~FirefoxDe@user/FirefoxDeHuk) (Quit: Client closed) |
| 2025-12-21 08:41:03 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-21 08:44:11 +0000 | FirefoxDeHuk | (~FirefoxDe@user/FirefoxDeHuk) FirefoxDeHuk |
| 2025-12-21 08:45:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 08:45:33 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) (Read error: Connection reset by peer) |
| 2025-12-21 08:46:45 +0000 | Cyclic27 | (~Cyclic@c-73-202-24-148.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2025-12-21 08:47:01 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) synchromesh |
| 2025-12-21 08:48:13 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-21 08:48:24 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-21 08:49:55 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-21 08:50:10 +0000 | califax | (~califax@user/califx) califx |
| 2025-12-21 08:50:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 08:55:53 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-21 09:00:15 +0000 | Square2 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-12-21 09:01:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 09:06:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 09:12:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 09:17:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-21 09:20:13 +0000 | <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 09:21:24 +0000 | <[exa]> | hololeap: can you derive it for some wrapper/related newtype or so and then coerce? (or maybe the other way) |
| 2025-12-21 09:21:58 +0000 | <[exa]> | good mornin' btw |
| 2025-12-21 09:22:30 +0000 | <hololeap> | good morning |
| 2025-12-21 09:23:01 +0000 | neuromute | (~neuromute@173.44.56.66) (Remote host closed the connection) |
| 2025-12-21 09:33:37 +0000 | FirefoxDeHuk | (~FirefoxDe@user/FirefoxDeHuk) (Ping timeout: 272 seconds) |
| 2025-12-21 09:37:56 +0000 | FirefoxDeHuk | (~FirefoxDe@user/FirefoxDeHuk) FirefoxDeHuk |
| 2025-12-21 09:37:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 09:42:31 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-21 09:42:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-21 09:48:13 +0000 | pfc | (~pfc@user/pfc) (Remote host closed the connection) |
| 2025-12-21 09:50:57 +0000 | pfc | (~pfc@user/pfc) pfc |
| 2025-12-21 09:53:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 09:54:48 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-21 09:56:20 +0000 | pfc | (~pfc@user/pfc) (Remote host closed the connection) |
| 2025-12-21 09:58:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 09:58:55 +0000 | pfc | (~pfc@user/pfc) pfc |
| 2025-12-21 10:04:02 +0000 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-21 10:09:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 10:17:08 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-21 10:17:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 10:25:44 +0000 | FirefoxDeHuk | (~FirefoxDe@user/FirefoxDeHuk) (Quit: Client closed) |
| 2025-12-21 10:29:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 10:34:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 10:37:02 +0000 | acidjnk | (~acidjnk@p200300d6e71719599454bb6a38637d1e.dip0.t-ipconnect.de) acidjnk |
| 2025-12-21 10:44:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 10:49:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-21 10:50:55 +0000 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 10:51:09 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 10:58:13 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-12-21 10:58:48 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-21 11:00:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 11:03:45 +0000 | trickard_ | trickard |
| 2025-12-21 11:05:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 11:05:55 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-21 11:06:15 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-21 11:14:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 11:15:40 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
| 2025-12-21 11:16:49 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-21 11:19:41 +0000 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 11:20:04 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 11:20:36 +0000 | Googulator97 | (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 11:20:43 +0000 | Googulator97 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 11:21:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 11:32:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 11:36:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 11:43:01 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-21 11:44:54 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-21 11:46:38 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-12-21 11:48:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 11:48:21 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-21 11:52:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 11:55:44 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 11:55:57 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 12:03:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 12:08:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-21 12:12:41 +0000 | Ekho | (~Ekho@user/ekho) (Ping timeout: 250 seconds) |
| 2025-12-21 12:13:08 +0000 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2025-12-21 12:15:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 12:19:10 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-21 12:20:41 +0000 | Googulator25 | (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-21 12:20:50 +0000 | Googulator97 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 12:21:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 12:23:31 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 2025-12-21 12:23:36 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-21 12:31:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 12:36:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 12:37:35 +0000 | larsivi | (~larsivi@user/larsivi) (Quit: WeeChat 4.8.1) |
| 2025-12-21 12:47:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 12:50:42 +0000 | Googulator91 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 12:51:29 +0000 | Googulator25 | (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 12:52:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 12:54:50 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) (Read error: Connection reset by peer) |
| 2025-12-21 12:55:25 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) synchromesh |
| 2025-12-21 13:00:20 +0000 | AlexNoo_ | AlexNoo |
| 2025-12-21 13:03:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 13:06:47 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-21 13:07:03 +0000 | Square2 | (~Square@user/square) Square |
| 2025-12-21 13:07:44 +0000 | califax | (~califax@user/califx) califx |
| 2025-12-21 13:09:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-21 13:13:37 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-12-21 13:16:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 13:17:31 +0000 | Jackneill | (~Jackneill@178-164-234-79.pool.digikabel.hu) (Read error: Connection reset by peer) |
| 2025-12-21 13:17:51 +0000 | trickard_ | trickard |
| 2025-12-21 13:18:40 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-12-21 13:20:14 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 13:20:45 +0000 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 13:20:49 +0000 | Googulator91 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 13:21:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 13:24:30 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 245 seconds) |
| 2025-12-21 13:29:16 +0000 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-21 13:32:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 13:37:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-21 13:42:31 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 246 seconds) |
| 2025-12-21 13:47:19 +0000 | Square2 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-12-21 13:48:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 13:50:32 +0000 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 13:50:40 +0000 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 13:52:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 13:53:34 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-21 13:57:14 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-21 14:02:18 +0000 | jonnie | (~jonnie@user/jonnie) (Remote host closed the connection) |
| 2025-12-21 14:03:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 14:03:46 +0000 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2025-12-21 14:08:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 14:08:55 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-12-21 14:08:56 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-12-21 14:08:56 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-21 14:19:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 14:19:18 +0000 | spew | (~spew@user/spew) spew |
| 2025-12-21 14:23:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 14:35:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 14:39:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-21 14:42:53 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-12-21 14:43:05 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-21 14:50:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 14:50:37 +0000 | Googulator95 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 14:50:49 +0000 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 14:55:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 15:02:09 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-21 15:02:50 +0000 | corecaps | (~quassel@user/corecaps) corecaps |
| 2025-12-21 15:06:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 15:11:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-21 15:15:32 +0000 | corecaps | (~quassel@user/corecaps) (Read error: Connection reset by peer) |
| 2025-12-21 15:19:35 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-21 15:20:39 +0000 | Googulator95 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 15:20:45 +0000 | Googulator39 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 15:22:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 15:26:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 15:28:28 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-12-21 15:29:57 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2025-12-21 15:30:39 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-12-21 15:37:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 15:39:00 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-21 15:44:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 15:50:39 +0000 | Googulator14 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 15:50:51 +0000 | Googulator39 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 15:54:33 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 250 seconds) |
| 2025-12-21 15:56:01 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2025-12-21 15:59:38 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-12-21 15:59:39 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-12-21 16:00:18 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-12-21 16:00:20 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-12-21 16:00:35 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 2025-12-21 16:03:45 +0000 | corecaps | (~quassel@2a01:e0a:bce:8d30:213f:8faa:e762:278d) |
| 2025-12-21 16:05:06 +0000 | corecaps | (~quassel@2a01:e0a:bce:8d30:213f:8faa:e762:278d) (Changing host) |
| 2025-12-21 16:05:06 +0000 | corecaps | (~quassel@user/corecaps) corecaps |
| 2025-12-21 16:07:32 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-21 16:09:08 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-21 16:09:25 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-12-21 16:11:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 16:16:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 16:17:15 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-21 16:22:10 +0000 | FloorCalc | (~user@user/FloorCalc) FloorCalc |
| 2025-12-21 16:23:46 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-12-21 16:27:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 16:27:49 +0000 | FloorCalc | (~user@user/FloorCalc) (Read error: Connection reset by peer) |
| 2025-12-21 16:28:12 +0000 | FloorCalc | (~user@user/FloorCalc) FloorCalc |
| 2025-12-21 16:29:29 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-12-21 16:29:46 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-21 16:30:06 +0000 | Googulator14 | Googulator |
| 2025-12-21 16:33:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 16:41:36 +0000 | opencircuit | (~quassel@user/opencircuit) (Remote host closed the connection) |
| 2025-12-21 16:41:45 +0000 | opencircuit | (~quassel@user/opencircuit) opencircuit |
| 2025-12-21 16:41:56 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-21 16:43:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 16:48:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-21 16:49:55 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-21 16:52:07 +0000 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 240 seconds) |
| 2025-12-21 16:52:33 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-12-21 16:55:55 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-21 16:56:18 +0000 | jmcantrell_ | jmcantrell |
| 2025-12-21 16:59:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 17:01:24 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-21 17:03:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 17:06:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 17:06:12 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 17:10:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 17:10:49 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 250 seconds) |
| 2025-12-21 17:14:55 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 2025-12-21 17:18:33 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-21 17:21:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 17:26:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 17:28:04 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-12-21 17:29:53 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds) |
| 2025-12-21 17:30:43 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-12-21 17:35:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 17:39:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 17:39:49 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2025-12-21 17:45:01 +0000 | corecaps | (~quassel@user/corecaps) (Remote host closed the connection) |
| 2025-12-21 17:47:22 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-12-21 17:50:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 17:55:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 17:59:35 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-12-21 18:00:14 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-21 18:01:49 +0000 | corecaps | (~quassel@user/corecaps) corecaps |
| 2025-12-21 18:04:19 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2025-12-21 18:06:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 18:11:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 18:15:51 +0000 | <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 18:16:59 +0000 | <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 18:17:46 +0000 | <milan2> | foldr s3 . folrl s2 . foldl s1 |
| 2025-12-21 18:18:43 +0000 | <c_wraith> | "best" is vague. |
| 2025-12-21 18:19:12 +0000 | <milan2> | Even for purpose of producing new list from old lists? |
| 2025-12-21 18:19:18 +0000 | <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 18:19:25 +0000 | <geekosaur> | but it will depend on the exact intent |
| 2025-12-21 18:19:26 +0000 | <c_wraith> | sure. What's the best for implementing reverse? |
| 2025-12-21 18:19:45 +0000 | <c_wraith> | @src reverse |
| 2025-12-21 18:19:45 +0000 | <lambdabot> | reverse = foldl (flip (:)) [] |
| 2025-12-21 18:20:58 +0000 | <milan2> | chain of foldr should not traverse multiple times? |
| 2025-12-21 18:21:20 +0000 | <milan2> | c_wraith: Ok, so for reverse foldl is preferable. |
| 2025-12-21 18:21:41 +0000 | <c_wraith> | I think what you're getting at is foldr/build fusion |
| 2025-12-21 18:22:04 +0000 | <c_wraith> | Participating in that on both sides requires using both foldr and build |
| 2025-12-21 18:22:19 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 18:22:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 18:23:14 +0000 | <milan2> | c_wraith: Now I am lost a little, could you elaborate on "build" or provide some documentation? |
| 2025-12-21 18:23:50 +0000 | <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 18:24:16 +0000 | <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 18:24:21 +0000 | <milan2> | Ty :) |
| 2025-12-21 18:24:59 +0000 | <probie> | @src foldl |
| 2025-12-21 18:24:59 +0000 | <lambdabot> | foldl f z [] = z |
| 2025-12-21 18:24:59 +0000 | <lambdabot> | foldl f z (x:xs) = foldl f (f z x) xs |
| 2025-12-21 18:25:30 +0000 | <c_wraith> | yeah, the @src database is not what GHC actually uses, either. |
| 2025-12-21 18:27:02 +0000 | <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 18:27:08 +0000 | <probie> | which is the sort of think I was expecting to see |
| 2025-12-21 18:27:24 +0000 | <probie> | s/think/thing/ |
| 2025-12-21 18:28:00 +0000 | <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 18:28:36 +0000 | <c_wraith> | that optimization was... uh.... "precise arity analysis"? |
| 2025-12-21 18:29:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-21 18:29:38 +0000 | <c_wraith> | https://www.joachim-breitner.de/publications/CallArity-TFP.pdf Well. Sometimes it gets called that. |
| 2025-12-21 18:30:33 +0000 | <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 18:32:20 +0000 | <c_wraith> | it minimizes garbage collector churn |
| 2025-12-21 18:33:00 +0000 | <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 18:34:23 +0000 | <c_wraith> | For tight loops, that can make a big difference. |
| 2025-12-21 18:36:04 +0000 | <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 18:36:52 +0000 | <milan2> | That is considerable. |
| 2025-12-21 18:37:09 +0000 | <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 18:40:01 +0000 | <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 18:40:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 18:41:07 +0000 | <milan2> | I guess, I am still noob and optimizations are not needed for Advent of Code :D |
| 2025-12-21 18:44:31 +0000 | <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 18:45:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 18:46:02 +0000 | <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 18:53:28 +0000 | <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 18:55:54 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-21 18:56:05 +0000 | <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 18:56:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 19:01:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-21 19:04:06 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-12-21 19:06:10 +0000 | FloorCalc | (~user@user/FloorCalc) (Remote host closed the connection) |
| 2025-12-21 19:06:35 +0000 | FloorCalc | (~user@user/FloorCalc) FloorCalc |
| 2025-12-21 19:06:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 19:10:25 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-21 19:12:01 +0000 | shaeto | (~Shaeto@94.25.234.244) (Quit: WeeChat 4.1.1) |
| 2025-12-21 19:12:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-21 19:12:23 +0000 | jmcantrell_ | jmcantrell |
| 2025-12-21 19:21:14 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-12-21 19:22:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 19:24:53 +0000 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 19:25:06 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 19:25:21 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-21 19:27:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 19:34:01 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-21 19:34:13 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-12-21 19:34:31 +0000 | <haskellbridge> | <Artem> c_wraith: I've rediscovered this several times over the years I did AoC |
| 2025-12-21 19:35:38 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-21 19:36:50 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-12-21 19:38:08 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 260 seconds) |
| 2025-12-21 19:38:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 19:38:42 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-21 19:40:12 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-12-21 19:42:08 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-12-21 19:42:35 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-21 19:43:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 19:44:52 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-21 19:46:03 +0000 | Ekho | (~Ekho@user/ekho) Ekho |
| 2025-12-21 19:54:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 19:55:43 +0000 | <milan2> | Could anybody check correct answer for aoc 2015 day 3 part 2? I don't believe I have wrong answer. It compiled so it must be correct! Right?! Right?! |
| 2025-12-21 19:56:21 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 252 seconds) |
| 2025-12-21 19:57:44 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 19:59:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 20:00:13 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-12-21 20:00:39 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-21 20:02:59 +0000 | ljdarj1 | ljdarj |
| 2025-12-21 20:07:26 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-21 20:08:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 20:08:47 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-12-21 20:09:38 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-12-21 20:09:39 +0000 | ljdarj1 | ljdarj |
| 2025-12-21 20:12:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-21 20:16:18 +0000 | <milan2> | Ah list I constructed by self recursive function was reversed. |
| 2025-12-21 20:23:00 +0000 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2025-12-21 20:23:23 +0000 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-21 20:23:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 20:28:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 20:31:27 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-21 20:39:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 20:44:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 20:46:53 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 20:47:06 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 20:49:15 +0000 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-12-21 20:50:10 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-12-21 20:54:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 21:00:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 21:07:43 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-21 21:09:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 21:11:44 +0000 | milan2 | (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
| 2025-12-21 21:24:17 +0000 | <cheater> | ne1 here try granule |
| 2025-12-21 21:27:19 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2025-12-21 21:29:24 +0000 | <EvanR> | if it compiles it must be true |
| 2025-12-21 21:37:12 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 21:41:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-21 21:41:57 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 252 seconds) |
| 2025-12-21 21:43:34 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-12-21 21:43:57 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 21:45:23 +0000 | <int-e> | hmm, reversing the input (at least that's what I think it was) is a fun one. |
| 2025-12-21 21:47:47 +0000 | <hololeap> | haskell's type system can't prevent reverse-string footguns |
| 2025-12-21 21:48:22 +0000 | <hololeap> | (or anything of the nature of "the right things in the wrong places") |
| 2025-12-21 21:48:41 +0000 | <hololeap> | you still need to write tests |
| 2025-12-21 21:49:05 +0000 | FloorCalc | (~user@user/FloorCalc) (Remote host closed the connection) |
| 2025-12-21 21:49:16 +0000 | <int-e> | just don't make mistakes ;) |
| 2025-12-21 21:49:54 +0000 | <c_wraith> | that's the part of programming people keep forgetting |
| 2025-12-21 21:49:54 +0000 | <hololeap> | of course :) |
| 2025-12-21 21:51:05 +0000 | <int-e> | The thing is, the given examples are too symmetric and part 1 is actually fine with the reversed input. So it's a pretty brilliant bug to have in this problem. |
| 2025-12-21 21:51:21 +0000 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-12-21 21:52:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 21:53:09 +0000 | <EvanR> | one day we will have the perfect type system that makes mistakes impossible |
| 2025-12-21 21:53:18 +0000 | <EvanR> | except writing the types wrong |
| 2025-12-21 21:54:12 +0000 | <EvanR> | before you can play an unlosable game you have to define the game |
| 2025-12-21 21:57:55 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-21 21:58:03 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 21:58:16 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 21:58:42 +0000 | skum | (~skum@user/skum) skum |
| 2025-12-21 21:59:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 22:04:22 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 22:08:37 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-21 22:11:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 22:12:14 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-12-21 22:12:57 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-12-21 22:13:27 +0000 | <monochrom> | Don't play to play, just don't play. >:) |
| 2025-12-21 22:15:33 +0000 | <int-e> | I actually managed to get through this nerd snipe attack without writing a single line of code. (I did, however, google a writeup that included part 2.) |
| 2025-12-21 22:15:33 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 22:15:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 22:15:46 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 22:22:52 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 22:25:47 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-21 22:26:27 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-12-21 22:26:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 22:26:59 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 22:27:48 +0000 | jmcantrell_ | jmcantrell |
| 2025-12-21 22:32:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-21 22:42:16 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-21 22:42:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 22:47:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 22:54:56 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 265 seconds) |
| 2025-12-21 22:55:41 +0000 | <yin> | Lists belong in the Control namespace |
| 2025-12-21 22:56:27 +0000 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 22:58:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 23:03:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 23:13:43 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-21 23:14:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 23:17:21 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) (Read error: Connection reset by peer) |
| 2025-12-21 23:18:17 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) synchromesh |
| 2025-12-21 23:18:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 23:19:51 +0000 | <EvanR> | also monads in the Data |
| 2025-12-21 23:26:37 +0000 | <haskellbridge> | <loonycyborg> If there's Data.Data then why there isn't Control.Control? :P |
| 2025-12-21 23:29:22 +0000 | <monochrom> | GHC has only recently begun to provided delimited continuations. But eventually Control.Control would be a great home for its stable API. :) |
| 2025-12-21 23:29:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 23:31:52 +0000 | corecaps | (~quassel@user/corecaps) (Quit: Segmentaiton fault, core dumped) |
| 2025-12-21 23:36:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-21 23:38:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 23:39:03 +0000 | <probie> | EvanR: We already have the perfect type system that makes mistakes impossible |
| 2025-12-21 23:39:20 +0000 | <probie> | It's uninhabited |
| 2025-12-21 23:40:11 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-21 23:42:22 +0000 | <EvanR> | is that like Falso |
| 2025-12-21 23:42:39 +0000 | <EvanR> | https://inutile.club/estatis/falso/ |
| 2025-12-21 23:42:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-21 23:45:52 +0000 | <probie> | It's the opposite of Falso |
| 2025-12-21 23:47:29 +0000 | <probie> | If our type system has no inhabitants, there are no valid programs, and therefore none of our programs can have any mistakes |
| 2025-12-21 23:50:06 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: bbl) |
| 2025-12-21 23:51:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 23:53:50 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-21 23:56:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 23:59:50 +0000 | Square2 | (~Square@user/square) Square |