Logs: liberachat/#haskell
| 2025-12-12 17:42:46 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-12-12 17:42:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-12 17:43:24 | → | ZLima12_ joins (~zlima12@user/meow/ZLima12) |
| 2025-12-12 17:43:54 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 2025-12-12 17:50:42 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-12-12 17:53:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-12 17:58:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-12 17:59:45 | × | Wygulmage quits (~Wygulmage@user/Wygulmage) (Ping timeout: 272 seconds) |
| 2025-12-12 18:02:04 | <EvanR> | mauke, lol |
| 2025-12-12 18:02:27 | <EvanR> | x cannot possibly equal 3 |
| 2025-12-12 18:02:57 | <EvanR> | if it was, then boxcar would = bo3car |
| 2025-12-12 18:03:08 | <EvanR> | clearly nonsense |
| 2025-12-12 18:03:35 | × | kuribas quits (~user@2a02:1808:cd:c4e1:9d3f:f177:3913:c0a7) (Remote host closed the connection) |
| 2025-12-12 18:03:49 | → | kuribas joins (~user@2a02:1808:cd:c4e1:d615:9737:dd6:7ffc) |
| 2025-12-12 18:03:54 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-12 18:09:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-12 18:12:15 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 240 seconds) |
| 2025-12-12 18:14:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-12 18:18:00 | × | defragger quits (~random@i5C742CE2.versanet.de) (Remote host closed the connection) |
| 2025-12-12 18:23:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-12 18:25:55 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-12-12 18:28:35 | × | deptype quits (~deptype@2406:b400:3a:9d2f:c928:dba3:487d:1bc) (Remote host closed the connection) |
| 2025-12-12 18:28:40 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-12 18:28:53 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-12 18:30:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-12 18:30:59 | × | tromp quits (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-12 18:38:56 | × | kuribas quits (~user@2a02:1808:cd:c4e1:d615:9737:dd6:7ffc) (Ping timeout: 256 seconds) |
| 2025-12-12 18:41:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-12 18:46:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-12 18:47:17 | → | kuribas joins (~user@2a02:1808:cd:c4e1:426f:b0ba:9911:461) |
| 2025-12-12 18:50:04 | <gentauro> | is there a way to install a `cabal` project with `stack`? |
| 2025-12-12 18:50:25 | <gentauro> | I recall there was a `cabal2stack` right? |
| 2025-12-12 18:50:38 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-12 18:53:57 | <tomsmeding> | gentauro: what do you mean with "install", precisely? And does that "cabal project" depend on a cabal.project file, or is it simply a package with a something.cabal file? |
| 2025-12-12 18:55:35 | <gentauro> | tomsmeding: Nevermind, found another project where I'm doing this. It appears that by adding a `stack.yaml` like this: https://paste.tomsmeding.com/LZ8m3NLq allows you to `stack build` and `stack install`. All good :) |
| 2025-12-12 18:57:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-12 18:57:54 | → | tromp joins (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) |
| 2025-12-12 19:02:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-12 19:13:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-12 19:14:13 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-12-12 19:16:47 | × | kuribas quits (~user@2a02:1808:cd:c4e1:426f:b0ba:9911:461) (Ping timeout: 250 seconds) |
| 2025-12-12 19:17:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-12 19:21:44 | × | tromp quits (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-12 19:23:28 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-12 19:24:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-12 19:29:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-12 19:31:50 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-12 19:31:57 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-12-12 19:34:34 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-12-12 19:36:26 | → | Psychotic1 joins (~Psychotic@2600:1007:b0a4:1e01:107b:5dec:754f:b240) |
| 2025-12-12 19:40:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-12 19:42:36 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-12 19:42:43 | <__monty__> | Does sortBy work for a partial ordering relation? |
| 2025-12-12 19:43:00 | <__monty__> | I think not since it would not be transitive? |
| 2025-12-12 19:43:47 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-12-12 19:44:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-12 19:46:46 | <tomsmeding> | __monty__: how would you pass a partial ordering to sortBy? As a partial function? |
| 2025-12-12 19:49:39 | <dolio> | If it's just false both ways for incomparable elements, then you're not going to get reliable results, no. |
| 2025-12-12 19:53:58 | × | myme quits (~myme@2a01:799:d5e:5f00:b47a:83fd:4eab:92be) (Ping timeout: 260 seconds) |
| 2025-12-12 19:54:31 | <davean> | There are levels of partiality |
| 2025-12-12 19:54:48 | → | myme joins (~myme@2a01:799:d5e:5f00:e46f:4150:c7c:78b) |
| 2025-12-12 19:56:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-12 19:57:18 | → | tromp joins (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) |
| 2025-12-12 20:00:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-12 20:09:33 | × | fgarcia quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-12-12 20:11:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-12 20:12:18 | <ski> | __monty__ : it would still be transitive, but that wouldn't help |
| 2025-12-12 20:13:03 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-12-12 20:13:22 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-12 20:15:51 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-12-12 20:16:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-12 20:18:06 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-12-12 20:18:07 | ljdarj1 | is now known as ljdarj |
| 2025-12-12 20:19:41 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-12 20:25:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-12 20:27:50 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 2025-12-12 20:30:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-12 20:32:00 | × | Psychotic1 quits (~Psychotic@2600:1007:b0a4:1e01:107b:5dec:754f:b240) (Quit: Leaving) |
| 2025-12-12 20:34:02 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-12 20:34:15 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-12 20:34:24 | <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 20:36:05 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-12 20:39:52 | <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 20:41:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-12 20:42:45 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-12 20:45:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-12 20:50:35 | trickard_ | is now known as trickard |
| 2025-12-12 20:50:53 | → | califax joins (~califax@user/califx) |
| 2025-12-12 20:54:18 | <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 20:54:42 | <EvanR> | is there a "show float with more decimals but correctly" |
| 2025-12-12 20:56:57 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-12 20:57:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-12 20:58:25 | <int-e> | > toRational (1.23) * 10^53 |
| 2025-12-12 20:58:27 | <lambdabot> | 122999999999999998223643160599749535322189331054687500 % 1 |
| 2025-12-12 21:00:36 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-12-12 21:00:47 | <EvanR> | what the heck is showFFloat even doing, hopefully getting performance out of its corner cutting |
| 2025-12-12 21:01:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-12 21:02:47 | <EvanR> | 1.2300000000000000000000000000000 just seems absurd |
| 2025-12-12 21:02:53 | <Lycurgus> | engrish is so much funl, case in point, that is the 'even' of exasperation |
| 2025-12-12 21:02:58 | <monochrom> | > showFFloat Nothing 1.23 "" |
All times are in UTC.