Newest at the top
| 2025-12-12 21:58:27 +0100 | <lambdabot> | 122999999999999998223643160599749535322189331054687500 % 1 |
| 2025-12-12 21:58:25 +0100 | <int-e> | > toRational (1.23) * 10^53 |
| 2025-12-12 21:57:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 21:56:57 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-12 21:54:42 +0100 | <EvanR> | is there a "show float with more decimals but correctly" |
| 2025-12-12 21:54:18 +0100 | <EvanR> | so you have the floats 1.2299999999999998, 1.23, and 1.2300000000000002. The 1.23 is really 1.229999999999999982236431605997495353221893310546875, but no matter what I give showFFloat it shows 1.230000000000000000000, just zeros after this |
| 2025-12-12 21:50:53 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-12 21:50:35 +0100 | trickard_ | trickard |
| 2025-12-12 21:45:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-12 21:42:45 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-12 21:41:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 21:39:52 +0100 | <haskellbridge> | <loonycyborg> There are some dedicated libraries for partial orders, like that one: https://hackage.haskell.org/package/pomaps-0.2.0.1/docs/Data-POSet.html |
| 2025-12-12 21:36:05 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-12 21:34:24 +0100 | <jreicher> | You could have a stable sort treating incomparable as "equal", but you'd have to be really sure that's what you wanted. |
| 2025-12-12 21:34:15 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-12 21:34:02 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-12 21:32:00 +0100 | Psychotic1 | (~Psychotic@2600:1007:b0a4:1e01:107b:5dec:754f:b240) (Quit: Leaving) |
| 2025-12-12 21:30:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-12 21:27:50 +0100 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 2025-12-12 21:25:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 21:19:41 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-12 21:18:07 +0100 | ljdarj1 | ljdarj |
| 2025-12-12 21:18:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-12-12 21:16:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-12 21:15:51 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-12 21:13:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-12 21:13:03 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-12-12 21:12:18 +0100 | <ski> | __monty__ : it would still be transitive, but that wouldn't help |
| 2025-12-12 21:11:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 21:09:33 +0100 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-12-12 21:00:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-12 20:57:18 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) |
| 2025-12-12 20:56:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 20:54:48 +0100 | myme | (~myme@2a01:799:d5e:5f00:e46f:4150:c7c:78b) myme |
| 2025-12-12 20:54:31 +0100 | <davean> | There are levels of partiality |
| 2025-12-12 20:53:58 +0100 | myme | (~myme@2a01:799:d5e:5f00:b47a:83fd:4eab:92be) (Ping timeout: 260 seconds) |
| 2025-12-12 20:49:39 +0100 | <dolio> | If it's just false both ways for incomparable elements, then you're not going to get reliable results, no. |
| 2025-12-12 20:46:46 +0100 | <tomsmeding> | __monty__: how would you pass a partial ordering to sortBy? As a partial function? |
| 2025-12-12 20:44:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-12 20:43:47 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-12 20:43:00 +0100 | <__monty__> | I think not since it would not be transitive? |
| 2025-12-12 20:42:43 +0100 | <__monty__> | Does sortBy work for a partial ordering relation? |
| 2025-12-12 20:42:36 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-12 20:40:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-12 20:36:26 +0100 | Psychotic1 | (~Psychotic@2600:1007:b0a4:1e01:107b:5dec:754f:b240) |
| 2025-12-12 20:34:34 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-12-12 20:31:57 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-12-12 20:31:50 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-12 20:29:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-12 20:24:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |