Newest at the top
| 2026-02-19 23:36:01 +0100 | antti_ | (~antti@82-181-183-83.bb.dnainternet.fi) |
| 2026-02-19 23:35:46 +0100 | antti_ | (~antti@82-181-183-83.bb.dnainternet.fi) (Server closed connection) |
| 2026-02-19 23:34:44 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-19 23:34:19 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2026-02-19 23:33:05 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-19 23:30:25 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2026-02-19 23:12:10 +0100 | <n0w0n> | yummy |
| 2026-02-19 23:12:06 +0100 | <n0w0n> | *burp* |
| 2026-02-19 23:11:36 +0100 | <EvanR> | *creates another one the same as before* |
| 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) |