| 2025-07-07 00:02:42 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:03:18 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-07 00:04:29 +0000 | jespada | (~jespada@r190-133-27-142.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 2025-07-07 00:06:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 00:07:25 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:10:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-07 00:11:15 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:11:54 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:14:55 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 00:18:25 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-07 00:18:41 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:19:29 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-07 00:23:05 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:23:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 00:28:57 +0000 | 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:29:18 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 00:29:24 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 00:30:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-07 00:32:54 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 00:34:01 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:34:22 +0000 | 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 00:35:22 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 00:38:42 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:41:12 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-07-07 00:42:15 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:42:17 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-07 00:42:35 +0000 | 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 00:44:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 00:47:32 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:48:25 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-07-07 00:48:30 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-07 00:49:02 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:49:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-07 00:53:21 +0000 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
| 2025-07-07 00:53:52 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:56:18 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:56:45 +0000 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 00:59:04 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:00:57 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-07-07 01:02:02 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:02:32 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 01:03:06 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-07-07 01:04:21 +0000 | xff0x | (~xff0x@2405:6580:b080:900:fbc2:ef19:a73d:48c5) (Ping timeout: 248 seconds) |
| 2025-07-07 01:05:42 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:08:13 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 01:08:23 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 01:08:38 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 01:09:09 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-07 01:09:14 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 01:09:23 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:13:38 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:15:40 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:16:20 +0000 | JayKobe6k | (~jbarber@108.234.212.24) |
| 2025-07-07 01:16:32 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 01:17:46 +0000 | <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 01:19:52 +0000 | <EvanR> | traverse specialized to Monad will not work for you? |
| 2025-07-07 01:20:04 +0000 | <EvanR> | since any Monad is an applicative |
| 2025-07-07 01:21:15 +0000 | <JayKobe6k> | No, because in order to define a traverse instance it has to work for all applicative |
| 2025-07-07 01:21:49 +0000 | <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 01:22:10 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:25:40 +0000 | <Axman6> | Want to share the code? |
| 2025-07-07 01:26:13 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:27:03 +0000 | <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 01:30:18 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:30:31 +0000 | <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 01:30:58 +0000 | <geekosaur> | something to consider is that before `traverse` there was `mapM` |
| 2025-07-07 01:30:59 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:32:12 +0000 | <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 01:34:19 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 01:34:59 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-07 01:35:10 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:40:13 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:43:18 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-07-07 01:43:37 +0000 | <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 01:44:39 +0000 | <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 01:45:42 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:47:24 +0000 | <JayKobe6k> | Lines 26 and 27 are the ones in question in that gist |
| 2025-07-07 01:47:41 +0000 | <JayKobe6k> | With a monad I can use ifM and whileM |
| 2025-07-07 01:48:09 +0000 | <JayKobe6k> | Kind of thinking I'll just have to write my own specialized recursion stuff for this |
| 2025-07-07 01:48:28 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:49:21 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 01:53:02 +0000 | <JayKobe6k> | I think I need selective functors https://simonmar.github.io/slides/Selective%20Applicative%20Functors%20%28Copenhagen%20April%20201… |
| 2025-07-07 01:53:14 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:54:43 +0000 | <geekosaur> | https://hackage.haskell.org/package/selective |
| 2025-07-07 01:55:00 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-07-07 01:55:32 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 01:56:04 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 01:57:06 +0000 | ski | (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 2025-07-07 01:57:29 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-07 01:58:21 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-07 01:59:20 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:00:18 +0000 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
| 2025-07-07 02:01:44 +0000 | 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:02:05 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 02:02:57 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 02:03:42 +0000 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 02:06:14 +0000 | ski | (~ski@remote11.chalmers.se) ski |
| 2025-07-07 02:06:48 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 02:07:17 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-07 02:12:00 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-07-07 02:12:50 +0000 | 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:13:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 02:16:39 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:16:54 +0000 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-07 02:18:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 02:18:08 +0000 | <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 02:19:34 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-07-07 02:20:45 +0000 | <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 02:21:58 +0000 | <Leary> | I assume scala supports some form of opt-in laziness. |
| 2025-07-07 02:22:11 +0000 | <JayKobe6k> | Ah I see |
| 2025-07-07 02:22:11 +0000 | <Leary> | Like using `() -> a` instead of `a`. |
| 2025-07-07 02:23:02 +0000 | <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 02:25:49 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 02:27:44 +0000 | td_ | (~td@i5387091D.versanet.de) (Ping timeout: 244 seconds) |
| 2025-07-07 02:29:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 02:29:30 +0000 | td_ | (~td@i53870936.versanet.de) |
| 2025-07-07 02:32:22 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 02:32:26 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2025-07-07 02:32:27 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 02:33:04 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:34:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-07 02:35:17 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Client Quit) |
| 2025-07-07 02:36:41 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 02:36:56 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 02:37:15 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 02:40:57 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:40:59 +0000 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 02:42:06 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-07 02:42:46 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 02:43:24 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-07 02:43:49 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-07 02:46:19 +0000 | 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:46:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 02:46:48 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-07 02:48:16 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 02:51:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 02:56:25 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:57:44 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:00:49 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-07 03:01:52 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:02:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 03:02:54 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-07-07 03:03:34 +0000 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-07 03:04:06 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 03:06:00 +0000 | j1n37- | (~j1n37@user/j1n37) (Client Quit) |
| 2025-07-07 03:06:25 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-07-07 03:06:41 +0000 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 03:07:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-07 03:07:47 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:09:43 +0000 | kimjetwav | (~user@2607:fea8:25a3:a100:9a03:8363:4504:2e7) (Remote host closed the connection) |
| 2025-07-07 03:12:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 03:12:54 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 03:13:44 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:14:29 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-07-07 03:15:45 +0000 | 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 03:16:15 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 03:17:29 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-07 03:18:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-07 03:18:52 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 03:19:50 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:26:04 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 03:28:10 +0000 | trickard_ | trickard |
| 2025-07-07 03:32:18 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:35:23 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:41:44 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:44:34 +0000 | 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:44:50 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:46:58 +0000 | JayKobe6k | (~jbarber@108.234.212.24) (Quit: WeeChat 4.6.3) |
| 2025-07-07 03:48:07 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 03:53:05 +0000 | 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 03:53:26 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 03:53:28 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) (Quit: No Ping reply in 180 seconds.) |
| 2025-07-07 03:54:37 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-07-07 03:54:42 +0000 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
| 2025-07-07 03:55:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 03:57:08 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:59:09 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) (Read error: Connection reset by peer) |
| 2025-07-07 03:59:10 +0000 | 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 03:59:47 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-07-07 03:59:50 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 04:00:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 04:01:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 04:01:47 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 04:04:37 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Client Quit) |
| 2025-07-07 04:08:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 04:09:06 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:10:49 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-07 04:12:20 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 04:17:34 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:21:58 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 04:22:23 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-07 04:23:19 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:24:20 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 04:27:51 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 04:31:12 +0000 | 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:32:27 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:37:37 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 04:38:53 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:42:39 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 04:46:26 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:49:50 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 04:51:42 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 04:52:37 +0000 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 04:53:15 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:55:57 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-07 04:57:59 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 04:59:31 +0000 | 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:02:26 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 05:05:56 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 05:07:04 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 245 seconds) |
| 2025-07-07 05:08:13 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 05:13:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 05:15:54 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-07 05:17:13 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 05:18:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-07 05:28:05 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 05:30:39 +0000 | aaronv__ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 05:31:03 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 05:32:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 05:32:54 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 272 seconds) |
| 2025-07-07 05:33:37 +0000 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2025-07-07 05:35:25 +0000 | 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:35:58 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 05:36:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 05:39:10 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 05:39:31 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-07 05:39:52 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-07-07 05:45:56 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 05:48:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 05:52:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-07 05:53:00 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 05:55:22 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 05:56:54 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-07 05:59:35 +0000 | takuan_dozo | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-07 05:59:35 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Read error: Connection reset by peer) |
| 2025-07-07 06:00:50 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:02:01 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:02:02 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:03:27 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-07 06:04:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 06:05:23 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:08:31 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:08:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-07 06:12:31 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:12:34 +0000 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-07 06:13:09 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-07 06:14:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 06:17:47 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-07-07 06:18:11 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:21:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-07 06:23:04 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:26:03 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 06:26:10 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-07 06:27:31 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:34:51 +0000 | aaronv__ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 06:38:09 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:38:47 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889) |
| 2025-07-07 06:42:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 06:43:34 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Remote host closed the connection) |
| 2025-07-07 06:44:52 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-07 06:45:47 +0000 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2025-07-07 06:46:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-07 06:47:39 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2025-07-07 06:48:24 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 06:49:32 +0000 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-07-07 06:49:35 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-07-07 06:49:42 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:50:54 +0000 | img | (~img@user/img) img |
| 2025-07-07 06:51:47 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Client Quit) |
| 2025-07-07 06:53:24 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:53:44 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:54:02 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:57:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 06:58:01 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 07:00:01 +0000 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-07 07:00:42 +0000 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-07 07:00:42 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 07:02:15 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-07-07 07:02:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-07 07:03:18 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 07:06:03 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 07:06:28 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 07:07:09 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 07:07:34 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: The Lounge - https://thelounge.github.io) |
| 2025-07-07 07:07:55 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2025-07-07 07:09:10 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 07:10:34 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-07-07 07:10:34 +0000 | prdak1 | prdak |
| 2025-07-07 07:12:47 +0000 | Digitteknohippie | Digigt |
| 2025-07-07 07:12:53 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-07 07:12:54 +0000 | Digigt | Digit |
| 2025-07-07 07:13:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 07:14:14 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 07:14:25 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-07 07:17:24 +0000 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-07-07 07:17:44 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 07:19:20 +0000 | 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 07:19:29 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 07:20:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 07:21:05 +0000 | MaybeMonad | (~MaybeMona@user/MaybeMonad) MaybeMonad |
| 2025-07-07 07:22:12 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 07:25:53 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 07:25:54 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-07-07 07:26:15 +0000 | MaybeMonad | (~MaybeMona@user/MaybeMonad) (Ping timeout: 260 seconds) |
| 2025-07-07 07:26:50 +0000 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-07 07:27:00 +0000 | acidjnk | (~acidjnk@p200300d6e70b66173880acc259d889d5.dip0.t-ipconnect.de) acidjnk |
| 2025-07-07 07:27:43 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 07:40:40 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 07:41:19 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-07 07:43:04 +0000 | random-jellyfish | (~developer@90.167.21.162) |
| 2025-07-07 07:43:04 +0000 | random-jellyfish | (~developer@90.167.21.162) (Changing host) |
| 2025-07-07 07:43:04 +0000 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
| 2025-07-07 07:44:43 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-07 07:46:38 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2025-07-07 07:47:02 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 07:47:23 +0000 | aaronv__ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 07:48:37 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-07-07 07:48:38 +0000 | prdak1 | prdak |
| 2025-07-07 07:49:17 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-07 07:56:36 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 07:59:37 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:02:33 +0000 | d34db33f | (~d34db33f@user/d34db33f) (Remote host closed the connection) |
| 2025-07-07 08:04:59 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:10:13 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 08:11:41 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:15:46 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 08:16:04 +0000 | [_________] | (~oos95GWG@user/oos95GWG) (Quit: [_________]) |
| 2025-07-07 08:17:31 +0000 | [_________] | (~oos95GWG@user/oos95GWG) oos95GWG |
| 2025-07-07 08:21:23 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:22:17 +0000 | 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 08:25:02 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:26:07 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:29:37 +0000 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 08:29:50 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 08:31:36 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-07 08:31:58 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-07-07 08:35:30 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-07-07 08:35:54 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:40:28 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 08:42:24 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:43:30 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-07-07 08:43:40 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 08:45:11 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-07 08:45:17 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 08:45:39 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:46:47 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:48:36 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-07 08:50:14 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-07-07 08:51:51 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:52:59 +0000 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-07 08:53:44 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 245 seconds) |
| 2025-07-07 08:54:48 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:55:09 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 08:57:09 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 09:01:18 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 09:02:07 +0000 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-07-07 09:02:28 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 09:02:29 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-07 09:04:12 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 09:04:13 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-07-07 09:07:21 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds) |
| 2025-07-07 09:08:55 +0000 | arahael | (~arahael@user/arahael) (Ping timeout: 260 seconds) |
| 2025-07-07 09:10:57 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 09:12:58 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 09:13:37 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 09:16:24 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 09:19:26 +0000 | kaskal | (~kaskal@2a02:8388:15bf:c200:2968:f867:8a66:34b3) (Quit: ZNC - https://znc.in) |
| 2025-07-07 09:19:46 +0000 | kaskal | (~kaskal@84-115-231-2.cable.dynamic.surfer.at) kaskal |
| 2025-07-07 09:21:21 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-07-07 09:21:25 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 09:22:47 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 09:26:34 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 09:29:45 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 09:33:09 +0000 | random-jellyfish | (~developer@user/random-jellyfish) (Quit: Leaving) |
| 2025-07-07 09:34:30 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 09:34:57 +0000 | sajenim | (~sajenim@user/sajenim) (Quit: WeeChat 4.6.3) |
| 2025-07-07 09:35:15 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 09:37:47 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 09:39:51 +0000 | trickard_ | trickard |
| 2025-07-07 09:40:24 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-07-07 09:45:21 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-07-07 09:45:59 +0000 | cstml | (~Thunderbi@user/cstml) cstml |
| 2025-07-07 09:46:39 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-07 09:48:32 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 09:50:28 +0000 | cstml | (~Thunderbi@user/cstml) (Client Quit) |
| 2025-07-07 09:52:58 +0000 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde |
| 2025-07-07 09:54:52 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 09:57:20 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 09:57:32 +0000 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 252 seconds) |
| 2025-07-07 10:03:46 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:03:48 +0000 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 10:04:02 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 10:05:08 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 10:08:46 +0000 | senoraraton | (~senorarat@4.sub-75-238-52.myvzw.com) SenoraRaton |
| 2025-07-07 10:09:12 +0000 | <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 10:10:05 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 10:13:29 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-07-07 10:14:01 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 10:14:04 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-07-07 10:14:36 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:17:33 +0000 | <__monty__> | Aren't monads a bit notorious for not composing? Hence transformers and entire effect systems? |
| 2025-07-07 10:18:19 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 10:20:55 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-07-07 10:21:04 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2025-07-07 10:22:16 +0000 | dhil | (~dhil@5.151.29.137) dhil |
| 2025-07-07 10:26:16 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 10:27:10 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:28:37 +0000 | JamesMowery173 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-07-07 10:31:12 +0000 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 272 seconds) |
| 2025-07-07 10:31:13 +0000 | JamesMowery173 | JamesMowery17 |
| 2025-07-07 10:31:40 +0000 | 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:31:46 +0000 | trickard_ | trickard |
| 2025-07-07 10:32:14 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 10:34:44 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-07-07 10:35:39 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-07-07 10:36:04 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-07-07 10:37:45 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-07-07 10:42:56 +0000 | <[exa]> | __monty__: I guess there's difference between composing with other types vs composing with themselves |
| 2025-07-07 10:43:28 +0000 | <[exa]> | like getting "compose int->int with string->string" and going "aaaaa functions don't compose" :D |
| 2025-07-07 10:45:41 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-07 10:50:18 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 10:53:26 +0000 | <__monty__> | Fair enough, though I haven't seen >>= called "monad composition." |
| 2025-07-07 10:54:42 +0000 | <[exa]> | >=> ? |
| 2025-07-07 10:55:08 +0000 | <[exa]> | anyway yeah this nomenclature for composition there is shaky |
| 2025-07-07 10:56:24 +0000 | <[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 10:56:32 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-07 10:56:52 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 10:57:15 +0000 | <[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 10:57:34 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:57:41 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:59:53 +0000 | <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 11:01:23 +0000 | <[exa]> | oh cool |
| 2025-07-07 11:01:35 +0000 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-07 11:03:07 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 11:04:16 +0000 | <__monty__> | You lost me at "adjunction." o.o |
| 2025-07-07 11:06:23 +0000 | <__monty__> | Forester looks similar to some Zettelkasten utilities I've seen. Not dissimilar to a Wiki with disciplined reference use. |
| 2025-07-07 11:07:55 +0000 | <dutchie> | you can compose monads with distributive laws too: https://inv.alid.pw/posts/kleisli-lifting-distributive/ |
| 2025-07-07 11:10:47 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 11:12:40 +0000 | 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:14:07 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 11:14:22 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 11:14:32 +0000 | <[exa]> | __monty__: it got me at the "graphy" views of stuff, certainly in a nice sweet spot between plain old wiki and wikidata or so |
| 2025-07-07 11:19:26 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 11:21:09 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-07 11:22:34 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 11:23:18 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 11:25:48 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-07-07 11:26:14 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-07 11:28:59 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 11:30:26 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 11:32:25 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-07-07 11:33:49 +0000 | chele | (~chele@user/chele) chele |
| 2025-07-07 11:35:49 +0000 | acidjnk | (~acidjnk@p200300d6e70b66173880acc259d889d5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-07-07 11:35:54 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 11:36:06 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5f6e:f18b:47bc:a644) |
| 2025-07-07 11:42:41 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 11:43:09 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 11:47:59 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 11:51:40 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 11:57:48 +0000 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 11:58:02 +0000 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 11:58:07 +0000 | j1n37 | (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 2025-07-07 11:58:23 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 12:09:01 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-07-07 12:14:22 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 12:15:01 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 12:16:18 +0000 | 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:16:40 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 12:19:17 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 12:19:48 +0000 | acidjnk | (~acidjnk@p200300d6e70b6617f54dbe6cdef613d5.dip0.t-ipconnect.de) acidjnk |
| 2025-07-07 12:20:50 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-07-07 12:25:49 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-07 12:26:17 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 12:29:17 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 12:29:24 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-07 12:31:29 +0000 | 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:35:07 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 12:35:27 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 12:36:05 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 12:37:55 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 12:38:09 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds) |
| 2025-07-07 12:38:44 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-07-07 12:39:57 +0000 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-07-07 12:43:05 +0000 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-07 12:45:28 +0000 | AlexZenon | (~alzenon@178.34.151.27) (Ping timeout: 252 seconds) |
| 2025-07-07 12:45:37 +0000 | 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:46:40 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 12:49:28 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-07-07 12:49:41 +0000 | AlexZenon | (~alzenon@178.34.151.27) |
| 2025-07-07 12:50:04 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-07-07 12:51:30 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 12:52:23 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-07-07 12:53:52 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 12:56:02 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 12:57:54 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 13:00:05 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2025-07-07 13:02:01 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-07 13:03:31 +0000 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 13:03:44 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 13:04:03 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 13:05:43 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 13:11:43 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2) |
| 2025-07-07 13:11:59 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 13:12:36 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 13:15:29 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-07 13:15:49 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 13:19:45 +0000 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-07-07 13:20:13 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 13:20:20 +0000 | myme | (~myme@2a01:799:d5e:5f00:b35a:74:d167:4c1e) (Ping timeout: 260 seconds) |
| 2025-07-07 13:21:18 +0000 | myme | (~myme@2a01:799:d5e:5f00:757b:b311:fe85:f818) myme |
| 2025-07-07 13:23:15 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 13:28:23 +0000 | 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 13:29:18 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 13:29:55 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 13:30:42 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 13:30:56 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 13:32:45 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-07-07 13:33:04 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 13:34:03 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 13:35:59 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-07 13:38:12 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 13:40:07 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 13:40:51 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-07 13:56:15 +0000 | falafel | (~falafel@syn-076-094-081-093.res.spectrum.com) falafel |
| 2025-07-07 13:56:18 +0000 | falafel | (~falafel@syn-076-094-081-093.res.spectrum.com) (Remote host closed the connection) |
| 2025-07-07 14:03:15 +0000 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-07 14:06:26 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-07 14:10:32 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-07 14:12:16 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-07-07 14:15:16 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-07 14:16:09 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 268 seconds) |
| 2025-07-07 14:22:50 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 14:23:03 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 14:23:48 +0000 | <probie> | Is there a way to do something like `data L = L1 | L2` and `data Foo (xs :: [L]) where { T1 :: (In L1 xs) => Foo xs; T2 :: (In L2 xs) => Foo xs } in a way that GHC can make reasonable sense of it? |
| 2025-07-07 14:25:38 +0000 | poscat0x04 | (~poscat@user/poscat) (Quit: Bye) |
| 2025-07-07 14:25:51 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-07 14:28:18 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-07 14:28:25 +0000 | <Leary> | probie: What issue does GHC have with that? It looks fine to me. |
| 2025-07-07 14:29:34 +0000 | c0d3x | (~c0d3x@user/c0d3x) c0d3x |
| 2025-07-07 14:29:49 +0000 | <probie> | If I pattern match on a `Foo '[L1]` it doesn't know that `T2` isn't a possible constructor |
| 2025-07-07 14:34:32 +0000 | <ski> | OWA ? |
| 2025-07-07 14:35:48 +0000 | trickard_ | trickard |
| 2025-07-07 14:38:14 +0000 | <tomsmeding> | probie: works for me https://play.haskell.org/saved/ogiXl7OC |
| 2025-07-07 14:38:23 +0000 | <tomsmeding> | perhaps you've defined 'In' differently? |
| 2025-07-07 14:40:05 +0000 | <Leary> | Yeah, I also just got done writing this, which works too: https://play.haskell.org/saved/Ytw9qxKB |
| 2025-07-07 14:40:17 +0000 | <tomsmeding> | (also, ski: outlook web access?) |
| 2025-07-07 14:40:40 +0000 | tomsmeding | suspects that probie expressed 'In' using a type class |
| 2025-07-07 14:41:44 +0000 | <ski> | (Open-World Assumption) |
| 2025-07-07 14:41:51 +0000 | <tomsmeding> | ah |
| 2025-07-07 14:42:05 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 14:42:32 +0000 | <tomsmeding> | the space of three-letter acrynoms is crowded :) |
| 2025-07-07 14:42:39 +0000 | <tomsmeding> | *acronyms |
| 2025-07-07 14:42:46 +0000 | <tomsmeding> | not sure what an acrynom would be |
| 2025-07-07 14:43:16 +0000 | <Leary> | Eating while crying. :) |
| 2025-07-07 14:43:22 +0000 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 14:43:23 +0000 | <tomsmeding> | :D |
| 2025-07-07 14:43:36 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 14:46:04 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 14:47:12 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-07 14:51:16 +0000 | 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 14:55:02 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 14:55:05 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-07 14:56:00 +0000 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-07-07 14:57:21 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2025-07-07 14:58:15 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 15:04:13 +0000 | Digitteknohippie | Digit |
| 2025-07-07 15:04:37 +0000 | m_a_r_k | (~m_a_r_k@user/m-a-r-k:45929) (Remote host closed the connection) |
| 2025-07-07 15:04:51 +0000 | m_a_r_k | (~m_a_r_k@user/m-a-r-k:45929) m_a_r_k |
| 2025-07-07 15:06:31 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-07 15:17:55 +0000 | <probie> | tomsmeding: I'm out of practice doing fun things with types, so defaulted to what I would have done 15 years ago |
| 2025-07-07 15:19:33 +0000 | <tomsmeding> | probie: type classes here have the downside that they're "open world": more instances could be added later, and the compiler wants to ensure that your code doesn't break when that happens |
| 2025-07-07 15:19:37 +0000 | <tomsmeding> | hence it's very conservative |
| 2025-07-07 15:20:09 +0000 | <tomsmeding> | Leary and I wrote a _closed_ type family (as opposed to an "open type family", which also exists); a closed type family is, naturally, closed-world, hence GHC does not have to be conservative |
| 2025-07-07 15:26:36 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-07 15:30:12 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 15:31:15 +0000 | sprotte24 | (~sprotte24@p200300d16f270a0099c32b2a8c6f04e1.dip0.t-ipconnect.de) |
| 2025-07-07 15:39:59 +0000 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds) |
| 2025-07-07 15:41:21 +0000 | 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 15:42:28 +0000 | <ski> | (in the logic/relational programming, and knowledge representation world, "OWA" and "CWA" (Closed-World Assumption), are rather common terms) |
| 2025-07-07 15:43:37 +0000 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-07 15:48:51 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-07 15:52:13 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-07 15:57:24 +0000 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-07-07 15:59:15 +0000 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-07 16:01:37 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-07 16:02:27 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.3) |
| 2025-07-07 16:03:07 +0000 | trickard_ | trickard |
| 2025-07-07 16:04:41 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-07 16:14:13 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 16:16:29 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-07-07 16:19:06 +0000 | qqe | (~qqq@185.54.20.5) |
| 2025-07-07 16:19:21 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 16:19:23 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-07 16:20:54 +0000 | falafel | (~falafel@syn-076-094-081-093.res.spectrum.com) falafel |
| 2025-07-07 16:22:30 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-07 16:22:42 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2) |
| 2025-07-07 16:22:51 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-07-07 16:26:29 +0000 | yabobay | (~pizza@ppp046103041035.access.hol.gr) yabobay |
| 2025-07-07 16:26:41 +0000 | falafel | (~falafel@syn-076-094-081-093.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-07-07 16:27:12 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-07 16:29:05 +0000 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde |
| 2025-07-07 16:35:31 +0000 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 268 seconds) |
| 2025-07-07 16:38:50 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 16:39:12 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 16:41:03 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-07 16:44:59 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-07-07 16:49:19 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-07-07 16:52:10 +0000 | <yabobay> | what's the best module for just getting the contents of a web page? i'm extremely unlikely to want to do anything more complicated or powerful |
| 2025-07-07 16:54:37 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-07 16:55:12 +0000 | <EvanR> | there's a library called req on hackage which uses http-client |
| 2025-07-07 16:55:51 +0000 | <EvanR> | https://github.com/mrkkrp/req might be worth a shot |
| 2025-07-07 16:59:49 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-07-07 17:01:21 +0000 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-07-07 17:01:49 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-07 17:01:58 +0000 | drlkf | (~drlkf@chat-1.drlkf.net) (Quit: WeeChat 3.8) |
| 2025-07-07 17:04:02 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-07 17:04:44 +0000 | dhil | (~dhil@5.151.29.137) (Ping timeout: 260 seconds) |
| 2025-07-07 17:07:10 +0000 | drlkf | (~drlkf@chat-1.drlkf.net) drlkf |
| 2025-07-07 17:07:25 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2) |
| 2025-07-07 17:07:44 +0000 | <drlkf> | hi, is it possible to request hackage endorsements in here? |
| 2025-07-07 17:07:50 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 17:08:16 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 17:13:21 +0000 | 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 17:15:38 +0000 | <tomsmeding> | drlkf: if you know any haskellers personally, trying via them might be most effective |
| 2025-07-07 17:16:59 +0000 | <tomsmeding> | oh it seems you can still go via trustees too, giving just name and package |
| 2025-07-07 17:17:06 +0000 | <tomsmeding> | that's a low verification bar |
| 2025-07-07 17:17:38 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 17:17:49 +0000 | <tomsmeding> | drlkf: please link the package you intend to upload |
| 2025-07-07 17:17:59 +0000 | tomsmeding | is looking at the red box on https://hackage.haskell.org/users/register-request |
| 2025-07-07 17:18:07 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 17:18:16 +0000 | <tomsmeding> | also hackage username |
| 2025-07-07 17:18:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 17:22:34 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-07 17:23:01 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 17:23:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-07 17:23:23 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 17:25:01 +0000 | monochrm | (~trebla@216.138.220.146) |
| 2025-07-07 17:25:15 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 17:26:36 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-07 17:27:04 +0000 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-07-07 17:27:04 +0000 | monochrm | monochrom |
| 2025-07-07 17:28:55 +0000 | 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 17:29:16 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 17:30:34 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 17:32:12 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-07-07 17:32:12 +0000 | prdak1 | prdak |
| 2025-07-07 17:34:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 17:35:42 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-07 17:39:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-07 17:44:32 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-07-07 17:44:55 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 17:47:30 +0000 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) ft |
| 2025-07-07 17:47:42 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 17:49:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 17:51:20 +0000 | c0d3x | (~c0d3x@user/c0d3x) (Quit: WeeChat 4.7.0-dev) |
| 2025-07-07 17:52:22 +0000 | She | (haveident@libera/staff/she/her) (Quit: Either upgrades, or the world's ending.) |
| 2025-07-07 17:52:43 +0000 | She | (haveident@libera/staff/she/her) She |
| 2025-07-07 17:57:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-07 18:00:16 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-07-07 18:00:32 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2025-07-07 18:03:57 +0000 | <monochrom> | Hot take: "acrynom" is Latin for "acronym" >:) |
| 2025-07-07 18:04:47 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-07 18:06:17 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 18:07:15 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-07-07 18:07:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 18:09:03 +0000 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-07-07 18:09:43 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 18:10:09 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-07-07 18:11:49 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 18:11:56 +0000 | <yabobay> | EvanR: i can't seem to be able to install splitmix which is a dependency of req |
| 2025-07-07 18:12:04 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-07-07 18:12:13 +0000 | <yabobay> | it complains that 'getentropy' is undefined in C code which is weird |
| 2025-07-07 18:12:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-07 18:13:00 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-07-07 18:14:10 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 18:14:11 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds) |
| 2025-07-07 18:15:09 +0000 | <drlkf> | tomsmeding: here is a small package i want to upload: https://github.com/drlkf/megaparsec-utils/ ; i also have a pending maintainer handoff here https://github.com/jgoerzen/configfile/issues/13, my hackage username is drlkf https://hackage.haskell.org/user/drlkf |
| 2025-07-07 18:17:15 +0000 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
| 2025-07-07 18:19:44 +0000 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-07 18:19:47 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 18:19:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 18:20:20 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-07-07 18:22:21 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 18:23:15 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 18:24:15 +0000 | prdak1 | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-07-07 18:24:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-07 18:25:13 +0000 | dhil | (~dhil@5.151.29.137) dhil |
| 2025-07-07 18:26:21 +0000 | <EvanR> | yabobay, this is unfortunate |
| 2025-07-07 18:28:22 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 18:29:04 +0000 | <monochrom> | getentropy should be available as part of glibc on Linux. You may need to say more about your platform. |
| 2025-07-07 18:29:28 +0000 | <monochrom> | I think the man page says OpenBSD too. |
| 2025-07-07 18:30:30 +0000 | <monochrom> | Unfortunately cbits-unix/init.c insists on getentropy and doesn't have any alternative for any other Unix. |
| 2025-07-07 18:31:10 +0000 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2025-07-07 18:31:40 +0000 | <EvanR> | maybe this is why I haven't heard of anyone using req, it's openbsd only |
| 2025-07-07 18:32:23 +0000 | <monochrom> | Naw I had no trouble building splitmix on Ubuntu. |
| 2025-07-07 18:33:39 +0000 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-07-07 18:34:19 +0000 | <tomsmeding> | even more, ghc itself barely supports anything other than linux and bsd |
| 2025-07-07 18:34:27 +0000 | <tomsmeding> | (in the unix landscape) |
| 2025-07-07 18:34:52 +0000 | <tomsmeding> | so yes, need more platform info |
| 2025-07-07 18:35:38 +0000 | <monochrom> | I can believe maybe musl doesn't have it. (Too lazy to check.) |
| 2025-07-07 18:37:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 18:38:07 +0000 | <tomsmeding> | I get results for getentropy in musl |
| 2025-07-07 18:38:20 +0000 | <monochrom> | Nice. |
| 2025-07-07 18:39:25 +0000 | <tomsmeding> | drlkf: thanks for the links! Feel free to send me a hackage endorsement link in a private message |
| 2025-07-07 18:42:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 18:43:47 +0000 | yabobay | (~pizza@ppp046103041035.access.hol.gr) (Quit: Konversation terminated!) |
| 2025-07-07 18:46:29 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-07 18:49:32 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 18:51:24 +0000 | sprotte24 | (~sprotte24@p200300d16f270a0099c32b2a8c6f04e1.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-07 18:51:29 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 2025-07-07 18:51:58 +0000 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-07-07 18:52:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 18:54:45 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 18:57:13 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 18:58:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-07 19:00:01 +0000 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-07 19:00:40 +0000 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-07 19:02:15 +0000 | 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 19:05:16 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-07 19:07:06 +0000 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2025-07-07 19:07:45 +0000 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-07-07 19:07:49 +0000 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Client Quit) |
| 2025-07-07 19:08:50 +0000 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-07-07 19:09:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 19:12:09 +0000 | qqe | (~qqq@185.54.20.5) (Remote host closed the connection) |
| 2025-07-07 19:13:48 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-07 19:14:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-07 19:15:25 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 19:15:33 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 248 seconds) |
| 2025-07-07 19:22:19 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-07 19:24:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 19:27:55 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-07 19:28:01 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-07-07 19:29:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 19:31:05 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-07-07 19:35:38 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 19:40:05 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 2025-07-07 19:40:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 19:44:17 +0000 | dhil | (~dhil@5.151.29.137) (Ping timeout: 248 seconds) |
| 2025-07-07 19:45:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-07 19:54:46 +0000 | jespada_ | (~jespada@131.0.213.216) jespada |
| 2025-07-07 19:56:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 19:57:37 +0000 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-07-07 19:59:14 +0000 | jespada_ | (~jespada@131.0.213.216) (Ping timeout: 252 seconds) |
| 2025-07-07 20:01:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-07 20:08:14 +0000 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-07-07 20:08:40 +0000 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-07-07 20:10:46 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-07 20:11:02 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
| 2025-07-07 20:12:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 20:12:29 +0000 | jespada | (~jespada@r190-135-230-22.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-07 20:12:36 +0000 | sprotte24 | (~sprotte24@p200300d16f270a00f99ee53ecfe7291a.dip0.t-ipconnect.de) |
| 2025-07-07 20:13:46 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 244 seconds) |
| 2025-07-07 20:14:36 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-07 20:16:05 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-07-07 20:17:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-07 20:18:09 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 20:19:12 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-07 20:21:40 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-07 20:23:14 +0000 | 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 20:24:23 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 20:24:28 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-07-07 20:28:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 20:34:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 20:36:43 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-07-07 20:37:01 +0000 | ski | . o O ( "anagram" is an anagram of "anagram" ) |
| 2025-07-07 20:37:15 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-07 20:40:37 +0000 | <darkling> | .oO( An anagram of "banach-tarski" is "banach-tarski banach-tarski" ) ;) |
| 2025-07-07 20:45:46 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-07 20:46:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 20:48:54 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-07-07 20:51:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-07 21:00:18 +0000 | <EvanR> | lol. |
| 2025-07-07 21:00:53 +0000 | <mauke> | to the tune of "Barbra Streisand" |
| 2025-07-07 21:01:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 21:02:27 +0000 | <ski> | @quote tarski |
| 2025-07-07 21:02:27 +0000 | <lambdabot> | cmccann says: fun fact: "Banach-Tarski" is an anagram for "Banach-Tarski Banach-Tarski" |
| 2025-07-07 21:02:42 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-07 21:06:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-07 21:11:35 +0000 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-07-07 21:17:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 21:21:00 +0000 | yabobay | (~pizza@ppp046103041035.access.hol.gr) yabobay |
| 2025-07-07 21:22:12 +0000 | <yabobay> | EvanR: i don't know if the message sent earlier, cause i've been having some internet outages, but i said i did get req to install just fine on debian but not on termux and i don't know what libc that uses |
| 2025-07-07 21:22:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 21:25:21 +0000 | <mauke> | https://en.wikipedia.org/wiki/Bionic_(software) ? |
| 2025-07-07 21:28:01 +0000 | <mauke> | but then https://android.googlesource.com/platform/bionic/+/2b67d7dee09852789d9ac7d8972ed6cdb2c18430%5E%21/ |
| 2025-07-07 21:29:13 +0000 | <yabobay> | yeah so that's probably not it |
| 2025-07-07 21:29:32 +0000 | <yabobay> | so would the solution just kinda be submitting a patch to whatever bit of C code uses that function upstream? |
| 2025-07-07 21:29:50 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-07 21:32:28 +0000 | takuan_dozo | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-07-07 21:33:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 21:35:31 +0000 | Square | (~Square@user/square) Square |
| 2025-07-07 21:35:49 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-07-07 21:37:15 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 21:38:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-07 21:42:21 +0000 | 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 21:43:07 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 21:49:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 21:54:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-07 21:55:43 +0000 | Nosrep | (~jimothy@user/nosrep) (Remote host closed the connection) |
| 2025-07-07 21:56:21 +0000 | Nosrep | (~jimothy@user/nosrep) Nosrep |
| 2025-07-07 21:56:46 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-07 21:57:46 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-07-07 21:59:21 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 22:04:39 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-07 22:05:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 22:12:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 22:15:21 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-07 22:18:53 +0000 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 22:19:08 +0000 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 22:19:57 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 22:20:54 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-07 22:23:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 22:26:19 +0000 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 22:28:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-07 22:28:22 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 22:29:42 +0000 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 22:33:33 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 22:35:43 +0000 | trickard_ | trickard |
| 2025-07-07 22:36:20 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-07 22:38:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 22:44:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-07 22:44:14 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-07-07 22:44:28 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-07 22:53:13 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-07-07 22:54:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 22:59:04 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-07-07 22:59:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-07 22:59:59 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-07-07 23:02:12 +0000 | sprotte24 | (~sprotte24@p200300d16f270a00f99ee53ecfe7291a.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-07-07 23:06:08 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 23:08:34 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-07 23:10:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 23:15:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-07 23:15:29 +0000 | FANTOM | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-07-07 23:17:39 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 23:18:17 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 23:20:18 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-07 23:20:34 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-07 23:26:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 23:26:24 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds) |
| 2025-07-07 23:27:33 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 23:28:15 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 23:30:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-07 23:31:25 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-07 23:33:29 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 23:36:39 +0000 | acidjnk | (~acidjnk@p200300d6e70b6617f54dbe6cdef613d5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-07-07 23:40:20 +0000 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
| 2025-07-07 23:41:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 23:48:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-07 23:52:16 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 23:53:18 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-07 23:54:09 +0000 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
| 2025-07-07 23:55:10 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Client Quit) |
| 2025-07-07 23:59:05 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-07-07 23:59:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |