Newest at the top
| 2026-02-23 21:26:13 +0100 | <tomsmeding> | when I was studying maths, we continually had to prove stuff independent of the choice of representative, to make things work on equivalence classes |
| 2026-02-23 21:25:28 +0100 | mehbark | (~mehbark@user/mehbark) mehbark |
| 2026-02-23 21:25:28 +0100 | mehbark | (~mehbark@joey.luug.ece.vt.edu) (Changing host) |
| 2026-02-23 21:25:16 +0100 | <EvanR> | anyway let us be ridiculed by math |
| 2026-02-23 21:24:38 +0100 | <EvanR> | so it's like conflating a quotient with a thing being quotiented |
| 2026-02-23 21:23:49 +0100 | <EvanR> | than* |
| 2026-02-23 21:23:44 +0100 | <EvanR> | loonycyborg, well the slightly deeper issue that satisfying basic properties of equality is in this case... that otherwise sensible definition of (testable in this case) equality isn't universally obeyed. I.e. someone somewhere can observe a distinction between equals |
| 2026-02-23 21:22:39 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2026-02-23 21:22:04 +0100 | <EvanR> | so there's an equivalent of equivalences |
| 2026-02-23 21:21:16 +0100 | <EvanR> | lol |
| 2026-02-23 21:19:10 +0100 | <tomsmeding> | ≊ ALMOST EQUAL OR EQUAL TO is also suspicious -- surely if it's equal, it's also almost equal? |
| 2026-02-23 21:18:48 +0100 | <tomsmeding> | lol |
| 2026-02-23 21:18:41 +0100 | <int-e> | if you're undecided: ⪟ |
| 2026-02-23 21:18:35 +0100 | <EvanR> | almost equal to is a perennial favorite |
| 2026-02-23 21:17:50 +0100 | <tomsmeding> | choose your favourite https://tomsmeding.com/unicode#equal |
| 2026-02-23 21:17:46 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-23 21:17:34 +0100 | stef204 | (~stef204@user/stef204) stef204 |
| 2026-02-23 21:17:31 +0100 | <EvanR> | can we get a proper equal sign in here xD |
| 2026-02-23 21:17:10 +0100 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 255 seconds) |
| 2026-02-23 21:16:49 +0100 | tomsmeding | . o O ( reallyUnsafePointerEquality ) |
| 2026-02-23 21:15:57 +0100 | <EvanR> | which is something else again |
| 2026-02-23 21:15:57 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-02-23 21:15:49 +0100 | <EvanR> | while same object speaks to me as same StableName |
| 2026-02-23 21:15:49 +0100 | <haskellbridge> | <loonycyborg> since we're free to implement == however we want, we can even violate basic properties of equality like reflexivity. |
| 2026-02-23 21:14:28 +0100 | <haskellbridge> | <loonycyborg> ah yes == isn't the same as it being same object |
| 2026-02-23 21:13:29 +0100 | <lambdabot> | (True,False) |
| 2026-02-23 21:13:28 +0100 | <EvanR> | > let f x y = (x == y, isNegativeZero x == isNegativeZero y) in f 0.0 (-1e-400) |
| 2026-02-23 21:12:34 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-23 21:09:35 +0100 | <EvanR> | good question |
| 2026-02-23 21:09:18 +0100 | Beowulf | (florian@sleipnir.bandrate.org) |
| 2026-02-23 21:09:12 +0100 | <haskellbridge> | <loonycyborg> wouldn't that violate referential trasparency? :P |
| 2026-02-23 21:08:08 +0100 | <EvanR> | the extent to which as programmers we run into or invent situations where x==y implying f(x)==f(y) doesn't hold |
| 2026-02-23 21:04:39 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 2026-02-23 21:03:44 +0100 | Beowulf | (florian@sleipnir.bandrate.org) (Quit: = "") |
| 2026-02-23 21:00:34 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2026-02-23 21:00:06 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-23 20:58:41 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Ping timeout: 268 seconds) |
| 2026-02-23 20:55:05 +0100 | GoldsteinQ | (~goldstein@goldstein.lol) |
| 2026-02-23 20:54:46 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-02-23 20:52:05 +0100 | GoldsteinQ | (~goldstein@goldstein.lol) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-23 20:50:37 +0100 | attlin | (~user@user/attlin) (Server closed connection) |
| 2026-02-23 20:50:20 +0100 | andreas303 | (andreas303@is.drunk.and.ready-to.party) andreas303 |
| 2026-02-23 20:50:06 +0100 | andreas808 | (andreas303@is.drunk.and.ready-to.party) (Server closed connection) |
| 2026-02-23 20:50:05 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2026-02-23 20:49:57 +0100 | remexre | (~remexre@user/remexre) (Server closed connection) |
| 2026-02-23 20:49:20 +0100 | jinsun | Guest913 |
| 2026-02-23 20:48:56 +0100 | jinsun | (bnc4free@here.and.ready-to.party) |
| 2026-02-23 20:48:46 +0100 | jinsun- | (bnc4free@here.and.ready-to.party) (Server closed connection) |
| 2026-02-23 20:47:45 +0100 | RMSBach | (~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) RMSBach |
| 2026-02-23 20:47:36 +0100 | Lord_of_Life_ | Lord_of_Life |