| 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...) |