2025/03/25

Newest at the top

2025-03-25 23:51:07 +0100 <lambdabot> 0.0 :+ 3.141592653589793
2025-03-25 23:51:05 +0100 <EvanR> > log ((-1) :+ 0 :: Complex Double)
2025-03-25 23:50:55 +0100 <lambdabot> 0.0 :+ (-3.141592653589793)
2025-03-25 23:50:54 +0100 <EvanR> > log (-1 :: Complex Double)
2025-03-25 23:47:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-25 23:38:37 +0100 <otto_s> *-s
2025-03-25 23:38:14 +0100 <otto_s> (And I know that both are in a sense "good" answers of the log function -- that's not my questions.)
2025-03-25 23:37:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-25 23:35:40 +0100 <otto_s> (The logs are conjugates of each other.)
2025-03-25 23:35:12 +0100 <otto_s> Then x == y evaluates to True, but log x == log y evaluates to False.
2025-03-25 23:34:36 +0100 <otto_s> let y = (-1):+0 :: Complex Double
2025-03-25 23:34:25 +0100 <otto_s> let x = -1 :: Complex Double
2025-03-25 23:34:21 +0100 <otto_s> What is an explanation of the following: ?
2025-03-25 23:34:01 +0100weary-traveler(~user@user/user363627) (Client Quit)
2025-03-25 23:33:41 +0100 <otto_s> Hello.
2025-03-25 23:32:46 +0100otto_s(~user@p5de2f2e9.dip0.t-ipconnect.de)
2025-03-25 23:32:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-25 23:31:01 +0100weary-traveler(~user@user/user363627) user363627
2025-03-25 23:24:58 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-03-25 23:21:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-03-25 23:16:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-25 23:14:02 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-25 23:09:48 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-25 23:09:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-25 23:08:22 +0100sabathan2sabathan
2025-03-25 23:08:19 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2025-03-25 23:07:59 +0100sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-25 23:02:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-25 23:00:18 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-03-25 22:58:09 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds)
2025-03-25 22:55:08 +0100dhil(~dhil@2a0c:b381:52e:3600:e1a5:fd6:a5ba:3633) (Ping timeout: 244 seconds)
2025-03-25 22:54:19 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-03-25 22:53:33 +0100takuan(~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
2025-03-25 22:52:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-03-25 22:48:01 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-03-25 22:46:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-25 22:46:41 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-03-25 22:44:42 +0100polykernel(~polykerne@user/polykernel) polykernel
2025-03-25 22:40:34 +0100polykernel(~polykerne@user/polykernel) (Ping timeout: 265 seconds)
2025-03-25 22:39:39 +0100ChanServ+v haskellbridge
2025-03-25 22:39:39 +0100haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) hackager
2025-03-25 22:38:43 +0100tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 245 seconds)
2025-03-25 22:36:35 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-25 22:36:10 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-03-25 22:36:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-25 22:36:08 +0100haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2025-03-25 22:35:47 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-03-25 22:32:27 +0100glguy_glguy
2025-03-25 22:31:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-25 22:31:02 +0100michalz(~michalz@185.246.207.197) (Remote host closed the connection)