Newest at the top
| 2025-04-27 00:52:14 +0200 | JoeRayner123 | (~Thunderbi@31.217.12.231) (Remote host closed the connection) |
| 2025-04-27 00:52:05 +0200 | JoeRayner123 | (~Thunderbi@31.217.12.231) |
| 2025-04-27 00:51:52 +0200 | JoeRayner123 | (~Thunderbi@31.217.12.231) (Read error: Connection reset by peer) |
| 2025-04-27 00:51:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-04-27 00:49:55 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-04-27 00:42:57 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-04-27 00:42:55 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 00:42:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 00:41:15 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-04-27 00:34:34 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-04-27 00:31:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-27 00:23:19 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 276 seconds) |
| 2025-04-27 00:22:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 00:21:22 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-27 00:18:12 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-27 00:14:43 +0200 | ljdarj1 | ljdarj |
| 2025-04-27 00:14:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-04-27 00:11:38 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-27 00:08:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-27 00:06:19 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-04-27 00:04:30 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
| 2025-04-26 23:55:20 +0200 | <EvanR> | so it's the mother of all monads as well as the mother of all classical proofs xD |
| 2025-04-26 23:47:58 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-26 23:35:42 +0200 | <geekosaur> | newer snapshots redirect to another site that's not there |
| 2025-04-26 23:35:19 +0200 | <geekosaur> | https://web.archive.org/web/20100520080436/http://sneezy.cs.nott.ac.uk/fplunch/weblog/?m=200712 |
| 2025-04-26 23:32:55 +0200 | <EvanR> | Where in [the] hell is carmen san diego lol |
| 2025-04-26 23:32:18 +0200 | <EvanR> | the original post sigfpe cites is... not there :( |
| 2025-04-26 23:31:42 +0200 | <monochrom> | s/too/to/ |
| 2025-04-26 23:31:39 +0200 | <monochrom> | or at least rumoured too |
| 2025-04-26 23:31:36 +0200 | <geekosaur> | you can do lots of things with Cont but that way lies madness |
| 2025-04-26 23:31:25 +0200 | <monochrom> | Did you know that the Doom franchise and the Carmen San Diego franchise once tried to collaborate and make a Where in Hell is Carmen San Diego? >:) |
| 2025-04-26 23:30:49 +0200 | <EvanR> | instead of going into Cont |
| 2025-04-26 23:30:47 +0200 | <geekosaur> | .andthen() |
| 2025-04-26 23:30:33 +0200 | <EvanR> | not that terrible xD |
| 2025-04-26 23:30:25 +0200 | <EvanR> | clearly you could define >>= and use \x -> ... |
| 2025-04-26 23:30:10 +0200 | <EvanR> | suppose someone (obviously, carmen san diego) stole all the monads and do notation |
| 2025-04-26 23:27:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-26 23:26:15 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-04-26 23:25:09 +0200 | abrar | (~abrar@static-96-245-187-163.phlapa.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-04-26 23:24:49 +0200 | <monochrom> | yeah sigfpe |
| 2025-04-26 23:24:38 +0200 | <monochrom> | http://blog.sigfpe.com/2008/12/mother-of-all-monads.html |
| 2025-04-26 23:18:55 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-04-26 23:18:07 +0200 | <geekosaur> | someone (I think sigfpe?) claimed Cont was the mother of all monads |
| 2025-04-26 23:17:47 +0200 | <EvanR> | where did that originate |
| 2025-04-26 23:17:41 +0200 | <EvanR> | wasn't there a claim of "the mother of all monads" |
| 2025-04-26 23:10:08 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-26 23:09:50 +0200 | euleritian | (~euleritia@dynamic-176-006-131-107.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-26 23:09:15 +0200 | <monochrom> | I know the one true trick of rationalizing claims of "one true X": Dismiss any problem/scenerio outside the scope of X. |
| 2025-04-26 23:07:54 +0200 | euleritian | (~euleritia@dynamic-176-006-131-107.176.6.pool.telefonica.de) |
| 2025-04-26 23:03:35 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |