Newest at the top
| 2026-02-20 00:07:20 +0100 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) yaroot |
| 2026-02-20 00:07:08 +0100 | Athas | (athas@2a01:7c8:aaac:1cf:dbda:ce6c:4026:1830) |
| 2026-02-20 00:07:06 +0100 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Server closed connection) |
| 2026-02-20 00:06:56 +0100 | Athas | (athas@sigkill.dk) (Server closed connection) |
| 2026-02-20 00:02:26 +0100 | srk | (~sorki@user/srk) srk |
| 2026-02-20 00:01:06 +0100 | srk | (~sorki@user/srk) (Server closed connection) |
| 2026-02-20 00:00:45 +0100 | dispater | (~dispater@user/brprice) brprice |
| 2026-02-20 00:00:26 +0100 | dispater | (~dispater@user/brprice) (Server closed connection) |
| 2026-02-20 00:00:20 +0100 | res0nat0r0844909 | (~Fletch@falcon.whatbox.ca) |
| 2026-02-19 23:56:30 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-19 23:51:02 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-19 23:47:43 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-02-19 23:46:21 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 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 |