Newest at the top
| 2025-03-26 05:17:46 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-26 05:15:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-26 05:13:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-26 05:12:52 +0100 | <EvanR> | Text.JSON meanwhile represents a number with a Bool and a Rational |
| 2025-03-26 05:11:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-26 05:01:24 +0100 | <EvanR> | a large aeson issue from 2017 discusses the right way to represent numbers but doesn't mention negative zero |
| 2025-03-26 05:00:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-26 04:57:26 +0100 | <EvanR> | the browser loads it right |
| 2025-03-26 04:56:45 +0100 | <EvanR> | it does not |
| 2025-03-26 04:56:21 +0100 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-03-26 04:55:43 +0100 | <EvanR> | Scientific doesn't support minus zero does it |
| 2025-03-26 04:55:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-26 04:55:33 +0100 | <EvanR> | aeson? xD |
| 2025-03-26 04:55:24 +0100 | <EvanR> | I wonder how many loaders load it wrong |
| 2025-03-26 04:55:13 +0100 | <EvanR> | rfc8259 for JSON has a grammar which seems to permit -0 to be in the json |
| 2025-03-26 04:55:11 +0100 | <monochrom> | Oh oops right. |
| 2025-03-26 04:54:31 +0100 | <lambdabot> | -0.0 |
| 2025-03-26 04:54:29 +0100 | <EvanR> | > -0.0 |
| 2025-03-26 04:53:17 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-03-26 04:52:39 +0100 | <Leary> | The `Show` instance for `Double` is fine; it was just defaulting to `Integer` there. |
| 2025-03-26 04:51:23 +0100 | <EvanR> | er decode |
| 2025-03-26 04:51:16 +0100 | <EvanR> | or encodeFloat ! |
| 2025-03-26 04:50:18 +0100 | <monochrom> | Right. Just don't trust the Show instance for Double. |
| 2025-03-26 04:50:10 +0100 | <EvanR> | halfway sane |
| 2025-03-26 04:49:44 +0100 | <lambdabot> | 0.0 :+ 0.0 |
| 2025-03-26 04:49:43 +0100 | <EvanR> | > (0) + (-0) :: Complex Double |
| 2025-03-26 04:49:33 +0100 | <lambdabot> | (-0.0) :+ (-0.0) |
| 2025-03-26 04:49:31 +0100 | <EvanR> | > (-0) + (-0) :: Complex Double |
| 2025-03-26 04:49:12 +0100 | <EvanR> | Complex Double doesn't |
| 2025-03-26 04:49:12 +0100 | <monochrom> | what you see is never what you get. it's telephone games all the way down. |
| 2025-03-26 04:49:01 +0100 | <lambdabot> | 0 |
| 2025-03-26 04:49:00 +0100 | <EvanR> | > -0 |
| 2025-03-26 04:48:52 +0100 | <monochrom> | printf and most pretty printers drop the sign. |
| 2025-03-26 04:48:51 +0100 | <EvanR> | positive bias is strong |
| 2025-03-26 04:48:38 +0100 | <EvanR> | lol |
| 2025-03-26 04:48:34 +0100 | <lambdabot> | 0 |
| 2025-03-26 04:48:33 +0100 | <EvanR> | > (-0) + (-0) |
| 2025-03-26 04:48:19 +0100 | <lambdabot> | 0 |
| 2025-03-26 04:48:18 +0100 | <EvanR> | > 0 + (-0) |
| 2025-03-26 04:47:06 +0100 | <lambdabot> | -4.440892098500626e-16 |
| 2025-03-26 04:47:04 +0100 | <EvanR> | > 3.14 - 3.1400000000000006 -- I think it's impossible to get -0 through addition |
| 2025-03-26 04:44:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-26 04:42:45 +0100 | <monochrom> | Yes that's what I do. |
| 2025-03-26 04:42:43 +0100 | <EvanR> | asymmetry |
| 2025-03-26 04:42:27 +0100 | <EvanR> | monochrom, I interpret the symmetry to mean there's a minor bias to the positive direction |
| 2025-03-26 04:41:23 +0100 | <EvanR> | and zero over zero |
| 2025-03-26 04:41:05 +0100 | <EvanR> | which also has infinities over infinity |
| 2025-03-26 04:40:47 +0100 | <EvanR> | it would be its own thing, similar to graphical linear algebra |
| 2025-03-26 04:40:34 +0100 | <EvanR> | yes recip of exactly zero wouldn't be either infinity |
| 2025-03-26 04:39:57 +0100 | <monochrom> | It doesn't if a deterministic convention is set up for defaulting. |