Newest at the top
| 2026-06-09 22:13:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-09 22:12:21 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:ea14:91d4:4302:1049) |
| 2026-06-09 22:11:17 +0000 | Dykam | (Dykam@dykam.nl) Dykam |
| 2026-06-09 22:10:19 +0000 | Dykam | (Dykam@dykam.nl) (Ping timeout: 245 seconds) |
| 2026-06-09 22:10:04 +0000 | davl | (~davl@207.154.228.18) davl |
| 2026-06-09 22:09:04 +0000 | davl | (~davl@207.154.228.18) (Ping timeout: 245 seconds) |
| 2026-06-09 22:04:04 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:e871:d960:9f2c:8e13) (Ping timeout: 245 seconds) |
| 2026-06-09 22:02:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-06-09 22:02:26 +0000 | TwinAdam | (~TwinAdam@user/adamsaunders) (Ping timeout: 264 seconds) |
| 2026-06-09 22:01:43 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-06-09 22:01:28 +0000 | TwinAdam_ | (~TwinAdam@73.88.233.213) |
| 2026-06-09 22:01:23 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-06-09 21:57:01 +0000 | TwinAdam | (~TwinAdam@user/adamsaunders) adamsaunders |
| 2026-06-09 21:55:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-09 21:54:58 +0000 | TwinAdam | (~TwinAdam@user/adamsaunders) (Ping timeout: 252 seconds) |
| 2026-06-09 21:44:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 242 seconds) |
| 2026-06-09 21:44:18 +0000 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) nschoe |
| 2026-06-09 21:43:33 +0000 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 268 seconds) |
| 2026-06-09 21:41:26 +0000 | Rinus` | (~user@2001:1c00:a16:9d00:246:e3b:d72c:b985) (Quit: Thanks for the help) |
| 2026-06-09 21:40:31 +0000 | <tomsmeding> | (Num should never have been a single class) |
| 2026-06-09 21:40:20 +0000 | <tomsmeding> | yeah that's dumb |
| 2026-06-09 21:40:00 +0000 | <tomsmeding> | never mind me |
| 2026-06-09 21:39:48 +0000 | <tomsmeding> | OH |
| 2026-06-09 21:39:42 +0000 | <int-e> | I just didn't need `abs` at all so I used abs = id |
| 2026-06-09 21:39:38 +0000 | <tomsmeding> | (is the squared magnitude even a law-abiding implementation of abs? To the extent that Num has laws in the first place) |
| 2026-06-09 21:39:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-09 21:39:03 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-06-09 21:38:56 +0000 | <tomsmeding> | did you want the squared magnitude? |
| 2026-06-09 21:38:37 +0000 | connrs | (~connrs@user/connrs) (Remote host closed the connection) |
| 2026-06-09 21:38:16 +0000 | <tomsmeding> | oh, heh |
| 2026-06-09 21:38:10 +0000 | <int-e> | tomsmeding: the implementation of `abs` imposing a `RealFloat` constraint |
| 2026-06-09 21:37:26 +0000 | <tomsmeding> | what was the problem again? |
| 2026-06-09 21:37:16 +0000 | <tomsmeding> | oh; that rings a bell, somewhere |
| 2026-06-09 21:37:05 +0000 | <int-e> | I may have ranted a bit about it here even. Heh. |
| 2026-06-09 21:36:49 +0000 | <int-e> | tomsmeding: I can, because I copied and slightly adapted the library code when I did, because I wanted Gaussian integers. |
| 2026-06-09 21:36:37 +0000 | <tomsmeding> | nubbing them becomes more acceptable, I guess, if you use Complex Int instead of Complex Float |
| 2026-06-09 21:36:32 +0000 | <lambdabot> | [Infinity,NaN,NaN] |
| 2026-06-09 21:36:30 +0000 | <mauke> | > nub [1/0, 0/0, 1/0, 0/0] |
| 2026-06-09 21:36:13 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-06-09 21:35:59 +0000 | <tomsmeding> | I cannot recall the last time I've used complex numbers in Haskell :D |
| 2026-06-09 21:35:26 +0000 | <Rinus`> | Thnx for helping me out here! |
| 2026-06-09 21:35:20 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-06-09 21:35:08 +0000 | nattkyrro | (~serenity@user/nattkyrro) nattkyrro |
| 2026-06-09 21:35:08 +0000 | <lambdabot> | [0.0 :+ 0.0,0.0 :+ 1.0] |
| 2026-06-09 21:35:07 +0000 | <mauke> | > nub [0, 0 :+ 1, 0] |
| 2026-06-09 21:34:06 +0000 | <tomsmeding> | ok I guess StableName has Eq but not Ord and you might conceivably want to deduplicate those |
| 2026-06-09 21:33:59 +0000 | <int-e> | assuming you have Ord of course |
| 2026-06-09 21:33:51 +0000 | <int-e> | incidentally containers provides https://hackage-content.haskell.org/package/containers-0.8/docs/Data-Containers-ListUtils.html#v:n… so you can use that if you need to preserve the order of elements (or work with infinite lists, which is another thing nub can do that sorting based approaches can't) |
| 2026-06-09 21:33:12 +0000 | <tomsmeding> | often; how often do you want to deduplicate those? ~never |
| 2026-06-09 21:32:49 +0000 | <tomsmeding> | that degrades very badly though if your assumptions fail |