2025-03-22 00:00:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 00:03:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 00:04:10 +0100 | <monochrom> | :) |
2025-03-22 00:04:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-03-22 00:06:37 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-03-22 00:07:56 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-03-22 00:08:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 00:09:04 +0100 | <EvanR> | escaping hell with monads is so great |
2025-03-22 00:09:33 +0100 | <EvanR> | I just wish there was an escaping hell with functor to go with it / before it |
2025-03-22 00:10:39 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-03-22 00:19:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 00:24:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 00:35:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 00:38:12 +0100 | <monochrom> | Generally "escaping hell with function programming" is what we need to include all of the above and more. |
2025-03-22 00:39:31 +0100 | <monochrom> | There is now a functional programming playing card deck. Some conference was handing out them to attendees. |
2025-03-22 00:40:34 +0100 | <monochrom> | My student went and got one and showed me. He first let me randomly drew one card. I drew the monad card. (Other cards are like: GADT, Scheme macros, shift-reset, ...) |
2025-03-22 00:41:23 +0100 | <monochrom> | I don't normally believe in Tarot cards, but FP cards seems to have better predictive power! |
2025-03-22 00:42:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-22 00:46:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 00:46:51 +0100 | ski | . o O ( "Ccard V2.0 - a category theory card game" <http://www.verify-it.de/sub/ccard/index.html> ) |
2025-03-22 00:51:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
2025-03-22 00:51:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 00:54:51 +0100 | <EvanR> | scheme macros |
2025-03-22 00:54:55 +0100 | <EvanR> | is that all it says |
2025-03-22 00:55:00 +0100 | <EvanR> | or is there flavor text at least |
2025-03-22 00:56:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-03-22 00:58:07 +0100 | geekosaur | notes that ski's link doesn't seem to describe the same game |
2025-03-22 00:58:30 +0100 | <geekosaur> | it appears to all be CT statements of increasing complexity |
2025-03-22 00:59:26 +0100 | geekosaur | also wonders if the one monochrom is talking about is more like Tarot, or more like M:tG |
2025-03-22 01:03:37 +0100 | Yumemi | (~Yumemi@chamoin.net) (Quit: .) |
2025-03-22 01:04:28 +0100 | Yumemi | (~Yumemi@chamoin.net) Yumemi |
2025-03-22 01:06:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-22 01:07:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 01:09:15 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 246 seconds) |
2025-03-22 01:10:52 +0100 | sonny | (~sonny@142.113.172.116) sonny |
2025-03-22 01:11:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 01:15:19 +0100 | sonny | (~sonny@142.113.172.116) () |
2025-03-22 01:17:06 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2025-03-22 01:17:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-22 01:18:21 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f6518434db087d421fc.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2025-03-22 01:22:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 01:23:19 +0100 | sprotte24 | (~sprotte24@p200300d16f266c002dc4a2d25f2ad6fe.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-03-22 01:27:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 01:29:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-03-22 01:32:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 01:34:02 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-03-22 01:34:21 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-22 01:36:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-22 01:38:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 01:42:28 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 245 seconds) |
2025-03-22 01:43:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 01:45:18 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-03-22 01:48:30 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:314f:c6fc:a776:72e4) (Read error: Connection reset by peer) |
2025-03-22 01:53:33 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2025-03-22 01:53:59 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-22 01:54:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 01:59:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 02:05:10 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
2025-03-22 02:10:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 02:10:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-03-22 02:15:31 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-03-22 02:16:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 02:18:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 02:21:48 +0100 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
2025-03-22 02:23:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-22 02:23:48 +0100 | alp | (~alp@2001:861:8ca0:4940:4f32:5e1f:632d:94e1) (Ping timeout: 246 seconds) |
2025-03-22 02:26:26 +0100 | malte | (~malte@mal.tc) malte |
2025-03-22 02:28:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 02:32:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-03-22 02:32:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-03-22 02:44:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 02:45:44 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 265 seconds) |
2025-03-22 02:48:23 +0100 | JuanDaugherty | ColinRobinson |
2025-03-22 02:48:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 02:58:09 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-03-22 02:59:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 03:01:35 +0100 | catties | Catty |
2025-03-22 03:04:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 03:04:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 03:09:22 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-22 03:15:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 03:18:07 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2025-03-22 03:21:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-22 03:24:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 03:29:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 03:42:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 03:47:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 03:50:17 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 03:52:30 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-03-22 03:54:42 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-22 03:55:13 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2025-03-22 03:55:55 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-03-22 03:58:02 +0100 | <haskellbridge> | <Bowuigi> The link was broken for me but it's available on https://web.archive.org/web/20240813095622/www.verify-it.de/sub/ccard/index.html |
2025-03-22 03:58:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 03:58:25 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-03-22 04:01:19 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-22 04:03:23 +0100 | kh0d_ | (~kh0d@212.200.181.160) |
2025-03-22 04:03:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-22 04:06:12 +0100 | kh0d | (~kh0d@212.200.65.86) (Ping timeout: 252 seconds) |
2025-03-22 04:09:57 +0100 | tavare | (~tavare@150.129.88.189) |
2025-03-22 04:09:57 +0100 | tavare | (~tavare@150.129.88.189) (Changing host) |
2025-03-22 04:09:57 +0100 | tavare | (~tavare@user/tavare) tavare |
2025-03-22 04:13:34 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
2025-03-22 04:15:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 04:20:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-22 04:31:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 04:35:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 04:36:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 04:40:05 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-22 04:45:55 +0100 | kh0d_ | (~kh0d@212.200.181.160) (Remote host closed the connection) |
2025-03-22 04:46:27 +0100 | kh0d | (~kh0d@212.200.181.160) kh0d |
2025-03-22 04:47:09 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) (Quit: No Ping reply in 180 seconds.) |
2025-03-22 04:47:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 04:48:18 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
2025-03-22 04:50:33 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-03-22 04:51:30 +0100 | euleritian | (~euleritia@95.90.214.149) |
2025-03-22 04:52:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 04:53:08 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
2025-03-22 04:53:43 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
2025-03-22 04:54:36 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
2025-03-22 04:58:00 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
2025-03-22 04:58:39 +0100 | tromp | (~textual@2a02:a210:cba:8500:40b3:acb4:4579:83af) (Ping timeout: 265 seconds) |
2025-03-22 05:00:04 +0100 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
2025-03-22 05:03:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 05:08:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 05:14:31 +0100 | euleritian | (~euleritia@95.90.214.149) (Read error: Connection reset by peer) |
2025-03-22 05:15:03 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-22 05:18:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 05:19:54 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
2025-03-22 05:20:43 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 05:23:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-22 05:25:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-22 05:34:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 05:37:06 +0100 | <ski> | worked for me, Bowuigi (although only with HTTP, not with with HTTPS) |
2025-03-22 05:38:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 05:42:03 +0100 | <haskellbridge> | <Bowuigi> I tried http but it didn't work, maybe my browser cached the 404 lol |
2025-03-22 05:43:28 +0100 | <ski> | (sure you didn't manage to copy the ending angle bracket into the URL ?) |
2025-03-22 05:50:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 05:50:17 +0100 | Wanderer | (~wanderer@user/wanderer) Wanderer |
2025-03-22 05:54:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 05:55:07 +0100 | <iteratee> | I managed to port ihp-hsx to Lucid (v2). Is there anyone around from the IHP project? I think it's useful, and worth publishing either way, but I'm wondering about in-tree or a seperate repo and package on hackage. |
2025-03-22 05:57:31 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
2025-03-22 06:05:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 06:06:07 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 06:10:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-22 06:10:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-22 06:16:19 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-03-22 06:16:36 +0100 | califax | (~califax@user/califx) califx |
2025-03-22 06:21:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 06:21:52 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
2025-03-22 06:22:17 +0100 | jrm | (~jrm@user/jrm) (Quit: ciao) |
2025-03-22 06:23:49 +0100 | jrm | (~jrm@user/jrm) jrm |
2025-03-22 06:24:46 +0100 | lortal | (~Thunderbi@61-245-149-213.3df595.adl.nbn.aussiebb.net) Lortal |
2025-03-22 06:25:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 06:36:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 06:41:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 06:43:35 +0100 | <jackdk> | I haven't seen much IHP news lately, and generally not a whole lot on IRC. I'd try their project github or discourse.haskell.org or old.reddit.com/r/haskell, probably in that order |
2025-03-22 06:51:10 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 06:52:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 06:55:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-03-22 06:57:50 +0100 | <iteratee> | I was going to post a PR in either case, but sometimes it's easier if you can catch someone online for a lower-latency conversation. |
2025-03-22 06:58:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 07:00:29 +0100 | <iteratee> | The lucid port is surprisingly short. |
2025-03-22 07:00:36 +0100 | <iteratee> | https://github.com/digitallyinduced/ihp/pull/2055/commits/aa3b6d4c571cd4650893926e0922404c445c13d7 |
2025-03-22 07:01:10 +0100 | <iteratee> | It helps that attributes are less cumbersome with lucid. |
2025-03-22 07:05:46 +0100 | greenflower | (~greenflow@2409:408c:8493:b1e1:8e76:8be4:79b9:ee7e) greenflower |
2025-03-22 07:06:09 +0100 | lortal | (~Thunderbi@61-245-149-213.3df595.adl.nbn.aussiebb.net) (Remote host closed the connection) |
2025-03-22 07:08:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 07:13:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-22 07:13:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 07:24:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 07:26:01 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2025-03-22 07:26:24 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-03-22 07:29:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-22 07:29:56 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
2025-03-22 07:31:16 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
2025-03-22 07:31:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 07:36:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 07:36:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 07:40:34 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2025-03-22 07:40:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-22 07:47:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 07:51:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 08:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-03-22 08:00:14 +0100 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
2025-03-22 08:00:32 +0100 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
2025-03-22 08:01:01 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-03-22 08:02:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 08:07:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 08:15:27 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2025-03-22 08:15:28 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-03-22 08:16:04 +0100 | <haskellbridge> | <Bowuigi> ski no, none of your links would work if that was the case |
2025-03-22 08:16:22 +0100 | <haskellbridge> | <Bowuigi> The URL detection in SchildiChat is pretty smart |
2025-03-22 08:16:50 +0100 | Lord_of_Life_ | Lord_of_Life |
2025-03-22 08:18:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 08:21:18 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 08:21:53 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-03-22 08:22:03 +0100 | euleritian | (~euleritia@dynamic-176-006-141-175.176.6.pool.telefonica.de) |
2025-03-22 08:22:25 +0100 | euleritian | (~euleritia@dynamic-176-006-141-175.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-03-22 08:22:44 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-22 08:23:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-03-22 08:24:06 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-03-22 08:24:25 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-22 08:25:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-22 08:27:42 +0100 | greenflower | (~greenflow@2409:408c:8493:b1e1:8e76:8be4:79b9:ee7e) (Ping timeout: 240 seconds) |
2025-03-22 08:27:46 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-03-22 08:33:47 +0100 | <ski> | (mm. i've just noticed that apparently some IRC clients (and some terminals that also do approximate URI/URL detection) don't properly honor or understand delimiting a URL/URI in context, in appendix of RFC 1738,2396,3986 ("Uniform Resource Locators/Identifier(s) (URL/URI) (Generic Syntax)") at |
2025-03-22 08:33:52 +0100 | <ski> | <https://datatracker.ietf.org/doc/html/rfc1738#page-22>,<https://datatracker.ietf.org/doc/html/rfc2396#appendix-E>,<https://tools.ietf.org/html/rfc3986#appendix-C>) |
2025-03-22 08:33:55 +0100 | <ski> | maybe the site was down, temporarily |
2025-03-22 08:34:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 08:36:38 +0100 | <mauke> | this is the one I use: https://metacpan.org/dist/URL-Search/source/lib/URL/Search.pm#L142 :-) |
2025-03-22 08:38:20 +0100 | sarna | (~sarna@d168-237.icpnet.pl) (Remote host closed the connection) |
2025-03-22 08:38:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 08:39:24 +0100 | sarna | (~sarna@d168-237.icpnet.pl) sarna |
2025-03-22 08:41:58 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) acidjnk |
2025-03-22 08:46:07 +0100 | random-jellyfish | (~developer@2a0c:5a85:2204:c400:d8f1:9420:4e45:2fc) |
2025-03-22 08:46:07 +0100 | random-jellyfish | (~developer@2a0c:5a85:2204:c400:d8f1:9420:4e45:2fc) (Changing host) |
2025-03-22 08:46:07 +0100 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
2025-03-22 08:47:02 +0100 | danza | (~danza@user/danza) danza |
2025-03-22 08:50:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 08:50:42 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
2025-03-22 08:51:35 +0100 | euleritian | (~euleritia@dynamic-176-006-141-175.176.6.pool.telefonica.de) |
2025-03-22 08:55:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 08:59:24 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-03-22 09:03:59 +0100 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
2025-03-22 09:05:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 09:06:40 +0100 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
2025-03-22 09:06:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 09:08:47 +0100 | kh0d | (~kh0d@212.200.181.160) (Remote host closed the connection) |
2025-03-22 09:10:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
2025-03-22 09:11:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 09:18:38 +0100 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
2025-03-22 09:19:16 +0100 | kh0d | (~kh0d@212.200.181.160) |
2025-03-22 09:19:27 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
2025-03-22 09:20:23 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2025-03-22 09:21:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 09:24:04 +0100 | kh0d | (~kh0d@212.200.181.160) (Ping timeout: 260 seconds) |
2025-03-22 09:25:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-22 09:25:32 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds) |
2025-03-22 09:26:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 09:32:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 09:32:17 +0100 | euleritian | (~euleritia@dynamic-176-006-141-175.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-03-22 09:32:35 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-22 09:36:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-03-22 09:48:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 09:51:45 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 09:53:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 09:53:08 +0100 | kh0d | (~kh0d@89.216.103.150) kh0d |
2025-03-22 09:56:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-22 09:57:28 +0100 | kh0d | (~kh0d@89.216.103.150) (Ping timeout: 252 seconds) |
2025-03-22 10:03:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 10:04:29 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
2025-03-22 10:05:43 +0100 | danz80407 | (~danza@user/danza) danza |
2025-03-22 10:06:38 +0100 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
2025-03-22 10:08:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 10:11:26 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-03-22 10:12:14 +0100 | euleritian | (~euleritia@95.90.214.149) |
2025-03-22 10:13:43 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:cff7:42c9:19d2:40d1) dhil |
2025-03-22 10:14:45 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 265 seconds) |
2025-03-22 10:17:09 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-03-22 10:17:55 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-03-22 10:19:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 10:24:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-22 10:33:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 10:37:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 10:38:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-22 10:40:35 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:cff7:42c9:19d2:40d1) (Ping timeout: 244 seconds) |
2025-03-22 10:41:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-03-22 10:42:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-22 10:49:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 10:54:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-22 11:00:51 +0100 | danz80407 | (~danza@user/danza) (Remote host closed the connection) |
2025-03-22 11:04:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 11:07:05 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-03-22 11:09:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 11:09:49 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-03-22 11:09:53 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-03-22 11:11:24 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-03-22 11:11:57 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 246 seconds) |
2025-03-22 11:13:43 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-22 11:18:39 +0100 | kh0d | (~kh0d@89.216.103.150) |
2025-03-22 11:18:48 +0100 | zmt01 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
2025-03-22 11:19:28 +0100 | zmt01 | (~zmt00@user/zmt00) zmt00 |
2025-03-22 11:20:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 11:22:14 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 11:23:33 +0100 | kh0d | (~kh0d@89.216.103.150) (Ping timeout: 252 seconds) |
2025-03-22 11:25:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 11:26:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
2025-03-22 11:30:06 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2025-03-22 11:31:23 +0100 | Dhanush45 | (~Dhanush45@2409:408d:414:7384:cb6:97a:cdaf:f294) |
2025-03-22 11:32:43 +0100 | Dhanush45 | (~Dhanush45@2409:408d:414:7384:cb6:97a:cdaf:f294) (Client Quit) |
2025-03-22 11:33:09 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 252 seconds) |
2025-03-22 11:33:11 +0100 | Dhanush45 | (~Dhanush45@157.49.104.75) |
2025-03-22 11:33:57 +0100 | <Dhanush45> | Hi members |
2025-03-22 11:34:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 11:35:22 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2025-03-22 11:36:11 +0100 | Dhanush45 | (~Dhanush45@157.49.104.75) (Client Quit) |
2025-03-22 11:42:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 11:46:06 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
2025-03-22 11:49:02 +0100 | <int-e> | . o O ( hi quitter ) |
2025-03-22 11:51:56 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
2025-03-22 11:52:44 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
2025-03-22 11:53:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 11:58:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 11:58:33 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) acidjnk |
2025-03-22 12:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-03-22 12:02:17 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-03-22 12:07:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 12:09:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 12:10:32 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-03-22 12:12:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-22 12:14:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-22 12:19:16 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-03-22 12:23:48 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
2025-03-22 12:25:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 12:27:30 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-03-22 12:28:47 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
2025-03-22 12:30:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 12:30:34 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2025-03-22 12:31:51 +0100 | random-jellyfish | (~developer@2a0c:5a85:2204:c400:6c84:67dc:960d:3228) |
2025-03-22 12:31:51 +0100 | random-jellyfish | (~developer@2a0c:5a85:2204:c400:6c84:67dc:960d:3228) (Changing host) |
2025-03-22 12:31:51 +0100 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
2025-03-22 12:35:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 12:40:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 12:50:10 +0100 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
2025-03-22 12:51:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 12:53:03 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 12:56:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-22 12:57:05 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-22 12:59:56 +0100 | tremon | (~tremon@83.80.159.219) tremon |
2025-03-22 13:02:23 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-22 13:04:05 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-03-22 13:06:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 13:11:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-22 13:16:48 +0100 | malte | (~malte@mal.tc) malte |
2025-03-22 13:19:39 +0100 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
2025-03-22 13:20:37 +0100 | greenflower | (~greenflow@2409:408c:8493:b1e1:8e76:8be4:79b9:ee7e) greenflower |
2025-03-22 13:22:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 13:24:05 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) acidjnk |
2025-03-22 13:24:56 +0100 | malte_ | (~malte@mal.tc) malte |
2025-03-22 13:25:44 +0100 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
2025-03-22 13:25:44 +0100 | malte_ | malte |
2025-03-22 13:27:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-22 13:28:20 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-03-22 13:32:26 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-03-22 13:36:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 13:38:26 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 13:40:21 +0100 | dsrt^ | (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 248 seconds) |
2025-03-22 13:40:44 +0100 | dsrt^ | (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) |
2025-03-22 13:42:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
2025-03-22 13:43:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-22 13:44:23 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-22 13:54:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 13:59:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 14:00:40 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:d436:bd14:8c26:113a) |
2025-03-22 14:10:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 14:14:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 14:21:32 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-22 14:24:10 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 14:25:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 14:28:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-22 14:30:10 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2025-03-22 14:30:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 14:37:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 14:42:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-22 14:44:44 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
2025-03-22 14:53:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 14:57:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-03-22 15:00:28 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:d436:bd14:8c26:113a) (Remote host closed the connection) |
2025-03-22 15:00:50 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:d436:bd14:8c26:113a) |
2025-03-22 15:08:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 15:09:02 +0100 | euleritian | (~euleritia@95.90.214.149) (Ping timeout: 244 seconds) |
2025-03-22 15:09:16 +0100 | euleritian | (~euleritia@dynamic-176-006-137-161.176.6.pool.telefonica.de) |
2025-03-22 15:10:55 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 15:13:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 15:14:43 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-03-22 15:15:15 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-03-22 15:15:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-22 15:23:52 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-03-22 15:24:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 15:28:39 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
2025-03-22 15:29:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-22 15:38:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 15:43:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-22 15:47:29 +0100 | greenflower | (~greenflow@2409:408c:8493:b1e1:8e76:8be4:79b9:ee7e) (Quit: Client closed) |
2025-03-22 15:54:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 15:54:28 +0100 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
2025-03-22 15:54:37 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
2025-03-22 15:55:19 +0100 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
2025-03-22 15:56:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 15:56:52 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
2025-03-22 15:57:17 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f4018176379d3bca4ca.dip0.t-ipconnect.de) acidjnk |
2025-03-22 15:58:11 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
2025-03-22 15:59:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 16:00:12 +0100 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
2025-03-22 16:00:42 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
2025-03-22 16:00:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-22 16:02:00 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
2025-03-22 16:02:49 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-03-22 16:09:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 16:15:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-22 16:20:23 +0100 | litharge | (litharge@libera/bot/litharge) (Ping timeout: 615 seconds) |
2025-03-22 16:23:30 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2025-03-22 16:25:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 16:26:40 +0100 | malte | (~malte@mal.tc) malte |
2025-03-22 16:30:18 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
2025-03-22 16:31:13 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
2025-03-22 16:32:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 16:39:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 16:39:46 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-22 16:41:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 16:44:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 16:45:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-22 16:48:30 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f4018176379d3bca4ca.dip0.t-ipconnect.de) (Remote host closed the connection) |
2025-03-22 16:48:49 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f4018176379d3bca4ca.dip0.t-ipconnect.de) acidjnk |
2025-03-22 16:54:41 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-03-22 16:55:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 16:56:36 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-03-22 16:59:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 17:00:19 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-22 17:02:55 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
2025-03-22 17:03:58 +0100 | kh0d | (~kh0d@109.111.226.14) (Remote host closed the connection) |
2025-03-22 17:05:21 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
2025-03-22 17:05:57 +0100 | manwithluck | (~manwithlu@2a09:bac1:5ba0:20::38a:2b) manwithluck |
2025-03-22 17:06:34 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-03-22 17:09:07 +0100 | euleritian | (~euleritia@dynamic-176-006-137-161.176.6.pool.telefonica.de) (Ping timeout: 244 seconds) |
2025-03-22 17:10:08 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 252 seconds) |
2025-03-22 17:10:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 17:13:54 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 252 seconds) |
2025-03-22 17:14:22 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2025-03-22 17:15:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 17:21:05 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
2025-03-22 17:21:56 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
2025-03-22 17:26:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 17:26:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 17:30:00 +0100 | <sim590> | I'm trying to upload a new version of the candidate 0.1.0.0 for my package opendht-hs: https://hackage.haskell.org/package/opendht-hs-0.1.0.0/candidate. But, the README file is not updated. I've tried reuploading a new candidate twice under "maintain" button. The README should be this one on my github page: https://github.com/sim590/opendht-hs/. The difference is in the "Dependencies" section. |
2025-03-22 17:30:50 +0100 | <sim590> | I can see that the README in the tar ball I select is the right thing. I entered the archive with Vim and I saw the README was fine. |
2025-03-22 17:30:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-22 17:31:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 17:31:56 +0100 | <sim590> | Do I actually need to delete the candidate and reupload ? |
2025-03-22 17:32:50 +0100 | <sim590> | The "upload a new cnadidate button" says: "If you upload a new candidate with the same version as an existing candidate, the older will be overwritten.", so I should not have to. |
2025-03-22 17:34:40 +0100 | <geekosaur> | this seems like a bug in hackage-server. perhaps ask in #hackage? |
2025-03-22 17:34:51 +0100 | <sim590> | Ahhh, right. I'll do. |
2025-03-22 17:35:00 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-03-22 17:36:49 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:d436:bd14:8c26:113a) (Ping timeout: 260 seconds) |
2025-03-22 17:37:05 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:c07e:d68e:b135:82a6) |
2025-03-22 17:40:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 17:42:25 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 248 seconds) |
2025-03-22 17:42:28 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
2025-03-22 17:44:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 17:45:09 +0100 | kh0d | (~kh0d@212.200.181.160) |
2025-03-22 17:49:39 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f4018176379d3bca4ca.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-03-22 17:50:04 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 272 seconds) |
2025-03-22 17:56:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 17:58:16 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
2025-03-22 17:58:35 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2025-03-22 17:59:02 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-03-22 18:02:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 18:04:15 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) Natch |
2025-03-22 18:06:28 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e1c2:84b0:caab:9b02) |
2025-03-22 18:11:53 +0100 | yago | (~yago@2a0c:5a82:1708:200:5441:db13:8b84:88e5) |
2025-03-22 18:12:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 18:14:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 18:17:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-22 18:19:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 18:25:23 +0100 | Digitteknohippie | (~user@user/digit) Digit |
2025-03-22 18:26:24 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
2025-03-22 18:29:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 18:34:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 18:41:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 18:42:12 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |
2025-03-22 18:42:24 +0100 | ash3en1 | (~Thunderbi@89.56.182.235) ash3en |
2025-03-22 18:42:33 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-03-22 18:44:22 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-03-22 18:44:41 +0100 | ash3en1 | ash3en |
2025-03-22 18:46:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 18:49:08 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 252 seconds) |
2025-03-22 18:53:27 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-22 18:57:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 18:57:08 +0100 | Owner_ | (~Owner@2600:1700:69cf:9000:c07e:d68e:b135:82a6) |
2025-03-22 18:58:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 18:58:32 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
2025-03-22 19:01:06 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:c07e:d68e:b135:82a6) (Ping timeout: 276 seconds) |
2025-03-22 19:01:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 19:02:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-22 19:09:27 +0100 | Digitteknohippie | Digit |
2025-03-22 19:12:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 19:13:04 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |
2025-03-22 19:17:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 19:18:23 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
2025-03-22 19:20:28 +0100 | Catty | catties |
2025-03-22 19:20:50 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2025-03-22 19:21:10 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
2025-03-22 19:24:24 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-22 19:24:40 +0100 | Square | (~Square@user/square) Square |
2025-03-22 19:28:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 19:31:32 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-03-22 19:33:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 19:35:44 +0100 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
2025-03-22 19:41:13 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
2025-03-22 19:42:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 19:42:19 +0100 | <Noinia> | Does anyone know if the wasm backend is suposed to support ghc-plugins (together with TH?) already? |
2025-03-22 19:43:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 19:43:22 +0100 | <Noinia> | I don't see a ticket on gitlab, but compiling my package (which uses both TH and a GHC plugin) fails with 'Plugins require -fno-external-interpreter'. (But adding that flag does not really seem to make any difference for some reason) |
2025-03-22 19:44:33 +0100 | <geekosaur> | I think wasm always forces external interpreter? |
2025-03-22 19:44:47 +0100 | <geekosaur> | so plugins are most likely unimplemented |
2025-03-22 19:47:17 +0100 | <geekosaur> | the problem being that you can't arrange for the plugin to run in the external interpreter, especially if it's wrapped in some node glue |
2025-03-22 19:47:54 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
2025-03-22 19:48:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-22 19:48:10 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
2025-03-22 19:48:20 +0100 | <Noinia> | hmm, I don't think I fully understand all the subtleties |
2025-03-22 19:48:43 +0100 | <Noinia> | but I guess it means it will be a while before I can start using the WASM backend in my project :( |
2025-03-22 19:48:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 19:48:55 +0100 | <geekosaur> | it's not subtle at all: who or what translates a binary plugin to a different architecture (including JS or wasm)? |
2025-03-22 19:49:21 +0100 | <geekosaur> | or otherwise arranges for the external interpreter to have it available? |
2025-03-22 19:50:55 +0100 | <Noinia> | why is it a binary plugin? I.e. the ghc plugins are also just packages that it compiles no? |
2025-03-22 19:51:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 19:52:59 +0100 | <Noinia> | i.e. if one can compile, and therefore run, more or less arbitrary haskell code, within WASM [*], I don't really see what the issue should be. (Provided that those plugins don't e.g. try to access files/or do stuff inherently restricted by the wasm runtime) |
2025-03-22 19:54:26 +0100 | rvalue- | rvalue |
2025-03-22 19:55:14 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:adb1:5444:1e59:864f) (Ping timeout: 248 seconds) |
2025-03-22 19:55:56 +0100 | dtman34 | (~dtman34@c-75-72-179-251.hsd1.mn.comcast.net) dtman34 |
2025-03-22 19:56:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 19:56:37 +0100 | <geekosaur> | ghc doesn't compile them, your build tool does. (for example I think cabal has you list them as `build-tool-dependency` so they're built before ghc requires them) |
2025-03-22 19:57:59 +0100 | <geekosaur> | ghc just looks for an already-built package. if you use an external interpreter, it would need to tell the remote `ghc-iserv`, which may already be running, to load the plugin from its package store and restart |
2025-03-22 20:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-03-22 20:00:15 +0100 | yago | (~yago@2a0c:5a82:1708:200:5441:db13:8b84:88e5) (Ping timeout: 276 seconds) |
2025-03-22 20:00:45 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-03-22 20:02:39 +0100 | dtman34 | (~dtman34@c-75-72-179-251.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
2025-03-22 20:03:47 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:46df:8e62:8caf:e6f6) dtman34 |
2025-03-22 20:06:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 20:07:54 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
2025-03-22 20:11:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 20:11:59 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
2025-03-22 20:16:10 +0100 | sprotte24 | (~sprotte24@p200300d16f4e7b00ad35a318f64ef662.dip0.t-ipconnect.de) |
2025-03-22 20:16:47 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |
2025-03-22 20:18:59 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-22 20:22:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 20:24:18 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-03-22 20:25:27 +0100 | AlexNoo_ | (~AlexNoo@178.34.150.194) |
2025-03-22 20:27:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 20:27:49 +0100 | AlexZenon | (~alzenon@94.233.240.210) (Ping timeout: 248 seconds) |
2025-03-22 20:28:36 +0100 | AlexNoo | (~AlexNoo@94.233.240.210) (Ping timeout: 252 seconds) |
2025-03-22 20:29:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 20:30:52 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-22 20:33:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-22 20:35:13 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
2025-03-22 20:35:51 +0100 | AlexZenon | (~alzenon@178.34.150.194) |
2025-03-22 20:36:40 +0100 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
2025-03-22 20:37:17 +0100 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
2025-03-22 20:37:55 +0100 | xal | (~xal@mx1.xal.systems) xal |
2025-03-22 20:38:11 +0100 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Quit: reboot) |
2025-03-22 20:38:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 20:39:03 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
2025-03-22 20:40:25 +0100 | connrs | (~connrs@user/connrs) connrs |
2025-03-22 20:40:56 +0100 | Digit | (~user@user/digit) Digit |
2025-03-22 20:42:03 +0100 | AlexNoo_ | AlexNoo |
2025-03-22 20:43:53 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-03-22 20:44:09 +0100 | arthurvl | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) earthy |
2025-03-22 20:44:48 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-22 20:47:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 20:48:11 +0100 | michalz | (~michalz@185.246.207.217) |
2025-03-22 20:48:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
2025-03-22 20:48:21 +0100 | ljdarj1 | ljdarj |
2025-03-22 20:49:45 +0100 | kh0d | (~kh0d@212.200.181.160) (Read error: Connection reset by peer) |
2025-03-22 20:51:48 +0100 | hattckory | (~hattckory@70.27.118.207) |
2025-03-22 20:59:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 21:00:29 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 265 seconds) |
2025-03-22 21:03:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 21:03:44 +0100 | wildsalander | (~wildsalan@37-136-70-21.rev.dnainternet.fi) |
2025-03-22 21:08:34 +0100 | wildsalander | (~wildsalan@37-136-70-21.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
2025-03-22 21:14:27 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 21:14:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 21:18:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-22 21:19:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 21:27:19 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f4018176379d3bca4ca.dip0.t-ipconnect.de) acidjnk |
2025-03-22 21:30:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 21:32:05 +0100 | <haskellbridge> | <dmjio> Is "yield" a no-op on single core (no "-threaded") GHC |
2025-03-22 21:34:06 +0100 | <monochrom> | No, because green threads still exist. |
2025-03-22 21:36:45 +0100 | stackdroid18 | (14094@user/stackdroid) stackdroid |
2025-03-22 21:36:47 +0100 | <haskellbridge> | <dmjio> That’s not what I’m seeing. When I threadDelay 0 it does invoke the scheduler, pushes current thread to back queue; evals other stacks, comes back to mine last. Yield on single core isn’t doing that for me. |
2025-03-22 21:37:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 21:37:58 +0100 | <haskellbridge> | <dmjio> Yield could try to invoke a core switch and then no op if it sees a single core. Whereas a delay is making a new schedule |
2025-03-22 21:38:53 +0100 | stackdroid18 | (14094@user/stackdroid) (Client Quit) |
2025-03-22 21:39:11 +0100 | stackdroid18 | (14094@user/stackdroid) stackdroid |
2025-03-22 21:39:33 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-03-22 21:42:33 +0100 | stackdroid18 | (14094@user/stackdroid) (Client Quit) |
2025-03-22 21:43:07 +0100 | <haskellbridge> | <dmjio> I bet as an optimization single core doesn’t make a new schedule |
2025-03-22 21:44:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 21:47:56 +0100 | stackdroid18 | (14094@de1.hashbang.sh) |
2025-03-22 21:47:57 +0100 | <EvanR> | isn't yield how you switch threads in non -threaded |
2025-03-22 21:48:04 +0100 | <EvanR> | like the entire point of yield |
2025-03-22 21:48:09 +0100 | <EvanR> | as opposed to being a no op |
2025-03-22 21:48:46 +0100 | <haskellbridge> | <dmjio> It looks like it’s just doing a core switch |
2025-03-22 21:49:17 +0100 | <EvanR> | is "core switch" new jargon |
2025-03-22 21:49:19 +0100 | <haskellbridge> | <dmjio> And when all you have is a single core it might not make a new schedule |
2025-03-22 21:49:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-22 21:49:30 +0100 | <haskellbridge> | <dmjio> Cores and threads are very different |
2025-03-22 21:49:32 +0100 | <EvanR> | I only know about "capabilities" |
2025-03-22 21:49:37 +0100 | <EvanR> | not cores |
2025-03-22 21:49:43 +0100 | <haskellbridge> | <dmjio> The are heap objects |
2025-03-22 21:49:47 +0100 | <haskellbridge> | <dmjio> Threads |
2025-03-22 21:49:47 +0100 | <EvanR> | you can have more capabilities than cores |
2025-03-22 21:50:00 +0100 | stackdroid18 | (14094@de1.hashbang.sh) (Client Quit) |
2025-03-22 21:50:08 +0100 | <haskellbridge> | <dmjio> It’s an L:m:n model yea |
2025-03-22 21:51:52 +0100 | <haskellbridge> | <dmjio> I have some nested threads each with its own stack and heap, the threads are bubbling up killThread events. While bubbling I’m trying to invoke a yield so their stacks can get evaluated and these thunks on the heap will get forced before they all get GC’d. What’s happening is that these thunks are never getting forced and just getting GC’d before evaluation. When I do a thread delay 0 they do get evaluated |
2025-03-22 21:55:14 +0100 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
2025-03-22 22:00:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 22:00:31 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 22:02:07 +0100 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
2025-03-22 22:02:07 +0100 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
2025-03-22 22:02:07 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
2025-03-22 22:04:39 +0100 | <haskellbridge> | <dmjio> Yield could mean give me a different set of threads, not a different set of stack frames. It depends what it means. I bet the yield is defined only in terms of multicore |
2025-03-22 22:04:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 22:05:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-22 22:07:03 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
2025-03-22 22:11:45 +0100 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
2025-03-22 22:11:45 +0100 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
2025-03-22 22:11:45 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
2025-03-22 22:12:53 +0100 | <haskellbridge> | <dmjio> I’ll test on threaded GHC to see if yield behaves |
2025-03-22 22:15:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 22:20:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 22:21:03 +0100 | <haskellbridge> | <dmjio> I have some nested threads each with its own stack and heap, the threads are bubbling up killThread events. While bubbling I’m trying to invoke a yield so their stacks can get evaluated and these thunks on the heap will get forced before they all get GC’d. What’s happening is that these thunks are never getting forced and just getting GC’d before evaluation. When I do a "threadDelay 0" they do get evaluated |
2025-03-22 22:21:34 +0100 | <EvanR> | oof that edit caused a blast from the past |
2025-03-22 22:23:28 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-22 22:28:27 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-03-22 22:30:14 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-03-22 22:30:35 +0100 | <haskellbridge> | <dmjio> The thread delay? |
2025-03-22 22:31:22 +0100 | <EvanR> | yeah the bridge repeats the whole message |
2025-03-22 22:31:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 22:32:08 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
2025-03-22 22:32:44 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-22 22:33:28 +0100 | <haskellbridge> | <dmjio> Sorry IRC people |
2025-03-22 22:33:42 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-22 22:36:22 +0100 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
2025-03-22 22:36:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 22:36:58 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2025-03-22 22:37:11 +0100 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
2025-03-22 22:37:35 +0100 | <geekosaur> | well, it can send edits for the immediately preceding message, but for older ones there's no context so it has to resend |
2025-03-22 22:37:49 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
2025-03-22 22:38:50 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2025-03-22 22:44:55 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:848b:16f:d0fd:be16) dhil |
2025-03-22 22:45:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 22:45:34 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 22:46:45 +0100 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
2025-03-22 22:48:15 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
2025-03-22 22:48:46 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
2025-03-22 22:50:02 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-22 22:50:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 23:00:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 23:03:46 +0100 | litharge | (litharge@libera/bot/litharge) litharge |
2025-03-22 23:07:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 23:07:32 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-03-22 23:14:56 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e1c2:84b0:caab:9b02) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-03-22 23:16:07 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-03-22 23:17:29 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e1c2:84b0:caab:9b02) |
2025-03-22 23:18:03 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-22 23:18:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 23:22:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 23:23:03 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-03-22 23:27:52 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
2025-03-22 23:29:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-03-22 23:30:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-22 23:33:01 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-22 23:33:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 23:35:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-22 23:38:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-22 23:38:58 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
2025-03-22 23:42:57 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
2025-03-22 23:44:24 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:848b:16f:d0fd:be16) (Ping timeout: 252 seconds) |
2025-03-22 23:46:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-22 23:51:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |