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