| 2025-05-15 00:03:20 +0000 | jespada | (~jespada@r167-61-130-171.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-05-15 00:05:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 00:09:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 00:14:03 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f1924852553a74666cb.dip0.t-ipconnect.de) acidjnk |
| 2025-05-15 00:20:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 00:23:45 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 268 seconds) |
| 2025-05-15 00:23:49 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e621:fc87:a63b:5786) (Ping timeout: 248 seconds) |
| 2025-05-15 00:25:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 00:26:26 +0000 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-15 00:29:05 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f1924852553a74666cb.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-05-15 00:36:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 00:39:09 +0000 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-15 00:39:31 +0000 | tolgo | (~Thunderbi@199.115.144.130) (Client Quit) |
| 2025-05-15 00:41:28 +0000 | Typedfern | (~Typedfern@213.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2025-05-15 00:41:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-15 00:51:25 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-15 00:52:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 00:55:10 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-15 00:57:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 01:00:08 +0000 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-05-15 01:03:02 +0000 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) hackager |
| 2025-05-15 01:03:02 +0000 | ChanServ | +v haskellbridge |
| 2025-05-15 01:03:48 +0000 | Typedfern | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) |
| 2025-05-15 01:08:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 01:09:36 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-05-15 01:13:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-15 01:23:33 +0000 | esnos | (~user@194.29.137.22) (Ping timeout: 272 seconds) |
| 2025-05-15 01:24:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 01:29:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 01:35:42 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 01:35:45 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-15 01:36:03 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 01:39:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 01:41:29 +0000 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
| 2025-05-15 01:45:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 01:53:58 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-05-15 01:57:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 01:59:30 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 01:59:51 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 02:02:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-15 02:13:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 02:17:04 +0000 | td_ | (~td@i5387091D.versanet.de) (Ping timeout: 260 seconds) |
| 2025-05-15 02:18:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-15 02:18:49 +0000 | td_ | (~td@i53870932.versanet.de) |
| 2025-05-15 02:28:09 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-15 02:28:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 02:31:48 +0000 | droideqa | (uid499291@user/droideqa) (Quit: Connection closed for inactivity) |
| 2025-05-15 02:33:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-15 02:44:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 02:46:46 +0000 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) jmorris |
| 2025-05-15 02:49:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-15 02:57:53 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-15 02:58:35 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-15 03:00:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 03:04:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 03:15:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 03:22:38 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2025-05-15 03:23:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 03:24:37 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-15 03:31:46 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 03:32:08 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 03:33:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 03:35:50 +0000 | aforemny_ | (~aforemny@2001:9e8:6ce6:1d00:ecc9:c46:5d43:45e6) aforemny |
| 2025-05-15 03:36:31 +0000 | aforemny | (~aforemny@i577B138D.versanet.de) (Ping timeout: 244 seconds) |
| 2025-05-15 03:38:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 03:40:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 03:41:57 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 03:42:19 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 03:45:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-15 03:55:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 03:56:32 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 252 seconds) |
| 2025-05-15 03:56:45 +0000 | YoungFrawg | (~youngfrog@2a02:a03f:ca07:f900:a9b8:a3d6:d29f:10e6) youngfrog |
| 2025-05-15 03:57:48 +0000 | YoungFrawg | YoungFrog |
| 2025-05-15 04:00:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-15 04:06:15 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 04:06:38 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 04:09:42 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-15 04:10:06 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Ping timeout: 252 seconds) |
| 2025-05-15 04:11:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 04:14:29 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 04:15:13 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-15 04:16:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-15 04:20:13 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 04:20:34 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 04:20:39 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-15 04:20:40 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 04:24:18 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-15 04:25:05 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-05-15 04:25:27 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 04:25:29 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-05-15 04:25:48 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 04:25:57 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-05-15 04:27:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 04:32:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 04:38:39 +0000 | <EvanR> | serendipitous use for RWS monad, since the core transition is given as step :: Instr -> VM -> VM and not monadic, but it then can't PRINT anything... split it into R=big vector of instructions, S=VM, W=the output which is used in the PRINT case. Other instructions use modify (step instr) |
| 2025-05-15 04:41:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 04:46:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 04:51:25 +0000 | manwithluck | (~manwithlu@2a09:bac5:5084:2387::38a:39) (Ping timeout: 276 seconds) |
| 2025-05-15 04:51:53 +0000 | manwithluck | (~manwithlu@2a09:bac5:5084:2387::38a:3b) manwithluck |
| 2025-05-15 04:53:02 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-15 04:56:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 05:00:47 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2025-05-15 05:01:04 +0000 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) |
| 2025-05-15 05:02:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 05:07:24 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-05-15 05:08:49 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 05:12:31 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-15 05:12:38 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 05:12:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 05:13:48 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 05:13:48 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer) |
| 2025-05-15 05:14:20 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-15 05:17:08 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 05:17:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-15 05:24:48 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 05:25:18 +0000 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2025-05-15 05:28:17 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 05:28:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 05:33:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 05:34:37 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 05:39:09 +0000 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) |
| 2025-05-15 05:42:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 05:45:02 +0000 | octorez | (~octorez@194.32.120.77) |
| 2025-05-15 05:45:23 +0000 | <octorez> | Hi guys! |
| 2025-05-15 05:45:55 +0000 | <octorez> | I'm not sure what this is, I was referred here by "Learn You a Haskell for Great Good!" |
| 2025-05-15 05:46:03 +0000 | <octorez> | Is this like Discord? |
| 2025-05-15 05:46:10 +0000 | <octorez> | But anonymous? |
| 2025-05-15 05:47:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 05:49:46 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2025-05-15 05:50:38 +0000 | <mauke> | octorez: hi |
| 2025-05-15 05:51:11 +0000 | <mauke> | I'm not sure what exactly discord is, but IRC is the original internet text chat |
| 2025-05-15 05:51:46 +0000 | <mauke> | (and by original I mean it is older than the web) |
| 2025-05-15 05:52:27 +0000 | <mauke> | ah, I see you're using the web chat frontend |
| 2025-05-15 05:54:42 +0000 | <mauke> | octorez: I guess the answer is: yes, basically, but we don't have voice/video calls, images, reactions, threads, or message history :-) |
| 2025-05-15 05:55:20 +0000 | <mauke> | (except this channel does keep logs; see link in /topic) |
| 2025-05-15 05:55:44 +0000 | <haskellbridge> | <sm> but, unlike Discord this system is free and not profit motivated |
| 2025-05-15 05:56:15 +0000 | <mauke> | ... and that was someone from Matrix |
| 2025-05-15 05:56:53 +0000 | <haskellbridge> | <sm> yes, you can also access it via the more Discord-like (but free and decentralised) Matrix, a newer chat system |
| 2025-05-15 05:56:54 +0000 | octorez | (~octorez@194.32.120.77) (Quit: Client closed) |
| 2025-05-15 05:57:04 +0000 | <haskellbridge> | <sm> glad we cleared that up :) |
| 2025-05-15 05:57:19 +0000 | <mauke> | :-( |
| 2025-05-15 05:57:40 +0000 | <haskellbridge> | <sm> octorez is warming up a better client I'm sure |
| 2025-05-15 05:57:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 05:58:53 +0000 | <haskellbridge> | <hellwolf> https://sayo-hs.github.io/blog/heftia/heftia-part-1-1/ |
| 2025-05-15 05:58:53 +0000 | <haskellbridge> | I am bullish on this announcement. I like first-principle based approaches. |
| 2025-05-15 06:00:14 +0000 | <haskellbridge> | <sm> hah, if only we could invest in effects libraries |
| 2025-05-15 06:01:07 +0000 | <haskellbridge> | <hellwolf> > Today, the community seeks a definitive solution that ends the cycle of migration hell. |
| 2025-05-15 06:01:13 +0000 | <haskellbridge> | <hellwolf> famous last words! |
| 2025-05-15 06:02:01 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 06:02:14 +0000 | <mauke> | https://xkcd.com/927/ |
| 2025-05-15 06:04:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 06:04:33 +0000 | <haskellbridge> | <hellwolf> I know! Until one that does make a leap. I have a good feeling of heftia |
| 2025-05-15 06:05:07 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 06:05:18 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-15 06:08:02 +0000 | <haskellbridge> | <hellwolf> "Performance always has room for improvement, whereas correctness improvements are often impossible due to foundational interface compatibility. " |
| 2025-05-15 06:11:54 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 06:12:04 +0000 | <haskellbridge> | <hellwolf> "On the other hand, heftia directly implements categorical foundations described in academic papers. What I did was simply translate the types written in Agda from the papers into Haskell, confirm various isomorphisms through equational reasoning." |
| 2025-05-15 06:12:18 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 06:12:59 +0000 | <haskellbridge> | <hellwolf> https://sayo-hs.github.io/blog/heftia/heftia-part-1-3/ |
| 2025-05-15 06:13:00 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/aPfSZruSgxsHgviwfxXfMlWR/T7CzxfQNpDA (3 lines) |
| 2025-05-15 06:13:11 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-05-15 06:14:46 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 06:15:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 06:15:59 +0000 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Remote host closed the connection) |
| 2025-05-15 06:16:21 +0000 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) |
| 2025-05-15 06:19:40 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 06:21:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-15 06:21:54 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 06:23:43 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-05-15 06:25:13 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 06:28:05 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-15 06:30:30 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 06:31:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 06:33:42 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 06:36:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-15 06:36:39 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 06:43:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 06:44:31 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 06:44:52 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 06:45:13 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 06:46:10 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 06:48:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 06:49:10 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 268 seconds) |
| 2025-05-15 06:49:39 +0000 | <monochrom> | EvanR: I know of one more way to support recursive functions. You add one more kind of closures reserved for recursive functions; its environment does not have the self-reference. You add one more case of function application for that new kind of closures, and this is where you patch the environment to add the self-reference. |
| 2025-05-15 06:51:32 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-15 06:51:58 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 06:52:32 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-15 06:54:17 +0000 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-05-15 06:58:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 06:59:38 +0000 | <monochrom> | Err technically not a self-reference. The patch is only good for one level of recursive call. But that's enough because the recursive call has to go through your function application code again where you can patch again for One More Turn. |
| 2025-05-15 07:00:03 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-15 07:00:29 +0000 | <monochrom> | My https://www.cs.utoronto.ca/~trebla/CSCC24-latest/09-semantics-1.html#rec does that. I think you can translate it to SECD form. |
| 2025-05-15 07:00:42 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-15 07:00:47 +0000 | <monochrom> | err this is more direct: https://www.cs.utoronto.ca/~trebla/CSCC24-latest/09-semantics-1.html#letrec |
| 2025-05-15 07:02:48 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-15 07:04:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 07:04:20 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f4555c97e44a9e822da.dip0.t-ipconnect.de) acidjnk |
| 2025-05-15 07:05:54 +0000 | <EvanR> | oh nice |
| 2025-05-15 07:06:10 +0000 | <EvanR> | will be reading this |
| 2025-05-15 07:16:51 +0000 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-15 07:17:22 +0000 | euleritian | (~euleritia@37.4.249.248) |
| 2025-05-15 07:18:47 +0000 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-05-15 07:27:09 +0000 | octorez | (~octorez@194.32.120.60) |
| 2025-05-15 07:29:51 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-15 07:29:55 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 07:32:48 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 07:33:09 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 07:33:23 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 07:41:18 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-05-15 07:42:17 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-05-15 07:47:28 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-15 07:47:45 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-15 07:57:30 +0000 | chele | (~chele@user/chele) chele |
| 2025-05-15 08:03:10 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-05-15 08:06:36 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-15 08:08:10 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-15 08:16:33 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-05-15 08:17:45 +0000 | octorez | (~octorez@194.32.120.60) (Quit: Client closed) |
| 2025-05-15 08:19:48 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 08:20:12 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 08:24:06 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 08:36:59 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-15 08:37:19 +0000 | <yin> | is it normal that the more i experiment with haskell, the more i want the type system to have a type system? |
| 2025-05-15 08:39:28 +0000 | <tomsmeding> | % :k Maybe |
| 2025-05-15 08:39:29 +0000 | <yahb2> | Maybe :: * -> * |
| 2025-05-15 08:44:02 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-15 08:45:25 +0000 | <hellwolf> | no on expected the type-in-type inquisition. |
| 2025-05-15 08:46:02 +0000 | <tomsmeding> | % data Strange = Strange Type |
| 2025-05-15 08:46:02 +0000 | <yahb2> | <no output> |
| 2025-05-15 08:46:09 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f4555c97e44a9e822da.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-15 08:47:17 +0000 | <hellwolf> | Kind in a typed land |
| 2025-05-15 08:47:50 +0000 | hellwolf | throwing random references |
| 2025-05-15 08:52:12 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-05-15 08:58:41 +0000 | Square2 | (~Square@user/square) Square |
| 2025-05-15 09:00:50 +0000 | Square | (~Square4@user/square) Square |
| 2025-05-15 09:03:19 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-15 09:03:25 +0000 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-05-15 09:08:26 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-15 09:18:00 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 09:18:33 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-15 09:20:49 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-15 09:23:34 +0000 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 09:24:59 +0000 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 09:26:27 +0000 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-15 09:26:31 +0000 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 09:27:53 +0000 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 09:29:21 +0000 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 09:30:35 +0000 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 09:31:21 +0000 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 09:32:31 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-15 09:33:52 +0000 | pierrot | (~pi@user/pierrot) (Ping timeout: 252 seconds) |
| 2025-05-15 09:33:55 +0000 | img | (~img@user/img) img |
| 2025-05-15 09:34:56 +0000 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 09:35:12 +0000 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 09:36:02 +0000 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 09:36:18 +0000 | pierrot | (~pi@user/pierrot) pierrot |
| 2025-05-15 09:36:18 +0000 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 09:37:10 +0000 | <ski> | @kind Eq |
| 2025-05-15 09:37:11 +0000 | <lambdabot> | * -> Constraint |
| 2025-05-15 09:37:29 +0000 | <ski> | @kind Functor |
| 2025-05-15 09:37:29 +0000 | <lambdabot> | (* -> *) -> Constraint |
| 2025-05-15 09:37:48 +0000 | <ski> | @kind StateT |
| 2025-05-15 09:37:49 +0000 | <lambdabot> | * -> (* -> *) -> * -> * |
| 2025-05-15 09:38:17 +0000 | <ski> | yin ^ |
| 2025-05-15 09:42:38 +0000 | nullobject | (~josh@user/nullobject) (Quit: WeeChat 4.1.1) |
| 2025-05-15 09:42:53 +0000 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 09:46:41 +0000 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 09:47:44 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-15 09:47:59 +0000 | euleritian | (~euleritia@37.4.249.248) (Ping timeout: 260 seconds) |
| 2025-05-15 09:48:09 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 09:48:55 +0000 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) |
| 2025-05-15 09:49:55 +0000 | rncwnd_ | (~quassel@2a01:4f8:221:27c6::1) (Remote host closed the connection) |
| 2025-05-15 09:54:30 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 265 seconds) |
| 2025-05-15 09:58:52 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 276 seconds) |
| 2025-05-15 10:07:42 +0000 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 10:14:53 +0000 | nullobject | (~josh@user/nullobject) (WeeChat 4.1.1) |
| 2025-05-15 10:16:44 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-15 10:20:15 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2025-05-15 10:21:03 +0000 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 10:24:49 +0000 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 10:30:29 +0000 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 10:31:55 +0000 | koz | (~koz@121.99.240.58) (Ping timeout: 260 seconds) |
| 2025-05-15 10:32:12 +0000 | koz | (~koz@121.99.240.58) |
| 2025-05-15 10:43:17 +0000 | <yin> | what is this, a type system for ants? |
| 2025-05-15 10:43:36 +0000 | <yin> | it has got to be at least 4 times bigger |
| 2025-05-15 10:55:22 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-05-15 11:00:04 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-15 11:01:56 +0000 | jespada | (~jespada@r167-61-130-171.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 11:02:15 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-15 11:02:24 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds) |
| 2025-05-15 11:04:35 +0000 | feetwind | (~mike@user/feetwind) (Ping timeout: 260 seconds) |
| 2025-05-15 11:16:40 +0000 | feetwind | (~mike@user/feetwind) feetwind |
| 2025-05-15 11:20:52 +0000 | xff0x | (~xff0x@2405:6580:b080:900:7ed8:b8a6:621a:b979) |
| 2025-05-15 11:22:08 +0000 | <tomsmeding> | % :set -XNoStarIsType |
| 2025-05-15 11:22:08 +0000 | <yahb2> | <no output> |
| 2025-05-15 11:22:11 +0000 | <tomsmeding> | % :k Maybe |
| 2025-05-15 11:22:11 +0000 | <yahb2> | Maybe :: Type -> Type |
| 2025-05-15 11:22:15 +0000 | <tomsmeding> | yin: that big enough for you? |
| 2025-05-15 11:22:25 +0000 | <tomsmeding> | % length "Type" `div` length "*" |
| 2025-05-15 11:22:25 +0000 | <yahb2> | 4 |
| 2025-05-15 11:33:37 +0000 | jespada | (~jespada@r167-61-130-171.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-05-15 11:36:53 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 248 seconds) |
| 2025-05-15 11:44:41 +0000 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 11:45:48 +0000 | nullobject | (~josh@user/nullobject) (Ping timeout: 244 seconds) |
| 2025-05-15 11:47:27 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 11:48:04 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-15 11:49:41 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 11:50:01 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 11:52:39 +0000 | <yin> | tomsmeding: :) |
| 2025-05-15 11:53:04 +0000 | <yin> | what's the best resource for getting started with Idris? |
| 2025-05-15 12:05:16 +0000 | <merijn> | yin: The tutorial? :p |
| 2025-05-15 12:05:59 +0000 | <merijn> | yin: The tutorial and most introductory Idris stuff is focussed on people coming from Haskell/ML and explaining the differences from there |
| 2025-05-15 12:09:06 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-05-15 12:09:28 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-05-15 12:19:29 +0000 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-15 12:21:46 +0000 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 12:28:22 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-05-15 12:48:27 +0000 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-05-15 12:49:13 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-15 12:49:45 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-15 12:55:47 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-15 12:57:16 +0000 | Guest63 | (~Guest63@2405:201:400a:1019:b980:9589:3aa4:3a5e) |
| 2025-05-15 12:59:15 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-15 12:59:33 +0000 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-15 12:59:51 +0000 | euleritian | (~euleritia@ip2504f9f8.dynamic.kabel-deutschland.de) |
| 2025-05-15 13:00:24 +0000 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 245 seconds) |
| 2025-05-15 13:01:45 +0000 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-05-15 13:05:25 +0000 | Guest63 | (~Guest63@2405:201:400a:1019:b980:9589:3aa4:3a5e) (Quit: Client closed) |
| 2025-05-15 13:10:45 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-05-15 13:11:39 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-15 13:12:37 +0000 | AlexNoo_ | (~AlexNoo@178.34.150.214) |
| 2025-05-15 13:14:29 +0000 | AlexZenon | (~alzenon@178.34.161.121) (Ping timeout: 248 seconds) |
| 2025-05-15 13:16:04 +0000 | AlexNoo | (~AlexNoo@178.34.161.121) (Ping timeout: 252 seconds) |
| 2025-05-15 13:16:30 +0000 | <haskellbridge> | <yin> merijn: ty |
| 2025-05-15 13:17:47 +0000 | AlexNoo_ | AlexNoo |
| 2025-05-15 13:20:45 +0000 | AlexZenon | (~alzenon@178.34.150.214) |
| 2025-05-15 13:21:26 +0000 | ubert | (~Thunderbi@p200300ecdf1b8afc99002e8c4e21755f.dip0.t-ipconnect.de) ubert |
| 2025-05-15 13:23:03 +0000 | <yin> | merijn: just to be sure, what do you mean by *the* tutorial? |
| 2025-05-15 13:23:27 +0000 | <yin> | https://idris2.readthedocs.io/en/latest/tutorial/index.html ? |
| 2025-05-15 13:24:23 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-15 13:31:01 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 248 seconds) |
| 2025-05-15 13:35:40 +0000 | <Square> | hs-source-dirs in cabal cannot be relative it seems? |
| 2025-05-15 13:36:40 +0000 | <merijn> | Square: How so? |
| 2025-05-15 13:36:51 +0000 | <merijn> | They are/should be, no? |
| 2025-05-15 13:37:21 +0000 | <Square> | It could be a haskell + nix problem. But I remember it was a known bug in cabal 2.x |
| 2025-05-15 13:37:35 +0000 | <Square> | I thought they fixed it in cabal 3 |
| 2025-05-15 13:41:27 +0000 | son0p | (~ff@2800:e6:4000:5cf7:2aa0:f8ac:1dbc:787d) son0p |
| 2025-05-15 13:44:49 +0000 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2025-05-15 13:46:46 +0000 | FragByte | (~christian@user/fragbyte) FragByte |
| 2025-05-15 13:48:13 +0000 | ubert | (~Thunderbi@p200300ecdf1b8afc99002e8c4e21755f.dip0.t-ipconnect.de) (Quit: ubert) |
| 2025-05-15 13:48:39 +0000 | <hellwolf> | huh? |
| 2025-05-15 13:48:52 +0000 | <hellwolf> | do you mean cannot be relative path from parent folders |
| 2025-05-15 13:49:16 +0000 | <hellwolf> | otherwise, it doesn't make sense, since it's the basic feature. |
| 2025-05-15 13:57:11 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 14:00:55 +0000 | <Square> | hellwolf, exactly. But yeah, could be a nix + haskell issue. |
| 2025-05-15 14:04:00 +0000 | <c_wraith> | I have never seen a non-relative path in that field |
| 2025-05-15 14:04:43 +0000 | <c_wraith> | I'm pretty sure that's what has everyone confused by the question. Of course it works with relative paths, that's the only thing anyone ever uses. |
| 2025-05-15 14:05:00 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-15 14:05:31 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-15 14:07:02 +0000 | <Square> | Ok.. to be specific. I cannot have a hs-source-dir that starts with "../some/path" |
| 2025-05-15 14:07:16 +0000 | <Square> | hs-source-dirs |
| 2025-05-15 14:08:28 +0000 | <c_wraith> | It sounds like whatever you're trying to do should be solved by cabal.project instead |
| 2025-05-15 14:23:04 +0000 | <hellwolf> | "relative path from parent folder" as I suspected. |
| 2025-05-15 14:23:16 +0000 | <hellwolf> | cabal error message should be very clear of that, as far as I remember. |
| 2025-05-15 14:23:41 +0000 | <hellwolf> | you should use cabal.project to specify a new local project, and let your other local project depend on it. |
| 2025-05-15 14:26:41 +0000 | Xe | (~Xe@perl/impostor/xe) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-15 14:28:19 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-15 14:30:49 +0000 | <merijn> | Square: relative paths outside of the root of the cabal file are not allowed an will never be, that's a feature, not a bug |
| 2025-05-15 14:31:06 +0000 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-05-15 14:31:10 +0000 | <Square> | merijn, gotcha |
| 2025-05-15 14:31:11 +0000 | <Square> | thanks |
| 2025-05-15 14:32:06 +0000 | <merijn> | Square: The intended purpose for cabal files is to describe packages (i.e. self-contained code that can go on to hackage, etc.) which means roots outside of that folder make no sense. You (probably) want a combination of cabal.project and multiple cabal files |
| 2025-05-15 14:32:26 +0000 | <hellwolf> | I remember I hacked it once with ln -s ../src . |
| 2025-05-15 14:32:35 +0000 | <hellwolf> | but that was a stupid idea. don't. |
| 2025-05-15 14:32:59 +0000 | <Square> | I wanted to test out a new project layout wo moving so many files, that was the reason I resorted to the "../" approach |
| 2025-05-15 14:33:00 +0000 | <merijn> | Since cabal.project's intended purpose is "orchestrating/configuring build configurations of (potentially) unpublished code" |
| 2025-05-15 14:33:36 +0000 | <Square> | okok |
| 2025-05-15 14:33:36 +0000 | <hellwolf> | yes. use cabal.project, it will work for your case. |
| 2025-05-15 14:34:37 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-15 14:38:41 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 14:39:04 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 14:46:26 +0000 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) |
| 2025-05-15 14:46:41 +0000 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) (Write error: Broken pipe) |
| 2025-05-15 14:46:59 +0000 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) |
| 2025-05-15 14:48:08 +0000 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) (Client Quit) |
| 2025-05-15 14:48:38 +0000 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) |
| 2025-05-15 14:50:39 +0000 | euleritian | (~euleritia@ip2504f9f8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-05-15 14:51:06 +0000 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) |
| 2025-05-15 14:52:20 +0000 | SlackCoder | (~SlackCode@66.249.153.49) SlackCoder |
| 2025-05-15 14:54:15 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) bitmapper |
| 2025-05-15 14:57:11 +0000 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) (Quit: Client closed) |
| 2025-05-15 14:58:34 +0000 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) |
| 2025-05-15 15:00:06 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2025-05-15 15:01:12 +0000 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) (Client Quit) |
| 2025-05-15 15:03:12 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-05-15 15:07:51 +0000 | SlackCoder | (~SlackCode@66.249.153.49) (Read error: Connection reset by peer) |
| 2025-05-15 15:07:59 +0000 | SlackCoder | (~SlackCode@66.249.153.49) SlackCoder |
| 2025-05-15 15:09:16 +0000 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-05-15 15:10:02 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-15 15:10:27 +0000 | APic | (apic@apic.name) (Ping timeout: 252 seconds) |
| 2025-05-15 15:11:19 +0000 | michalz_ | (~michalz@185.246.207.193) (Ping timeout: 272 seconds) |
| 2025-05-15 15:11:59 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-15 15:12:09 +0000 | michalz | (~michalz@185.246.207.218) |
| 2025-05-15 15:12:17 +0000 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) (Ping timeout: 252 seconds) |
| 2025-05-15 15:12:21 +0000 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-05-15 15:12:21 +0000 | adamCS | (~adamCS@70.19.85.77) (Ping timeout: 248 seconds) |
| 2025-05-15 15:12:30 +0000 | adamCS | (~adamCS@70.19.85.77) adamCS |
| 2025-05-15 15:13:01 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2025-05-15 15:13:14 +0000 | Digit | (~user@user/digit) Digit |
| 2025-05-15 15:13:19 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-05-15 15:13:23 +0000 | jaror | (~jaror@5070ACC7.static.ziggozakelijk.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 15:13:33 +0000 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
| 2025-05-15 15:15:01 +0000 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 248 seconds) |
| 2025-05-15 15:15:09 +0000 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2025-05-15 15:15:16 +0000 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-05-15 15:15:21 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-15 15:15:33 +0000 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-05-15 15:17:41 +0000 | Ekho | (~Ekho@user/ekho) (Ping timeout: 248 seconds) |
| 2025-05-15 15:18:57 +0000 | yin | (~z@user/zero) (Quit: quit) |
| 2025-05-15 15:21:57 +0000 | spew | (~spew@135.233.119.40) (Ping timeout: 248 seconds) |
| 2025-05-15 15:21:59 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-05-15 15:22:55 +0000 | Logio | (em@kapsi.fi) (Ping timeout: 252 seconds) |
| 2025-05-15 15:23:17 +0000 | nckx | (~nckx@libera/staff/owl/nckx) (Ping timeout: 252 seconds) |
| 2025-05-15 15:24:45 +0000 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-15 15:24:59 +0000 | nckx | (~nckx@libera/staff/owl/nckx) nckx |
| 2025-05-15 15:27:19 +0000 | _xor | (~xor@ip-50-5-4-25.dynamic.fuse.net) (Ping timeout: 252 seconds) |
| 2025-05-15 15:28:21 +0000 | srk | (~sorki@user/srk) (Ping timeout: 248 seconds) |
| 2025-05-15 15:30:11 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-15 15:30:25 +0000 | gehmehgeh | gmg |
| 2025-05-15 15:31:06 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-15 15:32:27 +0000 | deriamis | (nobody@172-232-162-115.ip.linodeusercontent.com) (Ping timeout: 252 seconds) |
| 2025-05-15 15:32:42 +0000 | deriamis | (nobody@2600:3c0a::f03c:95ff:fee8:f335) deriamis |
| 2025-05-15 15:34:17 +0000 | kimiamania99 | (~65804703@user/kimiamania) (Ping timeout: 252 seconds) |
| 2025-05-15 15:35:17 +0000 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Ping timeout: 248 seconds) |
| 2025-05-15 15:36:19 +0000 | potatoespotatoes | (~quassel@130.44.147.204) |
| 2025-05-15 15:36:19 +0000 | potatoespotatoes | (~quassel@130.44.147.204) (Changing host) |
| 2025-05-15 15:36:19 +0000 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-05-15 15:36:20 +0000 | APic | (apic@apic.name) APic |
| 2025-05-15 15:36:30 +0000 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) hackager |
| 2025-05-15 15:36:30 +0000 | ChanServ | +v haskellbridge |
| 2025-05-15 15:37:18 +0000 | kimiamania99 | (~65804703@user/kimiamania) kimiamania |
| 2025-05-15 15:38:18 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-05-15 15:38:20 +0000 | Logio | (~em@kapsi.fi) Logio |
| 2025-05-15 15:43:41 +0000 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 244 seconds) |
| 2025-05-15 15:43:42 +0000 | SlackCoder | (~SlackCode@66.249.153.49) (Quit: Leaving) |
| 2025-05-15 15:48:59 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-15 15:49:15 +0000 | srk | (~sorki@user/srk) srk |
| 2025-05-15 15:50:32 +0000 | manwithluck | (~manwithlu@2a09:bac5:5084:2387::38a:3b) (Remote host closed the connection) |
| 2025-05-15 15:50:48 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 15:54:26 +0000 | manwithluck | (~manwithlu@2a09:bac5:5084:2387::38a:3b) manwithluck |
| 2025-05-15 15:59:03 +0000 | notzmv | (~daniel@user/notzmv) notzmv |
| 2025-05-15 15:59:27 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-05-15 16:04:13 +0000 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2025-05-15 16:04:46 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-05-15 16:08:45 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-05-15 16:12:03 +0000 | spew | (~spew@135.233.119.40) spew |
| 2025-05-15 16:14:57 +0000 | jason_davidson | (~jason.dav@user/jason-davidson:57402) (Quit: WeeChat 4.5.1) |
| 2025-05-15 16:15:49 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-15 16:24:20 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 2025-05-15 16:25:01 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-05-15 16:28:24 +0000 | jason2 | (~jason.dav@2800:bf0:177:7c0:7c42:c81b:da96:dda6) |
| 2025-05-15 16:29:26 +0000 | yin | (~z@user/zero) zero |
| 2025-05-15 16:30:35 +0000 | Ekho | (~Ekho@user/ekho) Ekho |
| 2025-05-15 16:31:48 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 16:33:10 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-05-15 16:37:08 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-05-15 16:39:04 +0000 | yin | (~z@user/zero) (Quit: quit) |
| 2025-05-15 16:39:55 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-15 16:39:55 +0000 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2025-05-15 16:40:35 +0000 | yin | (~z@user/zero) zero |
| 2025-05-15 16:42:55 +0000 | symbient | (~symbient@93-38-73-32.ip69.fastwebnet.it) |
| 2025-05-15 16:45:10 +0000 | <EvanR> | yin, zoolander reference. Can't tell if this movie was genius or terrible |
| 2025-05-15 16:45:17 +0000 | <symbient> | which is in your opinion best insights for the definitions of the functions when you are trying to make it cleaner and optimize structure |
| 2025-05-15 16:46:07 +0000 | symbient | (~symbient@93-38-73-32.ip69.fastwebnet.it) (Remote host closed the connection) |
| 2025-05-15 16:46:15 +0000 | <hellwolf> | yoneda lemma. and bye. |
| 2025-05-15 16:46:30 +0000 | <hellwolf> | that's a drive by question. |
| 2025-05-15 16:46:33 +0000 | symbient | (~symbient@93-38-73-32.ip69.fastwebnet.it) |
| 2025-05-15 16:46:55 +0000 | symbient | (~symbient@93-38-73-32.ip69.fastwebnet.it) (Read error: Connection reset by peer) |
| 2025-05-15 16:47:05 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 16:48:21 +0000 | symbient | (~symbient@93-38-73-32.ip69.fastwebnet.it) |
| 2025-05-15 16:49:06 +0000 | symbient | (~symbient@93-38-73-32.ip69.fastwebnet.it) (Read error: Connection reset by peer) |
| 2025-05-15 16:49:59 +0000 | symbient | (~symbient@93-38-73-32.ip69.fastwebnet.it) |
| 2025-05-15 16:54:08 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-15 16:54:13 +0000 | Square2 | (~Square@user/square) Square |
| 2025-05-15 16:54:13 +0000 | symbient | (~symbient@93-38-73-32.ip69.fastwebnet.it) (Ping timeout: 248 seconds) |
| 2025-05-15 16:57:14 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-15 16:57:54 +0000 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-05-15 17:00:01 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-15 17:00:33 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2025-05-15 17:02:01 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-15 17:02:35 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2025-05-15 17:03:23 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-05-15 17:03:33 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-15 17:04:52 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-15 17:11:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 17:14:02 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-15 17:16:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 17:16:17 +0000 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
| 2025-05-15 17:20:37 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-15 17:22:04 +0000 | <hellwolf> | I predict this will be an interesting thread between two effect library authors: https://discourse.haskell.org/t/ann-a-series-of-articles-on-heftia-the-final-word-in-haskell-effec… |
| 2025-05-15 17:24:25 +0000 | euleritian | (~euleritia@dynamic-176-000-059-010.176.0.pool.telefonica.de) |
| 2025-05-15 17:26:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 17:33:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 17:34:11 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-15 17:34:23 +0000 | euleritian | (~euleritia@dynamic-176-000-059-010.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-15 17:34:41 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-15 17:35:55 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 17:38:11 +0000 | jason2 | jason_davidson |
| 2025-05-15 17:38:15 +0000 | jason_davidson | (~jason.dav@2800:bf0:177:7c0:7c42:c81b:da96:dda6) (Changing host) |
| 2025-05-15 17:38:15 +0000 | jason_davidson | (~jason.dav@user/jason-davidson:57402) jason_davidson |
| 2025-05-15 17:42:02 +0000 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 17:45:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 17:45:46 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-15 17:49:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 17:52:44 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f453148b790f5eba778.dip0.t-ipconnect.de) acidjnk |
| 2025-05-15 18:00:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 18:01:44 +0000 | sprotte24 | (~sprotte24@p200300d16f0fe6004d89544af78e53f5.dip0.t-ipconnect.de) |
| 2025-05-15 18:05:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 18:06:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 18:08:01 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-15 18:11:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-15 18:14:04 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-15 18:15:26 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-05-15 18:15:46 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-05-15 18:17:21 +0000 | myme | (~myme@2a01:799:d5e:5f00:1c16:e41e:c241:8a37) (Ping timeout: 248 seconds) |
| 2025-05-15 18:18:14 +0000 | myme | (~myme@2a01:799:d5e:5f00:3879:366:467e:f5c) myme |
| 2025-05-15 18:19:12 +0000 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2025-05-15 18:22:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 18:24:04 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-15 18:26:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-15 18:27:11 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-15 18:28:16 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-05-15 18:28:17 +0000 | ljdarj1 | ljdarj |
| 2025-05-15 18:37:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 18:42:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 18:42:40 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 18:43:45 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-15 18:50:34 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2025-05-15 18:53:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 18:58:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-15 18:59:13 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-05-15 18:59:56 +0000 | euleritian | (~euleritia@dynamic-176-000-059-010.176.0.pool.telefonica.de) |
| 2025-05-15 19:00:01 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-15 19:00:18 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-15 19:00:40 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-15 19:08:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 19:10:41 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-15 19:13:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 19:16:35 +0000 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-15 19:17:02 +0000 | euleritian | (~euleritia@dynamic-176-000-059-010.176.0.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2025-05-15 19:19:36 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 19:19:55 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 19:21:25 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-15 19:22:44 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-15 19:24:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 19:25:23 +0000 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 19:29:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 19:30:03 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-15 19:31:36 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 19:31:58 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 19:32:23 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-15 19:32:57 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 19:34:31 +0000 | bunnies | kitties |
| 2025-05-15 19:36:31 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-15 19:39:41 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 19:39:48 +0000 | euleritian | (~euleritia@dynamic-176-006-130-024.176.6.pool.telefonica.de) |
| 2025-05-15 19:40:01 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 19:40:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 19:42:00 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-15 19:45:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-15 19:45:50 +0000 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 2025-05-15 19:47:59 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-15 19:48:15 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-05-15 19:52:04 +0000 | Digit | (~user@user/digit) Digit |
| 2025-05-15 19:56:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 20:01:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 20:01:22 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-15 20:03:02 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Client Quit) |
| 2025-05-15 20:05:55 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-05-15 20:12:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 20:12:51 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-05-15 20:14:50 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-15 20:16:37 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-15 20:18:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 20:20:39 +0000 | euleritian | (~euleritia@dynamic-176-006-130-024.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-15 20:20:59 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-15 20:21:29 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) bitmapper |
| 2025-05-15 20:24:24 +0000 | visilii_ | (~visilii@85.172.77.173) |
| 2025-05-15 20:26:07 +0000 | visilii | (~visilii@85.94.27.220) (Ping timeout: 276 seconds) |
| 2025-05-15 20:30:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 20:31:40 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 20:32:02 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 20:32:57 +0000 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-15 20:35:11 +0000 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 20:35:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 20:38:18 +0000 | Square | (~Square4@user/square) Square |
| 2025-05-15 20:42:33 +0000 | Square2 | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2025-05-15 20:45:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 20:51:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-15 20:54:46 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-15 20:58:24 +0000 | Square2 | (~Square@user/square) Square |
| 2025-05-15 21:00:15 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 21:00:36 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 21:01:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 21:02:57 +0000 | Square2 | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2025-05-15 21:06:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 21:09:12 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-15 21:09:49 +0000 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 21:14:12 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-15 21:17:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 21:18:31 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 21:18:35 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-15 21:22:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-15 21:33:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 21:34:13 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-15 21:34:22 +0000 | visilii_ | (~visilii@85.172.77.173) (Ping timeout: 276 seconds) |
| 2025-05-15 21:35:06 +0000 | visilii | (~visilii@81.177.126.61) |
| 2025-05-15 21:37:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 21:46:53 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-15 21:47:27 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 21:47:54 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-15 21:49:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 21:53:07 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-15 21:53:08 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 21:56:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 21:58:03 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-05-15 21:58:05 +0000 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) |
| 2025-05-15 21:58:48 +0000 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Remote host closed the connection) |
| 2025-05-15 21:59:30 +0000 | <hellwolf> | is merijn okay |
| 2025-05-15 21:59:31 +0000 | wickedjargon | (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) wickedjargon |
| 2025-05-15 22:02:08 +0000 | <monochrom> | Yes. But macOS is not okay, hence the frequent cycle. |
| 2025-05-15 22:02:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 22:03:41 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-15 22:07:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-15 22:09:32 +0000 | <haskellbridge> | <sm> merijn's IRC client is making low traffic channels less usable for me |
| 2025-05-15 22:10:52 +0000 | sprotte24 | (~sprotte24@p200300d16f0fe6004d89544af78e53f5.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-15 22:18:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 22:21:42 +0000 | <tomsmeding> | go complain at your irc client vendor to implement a feature hiding join/leave events if those nicks aren't saying anything anyway |
| 2025-05-15 22:21:45 +0000 | <tomsmeding> | (weechat has this built in) |
| 2025-05-15 22:23:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-15 22:24:05 +0000 | <haskellbridge> | <sm> I can hide them of course, but then I lose useful information about drive by questions etc. I think it's bad form to be constantly joining/leaving 24/7 |
| 2025-05-15 22:24:34 +0000 | <haskellbridge> | <sm> together with being unresponsive |
| 2025-05-15 22:25:40 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-15 22:25:44 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 22:26:03 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 22:28:03 +0000 | <int-e> | . o O ( irssi could do /ignore merijn JOINS PARTS QUITS ) |
| 2025-05-15 22:28:34 +0000 | <hellwolf> | thank you, ityped that in rcirc, and now my toaster is on |
| 2025-05-15 22:29:11 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-05-15 22:33:22 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 22:33:44 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 22:34:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 22:34:32 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-15 22:35:29 +0000 | <haskellbridge> | <sm> (example:) |
| 2025-05-15 22:35:41 +0000 | <haskellbridge> | <sm> https://kf8nh.com/_heisenbridge/media/matrix.org/SjmkPwmlbSGWXycvLvhVfyJJ/_Ishca76mvI/image.png |
| 2025-05-15 22:39:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 22:41:39 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-05-15 22:50:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 22:54:36 +0000 | nullobject | (~josh@user/nullobject) (Ping timeout: 265 seconds) |
| 2025-05-15 22:54:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 22:56:13 +0000 | <TMA> | sm: it might not be the client but the ISP that is too aggressive to drop "inactive" TCP streams |
| 2025-05-15 22:56:41 +0000 | <haskellbridge> | <sm> 👍️ |
| 2025-05-15 22:56:44 +0000 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) jmorris |
| 2025-05-15 22:57:19 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-15 22:57:24 +0000 | <TMA> | the default of sending keepalive packets is about an hour |
| 2025-05-15 22:58:38 +0000 | <TMA> | but some routers/NATs are configured to drop the connection (without bothering to announce it properly via ICMP) in several minutes |
| 2025-05-15 23:00:32 +0000 | <haskellbridge> | <sm> merijn's connected durations aren't all exactly 5m, but close to it |
| 2025-05-15 23:00:51 +0000 | <Leary> | sm: This is why I like glirc: https://i.imgur.com/yWsxm95.png |
| 2025-05-15 23:01:31 +0000 | <TMA> | you can tell if it is the case by speaking in merijn-connected channel periodically and observing whether they disconnect approx 5 minutes after you stop |
| 2025-05-15 23:01:50 +0000 | <haskellbridge> | <sm> and they reconnect not always but usually after 11m |
| 2025-05-15 23:02:40 +0000 | <TMA> | that looks like autoreconnect with 10 minutes timeout and 1 minute for recognizing the disconnection |
| 2025-05-15 23:05:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 23:06:00 +0000 | <haskellbridge> | <sm> reconnecting in.. boom |
| 2025-05-15 23:06:56 +0000 | <haskellbridge> | <sm> it'll disconnect in 5m regardless of us talking I think |
| 2025-05-15 23:07:00 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 23:07:28 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 23:07:44 +0000 | xff0x | (~xff0x@2405:6580:b080:900:7ed8:b8a6:621a:b979) (Ping timeout: 260 seconds) |
| 2025-05-15 23:07:45 +0000 | <sm> | merijn, pinging you again about your IRC connection, please respond if you can see this |
| 2025-05-15 23:08:05 +0000 | manwithluck | (~manwithlu@2a09:bac5:5084:2387::38a:3b) (Ping timeout: 248 seconds) |
| 2025-05-15 23:08:38 +0000 | manwithluck | (~manwithlu@2a09:bac5:5082:2387::38a:10) manwithluck |
| 2025-05-15 23:10:52 +0000 | <haskellbridge> | <sm> disconnecting in 5.. 4.. |
| 2025-05-15 23:11:06 +0000 | Clint | squints. |
| 2025-05-15 23:11:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-15 23:11:18 +0000 | <Clint> | close enough |
| 2025-05-15 23:13:21 +0000 | <haskellbridge> | <sm> merijn didn't respond last time I pinged, maybe an IRC op could reach them ? |
| 2025-05-15 23:15:46 +0000 | <TMA> | my theory is invalidated |
| 2025-05-15 23:16:50 +0000 | <EvanR> | sm: the C channel soft kickbans you if you leave and join twice too quickly |
| 2025-05-15 23:20:01 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-15 23:20:25 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-05-15 23:20:31 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-15 23:21:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 23:21:54 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-15 23:22:40 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-15 23:25:55 +0000 | <monochrom> | A long time ago merijn explained it. Something about macOS going to sleep then waking up on LAN. |
| 2025-05-15 23:26:11 +0000 | <haskellbridge> | <sm> 👀 |
| 2025-05-15 23:26:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 23:26:41 +0000 | <haskellbridge> | <sm> perhaps he should use a bouncer like me ? |
| 2025-05-15 23:27:27 +0000 | <monochrom> | I use a bouncer, but I don't want to be imposing and say "everyone must shell out extra money for an extra PC or shell account to run a bouncer". |
| 2025-05-15 23:27:41 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-15 23:27:50 +0000 | <haskellbridge> | <sm> or configure his mac differently ? or his irc client ? out of kind regard for the room ? |
| 2025-05-15 23:28:55 +0000 | <monochrom> | But you can count me biased because I am not affected by other people frequently cycling. |
| 2025-05-15 23:28:56 +0000 | <haskellbridge> | <sm> I mean, intermittent 5m slices of channel history isn't very useful to him either |
| 2025-05-15 23:29:45 +0000 | <haskellbridge> | <sm> I will drop this urgent matter for now :) |
| 2025-05-15 23:30:08 +0000 | <monochrom> | Oh, I have long accepted that people who learn from history are bound to helplessly watch other people repeat it! |
| 2025-05-15 23:30:19 +0000 | <int-e> | I for one am more bothered by this discussion than by merijns rejoins and no, I'm not ignoring those. Why? Because they don't show up as channel activity. |
| 2025-05-15 23:30:46 +0000 | <int-e> | And it's pretty far off topic. |
| 2025-05-15 23:31:24 +0000 | <haskellbridge> | <sm> They do for some of us int-e, as in my screenshot. Having to turn those off entirely and sacrifice all join/leave awareness because of one person's config is silly, don't you think ? |
| 2025-05-15 23:31:59 +0000 | <int-e> | they're in the (back-)log, but the channel doesn't show as active when somebody parts or joins |
| 2025-05-15 23:32:22 +0000 | <haskellbridge> | <sm> I don't know what that means, it sounds client specific |
| 2025-05-15 23:32:43 +0000 | <int-e> | this entire "problem" is client specific |
| 2025-05-15 23:32:49 +0000 | int-e | shrugs |
| 2025-05-15 23:33:01 +0000 | <haskellbridge> | <sm> sure, but the root cause is merijn |
| 2025-05-15 23:33:19 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f453148b790f5eba778.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-05-15 23:33:53 +0000 | flounders | (~flounders@2607:fb90:ee09:4f99:c6b8:4dd2:346a:a4b4) flounders |
| 2025-05-15 23:34:15 +0000 | <EvanR> | yeah a specific client could discard specifically merijn's join quits |
| 2025-05-15 23:34:45 +0000 | <EvanR> | and fixing merijn's connection will not save you from it happening to some random other person, but a specific client would |
| 2025-05-15 23:34:48 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-05-15 23:35:23 +0000 | <EvanR> | another improvement discord made on IRC, no one knows who joined or quit xD |
| 2025-05-15 23:37:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 23:38:12 +0000 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-15 23:42:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 23:43:55 +0000 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-05-15 23:48:18 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-15 23:49:13 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-15 23:50:12 +0000 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2025-05-15 23:50:14 +0000 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 23:50:45 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 23:53:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 23:58:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
