2025/04/26

Newest at the top

2025-04-27 00:42:57 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-04-27 00:42:55 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-27 00:42:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-27 00:41:15 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-04-27 00:34:34 +0200emmanuelux_(~emmanuelu@user/emmanuelux) emmanuelux
2025-04-27 00:31:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-27 00:23:19 +0200fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 276 seconds)
2025-04-27 00:22:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-27 00:21:22 +0200machinedgod(~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 +0200ljdarj1ljdarj
2025-04-27 00:14:43 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-04-27 00:11:38 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-04-27 00:08:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-27 00:06:19 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-04-27 00:04:30 +0200LainIwakura(~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 +0200tromp(~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 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-26 23:26:15 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2025-04-26 23:25:09 +0200abrar(~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 +0200fp(~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 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-26 23:09:50 +0200euleritian(~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 +0200euleritian(~euleritia@dynamic-176-006-131-107.176.6.pool.telefonica.de)
2025-04-26 23:03:35 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2025-04-26 23:01:41 +0200JuanDaughertyColinRobinson
2025-04-26 23:01:14 +0200 <monochrom> Have you also considered that certain parsers are not even monads, just alternatives, so there is no way either any family of monads or any family of algebraic effects can be the one true architectural pattern?
2025-04-26 23:01:07 +0200 <haskellbridge> <Liamzee> otherwise i'd have already gone to exceptT and called it a day
2025-04-26 23:00:51 +0200fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 276 seconds)
2025-04-26 23:00:46 +0200 <haskellbridge> <Liamzee> i wouldn't know, all i know is that i hate mtl