| 2025-07-07 00:01:56 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 00:04:37 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:04:38 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-07 00:04:41 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 00:05:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 00:07:26 +0200 | Square | (~Square@user/square) Square |
| 2025-07-07 00:07:45 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:07:54 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-07-07 00:09:32 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:12:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-07 00:13:56 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:15:18 +0200 | sprotte24 | (~sprotte24@p200300d16f1e120088364b39f940d5b9.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-07-07 00:16:05 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:20:27 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:24:34 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-07-07 00:25:56 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 00:26:11 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 00:26:27 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-07-07 00:26:41 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:28:48 +0200 | d34db33f | (~d34db33f@user/d34db33f) d34db33f |
| 2025-07-07 00:33:44 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:35:26 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:40:21 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 00:43:04 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 00:46:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:46:56 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:48:46 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 00:53:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:54:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:00:07 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:00:11 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-07 01:02:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 01:02:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:06:42 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2025-07-07 01:12:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:18:57 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:20:59 +0200 | acidjnk | (~acidjnk@p200300d6e70b6617f5ff0309ff474427.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-07-07 01:22:27 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-07-07 01:22:59 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:23:21 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:25:27 +0200 | falafel | (~falafel@79.117.174.28) falafel |
| 2025-07-07 01:31:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 01:32:32 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 01:32:47 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 01:35:31 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:36:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-07 01:38:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:39:58 +0200 | falafel | (~falafel@79.117.174.28) (Remote host closed the connection) |
| 2025-07-07 01:42:53 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:43:45 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-07-07 01:44:31 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:45:22 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 01:47:15 +0200 | laurapigeon | (~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3) |
| 2025-07-07 01:49:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 01:49:50 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-07 01:51:44 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:52:33 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-07 01:53:07 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:53:28 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-07-07 01:53:59 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-07-07 01:54:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-07 01:55:52 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:58:38 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-07 01:58:56 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 244 seconds) |
| 2025-07-07 02:02:42 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:03:18 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-07 02:04:29 +0200 | jespada | (~jespada@r190-133-27-142.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 2025-07-07 02:06:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 02:07:25 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 02:10:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-07 02:11:15 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 02:11:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:14:55 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 02:18:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-07 02:18:41 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:19:29 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-07 02:23:05 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 02:23:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 02:28:57 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 02:29:18 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 02:29:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 02:30:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-07 02:32:54 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 02:34:01 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:34:22 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 02:35:22 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 02:38:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 02:41:12 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-07-07 02:42:15 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:42:17 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-07 02:42:35 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 02:44:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 02:47:32 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 02:48:25 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-07-07 02:48:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-07 02:49:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:49:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-07 02:53:21 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
| 2025-07-07 02:53:52 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 02:56:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:56:45 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 02:59:04 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:00:57 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-07-07 03:02:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:02:32 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 03:03:06 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-07-07 03:04:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:fbc2:ef19:a73d:48c5) (Ping timeout: 248 seconds) |
| 2025-07-07 03:05:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:08:13 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 03:08:23 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 03:08:38 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 03:09:09 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-07 03:09:14 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 03:09:23 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:13:38 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:15:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:16:20 +0200 | JayKobe6k | (~jbarber@108.234.212.24) |
| 2025-07-07 03:16:32 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 03:17:46 +0200 | <JayKobe6k> | Hello everyone. Is there a name for a traverse type that constrains the kind of the f result to Monad instead of just Applicative? |
| 2025-07-07 03:19:52 +0200 | <EvanR> | traverse specialized to Monad will not work for you? |
| 2025-07-07 03:20:04 +0200 | <EvanR> | since any Monad is an applicative |
| 2025-07-07 03:21:15 +0200 | <JayKobe6k> | No, because in order to define a traverse instance it has to work for all applicative |
| 2025-07-07 03:21:49 +0200 | <JayKobe6k> | I have a scenario where I have a structure that has (what I think is) a valid traverse instance, but only when you have a Monad |
| 2025-07-07 03:22:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:25:40 +0200 | <Axman6> | Want to share the code? |
| 2025-07-07 03:26:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:27:03 +0200 | <Axman6> | traverse doesn't need anything Monad offers, so I'd be surprised if it can't be written using just Applicative |
| 2025-07-07 03:30:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:30:31 +0200 | <JayKobe6k> | Give me a minute to convert it in to haskell.. I'm working in scala (technical constraints... what I'm making has to run on the jvm) |
| 2025-07-07 03:30:58 +0200 | <geekosaur> | something to consider is that before `traverse` there was `mapM` |
| 2025-07-07 03:30:59 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:32:12 +0200 | <JayKobe6k> | I'm trying to write a scripting language using recursion schemes and need to model while loops and conditionals. And to do so the traversal needs to behave differently depending on the result of a predicate expression, which to me implies that it needs monad |
| 2025-07-07 03:34:19 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 03:34:59 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-07 03:35:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:40:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:43:18 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-07-07 03:43:37 +0200 | <JayKobe6k> | https://gist.github.com/Jacoby6000/c9b6dedd7043933e5b5ca1199857b61b There's also an issue where I need to somehow get to a bool from the `a` on the predicates. I was planning on doing some dirty java code to work around that. |
| 2025-07-07 03:44:39 +0200 | <JayKobe6k> | This is very much a work in progress. Little things are still being worked on, like invocations will be modeled as App a a eventually. Just slowly working up to that. My current hand-rolled interpreter wouldn't support it |
| 2025-07-07 03:45:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:47:24 +0200 | <JayKobe6k> | Lines 26 and 27 are the ones in question in that gist |
| 2025-07-07 03:47:41 +0200 | <JayKobe6k> | With a monad I can use ifM and whileM |
| 2025-07-07 03:48:09 +0200 | <JayKobe6k> | Kind of thinking I'll just have to write my own specialized recursion stuff for this |
| 2025-07-07 03:48:28 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:49:21 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 03:53:02 +0200 | <JayKobe6k> | I think I need selective functors https://simonmar.github.io/slides/Selective%20Applicative%20Functors%20%28Copenhagen%20April%20201… |
| 2025-07-07 03:53:14 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:54:43 +0200 | <geekosaur> | https://hackage.haskell.org/package/selective |
| 2025-07-07 03:55:00 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-07-07 03:55:32 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 03:56:04 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 03:57:06 +0200 | ski | (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 2025-07-07 03:57:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-07 03:58:21 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-07 03:59:20 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:00:18 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
| 2025-07-07 04:01:44 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 04:02:05 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 04:02:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 04:03:42 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 04:06:14 +0200 | ski | (~ski@remote11.chalmers.se) ski |
| 2025-07-07 04:06:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 04:07:17 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-07 04:12:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-07-07 04:12:50 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 04:13:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 04:16:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:16:54 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-07 04:18:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 04:18:08 +0200 | <Leary> | JayKobe6k: Whether you're using `Applicative`, `Selective` or `Monad`, that's not going to work out---you need to `f` /all/ of your `a`s equally or you won't have the `b`s to rebuild the data. Your language's control logic really shouldn't have any bearing on the `Traversable` instance anyway, put that in a fold or `hylo` or whatever. |
| 2025-07-07 04:19:34 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-07-07 04:20:45 +0200 | <JayKobe6k> | How would I write that in to a fold? I'm not super familiar with the unfold side of things, but afaiu there's no way to do conditional branching in a fold because the subtrees are all evaluated by the time I get to choose which branch I want |
| 2025-07-07 04:21:58 +0200 | <Leary> | I assume scala supports some form of opt-in laziness. |
| 2025-07-07 04:22:11 +0200 | <JayKobe6k> | Ah I see |
| 2025-07-07 04:22:11 +0200 | <Leary> | Like using `() -> a` instead of `a`. |
| 2025-07-07 04:23:02 +0200 | <JayKobe6k> | The typeclass lib I'm using provides an Eval a to model laziness in a nice way. I'll probably use that. Thanks for the recommendation! |
| 2025-07-07 04:25:49 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 04:27:44 +0200 | td_ | (~td@i5387091D.versanet.de) (Ping timeout: 244 seconds) |
| 2025-07-07 04:29:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 04:29:30 +0200 | td_ | (~td@i53870936.versanet.de) |
| 2025-07-07 04:32:22 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 04:32:26 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-07-07 04:32:27 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 04:33:04 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:34:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-07 04:35:17 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Client Quit) |
| 2025-07-07 04:36:41 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 04:36:56 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 04:37:15 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 04:40:57 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:40:59 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 04:42:06 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-07 04:42:46 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 04:43:24 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-07 04:43:49 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-07 04:46:19 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 04:46:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 04:46:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-07 04:48:16 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 04:51:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 04:56:25 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:57:44 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 05:00:49 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-07 05:01:52 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 05:02:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 05:02:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-07-07 05:03:34 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-07 05:04:06 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 05:06:00 +0200 | j1n37- | (~j1n37@user/j1n37) (Client Quit) |
| 2025-07-07 05:06:25 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-07-07 05:06:41 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 05:07:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-07 05:07:47 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 05:09:43 +0200 | kimjetwav | (~user@2607:fea8:25a3:a100:9a03:8363:4504:2e7) (Remote host closed the connection) |
| 2025-07-07 05:12:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 05:12:54 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 05:13:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 05:14:29 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-07-07 05:15:45 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 05:16:15 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 05:17:29 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-07 05:18:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-07 05:18:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 05:19:50 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 05:26:04 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 05:28:10 +0200 | trickard_ | trickard |
| 2025-07-07 05:32:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 05:35:23 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 05:41:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 05:44:34 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 05:44:50 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 05:46:58 +0200 | JayKobe6k | (~jbarber@108.234.212.24) (Quit: WeeChat 4.6.3) |
| 2025-07-07 05:48:07 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 05:53:05 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 05:53:26 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 05:53:28 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Quit: No Ping reply in 180 seconds.) |
| 2025-07-07 05:54:37 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-07-07 05:54:42 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
| 2025-07-07 05:55:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 05:57:08 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 05:59:09 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Read error: Connection reset by peer) |
| 2025-07-07 05:59:10 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 05:59:47 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-07-07 05:59:50 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 06:00:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 06:01:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 06:01:47 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:04:37 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Client Quit) |
| 2025-07-07 06:08:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 06:09:06 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:10:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-07 06:12:20 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:17:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:21:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:22:23 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-07 06:23:19 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:24:20 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 06:27:51 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:31:12 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 06:32:27 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:37:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:38:53 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:42:39 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:46:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:49:50 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 06:51:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:52:37 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 06:53:15 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:55:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-07 06:57:59 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:59:31 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 07:02:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 07:05:56 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 07:07:04 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 245 seconds) |
| 2025-07-07 07:08:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 07:13:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 07:15:54 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-07 07:17:13 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 07:18:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-07 07:28:05 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 07:30:39 +0200 | aaronv__ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 07:31:03 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 07:32:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 07:32:54 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 272 seconds) |
| 2025-07-07 07:33:37 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2025-07-07 07:35:25 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 07:35:58 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 07:36:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 07:39:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 07:39:31 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-07 07:39:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-07-07 07:45:56 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 07:48:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 07:52:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-07 07:53:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 07:55:22 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 07:56:54 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-07 07:59:35 +0200 | takuan_dozo | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-07 07:59:35 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Read error: Connection reset by peer) |
| 2025-07-07 08:00:50 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:02:01 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:02:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:03:27 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-07 08:04:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 08:05:23 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:08:31 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:08:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-07 08:12:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:12:34 +0200 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-07 08:13:09 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-07 08:14:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 08:17:47 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-07-07 08:18:11 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:21:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-07 08:23:04 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:26:03 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 08:26:10 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-07 08:27:31 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:34:51 +0200 | aaronv__ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 08:38:09 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:38:47 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889) |
| 2025-07-07 08:42:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 08:43:34 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Remote host closed the connection) |
| 2025-07-07 08:44:52 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-07 08:45:47 +0200 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2025-07-07 08:46:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-07 08:47:39 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2025-07-07 08:48:24 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 08:49:32 +0200 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-07-07 08:49:35 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-07-07 08:49:42 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:50:54 +0200 | img | (~img@user/img) img |
| 2025-07-07 08:51:47 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Client Quit) |
| 2025-07-07 08:53:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:53:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:54:02 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:57:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 08:58:01 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 09:00:01 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-07 09:00:42 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-07 09:00:42 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 09:02:15 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-07-07 09:02:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-07 09:03:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 09:06:03 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 09:06:28 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 09:07:09 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 09:07:34 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: The Lounge - https://thelounge.github.io) |
| 2025-07-07 09:07:55 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2025-07-07 09:09:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 09:10:34 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-07-07 09:10:34 +0200 | prdak1 | prdak |
| 2025-07-07 09:12:47 +0200 | Digitteknohippie | Digigt |
| 2025-07-07 09:12:53 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-07 09:12:54 +0200 | Digigt | Digit |
| 2025-07-07 09:13:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 09:14:14 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 09:14:25 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-07 09:17:24 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-07-07 09:17:44 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 09:19:20 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 09:19:29 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 09:20:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 09:21:05 +0200 | MaybeMonad | (~MaybeMona@user/MaybeMonad) MaybeMonad |
| 2025-07-07 09:22:12 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 09:25:53 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 09:25:54 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-07-07 09:26:15 +0200 | MaybeMonad | (~MaybeMona@user/MaybeMonad) (Ping timeout: 260 seconds) |
| 2025-07-07 09:26:50 +0200 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-07 09:27:00 +0200 | acidjnk | (~acidjnk@p200300d6e70b66173880acc259d889d5.dip0.t-ipconnect.de) acidjnk |
| 2025-07-07 09:27:43 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 09:40:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 09:41:19 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-07 09:43:04 +0200 | random-jellyfish | (~developer@90.167.21.162) |
| 2025-07-07 09:43:04 +0200 | random-jellyfish | (~developer@90.167.21.162) (Changing host) |
| 2025-07-07 09:43:04 +0200 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
| 2025-07-07 09:44:43 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-07 09:46:38 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2025-07-07 09:47:02 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 09:47:23 +0200 | aaronv__ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 09:48:37 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-07-07 09:48:38 +0200 | prdak1 | prdak |
| 2025-07-07 09:49:17 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-07 09:56:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 09:59:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 10:02:33 +0200 | d34db33f | (~d34db33f@user/d34db33f) (Remote host closed the connection) |
| 2025-07-07 10:04:59 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:10:13 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 10:11:41 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 10:15:46 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 10:16:04 +0200 | [_________] | (~oos95GWG@user/oos95GWG) (Quit: [_________]) |
| 2025-07-07 10:17:31 +0200 | [_________] | (~oos95GWG@user/oos95GWG) oos95GWG |
| 2025-07-07 10:21:23 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:22:17 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 10:25:02 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 10:26:07 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:29:37 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 10:29:50 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 10:31:36 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-07 10:31:58 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-07-07 10:35:30 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-07-07 10:35:54 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 10:40:28 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 10:42:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:43:30 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-07-07 10:43:40 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 10:45:11 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-07 10:45:17 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 10:45:39 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 10:46:47 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:48:36 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-07 10:50:14 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-07-07 10:51:51 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 10:52:59 +0200 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-07 10:53:44 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 245 seconds) |
| 2025-07-07 10:54:48 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:55:09 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 10:57:09 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 11:01:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 11:02:07 +0200 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-07-07 11:02:28 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 11:02:29 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-07 11:04:12 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 11:04:13 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-07-07 11:07:21 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds) |
| 2025-07-07 11:08:55 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 260 seconds) |
| 2025-07-07 11:10:57 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 11:12:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 11:13:37 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 11:16:24 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 11:19:26 +0200 | kaskal | (~kaskal@2a02:8388:15bf:c200:2968:f867:8a66:34b3) (Quit: ZNC - https://znc.in) |
| 2025-07-07 11:19:46 +0200 | kaskal | (~kaskal@84-115-231-2.cable.dynamic.surfer.at) kaskal |
| 2025-07-07 11:21:21 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-07-07 11:21:25 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 11:22:47 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 11:26:34 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 11:29:45 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 11:33:09 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Quit: Leaving) |
| 2025-07-07 11:34:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 11:34:57 +0200 | sajenim | (~sajenim@user/sajenim) (Quit: WeeChat 4.6.3) |
| 2025-07-07 11:35:15 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 11:37:47 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 11:39:51 +0200 | trickard_ | trickard |
| 2025-07-07 11:40:24 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-07-07 11:45:21 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-07-07 11:45:59 +0200 | cstml | (~Thunderbi@user/cstml) cstml |
| 2025-07-07 11:46:39 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-07 11:48:32 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 11:50:28 +0200 | cstml | (~Thunderbi@user/cstml) (Client Quit) |
| 2025-07-07 11:52:58 +0200 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde |
| 2025-07-07 11:54:52 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 11:57:20 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 11:57:32 +0200 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 252 seconds) |
| 2025-07-07 12:03:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 12:03:48 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 12:04:02 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 12:05:08 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 12:08:46 +0200 | senoraraton | (~senorarat@4.sub-75-238-52.myvzw.com) SenoraRaton |
| 2025-07-07 12:09:12 +0200 | <senoraraton> | If it walks like a duck and talks like a duck, but doesn't compose — it's not a real monad. |
| 2025-07-07 12:10:05 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 12:13:29 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-07-07 12:14:01 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 12:14:04 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-07-07 12:14:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 12:17:33 +0200 | <__monty__> | Aren't monads a bit notorious for not composing? Hence transformers and entire effect systems? |
| 2025-07-07 12:18:19 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 12:20:55 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-07-07 12:21:04 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2025-07-07 12:22:16 +0200 | dhil | (~dhil@5.151.29.137) dhil |
| 2025-07-07 12:26:16 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 12:27:10 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 12:28:37 +0200 | JamesMowery173 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-07-07 12:31:12 +0200 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 272 seconds) |
| 2025-07-07 12:31:13 +0200 | JamesMowery173 | JamesMowery17 |
| 2025-07-07 12:31:40 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 12:31:46 +0200 | trickard_ | trickard |
| 2025-07-07 12:32:14 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 12:34:44 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-07-07 12:35:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-07-07 12:36:04 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-07-07 12:37:45 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-07-07 12:42:56 +0200 | <[exa]> | __monty__: I guess there's difference between composing with other types vs composing with themselves |
| 2025-07-07 12:43:28 +0200 | <[exa]> | like getting "compose int->int with string->string" and going "aaaaa functions don't compose" :D |
| 2025-07-07 12:45:41 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-07 12:50:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 12:53:26 +0200 | <__monty__> | Fair enough, though I haven't seen >>= called "monad composition." |
| 2025-07-07 12:54:42 +0200 | <[exa]> | >=> ? |
| 2025-07-07 12:55:08 +0200 | <[exa]> | anyway yeah this nomenclature for composition there is shaky |
| 2025-07-07 12:56:24 +0200 | <[exa]> | hey btw I stumbled upon this recently, looks like a pretty good way to do websites (kinda refreshing after all these post-jekyll static site deployers): https://www.forester-notes.org/index/index.xml |
| 2025-07-07 12:56:32 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-07 12:56:52 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 12:57:15 +0200 | <[exa]> | kinda wondering if there would be a simpler one for haskell, with pandoc and stuff...so that I could tear out that weird markup they're using :D |
| 2025-07-07 12:57:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 12:57:41 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 12:59:53 +0200 | <Leary> | [exa]: That's quite a direct analogy there; a monad M on a category C corresponds to G . F for some adjunction F : C <-> D : G, and adjunctions /do/ compose like functions, giving rise to composition of monads. But a `C <-> D` wants to compose with a `D <-> _`, not another `C <-> _`---trying to compose monads on Hask is a "type error", unless the first is also /to/ Hask. |
| 2025-07-07 13:01:23 +0200 | <[exa]> | oh cool |
| 2025-07-07 13:01:35 +0200 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-07 13:03:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 13:04:16 +0200 | <__monty__> | You lost me at "adjunction." o.o |
| 2025-07-07 13:06:23 +0200 | <__monty__> | Forester looks similar to some Zettelkasten utilities I've seen. Not dissimilar to a Wiki with disciplined reference use. |
| 2025-07-07 13:07:55 +0200 | <dutchie> | you can compose monads with distributive laws too: https://inv.alid.pw/posts/kleisli-lifting-distributive/ |
| 2025-07-07 13:10:47 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |