Newest at the top
| 2026-02-19 23:09:17 +0100 | <EvanR> | it's as lazy as possible, and the answer is bottom in the official league approved semantics |
| 2026-02-19 23:08:52 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-19 23:08:30 +0100 | <n0w0n> | not if ya try to evaluate an infinite list first |
| 2026-02-19 23:08:07 +0100 | <EvanR> | consistent with the double negation translation of classical logic |
| 2026-02-19 23:07:57 +0100 | <haskellbridge> | <ijouw> The equal for any finite prefix |
| 2026-02-19 23:07:44 +0100 | <n0w0n> | neither, it's not lazy enough to be consistent with LEM |
| 2026-02-19 23:07:24 +0100 | <EvanR> | which version of equal is this, the rhetorically equal? |
| 2026-02-19 23:07:01 +0100 | <haskellbridge> | <ijouw> I would argue that no matter what you put in the second [1,2..] it is equal since it never will be computed |
| 2026-02-19 23:06:24 +0100 | <EvanR> | we'll it's "not false" |
| 2026-02-19 23:06:03 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-19 23:05:14 +0100 | tromp | (~textual@2001:1c00:3487:1b00:1062:f065:ea0:d4c6) |
| 2026-02-19 23:05:03 +0100 | <n0w0n> | damn |
| 2026-02-19 23:04:55 +0100 | <lambdabot> | *Exception: <<timeout>> |
| 2026-02-19 23:04:47 +0100 | <n0w0n> | > [1,2..] ++ [1,2..] == [1] ++ [2,3..] ++ [1] ++ [2,3..] |
| 2026-02-19 23:02:13 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-02-19 22:58:34 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 276 seconds) |
| 2026-02-19 22:56:10 +0100 | <EvanR> | number 8 kind of sounds like candide |
| 2026-02-19 22:54:40 +0100 | jocke-l | (jocke-l@a.x0.is) jocke-l |
| 2026-02-19 22:54:16 +0100 | jocke-l | (jocke-l@a.x0.is) (Server closed connection) |
| 2026-02-19 22:53:20 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-02-19 22:53:00 +0100 | karenw | (~karenw@user/karenw) (Client Quit) |
| 2026-02-19 22:52:57 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-02-19 22:52:39 +0100 | <EvanR> | is that like saying every number is closer to zero than infinity |
| 2026-02-19 22:49:11 +0100 | sixfourtwelve | (~ethanmorg@static.82.129.225.46.clients.your-server.de) (Client Quit) |
| 2026-02-19 22:49:11 +0100 | sixfourtwelve | (~ethanmorg@static.82.129.225.46.clients.your-server.de) sixfourtwelve |
| 2026-02-19 22:47:24 +0100 | <monochrom> | https://www.vex.net/~trebla/humour/tautologies.html #7 :) |
| 2026-02-19 22:46:40 +0100 | <monochrom> | Every number rounds to zero if you round enough. >:) |
| 2026-02-19 22:43:37 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds) |
| 2026-02-19 22:41:29 +0100 | shachaf | (~shachaf@user/shachaf) shachaf |
| 2026-02-19 22:39:06 +0100 | nckx | (~nckx@libera/staff/owl/nckx) (Server closed connection) |
| 2026-02-19 22:37:55 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-19 22:34:00 +0100 | <humasect> | eh just unbox my float arrays we good |
| 2026-02-19 22:33:36 +0100 | shachaf | (~shachaf@user/shachaf) (Server closed connection) |
| 2026-02-19 22:32:10 +0100 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2026-02-19 22:30:04 +0100 | <EvanR> | numeric stability is for wimps |
| 2026-02-19 22:29:18 +0100 | <EvanR> | someone's guide to best ways to abuse floats xD |
| 2026-02-19 22:26:33 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-19 22:20:33 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2026-02-19 22:20:27 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2026-02-19 22:17:30 +0100 | <humasect> | yessir. imagine the 'floating' point =) base-10 |
| 2026-02-19 22:16:47 +0100 | <c_wraith> | all big numbers, even negative ones, are basically the same. |
| 2026-02-19 22:15:54 +0100 | <humasect> | ah yea |
| 2026-02-19 22:15:43 +0100 | <lambdabot> | True |
| 2026-02-19 22:15:42 +0100 | <tomsmeding> | > let basicallyEquals x y = compare (abs x) 1 == compare (abs y) 1 in (-3) `basicallyEquals` 2 |
| 2026-02-19 22:15:26 +0100 | <lambdabot> | Variable not in scope: basicallyEquals :: t0 -> t1 -> t |
| 2026-02-19 22:15:25 +0100 | <tomsmeding> | > (-3) `basicallyEquals` 2 |
| 2026-02-19 22:15:08 +0100 | <humasect> | epsilon |
| 2026-02-19 22:14:49 +0100 | <lambdabot> | True |
| 2026-02-19 22:14:48 +0100 | <c_wraith> | > let basicallyEquals x y = compare (abs x) 1 == compare (abs y) 1 in sin pi `basicallyEquals` 0 |
| 2026-02-19 22:14:34 +0100 | <lambdabot> | False |