| 2025-11-07 00:00:04 +0100 | Zemy | (~Zemy@2600:100c:b021:2c99:34f5:91ff:fe7f:6e5b) |
| 2025-11-07 00:00:39 +0100 | Zemy_ | (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-11-07 00:00:42 +0100 | Zemy | (~Zemy@2600:100c:b021:2c99:34f5:91ff:fe7f:6e5b) (Read error: Connection reset by peer) |
| 2025-11-07 00:00:58 +0100 | Zemy | (~Zemy@2600:100c:b021:2c99:a49a:c7ff:fe57:7568) |
| 2025-11-07 00:01:12 +0100 | Core4520 | (~Zemy@2600:100c:b021:2c99:e8ef:cdff:fefd:214c) (Ping timeout: 260 seconds) |
| 2025-11-07 00:04:07 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-07 00:04:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-07 00:04:54 +0100 | Zemy_ | (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 256 seconds) |
| 2025-11-07 00:05:20 +0100 | Fijxu_ | (~Fijxu@user/fijxu) (Ping timeout: 245 seconds) |
| 2025-11-07 00:08:46 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-11-07 00:13:08 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-07 00:13:09 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2025-11-07 00:13:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 00:14:13 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-18.mycingular.net) |
| 2025-11-07 00:15:11 +0100 | Zemy | (~Zemy@2600:100c:b021:2c99:a49a:c7ff:fe57:7568) (Read error: Connection reset by peer) |
| 2025-11-07 00:15:31 +0100 | Zemy | (~Zemy@2600:100c:b021:2c99:3c31:bff:fe68:9247) |
| 2025-11-07 00:16:02 +0100 | <monochrom> | dolio: Haha I didn't think of that. |
| 2025-11-07 00:18:42 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-18.mycingular.net) (Ping timeout: 260 seconds) |
| 2025-11-07 00:20:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-07 00:30:23 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-07 00:30:49 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-07 00:31:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 00:33:52 +0100 | Zemy | (~Zemy@2600:100c:b021:2c99:3c31:bff:fe68:9247) (Ping timeout: 260 seconds) |
| 2025-11-07 00:36:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-07 00:41:02 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-07 00:43:16 +0100 | Googulator99 | Googulator |
| 2025-11-07 00:43:23 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-07 00:43:59 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-07 00:47:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 00:49:06 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-07 00:52:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-07 00:53:32 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-07 00:57:56 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-07 01:00:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 01:02:07 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2025-11-07 01:02:09 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-07 01:04:28 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-07 01:05:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 01:11:07 +0100 | annamalai | (~annamalai@157.32.112.75) (Ping timeout: 264 seconds) |
| 2025-11-07 01:14:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 01:19:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-07 01:19:35 +0100 | trickard_ | trickard |
| 2025-11-07 01:30:08 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-07 01:30:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 01:35:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-07 01:40:12 +0100 | variant | (~variant@136.61.39.172) |
| 2025-11-07 01:44:49 +0100 | xff0x | (~xff0x@2405:6580:b080:900:c1bd:3ff8:8b46:e15a) (Ping timeout: 260 seconds) |
| 2025-11-07 01:46:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 01:47:28 +0100 | acidjnk | (~acidjnk@p200300d6e717199501855715c4be6f96.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-11-07 01:51:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-07 01:51:11 +0100 | <monochrom> | NamedFieldPuns doesn't allow me to write like "f Ctor{field@pattern} = ...". :( |
| 2025-11-07 01:51:31 +0100 | <monochrom> | It's OK, I resorted to "f Ctor{field=field@pattern} = ..." :) |
| 2025-11-07 01:55:31 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
| 2025-11-07 01:56:57 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-07 02:02:03 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-07 02:02:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 02:07:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-07 02:08:17 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-11-07 02:09:17 +0100 | otto_s | (~user@p4ff27ba5.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-11-07 02:10:50 +0100 | otto_s | (~user@p4ff270cb.dip0.t-ipconnect.de) |
| 2025-11-07 02:17:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 02:22:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-07 02:25:24 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-07 02:33:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 02:34:15 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-07 02:36:37 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-07 02:36:55 +0100 | Square3 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-11-07 02:38:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-07 02:39:55 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-07 02:49:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 02:54:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-07 02:55:43 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-07 02:58:11 +0100 | ubert1 | (~Thunderbi@178.165.182.105.wireless.dyn.drei.com) ubert |
| 2025-11-07 02:58:48 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-07 02:59:25 +0100 | trickard__ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-07 02:59:30 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-07 02:59:44 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-07 02:59:53 +0100 | trickard__ | trickard |
| 2025-11-07 03:00:16 +0100 | ubert | (~Thunderbi@178.165.186.48.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2025-11-07 03:00:16 +0100 | ubert1 | ubert |
| 2025-11-07 03:05:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 03:07:34 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-07 03:08:30 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-07 03:10:35 +0100 | qqe | (~qqq@185.54.21.203) |
| 2025-11-07 03:10:35 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-11-07 03:10:40 +0100 | Googulator76 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-07 03:10:57 +0100 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 250 seconds) |
| 2025-11-07 03:11:01 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-11-07 03:11:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-07 03:14:00 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-07 03:14:22 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-07 03:14:41 +0100 | bggd | (~bgg@2a01:e0a:819:1510:488d:f1b1:72a6:5bef) |
| 2025-11-07 03:17:05 +0100 | variant | (~variant@136.61.39.172) (Ping timeout: 250 seconds) |
| 2025-11-07 03:23:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 03:26:32 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-07 03:28:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-07 03:30:34 +0100 | qqe | (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 2025-11-07 03:31:06 +0100 | synchrom1 | (~john@2406:5a00:2412:2c00:ad6b:d7bc:cf6f:605a) synchromesh |
| 2025-11-07 03:33:55 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) (Ping timeout: 264 seconds) |
| 2025-11-07 03:38:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 03:39:49 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds) |
| 2025-11-07 03:44:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 03:54:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 03:59:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-07 04:00:46 +0100 | myxos | (~myxos@2001:579:8380:f20:469a:adbb:d673:fb5b) myxokephale |
| 2025-11-07 04:10:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 04:15:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 04:15:42 +0100 | Googulator62 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-07 04:15:42 +0100 | Googulator76 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-07 04:26:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 04:27:58 +0100 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2025-11-07 04:28:29 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-11-07 04:31:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-07 04:33:58 +0100 | anderson | (anderson@user/anderson) (Ping timeout: 260 seconds) |
| 2025-11-07 04:34:38 +0100 | td_ | (~td@i53870901.versanet.de) (Ping timeout: 256 seconds) |
| 2025-11-07 04:36:21 +0100 | td_ | (~td@i5387093B.versanet.de) |
| 2025-11-07 04:40:18 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-11-07 04:42:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 04:42:51 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-11-07 04:44:16 +0100 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Quit: WeeChat 4.7.0) |
| 2025-11-07 04:45:33 +0100 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-11-07 04:47:14 +0100 | anderson | (anderson@user/anderson) anderson |
| 2025-11-07 04:48:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-07 04:51:35 +0100 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2025-11-07 04:52:21 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2025-11-07 04:52:21 +0100 | ChanServ | +v haskellbridge |
| 2025-11-07 04:57:44 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-07 04:58:16 +0100 | annamalai | (~annamalai@157.33.208.56) annamalai |
| 2025-11-07 05:00:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 05:04:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-07 05:15:46 +0100 | Googulator55 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-07 05:15:46 +0100 | Googulator62 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-07 05:15:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 05:21:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-07 05:32:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 05:37:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-07 05:45:44 +0100 | Googulator41 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-07 05:45:47 +0100 | Googulator55 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-07 05:48:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 05:52:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-07 05:58:15 +0100 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-07 05:58:29 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-07 06:00:36 +0100 | Googulator41 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-07 06:00:41 +0100 | Googulator75 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-07 06:01:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 06:06:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 06:17:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 06:20:41 +0100 | Googulator75 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-07 06:20:44 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-07 06:24:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-07 06:28:38 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-07 06:33:10 +0100 | qqe | (~qqq@185.54.21.203) |
| 2025-11-07 06:35:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 06:39:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-07 06:50:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 06:55:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-07 07:00:42 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-07 07:00:47 +0100 | Googulator78 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-07 07:06:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 07:11:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-07 07:13:27 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 2025-11-07 07:15:23 +0100 | Googulator78 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-07 07:15:39 +0100 | Googulator78 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-07 07:19:49 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-07 07:20:05 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-07 07:22:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 07:27:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-07 07:29:25 +0100 | qqe | (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 2025-11-07 07:33:49 +0100 | Googulator78 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-07 07:34:02 +0100 | Googulator78 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-07 07:35:34 +0100 | Googulator78 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-11-07 07:35:40 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-07 07:38:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 07:38:35 +0100 | synchrom1 | (~john@2406:5a00:2412:2c00:ad6b:d7bc:cf6f:605a) (Read error: Connection reset by peer) |
| 2025-11-07 07:39:46 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:ad6b:d7bc:cf6f:605a) synchromesh |
| 2025-11-07 07:43:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 07:50:56 +0100 | Googulator30 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-07 07:51:16 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-07 07:53:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 07:58:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-07 07:59:04 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-07 08:00:21 +0100 | biberu | (~biberu@user/biberu) biberu |
| 2025-11-07 08:02:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 08:06:18 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-07 08:07:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-07 08:11:26 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp |
| 2025-11-07 08:12:11 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-07 08:12:50 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-07 08:14:08 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Remote host closed the connection) |
| 2025-11-07 08:18:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 08:19:16 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-07 08:22:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-07 08:33:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 08:37:19 +0100 | Googulator30 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-11-07 08:39:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-07 08:46:52 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-07 08:49:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 08:53:20 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-07 08:54:36 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5425:82ad:9644:72ca) |
| 2025-11-07 08:54:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-07 09:03:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 09:06:01 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2025-11-07 09:08:11 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-07 09:10:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 09:14:17 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-07 09:20:34 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-07 09:21:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 09:25:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-07 09:28:34 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-07 09:28:48 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-07 09:36:55 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 240 seconds) |
| 2025-11-07 09:37:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 09:42:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-07 09:46:57 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-07 09:52:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 09:57:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-07 10:00:08 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5425:82ad:9644:72ca) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-07 10:04:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 10:05:00 +0100 | Zemy | (~Zemy@2600:100c:b0a9:5d13:c885:f7ff:fe70:b995) |
| 2025-11-07 10:05:36 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-07 10:06:30 +0100 | Zemy | (~Zemy@2600:100c:b0a9:5d13:c885:f7ff:fe70:b995) (Read error: Connection reset by peer) |
| 2025-11-07 10:07:06 +0100 | Zemy | (~Zemy@2600:100c:b0a9:5d13:9416:6bff:fe45:7075) |
| 2025-11-07 10:07:06 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-07 10:07:38 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-07 10:09:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 10:11:39 +0100 | Zemy | (~Zemy@2600:100c:b0a9:5d13:9416:6bff:fe45:7075) (Ping timeout: 265 seconds) |
| 2025-11-07 10:15:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 10:15:28 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-07 10:15:40 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-07 10:16:45 +0100 | myxokephale | (~myxos@2001:579:8380:f20:f473:5072:5243:c7a6) myxokephale |
| 2025-11-07 10:19:10 +0100 | myxos | (~myxos@2001:579:8380:f20:469a:adbb:d673:fb5b) (Ping timeout: 246 seconds) |
| 2025-11-07 10:19:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-07 10:20:13 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 246 seconds) |
| 2025-11-07 10:23:01 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-07 10:26:32 +0100 | kuribas | (~user@2a02:1808:d1:be31:ac10:dd83:cea2:1717) kuribas |
| 2025-11-07 10:31:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 10:32:40 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-07 10:33:13 +0100 | acidjnk | (~acidjnk@2003:d6:e717:1922:4028:f2f:de8c:479) acidjnk |
| 2025-11-07 10:36:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-07 10:46:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 10:47:45 +0100 | <kuribas> | Man, linter suggestions are sometimes plain bad: eta reduce lookup () x = Just x |
| 2025-11-07 10:47:54 +0100 | <kuribas> | "lookup () = Just" is more obfuscated |
| 2025-11-07 10:50:25 +0100 | <kuribas> | Is there a shorter way to say asum (map (\x -> ...maybe...) elems) |
| 2025-11-07 10:50:34 +0100 | <lortabac> | the most annoying one for me is "Use newtype instead of data" |
| 2025-11-07 10:50:47 +0100 | <__monty__> | Yeah, seems like personal preference to me. |
| 2025-11-07 10:50:49 +0100 | <lortabac> | there is no way I can accidentally mix up newtype and data |
| 2025-11-07 10:50:59 +0100 | <lortabac> | I don't see why this warning exists |
| 2025-11-07 10:52:00 +0100 | <__monty__> | It's an optimization, I don't think single-constructor data has any advantages over newtype? |
| 2025-11-07 10:52:17 +0100 | <kuribas> | lortabac: right, that one |
| 2025-11-07 10:52:29 +0100 | <kuribas> | __monty__: yes, lazyness. |
| 2025-11-07 10:53:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-07 10:53:32 +0100 | <Leary> | kuribas: `find` |
| 2025-11-07 10:54:20 +0100 | <__monty__> | Maybe it's a matter of reducing your use of the linting tool rather? |
| 2025-11-07 10:55:15 +0100 | <Leary> | Also, linter defaults are just defaults. You're supposed to configure away the hints you don't care for. |
| 2025-11-07 10:55:29 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2025-11-07 10:56:50 +0100 | <kuribas> | :t find |
| 2025-11-07 10:56:51 +0100 | <lambdabot> | Foldable t => (a -> Bool) -> t a -> Maybe a |
| 2025-11-07 10:57:02 +0100 | <__monty__> | It's slightly annoying when you have to litter the codebase with comments to disable lints. |
| 2025-11-07 10:57:16 +0100 | <kuribas> | Leary: find isJust ? |
| 2025-11-07 10:57:49 +0100 | <kuribas> | Leary: but I'll still need to map. |
| 2025-11-07 10:57:54 +0100 | <lortabac> | kuribas: listToMaybe (mapMaybe (\x -> ...) elems) |
| 2025-11-07 10:57:58 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-07 10:58:17 +0100 | <lortabac> | not shorter but a little less exotic than 'asum' |
| 2025-11-07 11:01:17 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:9f27:6026:a3ff:fe87:99d9) |
| 2025-11-07 11:01:17 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-07 11:01:21 +0100 | <Leary> | :t \f -> getFirst . foldMap (First . f) |
| 2025-11-07 11:01:22 +0100 | <lambdabot> | Foldable t => (a1 -> Maybe a2) -> t a1 -> Maybe a2 |
| 2025-11-07 11:02:37 +0100 | chele | (~chele@user/chele) chele |
| 2025-11-07 11:02:40 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-07 11:02:48 +0100 | <Leary> | :t \f -> getAlt . foldMap (Alt . f) |
| 2025-11-07 11:02:50 +0100 | <lambdabot> | forall k (t :: * -> *) (f :: k -> *) (a1 :: k) a2. (Foldable t, Monoid (Alt f a1)) => (a2 -> f a1) -> t a2 -> f a1 |
| 2025-11-07 11:03:34 +0100 | <lortabac> | I have the impression that I spend most of my life opting out of things. I wished stupid warnings wasn't part of that |
| 2025-11-07 11:04:02 +0100 | <kuribas> | Sometimes I wonder if all these abstractions really make programs easier and more robust. |
| 2025-11-07 11:04:06 +0100 | <kuribas> | It's mostly fun. |
| 2025-11-07 11:04:29 +0100 | <lortabac> | maybe 90% fun and 10% effectiveness? |
| 2025-11-07 11:04:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 11:05:37 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:9f27:6026:a3ff:fe87:99d9) (Ping timeout: 260 seconds) |
| 2025-11-07 11:05:43 +0100 | <kuribas> | THe biggest advantage IMO is ADTs, pattern matching, and purity... |
| 2025-11-07 11:09:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-07 11:10:18 +0100 | <__monty__> | :t \f -> foldr ((<|>) . f) empty -- Technically shorter, I suppose. |
| 2025-11-07 11:10:19 +0100 | <lambdabot> | (Foldable t, Alternative f) => (a1 -> f a2) -> t a1 -> f a2 |
| 2025-11-07 11:10:41 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-11-07 11:11:05 +0100 | fp | (~Thunderbi@130.233.70.136) fp |
| 2025-11-07 11:12:54 +0100 | <__monty__> | Relude has `asumMap`. |
| 2025-11-07 11:13:26 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-07 11:15:25 +0100 | <__monty__> | And none of the alternatives is actually shorter than `\f -> asum . map f`. |
| 2025-11-07 11:16:41 +0100 | trickard_ | trickard |
| 2025-11-07 11:20:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 11:25:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-07 11:30:28 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 260 seconds) |
| 2025-11-07 11:36:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 11:41:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 11:45:40 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:9f27:38d4:16ff:fedd:d703) |
| 2025-11-07 11:45:40 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-07 11:46:12 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-07 11:49:57 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:9f27:38d4:16ff:fedd:d703) (Ping timeout: 260 seconds) |
| 2025-11-07 11:52:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 11:53:00 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-07 11:53:55 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:9f27:4085:11ff:fe99:8799) |
| 2025-11-07 11:53:56 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-07 11:54:29 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-07 11:56:11 +0100 | Core5925 | (~Zemy@2600:100c:b0a1:9f27:7060:ffff:fe7d:6622) |
| 2025-11-07 11:56:11 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-07 11:56:26 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-11-07 11:56:44 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-07 11:57:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 11:58:13 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:9f27:4085:11ff:fe99:8799) (Ping timeout: 246 seconds) |
| 2025-11-07 12:00:53 +0100 | Core5925 | (~Zemy@2600:100c:b0a1:9f27:7060:ffff:fe7d:6622) (Ping timeout: 265 seconds) |
| 2025-11-07 12:01:01 +0100 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-07 12:01:38 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-07 12:05:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 12:10:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-07 12:15:38 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-07 12:18:01 +0100 | trickard_ | trickard |
| 2025-11-07 12:21:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 12:26:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 12:36:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 12:41:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-07 12:43:27 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-07 12:52:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 12:57:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-07 13:00:24 +0100 | <dminuoso> | 09:57:02 __monty__ │ It's slightly annoying when you have to litter the codebase with comments to disable lints. |
| 2025-11-07 13:00:28 +0100 | <dminuoso> | Reconsider your life choices then. |
| 2025-11-07 13:00:58 +0100 | <dminuoso> | It feels like some people have become mindless slaves to their linter, rather than just explicitly picking the things they want linting for. |
| 2025-11-07 13:03:59 +0100 | <__monty__> | I'm talking about lints I want in general, just not in specific instances. |
| 2025-11-07 13:05:22 +0100 | <kuribas> | dminuoso: you mean you do opt-in, rather than opt-out? |
| 2025-11-07 13:06:05 +0100 | <dminuoso> | __monty__: Sure, cant you just disable/enable the things in some global linter config? |
| 2025-11-07 13:06:36 +0100 | <dminuoso> | kuribas: It's slightly deeper than that. I'm just talking about a conscious choice. |
| 2025-11-07 13:06:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 13:06:48 +0100 | <dminuoso> | Whether that is made implicitly in an opt-out fashion or opt-in is just irrelevant. |
| 2025-11-07 13:07:33 +0100 | <kuribas> | Yeah, I don't like mindlessly accepting linter choices, even in Python, but my colleage thought me "picky" :) |
| 2025-11-07 13:10:11 +0100 | <dminuoso> | Every time I meet people using linters they subject themselves to a linter out of some belief that "whatever the linter does" is just "best practices". |
| 2025-11-07 13:10:35 +0100 | <dminuoso> | Immanuel Kant talked at great lengths about this in in his essay "What is enlightenment" |
| 2025-11-07 13:10:57 +0100 | <dminuoso> | He just didn't know about linters back then, he surely would have included it had he known. |
| 2025-11-07 13:11:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 13:16:03 +0100 | [_________] | (~oos95GWG@user/oos95GWG) (Ping timeout: 260 seconds) |
| 2025-11-07 13:16:03 +0100 | vulpine | (xfnw@user/meow/xfnw) (Ping timeout: 260 seconds) |
| 2025-11-07 13:16:10 +0100 | <kuribas> | I am fine with a curated list decided by the team. |
| 2025-11-07 13:16:37 +0100 | [_________] | (~oos95GWG@user/oos95GWG) oos95GWG |
| 2025-11-07 13:21:26 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-07 13:22:09 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-07 13:22:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 13:22:47 +0100 | <lortabac> | the fact that HLint is configurable doesn't make the defaults less bad |
| 2025-11-07 13:23:33 +0100 | <kuribas> | agreed |
| 2025-11-07 13:25:25 +0100 | wbrawner | (~wbrawner@129.146.105.153) (Remote host closed the connection) |
| 2025-11-07 13:25:36 +0100 | wbrawner | (~wbrawner@129.146.105.153) wbrawner |
| 2025-11-07 13:27:00 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 245 seconds) |
| 2025-11-07 13:27:59 +0100 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-07 13:28:13 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-07 13:28:23 +0100 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2025-11-07 13:29:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-07 13:30:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 13:30:42 +0100 | <lortabac> | There was an article about this but I can't find it anymore. It's a kind of fallacy where people who are expert about a field/tool tend to respond to criticism with "you are doing it the wrong way" |
| 2025-11-07 13:31:47 +0100 | <lortabac> | which is the right answer of course, but sometimes it's also good to consider how to improve the tool |
| 2025-11-07 13:35:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-07 13:41:57 +0100 | <__monty__> | dminuoso: Most of my linting experience is with Pylint and no I don't know of a way to configure it from outside the source files. Don't really see a good way that'd be resilient to refactoring. Can't rely on line numbers for example but even function/method names can change. |
| 2025-11-07 13:42:46 +0100 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-11-07 13:44:12 +0100 | kuribas | (~user@2a02:1808:d1:be31:ac10:dd83:cea2:1717) (Ping timeout: 244 seconds) |
| 2025-11-07 13:45:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 13:51:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 13:51:32 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-11-07 13:52:44 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:9f27:50d3:74ff:fece:a256) |
| 2025-11-07 13:56:25 +0100 | Zemy | (~Zemy@72.178.108.235) (Ping timeout: 264 seconds) |
| 2025-11-07 13:57:37 +0100 | bggd | (~bgg@2a01:e0a:819:1510:488d:f1b1:72a6:5bef) (Remote host closed the connection) |
| 2025-11-07 13:59:46 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-07 14:00:26 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-07 14:01:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 14:06:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-07 14:07:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 14:08:03 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-07 14:12:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-07 14:15:34 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-07 14:23:13 +0100 | Zemy | (~Zemy@syn-192-154-181-091.biz.spectrum.com) |
| 2025-11-07 14:23:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 14:27:23 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:9f27:50d3:74ff:fece:a256) (Ping timeout: 250 seconds) |
| 2025-11-07 14:28:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-07 14:36:25 +0100 | <Square2> | In ghci, why can I do `:info Maybe` but not `:info List`? |
| 2025-11-07 14:37:21 +0100 | <tomsmeding> | because List does not exist? |
| 2025-11-07 14:37:31 +0100 | <haskellbridge> | <Morj> You can do ":info []" |
| 2025-11-07 14:38:23 +0100 | <tomsmeding> | interesting: |
| 2025-11-07 14:38:26 +0100 | <tomsmeding> | % :i [] |
| 2025-11-07 14:38:26 +0100 | <yahb2> | type List :: * -> * ; data List a = [] | a : [a] ; -- Defined in ‘GHC.Types’ ; instance Traversable [] ; -- Defined in ‘GHC.Internal.Data.Traversable’ ; instance MonadFail [] ; -- Defined in... |
| 2025-11-07 14:38:36 +0100 | <tomsmeding> | turns out that since GHC 9.6, it prints `data List a` there |
| 2025-11-07 14:38:36 +0100 | <int-e> | % import GHC.Types |
| 2025-11-07 14:38:36 +0100 | <yahb2> | <no output> |
| 2025-11-07 14:38:40 +0100 | <int-e> | % :i List |
| 2025-11-07 14:38:40 +0100 | <yahb2> | type List :: * -> * ; data List a = [] | a : [a] ; -- Defined in ‘GHC.Types’ ; instance Traversable [] ; -- Defined in ‘GHC.Internal.Data.Traversable’ ; instance MonadFail [] ; -- Defined in... |
| 2025-11-07 14:38:45 +0100 | <int-e> | see, it works ;-) |
| 2025-11-07 14:38:59 +0100 | <tomsmeding> | then `:i []` is wrong, because the List should have been qualified |
| 2025-11-07 14:39:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 14:40:26 +0100 | <tomsmeding> | % :i Data.List.List |
| 2025-11-07 14:40:26 +0100 | <yahb2> | type List :: * -> * ; data List a = [] | a : [a] ; -- Defined in ‘GHC.Types’ ; instance Traversable [] ; -- Defined in ‘GHC.Internal.Data.Traversable’ ; instance MonadFail [] ; -- Defined in... |
| 2025-11-07 14:40:30 +0100 | <tomsmeding> | int-e: it's also in Data.List |
| 2025-11-07 14:40:53 +0100 | <haskellbridge> | <Morj> Are there any libraries to help me write (mostly) the same code for sqlite and postgres? I know of persistent, but I don't really love it |
| 2025-11-07 14:41:55 +0100 | <Square2> | int-e, nice. Thanks |
| 2025-11-07 14:42:34 +0100 | <int-e> | tomsmeding: That's new... since 9.10? Odd. |
| 2025-11-07 14:44:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-07 14:44:23 +0100 | <haskellbridge> | <Morj> My ghci 9.6 doesn't have Data.List.List indeed, but :i [] still refers to some 'List' from who knows where |
| 2025-11-07 14:45:54 +0100 | <tomsmeding> | Morj: GHC.Types |
| 2025-11-07 14:46:13 +0100 | <tomsmeding> | hm, 9.10 indeed |
| 2025-11-07 14:50:10 +0100 | <int-e> | tomsmeding: it was a proposal here: https://github.com/haskell/core-libraries-committee/issues/182 |
| 2025-11-07 14:51:24 +0100 | <haskellbridge> | <Morj> GHC.Types.List exists indeed |
| 2025-11-07 14:55:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 14:59:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |