Newest at the top
| 2025-03-26 04:32:21 +0100 | <monochrom> | Let me write very explicitly. (+1)/(+0) = +oo, (+1)/(-0) = -oo. That's btw another reason to keep a sign bit on zero. |
| 2025-03-26 04:31:40 +0100 | <EvanR> | (or -zero) |
| 2025-03-26 04:31:30 +0100 | <EvanR> | if you add -0.5 and +0.5, it equals zero, not +zero |
| 2025-03-26 04:31:01 +0100 | <monochrom> | No, this is not about random or nondeterminism. |
| 2025-03-26 04:30:43 +0100 | <EvanR> | none of* |
| 2025-03-26 04:30:39 +0100 | <EvanR> | none this "every float is a random number around some point" crap xD |
| 2025-03-26 04:30:27 +0100 | <EvanR> | sometimes it is exactly zero |
| 2025-03-26 04:30:17 +0100 | <monochrom> | I would interpret the two signed zeros to be -0 and +0, rather than -0 and "neutral" 0. |
| 2025-03-26 04:29:58 +0100 | <EvanR> | Liamzee, I see remoteHost :: SockAddr field in the Request type for wai |
| 2025-03-26 04:29:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-26 04:28:43 +0100 | aetepe | (~aetepe@188.119.22.83) (Ping timeout: 245 seconds) |
| 2025-03-26 04:27:59 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-26 04:24:55 +0100 | <geekosaur> | but as I said earlier, I haven't messed with this since 1985, so… |
| 2025-03-26 04:24:34 +0100 | aetepe | (~aetepe@188.119.22.83) aetepe |
| 2025-03-26 04:24:33 +0100 | <geekosaur> | and trig |
| 2025-03-26 04:24:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-26 04:24:05 +0100 | <geekosaur> | yes. has to do with ranges |
| 2025-03-26 04:23:51 +0100 | <geekosaur> | (I would have to read the spec to see if Report-compliant behavior or the extension is the correct behavior) |
| 2025-03-26 04:23:22 +0100 | <EvanR> | zeroes in a quadrant |
| 2025-03-26 04:22:33 +0100 | <geekosaur> | yes, and it exists solely to put zeroes in the correct quadrant on a plane |
| 2025-03-26 04:22:03 +0100 | <EvanR> | so it's an asymmetric feature |
| 2025-03-26 04:21:56 +0100 | <EvanR> | just noting there's no corresponding plus zero |
| 2025-03-26 04:21:45 +0100 | <geekosaur> | monochrom posted an Oracle doc explaining it, beyond that I think the specification itself is probably the best source |
| 2025-03-26 04:21:22 +0100 | <haskellbridge> | <Liamzee> if I want to pass the IP of the sender, how would I get warp / servant / twain to get the IP? |
| 2025-03-26 04:21:18 +0100 | <EvanR> | I'm sure it is |
| 2025-03-26 04:21:05 +0100 | <geekosaur> | EvanR, that behavior is specified by IEEE754 |
| 2025-03-26 04:21:04 +0100 | <haskellbridge> | <Liamzee> i'm building a rust-based microservices router, with the initial microservices being in Haskell |
| 2025-03-26 04:20:38 +0100 | <geekosaur> | go ahead |
| 2025-03-26 04:20:34 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 260 seconds) |
| 2025-03-26 04:20:29 +0100 | <haskellbridge> | <Liamzee> oh, chat is active, sorry |
| 2025-03-26 04:20:26 +0100 | <geekosaur> | (-1.0) :+ 0.0 |
| 2025-03-26 04:20:26 +0100 | <geekosaur> | ghci> -1 :: Complex Double |
| 2025-03-26 04:20:19 +0100 | <haskellbridge> | <Liamzee> i hope this question isn't too dumb, but |
| 2025-03-26 04:20:15 +0100 | <EvanR> | when addition exactly cancels you get just zero, never negative |
| 2025-03-26 04:19:52 +0100 | <EvanR> | that -0 compares equal to "just" 0, and there's no corresponding "plus zero" condition for the result of positive underflows says to me they considered negative zero to be a "bonus feature" which could usually be ignored, or utilized for more information in some cases |
| 2025-03-26 04:19:11 +0100 | developer_ | (~developer@85.50.149.196) |
| 2025-03-26 04:17:03 +0100 | <yahb2> | <no location info>: error: [GHC-88719] ; Could not load module ‘Data.Complex’. ; Perhaps you haven't installed the "dyn" libraries for package ‘base-4.21.0.0’? ; Use :set -v to see a li... |
| 2025-03-26 04:17:02 +0100 | <geekosaur> | % import Data.Complex |
| 2025-03-26 04:16:54 +0100 | <geekosaur> | oh wait, someone tried to import that and it errored |
| 2025-03-26 04:16:42 +0100 | <EvanR> | funny it took so long to "prove" |
| 2025-03-26 04:16:35 +0100 | <yahb2> | <interactive>:377:7: error: [GHC-76037] ; Not in scope: type constructor or class ‘Complex’ |
| 2025-03-26 04:16:35 +0100 | <geekosaur> | % -1 :: Complex Double |
| 2025-03-26 04:16:22 +0100 | <yahb2> | <no output> |
| 2025-03-26 04:16:22 +0100 | <geekosaur> | % :set -XLexicalNegation |
| 2025-03-26 04:16:10 +0100 | <EvanR> | it Shows -0 in the imaginary part all along lol |
| 2025-03-26 04:15:50 +0100 | <lambdabot> | (-1.0) :+ (-0.0) |
| 2025-03-26 04:15:48 +0100 | <EvanR> | > -1 :: Complex Double |
| 2025-03-26 04:13:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-26 04:12:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-03-26 04:08:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |