2025/05/31

Newest at the top

2025-05-31 19:30:31 +0200jmnyarega(~jmnyarega@user/jmnyarega) jmnyarega
2025-05-31 19:30:02 +0200haskellbridge(~hackager@syn-096-028-224-255.res.spectrum.com) (Remote host closed the connection)
2025-05-31 19:29:15 +0200jmnyarega(~jmnyarega@user/jmnyarega) (Max SendQ exceeded)
2025-05-31 19:29:14 +0200jmnyarega(~jmnyarega@user/jmnyarega) jmnyarega
2025-05-31 19:27:58 +0200jmnyarega(~jmnyarega@user/jmnyarega) (Max SendQ exceeded)
2025-05-31 19:27:56 +0200jmnyarega(~jmnyarega@user/jmnyarega) jmnyarega
2025-05-31 19:27:52 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-05-31 19:27:20 +0200jmnyarega(~jmnyarega@user/jmnyarega) (Max SendQ exceeded)
2025-05-31 19:27:16 +0200jmnyarega(~jmnyarega@user/jmnyarega) jmnyarega
2025-05-31 19:26:00 +0200jmnyarega(~jmnyarega@user/jmnyarega) (Quit: jmnyarega)
2025-05-31 19:25:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-31 19:25:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-31 19:25:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-31 19:20:15 +0200tromp(~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff)
2025-05-31 19:19:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-31 19:18:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-31 19:17:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-31 19:11:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-31 19:10:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-31 19:09:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-31 19:06:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-31 19:05:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-31 19:05:24 +0200haritz(~hrtz@user/haritz) haritz
2025-05-31 19:05:24 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-05-31 19:05:24 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-05-31 19:05:19 +0200leah2(~leah@vuxu.org) leah2
2025-05-31 19:04:52 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::46)
2025-05-31 19:04:06 +0200merijn(~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 +0200sabathan2(~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 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-31 18:59:47 +0200Pozyomka(~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 +0200fp1(~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 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-31 18:54:36 +0200tromp(~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-31 18:53:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-31 18:53:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-31 18:53:05 +0200sabathan2(~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