| 2025-11-27 00:00:41 +0100 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) ThePenguin |
| 2025-11-27 00:03:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-27 00:07:26 +0100 | <jreicher> | Well I guess at a high level it's all the same thing in the end. If the "smart" system is not an LLM it just means the training data has been fed to the human (in the form of experience and/or user feedback) and the human translates that into the rules (weights) of the system. |
| 2025-11-27 00:09:21 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-27 00:10:00 +0100 | mange | (~mange@user/mange) mange |
| 2025-11-27 00:11:52 +0100 | <EvanR> | AI has been more of a "brand" than a science for a long time |
| 2025-11-27 00:12:24 +0100 | <EvanR> | AI winter resulted in loss of funding/interest in AI research, if it was called that |
| 2025-11-27 00:12:25 +0100 | <jreicher> | I feel like now it's becoming a religion. :( |
| 2025-11-27 00:12:41 +0100 | <EvanR> | meanwhile machine learning continued |
| 2025-11-27 00:14:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 00:15:35 +0100 | tv | (~tv@user/tv) (Quit: derp) |
| 2025-11-27 00:16:10 +0100 | tv | (~tv@user/tv) tv |
| 2025-11-27 00:18:34 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-27 00:18:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 00:18:54 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-27 00:21:28 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-27 00:29:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 00:31:34 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-27 00:31:54 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-27 00:32:56 +0100 | Googulator | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 00:33:15 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 00:34:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-27 00:35:56 +0100 | vetkat | (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-11-27 00:36:23 +0100 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2025-11-27 00:38:11 +0100 | <geekosaur> | jreicher, that's not entirely true; neural nets can learn from experience |
| 2025-11-27 00:38:29 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 244 seconds) |
| 2025-11-27 00:39:10 +0100 | <geekosaur> | they're just poor at reasoning, such that they can learn the wrong pattern (e.g. misrecognize a leopard-print sofa as a leopard) |
| 2025-11-27 00:43:47 +0100 | Square3 | (~Square@user/square) (Remote host closed the connection) |
| 2025-11-27 00:44:12 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-27 00:44:17 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-27 00:45:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 00:45:55 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2025-11-27 00:47:29 +0100 | <jreicher> | I know; I'm not being careful with my terminology. I studied neural nets way back when so it was interesting to me to learn about what made LLMs different. |
| 2025-11-27 00:49:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 00:49:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 00:51:04 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-27 00:59:04 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-27 00:59:23 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-27 01:00:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 01:01:37 +0100 | oats | (~oats@user/oats) (Read error: Connection reset by peer) |
| 2025-11-27 01:01:52 +0100 | oats | (~oats@user/oats) oats |
| 2025-11-27 01:02:35 +0100 | Square3 | (~Square@user/square) (Remote host closed the connection) |
| 2025-11-27 01:04:19 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 2025-11-27 01:04:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 01:05:19 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-27 01:06:02 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 01:06:20 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 01:15:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 01:17:05 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-11-27 01:17:26 +0100 | <int-e> | geekosaur: the stores have an associated package db? |
| 2025-11-27 01:17:31 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 01:17:37 +0100 | Square | (~Square@user/square) Square |
| 2025-11-27 01:19:15 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-27 01:19:46 +0100 | trickard | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 01:19:47 +0100 | <int-e> | geekosaur: Oh, found it, <store>/package.db/ ...easy to miss between the packages themselves |
| 2025-11-27 01:20:08 +0100 | <int-e> | So thanks for that hint, I just found a use for it. |
| 2025-11-27 01:21:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-27 01:21:48 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-11-27 01:27:04 +0100 | <geekosaur> | just look for something not suffixed by a hash 🙂 |
| 2025-11-27 01:31:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 01:35:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 01:43:24 +0100 | xff0x | (~xff0x@2405:6580:b080:900:ec9c:aeb8:e7c2:da00) (Ping timeout: 260 seconds) |
| 2025-11-27 01:44:20 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-27 01:44:48 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-27 01:46:28 +0100 | falafel | (~falafel@gateway/vpn/pia/falafel) falafel |
| 2025-11-27 01:46:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 01:51:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 01:54:32 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-27 01:55:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-27 01:56:07 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 240 seconds) |
| 2025-11-27 02:00:16 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-27 02:02:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 02:02:40 +0100 | trickard | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-27 02:02:53 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 02:05:40 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 02:06:49 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-27 02:07:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-27 02:12:28 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-11-27 02:13:37 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 02:13:44 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2025-11-27 02:16:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 02:17:20 +0100 | defragger | (~random@i6DFADEE5.versanet.de) (Ping timeout: 240 seconds) |
| 2025-11-27 02:17:34 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-27 02:19:28 +0100 | defragger | (~random@i6DFADE72.versanet.de) defragger |
| 2025-11-27 02:20:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-27 02:28:32 +0100 | acidjnk | (~acidjnk@p200300d6e7171972bd6f1b8d24aa8879.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-11-27 02:30:02 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-27 02:30:48 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-27 02:31:01 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 02:31:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 02:31:48 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-11-27 02:33:18 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-27 02:33:53 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-27 02:34:13 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 02:34:27 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 02:37:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 02:38:38 +0100 | marlino | (~marlino@96-8-193-114.block0.gvtc.com) |
| 2025-11-27 02:42:24 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-27 02:46:11 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::e122) (Read error: Connection reset by peer) |
| 2025-11-27 02:46:34 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-27 02:46:53 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-27 02:46:59 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-27 02:47:06 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-27 02:47:20 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 02:48:30 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::e122) sp1ff |
| 2025-11-27 02:49:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 02:50:10 +0100 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-27 02:50:25 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-27 02:53:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-27 02:57:31 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-27 02:58:00 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-11-27 02:58:21 +0100 | omidmash2 | (~omidmash@user/omidmash) omidmash |
| 2025-11-27 02:58:24 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 03:00:31 +0100 | marlino | (~marlino@96-8-193-114.block0.gvtc.com) (Quit: WeeChat 4.7.1) |
| 2025-11-27 03:00:59 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 2025-11-27 03:00:59 +0100 | omidmash2 | omidmash |
| 2025-11-27 03:04:04 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-27 03:04:23 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-27 03:05:56 +0100 | Googulator58 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 03:06:15 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 03:06:31 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-11-27 03:08:54 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-27 03:11:12 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-27 03:15:55 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-27 03:19:27 +0100 | AlexZenon | (~alzenon@178.34.162.165) (Ping timeout: 252 seconds) |
| 2025-11-27 03:19:31 +0100 | AlexNoo | (~AlexNoo@178.34.162.165) (Ping timeout: 264 seconds) |
| 2025-11-27 03:23:39 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-27 03:24:34 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-27 03:24:55 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-27 03:27:01 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-27 03:27:59 +0100 | AlexZenon | (~alzenon@85.174.183.41) |
| 2025-11-27 03:30:28 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-27 03:33:40 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 03:34:18 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-11-27 03:52:52 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 246 seconds) |
| 2025-11-27 03:57:05 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-27 04:00:19 +0100 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-11-27 04:06:04 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-27 04:06:23 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-27 04:07:15 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-11-27 04:08:04 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-27 04:08:24 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-27 04:12:41 +0100 | trickard_ | trickard |
| 2025-11-27 04:16:34 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-27 04:17:21 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-27 04:18:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 04:22:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-27 04:32:02 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-11-27 04:32:26 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 04:33:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 04:34:09 +0100 | glguy | (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2025-11-27 04:34:18 +0100 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-11-27 04:34:31 +0100 | td_ | (~td@i53870917.versanet.de) (Ping timeout: 264 seconds) |
| 2025-11-27 04:35:48 +0100 | Googulator58 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 04:35:53 +0100 | Googulator8 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 04:36:01 +0100 | td_ | (~td@i5387090C.versanet.de) td_ |
| 2025-11-27 04:38:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-27 04:39:03 +0100 | trickard | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-27 04:39:16 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 04:48:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 04:50:33 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-11-27 04:53:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 04:55:02 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2025-11-27 05:04:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 05:08:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 05:12:01 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-27 05:15:28 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-11-27 05:19:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 05:24:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 05:25:33 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-27 05:32:04 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-11-27 05:35:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 05:37:30 +0100 | Square | (~Square@user/square) Square |
| 2025-11-27 05:39:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 05:43:13 +0100 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-11-27 05:43:47 +0100 | vardhan | (~vardhan@122.172.87.226) |
| 2025-11-27 05:46:02 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-27 05:50:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 05:51:21 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 05:55:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-27 05:56:41 +0100 | DetourNe- | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-27 05:57:19 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-27 05:58:57 +0100 | DetourNe- | DetourNetworkUK |
| 2025-11-27 06:05:53 +0100 | Googulator55 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 06:05:53 +0100 | Googulator8 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 06:06:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 06:06:55 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-27 06:11:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-27 06:16:34 +0100 | trickard__ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 06:18:01 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-27 06:18:31 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-27 06:21:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 06:27:15 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds) |
| 2025-11-27 06:28:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 06:29:14 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-27 06:35:45 +0100 | Googulator55 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 06:35:49 +0100 | Googulator66 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 06:39:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 06:41:58 +0100 | mange | (~mange@user/mange) (Remote host closed the connection) |
| 2025-11-27 06:44:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-27 06:51:42 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2025-11-27 06:55:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 06:59:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 07:00:55 +0100 | trickard__ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-27 07:01:19 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 07:01:25 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-27 07:02:00 +0100 | michalz | (~michalz@185.246.207.203) |
| 2025-11-27 07:02:23 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-27 07:08:07 +0100 | jle` | (~jle`@2603:8001:3b00:11:2f12:c034:12fc:8093) (Quit: WeeChat 4.7.0) |
| 2025-11-27 07:08:27 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-11-27 07:09:48 +0100 | jreicher | (~user@user/jreicher) (Quit: Out and about) |
| 2025-11-27 07:10:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 07:11:58 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-27 07:15:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-27 07:24:16 +0100 | remexre | (~remexre@user/remexre) (Ping timeout: 246 seconds) |
| 2025-11-27 07:25:07 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 255 seconds) |
| 2025-11-27 07:25:42 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2025-11-27 07:25:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 07:26:19 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 07:26:50 +0100 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-11-27 07:30:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 07:30:31 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-27 07:34:06 +0100 | opencircuit | (~quassel@user/opencircuit) (Ping timeout: 252 seconds) |
| 2025-11-27 07:39:19 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 2025-11-27 07:41:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 07:42:46 +0100 | opencircuit | (~quassel@user/opencircuit) opencircuit |
| 2025-11-27 07:49:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 08:00:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 08:02:42 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-27 08:02:56 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 08:04:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 08:12:03 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-27 08:15:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 08:17:19 +0100 | vardhan | (~vardhan@122.172.87.226) (Ping timeout: 240 seconds) |
| 2025-11-27 08:19:29 +0100 | vardhan | (~vardhan@122.172.82.147) |
| 2025-11-27 08:20:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 08:23:08 +0100 | michalz | (~michalz@185.246.207.203) (Read error: Connection reset by peer) |
| 2025-11-27 08:23:28 +0100 | michalz | (~michalz@185.246.207.197) |
| 2025-11-27 08:31:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 08:36:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-27 08:37:26 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-11-27 08:38:33 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-27 08:38:49 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-27 08:43:54 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-27 08:44:19 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-27 08:46:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 08:51:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 08:56:27 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) |
| 2025-11-27 09:02:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 09:07:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-27 09:10:28 +0100 | krei-se- | (~krei-se@p200300f1cf1d55010000000000009569.dip0.t-ipconnect.de) krei-se |
| 2025-11-27 09:11:07 +0100 | krei-se | (~krei-se@p50829bd3.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-27 09:12:15 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-5b5f-55ca-c6c5-f53a.ipv6dyn.netcologne.de) (Remote host closed the connection) |
| 2025-11-27 09:14:07 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-11-27 09:17:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 09:23:05 +0100 | jle` | (~jle`@2603:8001:3b00:11:cbef:e190:cb2:e0d) jle` |
| 2025-11-27 09:24:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 09:25:52 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-27 09:32:14 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-27 09:41:41 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-27 09:41:58 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-27 09:49:22 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-27 09:50:43 +0100 | chele | (~chele@user/chele) chele |
| 2025-11-27 09:51:36 +0100 | hseg_ | (~hseg_@46.120.21.70) (Remote host closed the connection) |
| 2025-11-27 09:52:09 +0100 | hseg_ | (~hseg_@46.120.21.70) hseg |
| 2025-11-27 09:55:06 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-d396-e4da-3705-45fa.ipv6dyn.netcologne.de) Inline |
| 2025-11-27 09:57:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-27 09:59:14 +0100 | Googulator66 | Googulator |
| 2025-11-27 10:00:42 +0100 | trickard_ | trickard |
| 2025-11-27 10:05:25 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2025-11-27 10:06:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 2025-11-27 10:15:15 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-27 10:17:58 +0100 | inline__ | (~inlinE@2001-4dd7-868d-0-d5bc-668b-3438-8372.ipv6dyn.netcologne.de) Inline |
| 2025-11-27 10:19:13 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-d396-e4da-3705-45fa.ipv6dyn.netcologne.de) (Ping timeout: 244 seconds) |
| 2025-11-27 10:20:09 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-11-27 10:20:14 +0100 | internatetional | (~nate@103.120.175.154) internatetional |
| 2025-11-27 10:22:36 +0100 | internatetional | (~nate@103.120.175.154) (Client Quit) |
| 2025-11-27 10:23:27 +0100 | internatetional | (~nate@103.120.175.154) internatetional |
| 2025-11-27 10:29:21 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-27 10:30:36 +0100 | inline__ | Inline |
| 2025-11-27 10:33:11 +0100 | annamalai | (~annamalai@2409:4042:2d87:3c71::9e8a:460b) (Remote host closed the connection) |
| 2025-11-27 10:33:25 +0100 | annamalai | (~annamalai@2409:4042:2d87:3c71::9e8a:460b) annamalai |
| 2025-11-27 10:34:05 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b980:f8:8139:903a:409d) (Ping timeout: 245 seconds) |
| 2025-11-27 10:34:14 +0100 | <[exa]> | is there some kind of generic `mapAccum` for traversables? |
| 2025-11-27 10:34:29 +0100 | <[exa]> | like: ??? :: Traversable t => (a -> s -> (b,s)) -> s -> t a -> t b |
| 2025-11-27 10:34:49 +0100 | <[exa]> | I could ofc do with State but I hoped for a nice shortcut or so |
| 2025-11-27 10:35:27 +0100 | jcarpenter2 | (~lol@96.78.87.197) |
| 2025-11-27 10:35:28 +0100 | <[exa]> | ok whoops |
| 2025-11-27 10:35:40 +0100 | <[exa]> | mapAccumL :D |
| 2025-11-27 10:36:22 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2025-11-27 10:39:15 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-27 10:41:40 +0100 | trickard | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-27 10:41:53 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 10:47:39 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 260 seconds) |
| 2025-11-27 10:47:43 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-27 10:48:29 +0100 | internatetional | (~nate@103.120.175.154) (Quit: WeeChat 4.7.2) |
| 2025-11-27 10:50:29 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-27 10:51:04 +0100 | Jackneill_ | (~Jackneill@178-164-177-218.pool.digikabel.hu) |
| 2025-11-27 10:51:41 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-27 10:52:49 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-27 10:53:20 +0100 | Jackneill | (~Jackneill@178-164-177-181.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-11-27 10:57:03 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-11-27 11:00:35 +0100 | acidjnk | (~acidjnk@p200300d6e7171932119317c4eba72db3.dip0.t-ipconnect.de) acidjnk |
| 2025-11-27 11:02:17 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-27 11:03:21 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-27 11:03:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-27 11:04:36 +0100 | trickard_ | trickard |
| 2025-11-27 11:06:05 +0100 | Googulator50 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 11:06:17 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 11:15:01 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2025-11-27 11:40:45 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-d5bc-668b-3438-8372.ipv6dyn.netcologne.de) (Ping timeout: 250 seconds) |
| 2025-11-27 11:40:45 +0100 | inline__ | (~inlinE@2001-4dd7-868d-0-11ff-701-9c0c-1057.ipv6dyn.netcologne.de) Inline |
| 2025-11-27 12:03:14 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-11-27 12:07:52 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) () |
| 2025-11-27 12:08:21 +0100 | potatoespotatoes | (~quassel@130.44.145.181) |
| 2025-11-27 12:08:21 +0100 | potatoespotatoes | (~quassel@130.44.145.181) (Changing host) |
| 2025-11-27 12:08:21 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-11-27 12:08:24 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Client Quit) |
| 2025-11-27 12:08:44 +0100 | <lucabtz> | what is the command to get the type of an expression? |
| 2025-11-27 12:08:50 +0100 | potatoespotatoes | (~quassel@130.44.145.181) |
| 2025-11-27 12:08:50 +0100 | potatoespotatoes | (~quassel@130.44.145.181) (Changing host) |
| 2025-11-27 12:08:50 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-11-27 12:09:03 +0100 | <ent-_> | :t <expression> |
| 2025-11-27 12:09:04 +0100 | <lambdabot> | error: parse error on input ‘<’ |
| 2025-11-27 12:09:11 +0100 | <lucabtz> | thanks |
| 2025-11-27 12:09:30 +0100 | <lucabtz> | :t snd . mapAccumL |
| 2025-11-27 12:09:31 +0100 | <lambdabot> | error: |
| 2025-11-27 12:09:31 +0100 | <lambdabot> | • Couldn't match type ‘a -> t0 b -> (a, t0 c)’ with ‘(a0, c1)’ |
| 2025-11-27 12:09:31 +0100 | <lambdabot> | Expected type: (a -> b -> (a, c)) -> (a0, c1) |
| 2025-11-27 12:11:27 +0100 | <lucabtz> | right that wont work |
| 2025-11-27 12:11:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 12:13:13 +0100 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2025-11-27 12:15:31 +0100 | noctux | (~noctux@user/noctux) noctux |
| 2025-11-27 12:15:35 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 240 seconds) |
| 2025-11-27 12:16:20 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-27 12:16:58 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-11-27 12:18:35 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7143:8b5a:1c3d:7f99) |
| 2025-11-27 12:25:20 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-27 12:25:25 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 12:30:35 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2025-11-27 12:32:18 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-27 12:38:12 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-27 12:39:09 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-27 12:40:55 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 240 seconds) |
| 2025-11-27 12:41:11 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-27 12:41:59 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-27 12:42:51 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-27 12:45:16 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-27 12:45:26 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 244 seconds) |
| 2025-11-27 12:46:35 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-27 12:46:39 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-27 12:51:01 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-27 12:53:35 +0100 | hseg_ | (~hseg_@46.120.21.70) (Ping timeout: 240 seconds) |
| 2025-11-27 12:53:54 +0100 | hseg_ | (~hseg_@2.54.43.248) hseg |
| 2025-11-27 12:54:10 +0100 | <dutchie> | is there a neater way to do `Applicative f => f (a -> b) -> a -> f b` than `f <*> pure a` (f is already some `Ctor <$> fx <*> fy` thing) |
| 2025-11-27 12:55:16 +0100 | <dutchie> | lens has `fab ?? a = fmap ($ a) fab` |
| 2025-11-27 12:56:17 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-27 12:59:47 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-11-27 13:03:37 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 264 seconds) |
| 2025-11-27 13:04:10 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-27 13:06:59 +0100 | hseg_ | (~hseg_@2.54.43.248) (Read error: Connection reset by peer) |
| 2025-11-27 13:07:14 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 13:07:49 +0100 | hseg_ | (~hseg_@46.120.21.70) hseg |
| 2025-11-27 13:08:11 +0100 | Guest77 | (~Guest77@2401:4900:8821:a506:65a4:1502:5c26:31f8) |
| 2025-11-27 13:08:44 +0100 | hseg_ | (~hseg_@46.120.21.70) (Remote host closed the connection) |
| 2025-11-27 13:09:03 +0100 | hseg_ | (~hseg_@46.120.21.70) hseg |
| 2025-11-27 13:10:36 +0100 | <Guest77> | Hello :) |
| 2025-11-27 13:10:47 +0100 | Guest77 | (~Guest77@2401:4900:8821:a506:65a4:1502:5c26:31f8) (Client Quit) |
| 2025-11-27 13:13:27 +0100 | hseg_ | (~hseg_@46.120.21.70) (Ping timeout: 252 seconds) |
| 2025-11-27 13:15:40 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 13:15:44 +0100 | Googulator50 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 13:16:48 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-27 13:19:21 +0100 | Jackneill_ | (~Jackneill@178-164-177-218.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-27 13:21:23 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-27 13:22:27 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) Jackneill |
| 2025-11-27 13:23:07 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-27 13:23:49 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) Jackneill |
| 2025-11-27 13:23:50 +0100 | trickard | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-27 13:24:03 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 13:24:04 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-27 13:26:21 +0100 | <dminuoso> | dutchie: Then `pure a` is the cleanest way. |
| 2025-11-27 13:27:07 +0100 | <dminuoso> | It seems like an unnecessary way to be cleaver to introduce ??, which nobody could read instantly. `Foo <$> bar <*> quux <*> pure a` otoh is a common pattern |
| 2025-11-27 13:27:13 +0100 | <dminuoso> | s/cleaver/clever/ |
| 2025-11-27 13:27:59 +0100 | <dutchie> | i guess another ugly way would be abuse flip to get the pure thing to be the first argument |
| 2025-11-27 13:28:08 +0100 | <dminuoso> | I mean you could do `<$> ($ a)` I suppose? But `<*> pure a` reads just more naturally and fits the flow... |
| 2025-11-27 13:28:25 +0100 | <lucabtz> | pure a seems very clear to me |
| 2025-11-27 13:30:32 +0100 | <__monty__> | * `($ a) <$>` |
| 2025-11-27 13:31:29 +0100 | <dminuoso> | dutchie: And yes, I have reordered arguments for exactly that reason before - but I feel like this is bike shedding over something truly irreleveant. |
| 2025-11-27 13:31:41 +0100 | <dutchie> | indeed |
| 2025-11-27 13:44:14 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-27 13:45:04 +0100 | <jackdk> | There's also `<&> ($ a)` using `(<&>)` from `Data.Functor` |
| 2025-11-27 13:45:21 +0100 | <jackdk> | But I'd also go the `<*> pure a` route here. |
| 2025-11-27 13:45:45 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-27 13:50:14 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-11-27 13:50:39 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 13:50:47 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 13:51:10 +0100 | inline__ | (~inlinE@2001-4dd7-868d-0-11ff-701-9c0c-1057.ipv6dyn.netcologne.de) (Quit: Leaving) |
| 2025-11-27 13:51:38 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-27 13:52:00 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-27 13:52:44 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-27 13:56:43 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-2e24-c46e-4393-27fd.ipv6dyn.netcologne.de) Inline |
| 2025-11-27 13:58:21 +0100 | hseg_ | (~hseg_@2a0d:6fc7:626:b8a2:9739:328f:5ca4:7b11) hseg |
| 2025-11-27 13:59:03 +0100 | hseg_ | (~hseg_@2a0d:6fc7:626:b8a2:9739:328f:5ca4:7b11) (Read error: Connection reset by peer) |
| 2025-11-27 13:59:53 +0100 | hseg_ | (~hseg_@46.120.21.70) hseg |
| 2025-11-27 14:00:28 +0100 | hseg_ | (~hseg_@46.120.21.70) (Remote host closed the connection) |
| 2025-11-27 14:00:47 +0100 | hseg_ | (~hseg_@46.120.21.70) hseg |
| 2025-11-27 14:01:18 +0100 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 260 seconds) |
| 2025-11-27 14:01:27 +0100 | hseg_ | (~hseg_@46.120.21.70) (Remote host closed the connection) |
| 2025-11-27 14:01:46 +0100 | hseg_ | (~hseg_@46.120.21.70) hseg |
| 2025-11-27 14:03:32 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-27 14:03:36 +0100 | ttybitni` | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-27 14:03:37 +0100 | ttybitni` | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-11-27 14:03:55 +0100 | falafel | (~falafel@gateway/vpn/pia/falafel) (Ping timeout: 240 seconds) |
| 2025-11-27 14:04:55 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) Jackneill |
| 2025-11-27 14:06:24 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) |
| 2025-11-27 14:07:05 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 14:09:31 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-11-27 14:09:56 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-11-27 14:16:24 +0100 | qqe | (~qqq@185.54.20.204) |
| 2025-11-27 14:19:55 +0100 | hseg_ | (~hseg_@46.120.21.70) (Ping timeout: 240 seconds) |
| 2025-11-27 14:20:10 +0100 | hseg_ | (~hseg_@46.120.21.70) hseg |
| 2025-11-27 14:25:19 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-27 14:30:49 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-27 14:37:55 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 14:39:08 +0100 | Googulator15 | Googulator |
| 2025-11-27 14:39:48 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-11-27 14:43:05 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-27 14:43:18 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 14:50:42 +0100 | fp | (~Thunderbi@wireless-86-50-141-141.open.aalto.fi) fp |
| 2025-11-27 14:51:15 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-27 14:59:52 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 15:01:06 +0100 | <Athas> | Hello Haskell friends! I have a problem with my package on Hackage. While it shows documentation for every module, the Index only covers the test suite, which is not going to be useful to anyone. |
| 2025-11-27 15:01:13 +0100 | hseg_ | (~hseg_@46.120.21.70) (Ping timeout: 264 seconds) |
| 2025-11-27 15:02:56 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-27 15:03:34 +0100 | <ames> | is it possible to report errors with accurate source positions from a quasiquoter (i.e. so that ghc points *within* the input), or, more generically, change the source span that qReport attaches to the diagnostic? |
| 2025-11-27 15:05:52 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-11-27 15:06:16 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 15:08:00 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-27 15:10:46 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-27 15:11:00 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 15:11:26 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-11-27 15:11:48 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-27 15:22:07 +0100 | trickard_ | trickard |
| 2025-11-27 15:23:10 +0100 | raoul | (~raoul@95.179.203.88) (Ping timeout: 256 seconds) |
| 2025-11-27 15:27:39 +0100 | fp | (~Thunderbi@wireless-86-50-141-141.open.aalto.fi) (Ping timeout: 260 seconds) |
| 2025-11-27 15:29:22 +0100 | fp | (~Thunderbi@130.233.70.215) fp |
| 2025-11-27 15:37:19 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-27 15:42:17 +0100 | skum | (~skum@user/skum) skum |
| 2025-11-27 15:44:51 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-27 15:45:21 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-27 15:46:49 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-27 15:47:38 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-27 15:47:39 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-27 15:48:22 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-27 15:48:27 +0100 | trickard | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-27 15:48:34 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-27 15:48:41 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 15:48:43 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.7.1) |
| 2025-11-27 15:49:00 +0100 | skum | (~skum@user/skum) skum |
| 2025-11-27 15:49:10 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-27 15:49:19 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-27 15:49:21 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-27 15:50:16 +0100 | trickard_ | trickard |
| 2025-11-27 15:51:08 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 15:55:12 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-11-27 15:55:12 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-11-27 15:55:12 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-27 16:07:13 +0100 | mulk | (~mulk@pd9514972.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-27 16:14:54 +0100 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-11-27 16:16:13 +0100 | qqe | (~qqq@185.54.20.204) (Remote host closed the connection) |
| 2025-11-27 16:19:27 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-27 16:29:30 +0100 | hseg_ | (~hseg_@2a0d:6fc7:626:b8a2:9739:328f:5ca4:7b11) hseg |
| 2025-11-27 16:31:53 +0100 | hseg_ | (~hseg_@2a0d:6fc7:626:b8a2:9739:328f:5ca4:7b11) (Remote host closed the connection) |
| 2025-11-27 16:46:57 +0100 | trickard | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-27 16:47:11 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 16:47:40 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) |
| 2025-11-27 16:54:35 +0100 | fp | (~Thunderbi@130.233.70.215) (Ping timeout: 240 seconds) |
| 2025-11-27 16:58:36 +0100 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2025-11-27 17:00:56 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 265 seconds) |
| 2025-11-27 17:03:06 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-27 17:23:05 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 2025-11-27 17:24:00 +0100 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-27 17:24:49 +0100 | MelodyOwO | (~MelodyOwO@dhcp46-187-164-95.eaw.com.pl) |
| 2025-11-27 17:25:21 +0100 | MelodyOwO | (~MelodyOwO@dhcp46-187-164-95.eaw.com.pl) (Changing host) |
| 2025-11-27 17:25:21 +0100 | MelodyOwO | (~MelodyOwO@user/mooon) mooon |
| 2025-11-27 17:25:26 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-11-27 17:27:21 +0100 | MelodyOwO | (~MelodyOwO@user/mooon) (Client Quit) |
| 2025-11-27 17:37:44 +0100 | EvanR_ | EvanR |
| 2025-11-27 17:40:52 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 17:40:53 +0100 | mulk | (~mulk@pd9514972.dip0.t-ipconnect.de) mulk |
| 2025-11-27 17:40:56 +0100 | Googulator35 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 17:41:40 +0100 | Googulator35 | Googulator |
| 2025-11-27 17:52:45 +0100 | mvk | (~mvk@2607:fea8:5c9d:ee00::295a) mvk |
| 2025-11-27 17:52:52 +0100 | mvk | (~mvk@2607:fea8:5c9d:ee00::295a) (Client Quit) |
| 2025-11-27 18:06:31 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-27 18:06:44 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) () |
| 2025-11-27 18:07:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-27 18:08:59 +0100 | potatoespotatoes | (~quassel@130.44.145.181) |
| 2025-11-27 18:09:00 +0100 | potatoespotatoes | (~quassel@130.44.145.181) (Changing host) |
| 2025-11-27 18:09:00 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-11-27 18:10:36 +0100 | Barfolomew | (~Barfolome@2a02:3035:664:be7f:ac43:dd17:7eaf:c532) |
| 2025-11-27 18:10:44 +0100 | Googulator17 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 18:10:57 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 18:16:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-27 18:17:07 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 264 seconds) |
| 2025-11-27 18:17:25 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-27 18:21:44 +0100 | Googulator17 | Googulator |
| 2025-11-27 18:27:52 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-27 18:28:35 +0100 | trickard_ | trickard |
| 2025-11-27 18:29:46 +0100 | vardhan | (~vardhan@122.172.82.147) (Ping timeout: 255 seconds) |
| 2025-11-27 18:30:32 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2025-11-27 18:30:37 +0100 | tomboy65 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-11-27 18:30:59 +0100 | AlexNoo | (~AlexNoo@85.174.183.41) |
| 2025-11-27 18:31:21 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) () |
| 2025-11-27 18:31:46 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-11-27 18:31:49 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Client Quit) |
| 2025-11-27 18:31:49 +0100 | AlexNoo_ | (~AlexNoo@85.174.183.41) |
| 2025-11-27 18:32:13 +0100 | potatoespotatoes | (~quassel@130.44.145.181) |
| 2025-11-27 18:32:13 +0100 | potatoespotatoes | (~quassel@130.44.145.181) (Changing host) |
| 2025-11-27 18:32:13 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-11-27 18:32:33 +0100 | AlexNoo__ | (~AlexNoo@85.174.183.41) |
| 2025-11-27 18:33:52 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-27 18:35:29 +0100 | AlexNoo | (~AlexNoo@85.174.183.41) (Ping timeout: 260 seconds) |
| 2025-11-27 18:35:34 +0100 | tomboy65 | (~tomboy64@user/tomboy64) (Ping timeout: 246 seconds) |
| 2025-11-27 18:36:05 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 18:36:13 +0100 | AlexNoo | (~AlexNoo@85.174.183.41) |
| 2025-11-27 18:36:39 +0100 | AlexNoo_ | (~AlexNoo@85.174.183.41) (Ping timeout: 260 seconds) |
| 2025-11-27 18:37:14 +0100 | AlexNoo__ | (~AlexNoo@85.174.183.41) (Ping timeout: 260 seconds) |
| 2025-11-27 18:37:17 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-11-27 18:40:25 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-11-27 18:40:40 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 18:40:49 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 18:40:50 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 18:55:50 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-27 19:04:25 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-11-27 19:04:37 +0100 | Barfolomew | (~Barfolome@2a02:3035:664:be7f:ac43:dd17:7eaf:c532) (Quit: Client closed) |
| 2025-11-27 19:06:07 +0100 | rls129 | (~rls129@150.107.206.33) |
| 2025-11-27 19:06:19 +0100 | rls129 | (~rls129@150.107.206.33) () |
| 2025-11-27 19:10:03 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-27 19:10:06 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 19:10:34 +0100 | trickard | (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-27 19:10:55 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 19:11:24 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) () |
| 2025-11-27 19:12:47 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-11-27 19:13:31 +0100 | potatoespotatoes | (~quassel@130.44.145.181) |
| 2025-11-27 19:13:31 +0100 | potatoespotatoes | (~quassel@130.44.145.181) (Changing host) |
| 2025-11-27 19:13:31 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-11-27 19:15:36 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Client Quit) |
| 2025-11-27 19:16:01 +0100 | potatoespotatoes | (~quassel@130.44.145.181) |
| 2025-11-27 19:16:01 +0100 | potatoespotatoes | (~quassel@130.44.145.181) (Changing host) |
| 2025-11-27 19:16:01 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-11-27 19:19:37 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-27 19:20:52 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 19:24:22 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-11-27 19:26:31 +0100 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-11-27 19:31:47 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-27 19:33:11 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-27 19:35:34 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 19:38:36 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-27 19:39:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 19:40:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-27 19:41:20 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-27 19:46:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 19:54:44 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) |
| 2025-11-27 19:57:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 20:02:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 20:08:41 +0100 | <Hecate> | mauke: lol your comment made learn about a truly cursed Windows thing https://github.com/actions/runner/issues/3792#issuecomment-3586956300 |
| 2025-11-27 20:08:53 +0100 | <Hecate> | mniip: ☝ |
| 2025-11-27 20:09:06 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-27 20:09:43 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-27 20:10:05 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-27 20:10:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-27 20:11:24 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 20:13:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 20:17:34 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-11-27 20:18:11 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-11-27 20:18:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 20:19:23 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-27 20:19:52 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 20:19:53 +0100 | trickard_ | trickard |
| 2025-11-27 20:20:08 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-27 20:20:20 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-27 20:20:33 +0100 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-27 20:23:15 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 2025-11-27 20:24:03 +0100 | <mauke> | Hecate: you're welcome (?) :-) |
| 2025-11-27 20:25:15 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 240 seconds) |
| 2025-11-27 20:26:09 +0100 | <Hecate> | mauke: :D |
| 2025-11-27 20:27:22 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-27 20:27:30 +0100 | <mauke> | writing batch files for win xp/7, good times |
| 2025-11-27 20:27:45 +0100 | <monochrom> | Hahaha that's a very creative trick. |
| 2025-11-27 20:28:55 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-11-27 20:28:56 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-27 20:29:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 20:31:43 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-11-27 20:34:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-27 20:40:42 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 20:40:48 +0100 | Googulator55 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 20:44:54 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) () |
| 2025-11-27 20:45:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 20:45:33 +0100 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 252 seconds) |
| 2025-11-27 20:46:46 +0100 | <tomsmeding> | Hecate: that issue is insanity |
| 2025-11-27 20:47:03 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-11-27 20:48:52 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-11-27 20:49:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 20:57:13 +0100 | <haskellbridge> | <Luca> Is there a IRC client that can be extended using Haskell? |
| 2025-11-27 20:57:52 +0100 | <monochrom> | Perhaps glirc is extensible. |
| 2025-11-27 21:00:11 +0100 | <haskellbridge> | <Luca> I saw that but I don't understand if it's extensible in Haskell. It looks like it uses lua |
| 2025-11-27 21:00:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 21:05:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-27 21:05:18 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-27 21:05:33 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 21:06:26 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-27 21:08:32 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-27 21:10:07 +0100 | gustrb | (~gustrb@user/gustrb) (Read error: Connection reset by peer) |
| 2025-11-27 21:10:58 +0100 | gustrb | (~gustrb@user/gustrb) gustrb |
| 2025-11-27 21:15:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 21:17:46 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-27 21:18:02 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 21:19:45 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-27 21:19:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 21:27:24 +0100 | Square | (~Square@user/square) Square |
| 2025-11-27 21:28:54 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-27 21:31:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 21:35:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 21:37:39 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-27 21:39:20 +0100 | trickard | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-27 21:39:33 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 21:40:35 +0100 | Googulator55 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 21:40:39 +0100 | Googulator18 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 21:42:09 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-11-27 21:46:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 21:47:18 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 21:50:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 21:53:56 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-27 22:00:52 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 22:02:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 22:02:48 +0100 | <EvanR> | it's an open source haskell program you can edit and recompile |
| 2025-11-27 22:03:07 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-27 22:04:57 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) ft |
| 2025-11-27 22:06:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-27 22:10:02 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 22:10:41 +0100 | Googulator18 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 22:10:42 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 22:12:18 +0100 | <glguy> | glirc is written in Haskell; you can write whatever Haskell you like |
| 2025-11-27 22:13:10 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-27 22:14:01 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 22:16:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 22:23:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-27 22:28:57 +0100 | <int-e> | I wish ghc-pkg knew about GHC's environment files |
| 2025-11-27 22:34:19 +0100 | <haskellbridge> | <Luca> Okay but I meant something I wouldn't need to fork and maintain a fork of |
| 2025-11-27 22:34:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 22:34:42 +0100 | <haskellbridge> | <sm> does it if you run it like "stack|cabal exec -- ghc-pkg ..." ? |
| 2025-11-27 22:37:29 +0100 | <int-e> | It understands GHC_PACKAGE_PATH, so maybe |
| 2025-11-27 22:38:08 +0100 | <int-e> | But it won't understand which packages are exposed or hidden by an environment file. |
| 2025-11-27 22:38:21 +0100 | <int-e> | Which is the information I'm looking for |
| 2025-11-27 22:38:37 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-27 22:38:42 +0100 | <haskellbridge> | <Luca> Wait you are the guy from glirc glguy |
| 2025-11-27 22:38:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 22:42:37 +0100 | trickard_ | trickard |
| 2025-11-27 22:43:14 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-27 22:48:58 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) |
| 2025-11-27 22:49:06 +0100 | <monochrom> | Yes :) |
| 2025-11-27 22:50:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 22:50:39 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 22:50:49 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 22:51:54 +0100 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2025-11-27 22:54:20 +0100 | <glguy> | Luca, Haskell isn't really a good language for writing extensions, in general. glirc can load dynamic libraries and exposes a C API, so if you wanted you could write some Haskell that makes a library to load |
| 2025-11-27 22:54:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 22:55:23 +0100 | <glguy> | xmonad is a well-known tool that people configure in Haskell, but the way that's achieved is to have the program be a library. Every use of it is a program you write and compile that links in the library |
| 2025-11-27 22:57:53 +0100 | <glguy> | Another option is to includera Haskell interpreter in your program. I made a game that used that approach |
| 2025-11-27 23:05:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 23:06:33 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 23:09:36 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-27 23:10:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-27 23:11:27 +0100 | <haskellbridge> | <Luca> I will look at it better tomorrow, but thank you for the tips |
| 2025-11-27 23:13:27 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-27 23:13:36 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-27 23:13:39 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 23:13:49 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2025-11-27 23:14:38 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-11-27 23:17:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 23:20:43 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 23:20:52 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 23:22:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-27 23:32:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-27 23:34:45 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-27 23:34:56 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-11-27 23:37:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |