| 2025-11-29 00:01:08 +0100 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-29 00:01:11 +0100 | califax_ | califax |
| 2025-11-29 00:01:55 +0100 | <haskellbridge> | <loonycyborg> I just wish you could customize typeclass operators |
| 2025-11-29 00:02:17 +0100 | <haskellbridge> | <loonycyborg> like you could declare group(*) and get a multiplicative group :P |
| 2025-11-29 00:03:04 +0100 | <haskellbridge> | <loonycyborg> I guess it's already possible with TH |
| 2025-11-29 00:03:05 +0100 | <monochrom> | Integers, if you just require semigroup, then there are plus, times, min, max. |
| 2025-11-29 00:03:43 +0100 | <monochrom> | For Word you can also throw in bitwise operations :) |
| 2025-11-29 00:04:01 +0100 | <monochrom> | at least and, or, xor, xnor |
| 2025-11-29 00:04:34 +0100 | <EvanR> | what just happened |
| 2025-11-29 00:04:48 +0100 | <EvanR> | you did an exhaustive check against the monoid laws? |
| 2025-11-29 00:04:55 +0100 | <haskellbridge> | <loonycyborg> Like you could make a TH splice that will make a (semi)group over an operator that you pass it |
| 2025-11-29 00:05:29 +0100 | <EvanR> | loonycyborg, it sounds like that would really fuel the "too many operators" crowd |
| 2025-11-29 00:05:46 +0100 | <EvanR> | defining new operators gets hate so you don't want to do it easily |
| 2025-11-29 00:06:08 +0100 | <haskellbridge> | <loonycyborg> but it doesn't count as new operator right? |
| 2025-11-29 00:06:18 +0100 | <haskellbridge> | <loonycyborg> if you only use those that are traditionally groups |
| 2025-11-29 00:06:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 00:06:23 +0100 | <haskellbridge> | <loonycyborg> like + * |
| 2025-11-29 00:06:52 +0100 | <EvanR> | was just watching an old Stand Up Maths where he goes over a totally bogus economic formula published by ... a certain government |
| 2025-11-29 00:07:04 +0100 | <EvanR> | it contains * in it as an operator, like, an asterisk |
| 2025-11-29 00:07:10 +0100 | <EvanR> | with fancy formatted math |
| 2025-11-29 00:07:27 +0100 | <monochrom> | I think I saw that, yeah. |
| 2025-11-29 00:07:34 +0100 | <EvanR> | as an aside he observed... that's not a thing you do xD |
| 2025-11-29 00:08:03 +0100 | <EvanR> | so no you don't usually see asterisk as a group operator |
| 2025-11-29 00:08:08 +0100 | <haskellbridge> | <loonycyborg> I remember reading somewhere about a window system that overloaded + to add new widgets or something :P |
| 2025-11-29 00:08:15 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-29 00:08:44 +0100 | <EvanR> | to be fair ascii doesn't have that many symbols so you might think that's why everything can be +-ed in designers minds |
| 2025-11-29 00:08:52 +0100 | <EvanR> | but I think it's a deeper psychosis |
| 2025-11-29 00:08:53 +0100 | <haskellbridge> | <loonycyborg> well multiplication is a group too in most cases. |
| 2025-11-29 00:10:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 00:11:06 +0100 | <haskellbridge> | <loonycyborg> I was just thinking that in many cases particular operator just happens to form a group |
| 2025-11-29 00:11:18 +0100 | <haskellbridge> | <loonycyborg> then you can save some typing by generating a group for it with TH |
| 2025-11-29 00:11:28 +0100 | <haskellbridge> | <loonycyborg> and then superclassing it |
| 2025-11-29 00:12:03 +0100 | <monochrom> | Until one says something like "$130 plus 5% plus 6%" OK OK that's group actions. :) |
| 2025-11-29 00:21:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 00:24:28 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-29 00:25:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 00:26:23 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-29 00:28:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-29 00:28:49 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-11-29 00:37:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 00:41:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 00:42:52 +0100 | Square | (~Square@user/square) Square |
| 2025-11-29 00:52:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 00:54:14 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-29 00:58:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 01:03:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 01:06:32 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-29 01:07:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 01:10:32 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-11-29 01:11:15 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-29 01:18:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 01:23:10 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-29 01:23:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 01:25:11 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-29 01:31:15 +0100 | trickard | (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-29 01:31:42 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-29 01:31:49 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-29 01:34:08 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-29 01:34:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 01:35:38 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-29 01:37:22 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-29 01:38:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 01:49:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 01:53:30 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-29 01:53:44 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-29 01:54:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 02:05:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 02:05:36 +0100 | Googulator95 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 02:05:45 +0100 | Googulator95 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 02:09:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 02:12:15 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-29 02:12:30 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-29 02:15:56 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-29 02:20:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 02:23:51 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-29 02:24:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 02:25:55 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2025-11-29 02:26:51 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-29 02:32:32 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-29 02:33:55 +0100 | acidjnk | (~acidjnk@p200300d6e71719110157f51e13fe5b99.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-11-29 02:35:37 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-29 02:35:41 +0100 | Googulator85 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 02:35:47 +0100 | Googulator95 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 02:35:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 02:35:50 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-29 02:36:05 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-29 02:37:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-29 02:38:18 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-29 02:42:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 02:43:02 +0100 | trickard_ | trickard |
| 2025-11-29 02:53:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 02:55:37 +0100 | omidmash9 | (~omidmash@user/omidmash) omidmash |
| 2025-11-29 02:57:42 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 265 seconds) |
| 2025-11-29 02:57:42 +0100 | omidmash9 | omidmash |
| 2025-11-29 02:58:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 03:03:45 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-11-29 03:09:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 03:13:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-29 03:23:40 +0100 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) () |
| 2025-11-29 03:24:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 03:27:37 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2025-11-29 03:29:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 03:34:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 03:38:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 03:40:16 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 03:46:36 +0100 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2025-11-29 03:48:44 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 2025-11-29 03:49:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 03:53:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 03:59:32 +0100 | EvanR_ | EvanR |
| 2025-11-29 04:02:53 +0100 | trickard | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-29 04:03:07 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-29 04:04:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 04:05:45 +0100 | Googulator84 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 04:05:49 +0100 | Googulator85 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 04:06:29 +0100 | Dhark8 | Shark8 |
| 2025-11-29 04:09:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-29 04:16:55 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-29 04:17:36 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-29 04:20:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 04:24:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 04:30:37 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-29 04:32:34 +0100 | td_ | (~td@i53870937.versanet.de) (Ping timeout: 246 seconds) |
| 2025-11-29 04:34:03 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-29 04:34:28 +0100 | td_ | (~td@i5387090B.versanet.de) td_ |
| 2025-11-29 04:35:42 +0100 | Googulator95 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 04:35:45 +0100 | Googulator84 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 04:35:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 04:39:18 +0100 | Googulator37 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 04:39:27 +0100 | Googulator95 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Client Quit) |
| 2025-11-29 04:39:55 +0100 | hamster | (~ham@user/ham) (Ping timeout: 246 seconds) |
| 2025-11-29 04:40:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 04:44:19 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-11-29 04:51:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 04:51:58 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-11-29 04:53:50 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-11-29 04:54:15 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-29 04:56:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 04:56:30 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2025-11-29 04:59:19 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 05:01:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 05:02:56 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
| 2025-11-29 05:05:09 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-29 05:05:23 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-29 05:05:42 +0100 | Googulator73 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 05:05:43 +0100 | Googulator37 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 05:06:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-29 05:10:07 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-11-29 05:15:39 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-29 05:16:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 05:18:04 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-11-29 05:21:01 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-29 05:21:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 05:22:17 +0100 | annamalai | (~annamalai@2409:4042:4dbf:aad9::9e8a:ad13) annamalai |
| 2025-11-29 05:26:34 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 265 seconds) |
| 2025-11-29 05:30:25 +0100 | gawen_ | (~gawen@user/gawen) (Quit: cya) |
| 2025-11-29 05:31:11 +0100 | gawen | (~gawen@user/gawen) gawen |
| 2025-11-29 05:32:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 05:35:06 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-29 05:38:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 05:39:36 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-29 05:39:55 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-29 05:45:36 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-29 05:45:55 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-29 05:49:38 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-11-29 05:49:56 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-11-29 05:50:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 05:52:59 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-11-29 05:54:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 05:54:52 +0100 | trickard_ | trickard |
| 2025-11-29 05:57:16 +0100 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-11-29 05:58:58 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-29 06:00:30 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-11-29 06:00:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2025-11-29 06:05:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 06:07:25 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 06:09:19 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 264 seconds) |
| 2025-11-29 06:10:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 06:10:55 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2025-11-29 06:21:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 06:25:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 06:28:00 +0100 | <gentauro> | geekosaur: and EvanR thx for answers. I guess you are right. `map fromEnum` it is :) |
| 2025-11-29 06:28:27 +0100 | <EvanR> | :t map fromEnum |
| 2025-11-29 06:28:28 +0100 | <lambdabot> | Enum a => [a] -> [Int] |
| 2025-11-29 06:28:45 +0100 | <EvanR> | good |
| 2025-11-29 06:28:50 +0100 | <gentauro> | :) |
| 2025-11-29 06:35:43 +0100 | Googulator73 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 06:35:53 +0100 | Googulator73 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 06:36:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 06:40:56 +0100 | Googulator73 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 06:41:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 06:41:02 +0100 | Googulator69 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-11-29 06:51:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 06:55:14 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-11-29 06:56:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-29 06:57:02 +0100 | chenjf | (~chenjf@68.64.178.54) |
| 2025-11-29 07:02:12 +0100 | chenjf | (~chenjf@68.64.178.54) (Remote host closed the connection) |
| 2025-11-29 07:02:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 07:03:05 +0100 | chenjf | (~chenjf@68.64.178.54) |
| 2025-11-29 07:06:15 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-29 07:07:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-29 07:07:41 +0100 | chenjf | (~chenjf@68.64.178.54) (Client Quit) |
| 2025-11-29 07:08:40 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-29 07:16:09 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-11-29 07:17:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 07:22:58 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 07:24:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 07:35:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 07:40:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 07:40:40 +0100 | Googulator69 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 07:40:48 +0100 | Googulator69 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 07:48:40 +0100 | ell | (~ellie@user/ellie) ellie |
| 2025-11-29 07:50:14 +0100 | trickard__ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-29 07:51:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 07:52:13 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-29 07:55:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 08:01:05 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-29 08:03:28 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:79fd:b08e:273:4770) |
| 2025-11-29 08:03:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 08:05:08 +0100 | omidmash2 | (~omidmash@user/omidmash) omidmash |
| 2025-11-29 08:07:31 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 264 seconds) |
| 2025-11-29 08:07:31 +0100 | omidmash2 | omidmash |
| 2025-11-29 08:07:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 08:09:56 +0100 | vardhan | (~vardhan@122.172.82.9) |
| 2025-11-29 08:18:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 08:23:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 08:26:01 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-29 08:29:48 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-29 08:34:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 08:38:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 08:38:48 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 08:49:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 08:50:15 +0100 | jreicher | (~user@user/jreicher) (Ping timeout: 240 seconds) |
| 2025-11-29 08:50:51 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-29 08:54:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 09:04:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 09:08:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 09:15:50 +0100 | Googulator69 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 09:15:52 +0100 | Googulator88 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 09:18:23 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 2025-11-29 09:20:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 09:24:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 09:28:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-29 09:35:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 09:39:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 09:43:01 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-29 09:45:45 +0100 | Googulator88 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 09:45:50 +0100 | Googulator92 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 09:50:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 09:53:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-11-29 09:54:47 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-29 09:55:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-29 09:58:56 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-11-29 10:05:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 10:05:58 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-29 10:06:37 +0100 | trickard__ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-29 10:07:31 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-29 10:11:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 10:13:08 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 10:15:42 +0100 | Googulator92 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 10:15:45 +0100 | Googulator43 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 10:20:33 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-29 10:23:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 10:27:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 10:29:18 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-29 10:31:31 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Remote host closed the connection) |
| 2025-11-29 10:36:32 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-29 10:38:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 10:41:17 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:79fd:b08e:273:4770) (Remote host closed the connection) |
| 2025-11-29 10:41:54 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:49a4:4194:906:956f) |
| 2025-11-29 10:43:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-29 10:45:43 +0100 | Googulator86 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 10:45:46 +0100 | Googulator43 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 10:54:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 10:58:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 11:06:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 11:06:53 +0100 | pakettiale | (~pakettial@iptv-hkibng11-58c065-228.dhcp.inet.fi) pakettiale |
| 2025-11-29 11:08:37 +0100 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 250 seconds) |
| 2025-11-29 11:11:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-29 11:13:15 +0100 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-11-29 11:15:44 +0100 | Googulator86 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 11:15:45 +0100 | Googulator81 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 11:16:35 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 240 seconds) |
| 2025-11-29 11:21:02 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 11:21:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 11:26:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 11:26:26 +0100 | trickard_ | trickard |
| 2025-11-29 11:27:40 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds) |
| 2025-11-29 11:28:56 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-29 11:33:21 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-29 11:37:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 11:40:15 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 2025-11-29 11:40:46 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 11:41:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 11:42:31 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:49a4:4194:906:956f) (Ping timeout: 255 seconds) |
| 2025-11-29 11:43:35 +0100 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-11-29 11:45:32 +0100 | Googulator81 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 11:45:35 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:7ffd:6c2b:e0d9:4e8a) |
| 2025-11-29 11:45:39 +0100 | Googulator22 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 11:46:29 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
| 2025-11-29 11:47:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 11:52:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 11:58:23 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-11-29 12:05:42 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-29 12:05:51 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:7ffd:6c2b:e0d9:4e8a) (Remote host closed the connection) |
| 2025-11-29 12:06:11 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:638:5669:bf96:87f8) |
| 2025-11-29 12:07:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 12:11:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 12:15:41 +0100 | Googulator53 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 12:15:45 +0100 | Googulator22 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 12:17:38 +0100 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 2025-11-29 12:18:33 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-29 12:22:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 12:25:53 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:638:5669:bf96:87f8) (Remote host closed the connection) |
| 2025-11-29 12:26:30 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:490e:7541:60ae:9b93) |
| 2025-11-29 12:27:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 12:32:15 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-29 12:32:18 +0100 | qqe | (~qqq@185.54.22.255) |
| 2025-11-29 12:33:12 +0100 | n0den1te | (~n0den1te@106.222.223.139) n0den1te |
| 2025-11-29 12:34:13 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 264 seconds) |
| 2025-11-29 12:38:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 12:41:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds) |
| 2025-11-29 12:42:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 12:45:55 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:490e:7541:60ae:9b93) (Remote host closed the connection) |
| 2025-11-29 12:46:20 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:80c6:1c1c:373b:8b3c) |
| 2025-11-29 12:47:11 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 12:49:30 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-11-29 12:50:14 +0100 | Fijxu | (~Fijxu@user/fijxu) (Client Quit) |
| 2025-11-29 12:52:22 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-29 12:53:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 12:53:37 +0100 | img | (~img@user/img) img |
| 2025-11-29 13:00:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-29 13:00:48 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-11-29 13:04:24 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-29 13:04:45 +0100 | yarl | (~yarl@user/yarl) yarl |
| 2025-11-29 13:05:57 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:80c6:1c1c:373b:8b3c) (Remote host closed the connection) |
| 2025-11-29 13:06:12 +0100 | <yarl> | Hello, I got "Error 503 Backend is unhealthy" for many links on downloads.haskell.org (e.g. https://downloads.haskell.org/~ghc/latest/) |
| 2025-11-29 13:06:34 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:8a12:78a1:5565:e56f) |
| 2025-11-29 13:08:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 13:08:58 +0100 | <yarl> | Am I alone? Is it known? |
| 2025-11-29 13:09:11 +0100 | <[exa]> | you're not alone |
| 2025-11-29 13:09:36 +0100 | <jreicher> | The explicitly versioned links work for me though |
| 2025-11-29 13:09:49 +0100 | <jreicher> | The stuff linked to from https://www.haskell.org/ghc/ |
| 2025-11-29 13:09:57 +0100 | <[exa]> | anyway yeah there've been minor capacity issues, iirc mainly triggered by chatbots scraping stuff 103457294857 times everyday |
| 2025-11-29 13:10:32 +0100 | n0den1te | (~n0den1te@106.222.223.139) (Ping timeout: 240 seconds) |
| 2025-11-29 13:12:30 +0100 | <yarl> | I can't access gitlab.haskell.org, connection has timed out. |
| 2025-11-29 13:12:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 13:13:36 +0100 | <[exa]> | same here |
| 2025-11-29 13:16:01 +0100 | <[exa]> | actually if this persists for a weird amount of time, ask in #hackage |
| 2025-11-29 13:17:05 +0100 | <yarl> | I want to access https://gitlab.haskell.org/ghc/ghc/wikis/GHC%20Status#all-released-ghc-versions to know and get first aarch64 supported ghc. I think that it started being distributed with 8.2.1 by navigating through https://downloads.haskell.org/~ghc, I can reach https://downloads.haskell.org/~ghc/8.2.1/ but not https://downloads.haskell.org/~ghc/8.2.1/ghc-8.2.1-aarch64-deb8-linux.tar.xz. |
| 2025-11-29 13:17:53 +0100 | <yarl> | I am doing this to try to package ghc for aarch64 into guix. |
| 2025-11-29 13:20:43 +0100 | <[exa]> | that might be in the release notes in the manual actually |
| 2025-11-29 13:21:06 +0100 | <yarl> | I still need the archive. |
| 2025-11-29 13:21:23 +0100 | <yarl> | But I'll take a look. |
| 2025-11-29 13:22:06 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-29 13:22:10 +0100 | <[exa]> | from git the first mention of aarch64 is in ghc-7.11-start-35-g58ac9c8f6e9 (from git describe) |
| 2025-11-29 13:23:00 +0100 | <yarl> | I am looking specifically (I thlink) for the first aarch64 binary distributed |
| 2025-11-29 13:23:39 +0100 | <yarl> | I can't reach the manual at https://downloads.haskell.org/ghc/latest/docs/users_guide/ |
| 2025-11-29 13:23:44 +0100 | <[exa]> | ah ok well, that might need the actual archive |
| 2025-11-29 13:23:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 13:24:38 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) mreh |
| 2025-11-29 13:26:00 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:8a12:78a1:5565:e56f) (Remote host closed the connection) |
| 2025-11-29 13:26:09 +0100 | <yarl> | That's early to give up but I can't access anything. |
| 2025-11-29 13:26:35 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:c69d:44e0:8637:bad1) |
| 2025-11-29 13:28:16 +0100 | <[exa]> | yarl: web.archive.org ? |
| 2025-11-29 13:28:25 +0100 | <[exa]> | at least the link listings should be readable there |
| 2025-11-29 13:28:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 13:31:00 +0100 | <mreh> | how can I traverse over the first element of a 2-tuple? |
| 2025-11-29 13:31:15 +0100 | <mreh> | Probably lots of ways to do it |
| 2025-11-29 13:32:15 +0100 | <[exa]> | yes lots of ways |
| 2025-11-29 13:32:26 +0100 | <[exa]> | :D |
| 2025-11-29 13:33:16 +0100 | qqe | (~qqq@185.54.22.255) (Remote host closed the connection) |
| 2025-11-29 13:33:42 +0100 | <[exa]> | mreh: there was a Swapped newtype adaptor somewhere |
| 2025-11-29 13:33:50 +0100 | <Leary> | :t \f -> bitraverse @(,) f pure |
| 2025-11-29 13:33:51 +0100 | <lambdabot> | Applicative f => (a -> f c) -> (a, d) -> f (c, d) |
| 2025-11-29 13:34:08 +0100 | <[exa]> | <3 ^ |
| 2025-11-29 13:36:49 +0100 | <mreh> | hoogle is down :( |
| 2025-11-29 13:37:34 +0100 | <mreh> | can it be done with an arbitrary lens? |
| 2025-11-29 13:37:46 +0100 | <mreh> | feels like that's something I should have in my toolbox |
| 2025-11-29 13:38:55 +0100 | <mreh> | bitraverse sounds like it should be analogous to bimap |
| 2025-11-29 13:38:59 +0100 | <mreh> | :t bimap |
| 2025-11-29 13:39:00 +0100 | <lambdabot> | Bifunctor p => (a -> b) -> (c -> d) -> p a c -> p b d |
| 2025-11-29 13:39:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 13:39:55 +0100 | yin | (~zero@user/zero) (Ping timeout: 264 seconds) |
| 2025-11-29 13:41:45 +0100 | <[exa]> | mreh: hoogle is many https://hoogle.mangoiv.com/?q=Swapped |
| 2025-11-29 13:42:46 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:c69d:44e0:8637:bad1) (Ping timeout: 246 seconds) |
| 2025-11-29 13:43:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 13:45:20 +0100 | <mreh> | :t traverseOf _1 |
| 2025-11-29 13:45:21 +0100 | <lambdabot> | (Field1 s t a b, Functor f) => (a -> f b) -> s -> f t |
| 2025-11-29 13:45:58 +0100 | Googulator11 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 13:46:03 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:1ad9:1516:2389:208a) |
| 2025-11-29 13:46:18 +0100 | <mreh> | > traverseOf _1 (Right . (+1)) (1, 'a') |
| 2025-11-29 13:46:20 +0100 | <lambdabot> | Right (2,'a') |
| 2025-11-29 13:46:32 +0100 | Googulator53 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 13:47:36 +0100 | <[exa]> | yeah lenses might be useful |
| 2025-11-29 13:48:05 +0100 | <mreh> | [exa]: local Hoogle + Hackage would be so useful for offline, I seem to remember some tooling around that |
| 2025-11-29 13:48:16 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-11-29 13:48:32 +0100 | <[exa]> | I've got that in my todolist for years |
| 2025-11-29 13:48:56 +0100 | <[exa]> | it's supposed to "just work" yet never really cared because there's some hoogle online almost any time |
| 2025-11-29 13:49:02 +0100 | yin | (~zero@user/zero) zero |
| 2025-11-29 13:51:52 +0100 | <mreh> | if I had to travel, I might consider it |
| 2025-11-29 13:52:03 +0100 | <mreh> | but then there's internet almost everywhere now |
| 2025-11-29 13:54:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 13:56:44 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 13:57:49 +0100 | <Leary> | Local hoogle is snappier, since it doesn't have to query some webserver on every single keypress. It's also quite trivial to set up on NixOS, not sure about other systems. |
| 2025-11-29 13:58:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 13:59:53 +0100 | yarl | (~yarl@user/yarl) (Killed buffer) |
| 2025-11-29 14:01:49 +0100 | xff0x | (~xff0x@ai083123.d.east.v6connect.net) (Ping timeout: 264 seconds) |
| 2025-11-29 14:05:26 +0100 | Square | (~Square@user/square) Square |
| 2025-11-29 14:09:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 14:11:23 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-11-29 14:14:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 14:24:38 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b802:6ec:1472:e908) |
| 2025-11-29 14:24:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 14:27:34 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:1ad9:1516:2389:208a) (Remote host closed the connection) |
| 2025-11-29 14:29:45 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-29 14:31:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 14:42:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 14:47:11 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-29 14:47:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 14:49:30 +0100 | <__monty__> | Nix makes local Hoogle as trivial as setting withHoogle to true. |
| 2025-11-29 14:56:58 +0100 | <dutchie> | seems like I have to dick around with firefox localfilelinks permissions though :/ |
| 2025-11-29 14:58:07 +0100 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-11-29 14:58:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 14:59:16 +0100 | <Clint> | on debian, apt install hoogle |
| 2025-11-29 15:00:30 +0100 | <dutchie> | the issue seems to be that nix-installed `hoogle serve` (via withHoogle) links to something like file:///nix/store/v3x1jakad8zvajivhn728wwflq4invfz-ghc-9.12.2-doc/share/doc/ghc/html/libraries/bytestring-0.12.2.0-b89d/Data-ByteString.html |
| 2025-11-29 15:00:42 +0100 | <dutchie> | but firefox doesn't allow file:// links from http origins |
| 2025-11-29 15:02:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 15:02:42 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-29 15:03:45 +0100 | <__monty__> | Clint: Does it index packages installed through apt or are you responsible for running the indexing and such? That's the part that Nix makes more convenient. |
| 2025-11-29 15:04:42 +0100 | <[exa]> | ok I guess it's time to try now |
| 2025-11-29 15:04:43 +0100 | <[exa]> | :D |
| 2025-11-29 15:04:52 +0100 | <dutchie> | https://kb.mozillazine.org/Links_to_local_pages_do_not_work seems to do the trick |
| 2025-11-29 15:08:41 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-29 15:09:17 +0100 | <[exa]> | dutchie: turns out hoogle --local option enables the file:// links |
| 2025-11-29 15:09:31 +0100 | <[exa]> | no obvious way to force-disable it tho but you might find what triggers it |
| 2025-11-29 15:10:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 15:12:00 +0100 | <dutchie> | ah that does the trick, rewriting file:// to some http://localhost:8080/file/ proxy thing |
| 2025-11-29 15:15:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-29 15:15:51 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 2025-11-29 15:16:20 +0100 | <[exa]> | anyway now that I have `hoogle serve` running, is there some easy way to point it to local database or so? |
| 2025-11-29 15:19:48 +0100 | <[exa]> | oh well https://magnus.therning.org/2024-07-13-hoogle-setup-for-local-development.html |
| 2025-11-29 15:25:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 15:30:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 15:31:10 +0100 | bggd | (~bgg@2a01:e0a:fd5:f510:81e5:516f:14c0:9e92) (Remote host closed the connection) |
| 2025-11-29 15:33:10 +0100 | TMA | (tma@twin.jikos.cz) (Ping timeout: 256 seconds) |
| 2025-11-29 15:35:55 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 240 seconds) |
| 2025-11-29 15:35:58 +0100 | vgtw_ | (~vgtw@user/vgtw) vgtw |
| 2025-11-29 15:41:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 15:46:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-29 15:53:21 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-29 15:53:32 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) Jackneill |
| 2025-11-29 15:56:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 16:00:43 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-29 16:01:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 16:02:31 +0100 | scubagear | (~scubagear@190-2-131-159.hosted-by-worldstream.net) scubagear |
| 2025-11-29 16:11:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 16:12:30 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-29 16:15:39 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-29 16:16:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 16:27:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 16:30:13 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-29 16:31:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 16:32:10 +0100 | annamalai | (~annamalai@2409:4042:4dbf:aad9::9e8a:ad13) (Ping timeout: 246 seconds) |
| 2025-11-29 16:32:39 +0100 | annamalai | (~annamalai@117.246.94.92) annamalai |
| 2025-11-29 16:33:22 +0100 | Googulator11 | Googulator |
| 2025-11-29 16:34:55 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-29 16:41:07 +0100 | TMA | (tma@twin.jikos.cz) TMA |
| 2025-11-29 16:42:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 16:44:05 +0100 | pakettiale | (~pakettial@iptv-hkibng11-58c065-228.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 2025-11-29 16:46:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 16:47:02 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-29 16:54:51 +0100 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-11-29 16:55:12 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-11-29 16:57:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 17:00:52 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-29 17:02:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-29 17:07:33 +0100 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-11-29 17:11:05 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 17:11:45 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 250 seconds) |
| 2025-11-29 17:12:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 17:18:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 17:28:31 +0100 | bggd | (~bgg@2a01:e0a:fd5:f510:7613:72d0:c05e:cd65) |
| 2025-11-29 17:28:48 +0100 | scubagear | (~scubagear@190-2-131-159.hosted-by-worldstream.net) (Quit: leaving) |
| 2025-11-29 17:28:49 +0100 | Guest71 | (~Guest71@2607:f130:0:105:216:3cff:fef2:3995) |
| 2025-11-29 17:30:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 17:33:49 +0100 | Guest49 | (~Guest71@2607:f130:0:105:216:3cff:fef2:3995) |
| 2025-11-29 17:34:11 +0100 | Guest49 | (~Guest71@2607:f130:0:105:216:3cff:fef2:3995) (Client Quit) |
| 2025-11-29 17:35:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-29 17:35:40 +0100 | Googulator84 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 17:35:40 +0100 | Googulator | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 17:36:57 +0100 | Guest71 | (~Guest71@2607:f130:0:105:216:3cff:fef2:3995) (Ping timeout: 250 seconds) |
| 2025-11-29 17:45:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 17:50:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-29 17:55:28 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-29 17:57:18 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-29 17:58:11 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-29 18:00:23 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-29 18:00:57 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-29 18:01:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 18:03:07 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.7.1) |
| 2025-11-29 18:03:21 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-29 18:05:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-29 18:05:55 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-29 18:06:20 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-29 18:08:13 +0100 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2025-11-29 18:09:55 +0100 | annamalai | (~annamalai@117.246.94.92) (Ping timeout: 240 seconds) |
| 2025-11-29 18:10:03 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-11-29 18:12:04 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 260 seconds) |
| 2025-11-29 18:12:04 +0100 | polykernel_ | polykernel |
| 2025-11-29 18:13:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 18:15:01 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2025-11-29 18:18:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 18:23:46 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds) |
| 2025-11-29 18:24:34 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-29 18:25:19 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-29 18:25:32 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-29 18:26:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 18:28:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 18:32:32 +0100 | annamalai | (~annamalai@117.249.152.21) annamalai |
| 2025-11-29 18:33:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 18:35:37 +0100 | Googulator84 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 18:35:38 +0100 | Googulator90 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 18:36:15 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-29 18:36:56 +0100 | Psychotic1 | (~Psychotic@2600:1007:b054:2f1b:a19f:e91e:5d27:9a9) |
| 2025-11-29 18:37:43 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-11-29 18:44:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 18:44:16 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-11-29 18:48:38 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-29 18:48:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 18:54:30 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-29 18:55:39 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-29 18:57:35 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 2025-11-29 18:59:21 +0100 | Psychotic1 | (~Psychotic@2600:1007:b054:2f1b:a19f:e91e:5d27:9a9) (Quit: Leaving) |
| 2025-11-29 18:59:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 19:02:46 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-11-29 19:02:46 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-11-29 19:02:46 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-29 19:04:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-29 19:05:35 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-29 19:06:18 +0100 | annamalai | (~annamalai@117.249.152.21) (Ping timeout: 265 seconds) |
| 2025-11-29 19:06:36 +0100 | annamalai | (~annamalai@157.32.203.114) annamalai |
| 2025-11-29 19:08:54 +0100 | <haskellbridge> | <Zemyla> Silly thought: Add null1 to Data.Foldable1 as the default for Foldable.null. null1 :: Foldable1 f => f a -> Bool; null1 _ = False |
| 2025-11-29 19:13:26 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-29 19:14:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 19:14:45 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.7.1) |
| 2025-11-29 19:15:33 +0100 | marlino | (~marlino@96-8-193-33.block0.gvtc.com) |
| 2025-11-29 19:15:56 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-11-29 19:18:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 19:23:44 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-29 19:26:42 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-29 19:27:24 +0100 | larsivi | (~larsivi@user/larsivi) larsivi |
| 2025-11-29 19:27:52 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-29 19:29:05 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 19:29:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 19:34:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 19:35:40 +0100 | Googulator1 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 19:35:45 +0100 | Googulator90 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 19:45:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 19:46:43 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-11-29 19:48:21 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-11-29 19:48:41 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-11-29 19:49:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-29 20:00:05 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-29 20:00:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 20:00:28 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-29 20:00:43 +0100 | skum | (~skum@user/skum) skum |
| 2025-11-29 20:04:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 20:09:01 +0100 | <int-e> | Why does the innermost () here become a pattern match failure (patError)? |
| 2025-11-29 20:10:14 +0100 | <int-e> | (The code isn't supposed to make sense; the whole GHC.ArrayArray module is quite suspicious. It's also deprecated.) |
| 2025-11-29 20:15:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 20:18:26 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 2025-11-29 20:19:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 20:22:41 +0100 | <[exa]> | int-e: where here? |
| 2025-11-29 20:22:55 +0100 | <int-e> | Err. Link: https://paste.tomsmeding.com/E5PQOOx1 |
| 2025-11-29 20:22:57 +0100 | <[exa]> | (maybe a link didn't get through) |
| 2025-11-29 20:22:59 +0100 | <[exa]> | ah |
| 2025-11-29 20:23:17 +0100 | <int-e> | Nah, I forgot to paste the link somehow. |
| 2025-11-29 20:24:22 +0100 | <[exa]> | it can't match right? |
| 2025-11-29 20:25:16 +0100 | <int-e> | "it"? surely the readMutableByteArrayArray# returns something and _ would match that. The () isn't a pattern, it's a value. |
| 2025-11-29 20:25:17 +0100 | <[exa]> | (the indentation of _ is fishy to me) |
| 2025-11-29 20:25:49 +0100 | <int-e> | ... |
| 2025-11-29 20:26:14 +0100 | <int-e> | Right. Who added EmptyCase as a default, grr. |
| 2025-11-29 20:26:24 +0100 | <int-e> | Thanks! |
| 2025-11-29 20:27:25 +0100 | <[exa]> | I got recently pwned with tons of such errors that propagate upwards to the closest innocent start of a `do` block |
| 2025-11-29 20:27:43 +0100 | <[exa]> | good to see the experience paid off :D :D |
| 2025-11-29 20:28:22 +0100 | <int-e> | I'll add {} since I don't want to increase the indentation depth |
| 2025-11-29 20:29:15 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-11-29 20:29:42 +0100 | <int-e> | Cool. I got the core dump I wanted. |
| 2025-11-29 20:29:48 +0100 | <[exa]> | <3 |
| 2025-11-29 20:30:10 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-29 20:30:41 +0100 | <int-e> | Also, -Wall would've pointed me at the issue. |
| 2025-11-29 20:30:45 +0100 | <monochrom> | That would have the opposite meaning in a C channel. :) |
| 2025-11-29 20:30:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 20:33:31 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-29 20:34:11 +0100 | <int-e> | FWIW: (note the first line) https://paste.tomsmeding.com/I8vQzBzx |
| 2025-11-29 20:35:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 20:37:06 +0100 | <[exa]> | aaaanyway, is there someone good with Streaming package here? I'm trying to get some rule of thumb on how to understand how stuff like this https://hackage.haskell.org/package/streaming-0.2.4.0/docs/Streaming-Prelude.html#v:separate can stream properly. |
| 2025-11-29 20:38:33 +0100 | <[exa]> | (In short the example there writes into the 2 files concurrently (the IO actions interleaved) and I'm trying to find the piece of code that makes it happen) |
| 2025-11-29 20:39:55 +0100 | <[exa]> | internally the code leads to https://hackage.haskell.org/package/streaming-0.2.4.0/docs/Streaming-Internal.html#v:destroyExposed and there I'm lost. |
| 2025-11-29 20:43:30 +0100 | <[exa]> | ok the `destroyExposed` is just foldr for streams, which is cool but helps neither |
| 2025-11-29 20:44:34 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 20:46:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 20:46:33 +0100 | trickard_ | trickard |
| 2025-11-29 20:47:14 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-29 20:49:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-11-29 20:49:20 +0100 | ljdarj1 | ljdarj |
| 2025-11-29 20:49:34 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-29 20:50:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-29 20:51:03 +0100 | Yumemi | (~Yumemi@chamoin.net) (Quit: .) |
| 2025-11-29 20:51:49 +0100 | Yumemi | (~Yumemi@chamoin.net) Yumemi |
| 2025-11-29 20:51:53 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
| 2025-11-29 20:52:56 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-29 20:55:29 +0100 | <int-e> | [exa]: The example doesn't type-check. |
| 2025-11-29 20:55:44 +0100 | bggd | (~bgg@2a01:e0a:fd5:f510:7613:72d0:c05e:cd65) (Remote host closed the connection) |
| 2025-11-29 20:55:48 +0100 | <[exa]> | how come (it does for me) |
| 2025-11-29 20:56:26 +0100 | <[exa]> | (as in, my ghci is okay with it, my head doesn't typecheck tho) |
| 2025-11-29 20:58:02 +0100 | <int-e> | what is your S? mine is Streaming.Prelude from streaming-0.2.4.0 |
| 2025-11-29 20:59:28 +0100 | <[exa]> | yes |
| 2025-11-29 20:59:34 +0100 | <[exa]> | also `import Streaming` with no qual |
| 2025-11-29 21:00:04 +0100 | <int-e> | [exa]: https://paste.tomsmeding.com/OFa4FdLZ |
| 2025-11-29 21:01:01 +0100 | <int-e> | The non-writing parts do work, I guess. |
| 2025-11-29 21:01:03 +0100 | <[exa]> | ah might got hitten by monomorphism |
| 2025-11-29 21:01:09 +0100 | <[exa]> | try full: S.stdoutLn . S.map ("even:"++) . S.show $ S.stdoutLn . S.show $ separate $ S.maps (S.distinguish even) $ S.each [1..10::Int] |
| 2025-11-29 21:01:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 21:01:58 +0100 | <[exa]> | (a bit different but essentially the same thing) |
| 2025-11-29 21:01:59 +0100 | <int-e> | [exa]: The type of S.writeFile is too restricted. |
| 2025-11-29 21:02:41 +0100 | <int-e> | Inherently so because there's no anchor point for opening the file otherwise. |
| 2025-11-29 21:03:19 +0100 | <[exa]> | you're right, ah you're right it actually needs MonadIO but it returns a different monad than IO |
| 2025-11-29 21:03:23 +0100 | <[exa]> | wh |
| 2025-11-29 21:03:37 +0100 | [exa] | produces a loud *click* |
| 2025-11-29 21:03:37 +0100 | <int-e> | That's not an issue for S.stdoutLn which just has to grab the global stdout. |
| 2025-11-29 21:04:16 +0100 | <[exa]> | I think I understood it on the error here |
| 2025-11-29 21:05:01 +0100 | <[exa]> | the stream is never really split, that S.stdoutLn in the middle literally just converts one half of it to side effects |
| 2025-11-29 21:05:14 +0100 | <[exa]> | which is why it needs generic monad |
| 2025-11-29 21:05:17 +0100 | <[exa]> | ok gooooooooooooood |
| 2025-11-29 21:06:05 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-29 21:06:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 21:06:31 +0100 | <int-e> | Anyway. IIUC it's up to the final consumers (like stdoutLn) to process steps and effects in a timely manner so that GC can kick in and keep memory usage low. Stream's MonadIO instance plays into this as well I guess. |
| 2025-11-29 21:07:11 +0100 | <int-e> | But `liftIO` will just wrap the effect, right? |
| 2025-11-29 21:07:24 +0100 | <[exa]> | yeah |
| 2025-11-29 21:10:37 +0100 | <int-e> | Hmm. I think I'm wrong about the anchor point. Also, look at this older type: https://hackage.haskell.org/package/streaming-0.1.4.5/docs/Streaming-Prelude.html#v:writeFile |
| 2025-11-29 21:11:43 +0100 | <int-e> | Have fun finding the ticket or PR or other rationale for why they changed it. My guess is timely closing of files in the presence of exceptions. |
| 2025-11-29 21:11:45 +0100 | <[exa]> | yeah they now have withFile there, and they'd need unliftIO to make the stuff work inside |
| 2025-11-29 21:13:50 +0100 | <int-e> | You can still open files beforehand and then use the awkwardly named https://hackage.haskell.org/package/streaming-0.2.4.0/docs/Streaming-Prelude.html#v:toHandle |
| 2025-11-29 21:15:33 +0100 | <[exa]> | yeah |
| 2025-11-29 21:15:39 +0100 | <[exa]> | I'm gonna send them a patch |
| 2025-11-29 21:15:43 +0100 | <[exa]> | anyway, thanks! |
| 2025-11-29 21:16:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 21:16:47 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-29 21:18:42 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-11-29 21:19:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-11-29 21:20:09 +0100 | <int-e> | (And toHandle does the obvious thing: use `hPutStrLn` for each piece received, and execute other effects as they arrive) |
| 2025-11-29 21:20:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 21:21:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-29 21:23:05 +0100 | <[exa]> | here we go https://github.com/haskell-streaming/streaming/pull/130 |
| 2025-11-29 21:23:27 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-11-29 21:23:50 +0100 | <[exa]> | nvm, time to sleep :D |
| 2025-11-29 21:23:52 +0100 | <[exa]> | o/ |
| 2025-11-29 21:28:18 +0100 | <Clint> | __monty__: it indexes them |
| 2025-11-29 21:31:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 21:33:16 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-29 21:36:04 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-29 21:36:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 21:40:42 +0100 | Googulator92 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-11-29 21:40:47 +0100 | Googulator1 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 21:45:35 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 240 seconds) |
| 2025-11-29 21:47:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 21:49:18 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 21:51:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-29 22:02:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |