| 2025-12-02 00:01:06 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-02 00:01:19 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-02 00:09:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 00:11:00 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-02 00:11:16 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-02 00:13:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 00:13:36 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-02 00:19:15 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-12-02 00:24:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-12-02 00:24:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 00:28:34 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-02 00:29:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-02 00:33:55 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
| 2025-12-02 00:34:19 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-12-02 00:40:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 00:41:01 +0100 | trickard_ | trickard |
| 2025-12-02 00:44:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 00:55:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 00:56:55 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Read error: Connection reset by peer) |
| 2025-12-02 01:00:39 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Remote host closed the connection) |
| 2025-12-02 01:02:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-02 01:09:39 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-12-02 01:13:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 01:18:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-02 01:19:36 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b802:6ec:1472:e908) (Ping timeout: 252 seconds) |
| 2025-12-02 01:20:21 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1046:a27d:1c08:c893) |
| 2025-12-02 01:20:45 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-12-02 01:21:09 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-02 01:27:55 +0100 | pavonia | (~user@user/siracusa) (Ping timeout: 240 seconds) |
| 2025-12-02 01:29:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 01:33:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 01:33:26 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-02 01:39:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 01:40:00 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-02 01:40:13 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-12-02 01:41:26 +0100 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-12-02 01:43:18 +0100 | yin | (~zero@user/zero) zero |
| 2025-12-02 01:44:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-02 01:52:14 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1046:a27d:1c08:c893) (Ping timeout: 260 seconds) |
| 2025-12-02 01:52:47 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-12-02 01:54:39 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-12-02 01:55:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 01:57:25 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 245 seconds) |
| 2025-12-02 01:59:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 02:10:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 02:14:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-02 02:21:10 +0100 | omidmash2 | (~omidmash@user/omidmash) omidmash |
| 2025-12-02 02:23:01 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2025-12-02 02:23:01 +0100 | omidmash2 | omidmash |
| 2025-12-02 02:25:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 02:30:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-02 02:32:59 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-02 02:35:18 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-02 02:36:10 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-12-02 02:40:46 +0100 | Googulator60 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 02:40:54 +0100 | Googulator60 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 02:41:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 02:45:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 02:54:31 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-02 02:56:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 03:01:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-02 03:10:49 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 03:11:17 +0100 | Googulator60 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 03:11:44 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-02 03:12:07 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-02 03:12:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 03:16:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 03:25:34 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 2025-12-02 03:25:46 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2025-12-02 03:27:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 03:32:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-02 03:40:32 +0100 | Square | (~Square@user/square) Square |
| 2025-12-02 03:40:40 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 03:40:45 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 03:43:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 03:45:37 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Client Quit) |
| 2025-12-02 03:45:54 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 03:49:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-02 03:50:44 +0100 | dhs | (~dhs@user/dhscholb) dhscholb |
| 2025-12-02 03:58:03 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-02 04:00:50 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-02 04:01:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 04:02:02 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-12-02 04:05:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-02 04:06:01 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 250 seconds) |
| 2025-12-02 04:06:51 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-12-02 04:08:46 +0100 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2025-12-02 04:09:35 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-12-02 04:09:51 +0100 | sefidel | (~sefidel@user/sefidel) sefidel |
| 2025-12-02 04:10:42 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 04:10:49 +0100 | Googulator66 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 04:16:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 04:20:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 04:22:27 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-02 04:23:20 +0100 | mvk | (~mvk@2607:fea8:5c9d:ee00::7e89) mvk |
| 2025-12-02 04:23:20 +0100 | mvk | (~mvk@2607:fea8:5c9d:ee00::7e89) (Client Quit) |
| 2025-12-02 04:29:44 +0100 | td_ | (~td@i53870926.versanet.de) (Ping timeout: 240 seconds) |
| 2025-12-02 04:31:38 +0100 | td_ | (~td@i53870902.versanet.de) |
| 2025-12-02 04:31:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 04:36:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-02 04:38:59 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-02 04:40:42 +0100 | Googulator66 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 04:40:46 +0100 | Googulator5 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 04:47:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 04:50:28 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-02 04:51:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-02 04:51:55 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 244 seconds) |
| 2025-12-02 04:54:58 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2025-12-02 05:00:43 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-02 05:01:30 +0100 | hsw | (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) hsw |
| 2025-12-02 05:02:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 05:06:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 05:18:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 05:20:38 +0100 | Googulator5 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 05:20:45 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 05:22:52 +0100 | hsw | (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-12-02 05:23:12 +0100 | hsw | (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) hsw |
| 2025-12-02 05:24:14 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-02 05:24:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-02 05:31:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 05:35:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 05:37:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 05:41:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 05:50:28 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 05:50:39 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 05:52:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 05:54:02 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-02 05:56:42 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-02 05:57:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-02 06:02:04 +0100 | Guest5 | (~Guest5@c-67-164-2-23.hsd1.ca.comcast.net) |
| 2025-12-02 06:02:21 +0100 | Guest5 | (~Guest5@c-67-164-2-23.hsd1.ca.comcast.net) (Client Quit) |
| 2025-12-02 06:02:35 +0100 | iqubic | (~sophia@2601:602:9203:1660:dd83:8e66:bfcb:8c1e) iqubic |
| 2025-12-02 06:04:40 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 246 seconds) |
| 2025-12-02 06:06:42 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-12-02 06:06:55 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 250 seconds) |
| 2025-12-02 06:08:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 06:12:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 06:13:51 +0100 | trickard_ | trickard |
| 2025-12-02 06:19:04 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-02 06:23:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 06:27:05 +0100 | <Leary> | zoil: Let me quote myself: "There is a kind-of workaround for `Read`-like cases by taking a singleton as a constraint and matching on it, but then you have to supply that singleton constraint everywhere instead." |
| 2025-12-02 06:27:29 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-02 06:27:42 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-02 06:28:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-02 06:29:52 +0100 | <Leary> | However, if you have multiple such cases, the same singleton constraint will cover all of them. Further, these constraints often useful in and of themselves. |
| 2025-12-02 06:30:42 +0100 | <Leary> | are often* |
| 2025-12-02 06:31:05 +0100 | trickard_ | trickard |
| 2025-12-02 06:39:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 06:43:21 +0100 | michalz | (~michalz@185.246.207.221) |
| 2025-12-02 06:43:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-02 06:44:02 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-12-02 06:46:55 +0100 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-12-02 06:54:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 06:55:42 +0100 | <iqubic> | Um... This is a strange LSP error. It looks like applying hlint code refactoring doesn't work on GHC 9.10 |
| 2025-12-02 06:55:47 +0100 | <iqubic> | 2025-12-02T05:54:01.159312Z | Error | hlint: Internal Error: Exception in plugin PluginId "hlint" while processing SMethod_CodeActionResolve: Cannot apply refactoring: apply-refact does not work on GHC 9.10 |
| 2025-12-02 06:57:00 +0100 | <iqubic> | And now my LSP just exited! |
| 2025-12-02 06:58:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 07:00:14 +0100 | <iqubic> | https://dpaste.alwaysdata.org/2T0oxtWG |
| 2025-12-02 07:00:53 +0100 | <iqubic> | I'm not sure if any of you know enough about the Haskell LSP to help me here. |
| 2025-12-02 07:07:04 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-02 07:09:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 07:12:06 +0100 | <iqubic> | From what I can tell, this seems to be an issue with HLint, GHC 9.10.3, and NixOS. |
| 2025-12-02 07:12:13 +0100 | <iqubic> | https://github.com/haskell/haskell-language-server/issues/4674 |
| 2025-12-02 07:13:15 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-02 07:14:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-02 07:22:08 +0100 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2025-12-02 07:24:05 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-12-02 07:25:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 07:29:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-02 07:38:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 07:42:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 07:44:30 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-12-02 07:45:07 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 246 seconds) |
| 2025-12-02 07:45:28 +0100 | divlamir_ | divlamir |
| 2025-12-02 07:50:44 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 07:50:52 +0100 | Googulator29 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 07:53:20 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-02 07:53:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 07:58:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-02 08:04:31 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-12-02 08:09:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 08:12:15 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-02 08:12:40 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4073:6a24:b181:8b56) |
| 2025-12-02 08:16:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-02 08:16:12 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2025-12-02 08:16:28 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-12-02 08:19:30 +0100 | annamalai | (~annamalai@2409:4042:4dc2:f11::9e8a:e814) (Remote host closed the connection) |
| 2025-12-02 08:20:43 +0100 | Googulator29 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 08:20:50 +0100 | Googulator29 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 08:22:14 +0100 | annamalai | (~annamalai@157.32.222.111) annamalai |
| 2025-12-02 08:23:09 +0100 | annamalai | (~annamalai@157.32.222.111) (Remote host closed the connection) |
| 2025-12-02 08:23:40 +0100 | annamalai | (~annamalai@157.32.222.111) annamalai |
| 2025-12-02 08:27:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 08:27:50 +0100 | annamalai | (~annamalai@157.32.222.111) (Ping timeout: 245 seconds) |
| 2025-12-02 08:29:42 +0100 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2025-12-02 08:31:30 +0100 | annamalai | (~annamalai@157.32.222.111) annamalai |
| 2025-12-02 08:31:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-02 08:32:50 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 245 seconds) |
| 2025-12-02 08:34:44 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 272 seconds) |
| 2025-12-02 08:36:30 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-02 08:39:01 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-02 08:39:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 08:41:19 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-12-02 08:41:34 +0100 | hc | (~hc@mail.hce.li) hc |
| 2025-12-02 08:42:55 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 240 seconds) |
| 2025-12-02 08:44:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-02 08:44:28 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-12-02 08:45:47 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-12-02 08:50:43 +0100 | Googulator29 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 08:50:49 +0100 | Googulator32 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 08:51:05 +0100 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2025-12-02 08:51:43 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-02 08:51:55 +0100 | hc | (~hc@mail.hce.li) hc |
| 2025-12-02 08:55:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 08:56:02 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-12-02 08:56:40 +0100 | annamalai | (~annamalai@157.32.222.111) (Remote host closed the connection) |
| 2025-12-02 08:57:12 +0100 | annamalai | (~annamalai@157.32.222.111) annamalai |
| 2025-12-02 09:00:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-02 09:20:35 +0100 | Googulator32 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 09:20:42 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 09:23:52 +0100 | YouDontKnowMe | (~YouDontKn@2a06:3040:11:610::d101) |
| 2025-12-02 09:26:12 +0100 | YouDontKnowMe | (~YouDontKn@2a06:3040:11:610::d101) (Client Quit) |
| 2025-12-02 09:26:38 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 260 seconds) |
| 2025-12-02 09:34:40 +0100 | <lucabtz> | there is no string splitting in base? |
| 2025-12-02 09:39:34 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 246 seconds) |
| 2025-12-02 09:41:06 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-02 09:41:19 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-02 09:41:56 +0100 | <Rembane> | lucabtz: There's span and break and partition and take and drop and takeWhile and dropWhile |
| 2025-12-02 09:43:45 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-02 09:44:22 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-12-02 09:50:10 +0100 | <dminuoso> | 21:18:59 tomsmeding │ it seems the theme of today is "words mean different things to different people" |
| 2025-12-02 09:50:42 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 09:50:43 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 09:50:47 +0100 | <dminuoso> | Human language is messy, imprecise and under constant change. |
| 2025-12-02 09:51:56 +0100 | <dminuoso> | Heck, if you just go through pure math publications, you see so many conflicting notation styles or conflicting terminology choices... its best to not dwell on what people call things and just be able to adjust your reference frame in a discussion... |
| 2025-12-02 09:52:20 +0100 | <dminuoso> | Especially when its people from different fields/languages/paradigms... |
| 2025-12-02 09:55:39 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-02 10:02:54 +0100 | <lucabtz> | Rembane yeah i made one with takeWhile and dropWhile |
| 2025-12-02 10:03:54 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::1370) fp |