2025/01/07

Newest at the top

2025-01-07 19:55:32 +0100 <Square> The article says "Of course, all of this is perfectly achievable with regular old monads and some newtype wrappers, but free monads let us get rid of a bit of boilerplate."
2025-01-07 19:55:08 +0100 <Square> I'm trying to work myself away from Free monads to be able to have a Monad that handles both MonadReader and MonadWriter at the same time.
2025-01-07 19:54:19 +0100 <Square> A question about https://serokell.io/blog/introduction-to-free-monads
2025-01-07 19:53:39 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-01-07 19:53:09 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-01-07 19:50:43 +0100vixenTheFox(~user@user/Jordin089) (Remote host closed the connection)
2025-01-07 19:46:58 +0100polyphem(~polyphem@p4fc2c86c.dip0.t-ipconnect.de) (Quit: CoreIRC for Android - www.coreirc.com)
2025-01-07 19:46:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-07 19:43:34 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-01-07 19:42:58 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-01-07 19:41:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-07 19:40:41 +0100yushyin(aC7s4hKZiM@mail.karif.server-speed.net) (Ping timeout: 272 seconds)
2025-01-07 19:40:40 +0100s4msung(YSkIhMhdIR@user/s4msung) (Ping timeout: 272 seconds)
2025-01-07 19:40:12 +0100noctuks(d4toxF5wNA@user/noctux) (Ping timeout: 246 seconds)
2025-01-07 19:38:29 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-01-07 19:35:34 +0100Lord_of_Life_Lord_of_Life
2025-01-07 19:33:34 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2025-01-07 19:33:23 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-01-07 19:33:08 +0100vixenTheFox(~user@user/Jordin089) Jordin089
2025-01-07 19:32:47 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-01-07 19:32:38 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-01-07 19:28:11 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-01-07 19:27:43 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Max SendQ exceeded)
2025-01-07 19:26:58 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-01-07 19:23:10 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-01-07 19:22:36 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-01-07 19:16:51 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-07 19:15:55 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-07 19:15:42 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds)
2025-01-07 19:15:36 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius
2025-01-07 19:14:49 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-01-07 19:14:18 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 246 seconds)
2025-01-07 19:14:03 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-01-07 19:14:03 +0100xdminsy(~xdminsy@117.147.71.200) xdminsy
2025-01-07 19:13:57 +0100orangeFlu(~orangeFlu@240-100-179-143.ftth.glasoperator.nl) (Ping timeout: 246 seconds)
2025-01-07 19:12:55 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-01-07 19:12:41 +0100xdminsy(~xdminsy@117.147.71.200) (Read error: Connection reset by peer)
2025-01-07 19:12:25 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-01-07 19:12:12 +0100polyphem(~polyphem@p4fc2c86c.dip0.t-ipconnect.de) polyphem
2025-01-07 19:08:56 +0100longlongdouble(~longlongd@2405:201:5c16:894:74ec:348f:7a5d:1fda) (Remote host closed the connection)
2025-01-07 19:08:43 +0100vixenTheFox(~user@user/Jordin089) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2025-01-07 19:08:37 +0100prasad(~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net)
2025-01-07 19:08:20 +0100vixenTheFox(~user@user/Jordin089) Jordin089
2025-01-07 19:08:17 +0100longlongdouble(~longlongd@2405:201:5c16:894:74ec:348f:7a5d:1fda)
2025-01-07 19:05:11 +0100mari-estel(~mari-este@user/mari-estel) ()
2025-01-07 19:02:47 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-01-07 19:02:14 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-01-07 19:01:15 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-07 18:53:04 +0100son0p(~ff@2800:e6:4001:6cc3:2e2c:4b4e:bc2a:6f17) son0p
2025-01-07 18:53:03 +0100gorignak(~gorignak@user/gorignak) gorignak