Newest at the top
| 2025-05-31 19:27:58 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) (Max SendQ exceeded) |
| 2025-05-31 19:27:56 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) jmnyarega |
| 2025-05-31 19:27:52 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-31 19:27:20 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) (Max SendQ exceeded) |
| 2025-05-31 19:27:16 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) jmnyarega |
| 2025-05-31 19:26:00 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) (Quit: jmnyarega) |
| 2025-05-31 19:25:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-31 19:25:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-31 19:25:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-31 19:20:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) |
| 2025-05-31 19:19:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-31 19:18:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-31 19:17:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-31 19:11:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-31 19:10:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-31 19:09:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-31 19:06:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-31 19:05:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-31 19:05:24 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-05-31 19:05:24 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-05-31 19:05:24 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-05-31 19:05:19 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-05-31 19:04:52 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) |
| 2025-05-31 19:04:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-31 19:01:43 +0200 | <potatoespotatoes> | (hence the desire to reinterpret with enumeration) |
| 2025-05-31 19:01:23 +0200 | <potatoespotatoes> | I should actually say: I'm trying to /test/ some samplers. they are so annoying >.> |
| 2025-05-31 19:01:15 +0200 | <monochrom> | Also in the strong sense that you will find yourself wanting >>= or >=> or join, as opposed to "I won't use its monadness". |
| 2025-05-31 19:00:31 +0200 | <Rembane> | potatoespotatoes: Fun! Monads seems useful there. Good luck! |
| 2025-05-31 19:00:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-31 18:59:57 +0200 | <Rembane> | monochrom: True, but the other way around. Maybe a too powerful abstraction is chosen here. Which is why I'm poking it. :) |
| 2025-05-31 18:59:53 +0200 | <potatoespotatoes> | Rembane: I'm writing some MCMC samplers |
| 2025-05-31 18:59:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-31 18:59:47 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-05-31 18:59:39 +0200 | <potatoespotatoes> | monochrom: yeah, I'm realizing this now : ) It's been a few years since I wrote haskell |
| 2025-05-31 18:59:09 +0200 | <monochrom> | Rembane, I think monads cannot be avoided. :) As in, most effects end up being monads whether you like it or not. |
| 2025-05-31 18:57:08 +0200 | <monochrom> | In the case of mtl you use its type classes such as MonadState. In the case of effect libraries, you literally s/interpreter/handler/ |
| 2025-05-31 18:56:19 +0200 | <monochrom> | mtl and all effect handler library are abstract enough for that. |
| 2025-05-31 18:55:54 +0200 | fp1 | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-31 18:55:39 +0200 | <Rembane> | potatoespotatoes: Why do you need monads btw? |
| 2025-05-31 18:54:58 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-31 18:54:36 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-31 18:53:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-31 18:53:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-31 18:53:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-31 18:52:29 +0200 | <Rembane> | potatoespotatoes: Sweet. Lets see if I can find an example too! |
| 2025-05-31 18:52:09 +0200 | <potatoespotatoes> | Rembane: okay, I'll try it out |
| 2025-05-31 18:50:45 +0200 | <potatoespotatoes> | an example of this is that I am trying to encapsulate non-determinism in one evaluation, and enumeration as the second evaluation |
| 2025-05-31 18:50:34 +0200 | <Rembane> | potatoespotatoes: You can build a monad transformer stack using mtl and build two different "interpreters" for them. |
| 2025-05-31 18:50:21 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-05-31 18:49:35 +0200 | <potatoespotatoes> | Hi all! I'm wondering if someone can make a suggestion. I want to have a monad that can be run under two different evaluations schemes. I think this would be a good fit for a free monad (one interface, two interpreters), but I would prefer to just reuse a standard library abstraction like mtl or some effect handler library. |