2026/06/09

Newest at the top

2026-06-09 22:29:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-09 22:29:20 +0000Guest388(~user@2001:1c00:a16:9d00:246:e3b:d72c:b985) ()
2026-06-09 22:28:32 +0000BobGuest388
2026-06-09 22:28:11 +0000Bob(~user@2001:1c00:a16:9d00:246:e3b:d72c:b985)
2026-06-09 22:18:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-09 22:13:33 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-09 22:12:21 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:ea14:91d4:4302:1049)
2026-06-09 22:11:17 +0000Dykam(Dykam@dykam.nl) Dykam
2026-06-09 22:10:19 +0000Dykam(Dykam@dykam.nl) (Ping timeout: 245 seconds)
2026-06-09 22:10:04 +0000davl(~davl@207.154.228.18) davl
2026-06-09 22:09:04 +0000davl(~davl@207.154.228.18) (Ping timeout: 245 seconds)
2026-06-09 22:04:04 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:e871:d960:9f2c:8e13) (Ping timeout: 245 seconds)
2026-06-09 22:02:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-06-09 22:02:26 +0000TwinAdam(~TwinAdam@user/adamsaunders) (Ping timeout: 264 seconds)
2026-06-09 22:01:43 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-06-09 22:01:28 +0000TwinAdam_(~TwinAdam@73.88.233.213)
2026-06-09 22:01:23 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2026-06-09 21:57:01 +0000TwinAdam(~TwinAdam@user/adamsaunders) adamsaunders
2026-06-09 21:55:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-09 21:54:58 +0000TwinAdam(~TwinAdam@user/adamsaunders) (Ping timeout: 252 seconds)
2026-06-09 21:44:22 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 242 seconds)
2026-06-09 21:44:18 +0000nschoe(~nschoe@82-65-202-30.subs.proxad.net) nschoe
2026-06-09 21:43:33 +0000nschoe(~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 268 seconds)
2026-06-09 21:41:26 +0000Rinus`(~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 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-09 21:39:03 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2026-06-09 21:38:56 +0000 <tomsmeding> did you want the squared magnitude?
2026-06-09 21:38:37 +0000connrs(~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 +0000pavonia(~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 +0000emmanuelux(~em@user/emmanuelux) emmanuelux
2026-06-09 21:35:08 +0000nattkyrro(~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]