Newest at the top
| 2026-02-19 23:11:22 +0100 | <n0w0n> | They tasted nice |
| 2026-02-19 23:11:11 +0100 | <EvanR> | what did you do with our semantics? |
| 2026-02-19 23:11:06 +0100 | <n0w0n> | since GHC 1.0? |
| 2026-02-19 23:10:45 +0100 | <n0w0n> | technically |
| 2026-02-19 23:10:44 +0100 | <EvanR> | since when |
| 2026-02-19 23:10:36 +0100 | <n0w0n> | as in Haskell has no formal semantics |
| 2026-02-19 23:10:33 +0100 | <EvanR> | vibes based existence |
| 2026-02-19 23:10:17 +0100 | <EvanR> | what kind of existence, rhetorical existence? |
| 2026-02-19 23:10:11 +0100 | <n0w0n> | aside from sanity etsts in GHC Core |
| 2026-02-19 23:10:04 +0100 | <EvanR> | eh? |
| 2026-02-19 23:09:57 +0100 | <n0w0n> | formally |
| 2026-02-19 23:09:47 +0100 | <n0w0n> | those are poopoo semantics that refuse to exist |
| 2026-02-19 23:09:47 +0100 | <EvanR> | if you want another kind of equality than "result of some algorithmic test" you gotta specify |
| 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 |