2025/03/22

2025-03-22 00:00:16 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 00:03:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 00:04:10 +0100 <monochrom> :)
2025-03-22 00:04:21 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-22 00:06:37 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-03-22 00:07:56 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-03-22 00:08:36 +0100merijn(~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 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-03-22 00:19:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 00:24:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-22 00:35:18 +0100merijn(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-22 00:46:00 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 00:46:51 +0100ski. 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 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 276 seconds)
2025-03-22 00:51:38 +0100merijn(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-03-22 00:58:07 +0100geekosaurnotes 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 +0100geekosauralso wonders if the one monochrom is talking about is more like Tarot, or more like M:tG
2025-03-22 01:03:37 +0100Yumemi(~Yumemi@chamoin.net) (Quit: .)
2025-03-22 01:04:28 +0100Yumemi(~Yumemi@chamoin.net) Yumemi
2025-03-22 01:06:14 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-22 01:07:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 01:09:15 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 246 seconds)
2025-03-22 01:10:52 +0100sonny(~sonny@142.113.172.116) sonny
2025-03-22 01:11:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-22 01:15:19 +0100sonny(~sonny@142.113.172.116) ()
2025-03-22 01:17:06 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2025-03-22 01:17:28 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-22 01:18:21 +0100acidjnk(~acidjnk@p200300d6e71c4f6518434db087d421fc.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-03-22 01:22:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 01:23:19 +0100sprotte24(~sprotte24@p200300d16f266c002dc4a2d25f2ad6fe.dip0.t-ipconnect.de) (Quit: Leaving)
2025-03-22 01:27:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-22 01:29:25 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-03-22 01:32:24 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 01:34:02 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-03-22 01:34:21 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-22 01:36:52 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-22 01:38:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 01:42:28 +0100ystael(~ystael@user/ystael) (Ping timeout: 245 seconds)
2025-03-22 01:43:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-22 01:45:18 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-03-22 01:48:30 +0100notdabs(~Owner@2600:1700:69cf:9000:314f:c6fc:a776:72e4) (Read error: Connection reset by peer)
2025-03-22 01:53:33 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-03-22 01:53:59 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-22 01:54:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 01:59:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 02:05:10 +0100justsomeguy(~justsomeg@user/justsomeguy) justsomeguy
2025-03-22 02:10:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 02:10:27 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-03-22 02:15:31 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-03-22 02:16:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-22 02:18:48 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 02:21:48 +0100malte(~malte@mal.tc) (Ping timeout: 252 seconds)
2025-03-22 02:23:44 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-22 02:23:48 +0100alp(~alp@2001:861:8ca0:4940:4f32:5e1f:632d:94e1) (Ping timeout: 246 seconds)
2025-03-22 02:26:26 +0100malte(~malte@mal.tc) malte
2025-03-22 02:28:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 02:32:07 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-03-22 02:32:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-03-22 02:44:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 02:45:44 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 265 seconds)
2025-03-22 02:48:23 +0100JuanDaughertyColinRobinson
2025-03-22 02:48:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 02:58:09 +0100ColinRobinson(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-03-22 02:59:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 03:01:35 +0100cattiesCatty
2025-03-22 03:04:32 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 03:04:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 03:09:22 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-22 03:15:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 03:18:07 +0100hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-03-22 03:21:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-22 03:24:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 03:29:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-22 03:42:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 03:47:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-22 03:50:17 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 03:52:30 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-22 03:54:42 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-22 03:55:13 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-03-22 03:55:55 +0100ChaiTRex(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 03:58:25 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-22 04:01:19 +0100weary-traveler(~user@user/user363627) user363627
2025-03-22 04:03:23 +0100kh0d_(~kh0d@212.200.181.160)
2025-03-22 04:03:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-22 04:06:12 +0100kh0d(~kh0d@212.200.65.86) (Ping timeout: 252 seconds)
2025-03-22 04:09:57 +0100tavare(~tavare@150.129.88.189)
2025-03-22 04:09:57 +0100tavare(~tavare@150.129.88.189) (Changing host)
2025-03-22 04:09:57 +0100tavare(~tavare@user/tavare) tavare
2025-03-22 04:13:34 +0100tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-03-22 04:15:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 04:20:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-03-22 04:31:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 04:35:40 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 04:36:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 04:40:05 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-22 04:45:55 +0100kh0d_(~kh0d@212.200.181.160) (Remote host closed the connection)
2025-03-22 04:46:27 +0100kh0d(~kh0d@212.200.181.160) kh0d
2025-03-22 04:47:09 +0100ZLima12(~zlima12@user/meow/ZLima12) (Quit: No Ping reply in 180 seconds.)
2025-03-22 04:47:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 04:48:18 +0100ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2025-03-22 04:50:33 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-03-22 04:51:30 +0100euleritian(~euleritia@95.90.214.149)
2025-03-22 04:52:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 04:53:08 +0100hgolden(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
2025-03-22 04:53:43 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds)
2025-03-22 04:54:36 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-03-22 04:58:00 +0100hgolden(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden
2025-03-22 04:58:39 +0100tromp(~textual@2a02:a210:cba:8500:40b3:acb4:4579:83af) (Ping timeout: 265 seconds)
2025-03-22 05:00:04 +0100hgolden_(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden
2025-03-22 05:03:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 05:08:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 05:14:31 +0100euleritian(~euleritia@95.90.214.149) (Read error: Connection reset by peer)
2025-03-22 05:15:03 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-22 05:18:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 05:19:54 +0100jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2)
2025-03-22 05:20:43 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 05:23:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-22 05:25:39 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-22 05:34:36 +0100merijn(~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 +0100merijn(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 05:50:17 +0100Wanderer(~wanderer@user/wanderer) Wanderer
2025-03-22 05:54:39 +0100merijn(~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 +0100hgolden(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
2025-03-22 06:05:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 06:06:07 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 06:10:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-22 06:10:49 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-22 06:16:19 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-03-22 06:16:36 +0100califax(~califax@user/califx) califx
2025-03-22 06:21:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 06:21:52 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection)
2025-03-22 06:22:17 +0100jrm(~jrm@user/jrm) (Quit: ciao)
2025-03-22 06:23:49 +0100jrm(~jrm@user/jrm) jrm
2025-03-22 06:24:46 +0100lortal(~Thunderbi@61-245-149-213.3df595.adl.nbn.aussiebb.net) Lortal
2025-03-22 06:25:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 06:36:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 06:41:40 +0100merijn(~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 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 06:52:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 06:55:19 +0100alfiee(~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 +0100merijn(~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 +0100greenflower(~greenflow@2409:408c:8493:b1e1:8e76:8be4:79b9:ee7e) greenflower
2025-03-22 07:06:09 +0100lortal(~Thunderbi@61-245-149-213.3df595.adl.nbn.aussiebb.net) (Remote host closed the connection)
2025-03-22 07:08:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 07:13:00 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-22 07:13:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 07:24:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 07:26:01 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-03-22 07:26:24 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-03-22 07:29:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-03-22 07:29:56 +0100takuan(~takuan@d8D86B601.access.telenet.be)
2025-03-22 07:31:16 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2025-03-22 07:31:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 07:36:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-22 07:36:13 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 07:40:34 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2025-03-22 07:40:49 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-22 07:47:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 07:51:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 08:00:01 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-03-22 08:00:14 +0100JamesMowery17(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye)
2025-03-22 08:00:32 +0100JamesMowery17(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-03-22 08:01:01 +0100caconym(~caconym@user/caconym) caconym
2025-03-22 08:02:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 08:07:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 08:15:27 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2025-03-22 08:15:28 +0100Lord_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 +0100Lord_of_Life_Lord_of_Life
2025-03-22 08:18:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 08:21:18 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 08:21:53 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-03-22 08:22:03 +0100euleritian(~euleritia@dynamic-176-006-141-175.176.6.pool.telefonica.de)
2025-03-22 08:22:25 +0100euleritian(~euleritia@dynamic-176-006-141-175.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-03-22 08:22:44 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-22 08:23:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-22 08:24:06 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-22 08:24:25 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-22 08:25:37 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-22 08:27:42 +0100greenflower(~greenflow@2409:408c:8493:b1e1:8e76:8be4:79b9:ee7e) (Ping timeout: 240 seconds)
2025-03-22 08:27:46 +0100CiaoSen(~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 +0100merijn(~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 +0100sarna(~sarna@d168-237.icpnet.pl) (Remote host closed the connection)
2025-03-22 08:38:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-22 08:39:24 +0100sarna(~sarna@d168-237.icpnet.pl) sarna
2025-03-22 08:41:58 +0100acidjnk(~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) acidjnk
2025-03-22 08:46:07 +0100random-jellyfish(~developer@2a0c:5a85:2204:c400:d8f1:9420:4e45:2fc)
2025-03-22 08:46:07 +0100random-jellyfish(~developer@2a0c:5a85:2204:c400:d8f1:9420:4e45:2fc) (Changing host)
2025-03-22 08:46:07 +0100random-jellyfish(~developer@user/random-jellyfish) random-jellyfish
2025-03-22 08:47:02 +0100danza(~danza@user/danza) danza
2025-03-22 08:50:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 08:50:42 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2025-03-22 08:51:35 +0100euleritian(~euleritia@dynamic-176-006-141-175.176.6.pool.telefonica.de)
2025-03-22 08:55:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 08:59:24 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-03-22 09:03:59 +0100flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection)
2025-03-22 09:05:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 09:06:40 +0100flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke
2025-03-22 09:06:41 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 09:08:47 +0100kh0d(~kh0d@212.200.181.160) (Remote host closed the connection)
2025-03-22 09:10:51 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-03-22 09:11:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-22 09:18:38 +0100mceresa(~mceresa@user/mceresa) (Remote host closed the connection)
2025-03-22 09:19:16 +0100kh0d(~kh0d@212.200.181.160)
2025-03-22 09:19:27 +0100mceresa(~mceresa@user/mceresa) mceresa
2025-03-22 09:20:23 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-03-22 09:21:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 09:24:04 +0100kh0d(~kh0d@212.200.181.160) (Ping timeout: 260 seconds)
2025-03-22 09:25:28 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-22 09:25:32 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds)
2025-03-22 09:26:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-22 09:32:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 09:32:17 +0100euleritian(~euleritia@dynamic-176-006-141-175.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-03-22 09:32:35 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-22 09:36:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-22 09:48:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 09:51:45 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 09:53:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 09:53:08 +0100kh0d(~kh0d@89.216.103.150) kh0d
2025-03-22 09:56:00 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-22 09:57:28 +0100kh0d(~kh0d@89.216.103.150) (Ping timeout: 252 seconds)
2025-03-22 10:03:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 10:04:29 +0100ash3en(~Thunderbi@89.56.182.235) ash3en
2025-03-22 10:05:43 +0100danz80407(~danza@user/danza) danza
2025-03-22 10:06:38 +0100danza(~danza@user/danza) (Read error: Connection reset by peer)
2025-03-22 10:08:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-22 10:11:26 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-03-22 10:12:14 +0100euleritian(~euleritia@95.90.214.149)
2025-03-22 10:13:43 +0100dhil(~dhil@2a0c:b381:52e:3600:cff7:42c9:19d2:40d1) dhil
2025-03-22 10:14:45 +0100random-jellyfish(~developer@user/random-jellyfish) (Ping timeout: 265 seconds)
2025-03-22 10:17:09 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-03-22 10:17:55 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-03-22 10:19:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 10:24:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-03-22 10:33:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 10:37:09 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 10:38:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-22 10:40:35 +0100dhil(~dhil@2a0c:b381:52e:3600:cff7:42c9:19d2:40d1) (Ping timeout: 244 seconds)
2025-03-22 10:41:06 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-03-22 10:42:00 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-22 10:49:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 10:54:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-22 11:00:51 +0100danz80407(~danza@user/danza) (Remote host closed the connection)
2025-03-22 11:04:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 11:07:05 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-22 11:09:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-22 11:09:49 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-22 11:09:53 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-03-22 11:11:24 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-22 11:11:57 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 246 seconds)
2025-03-22 11:13:43 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-22 11:18:39 +0100kh0d(~kh0d@89.216.103.150)
2025-03-22 11:18:48 +0100zmt01(~zmt00@user/zmt00) (Read error: Connection reset by peer)
2025-03-22 11:19:28 +0100zmt01(~zmt00@user/zmt00) zmt00
2025-03-22 11:20:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 11:22:14 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 11:23:33 +0100kh0d(~kh0d@89.216.103.150) (Ping timeout: 252 seconds)
2025-03-22 11:25:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-22 11:26:18 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-03-22 11:30:06 +0100acidjnk(~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-03-22 11:31:23 +0100Dhanush45(~Dhanush45@2409:408d:414:7384:cb6:97a:cdaf:f294)
2025-03-22 11:32:43 +0100Dhanush45(~Dhanush45@2409:408d:414:7384:cb6:97a:cdaf:f294) (Client Quit)
2025-03-22 11:33:09 +0100ash3en(~Thunderbi@89.56.182.235) (Ping timeout: 252 seconds)
2025-03-22 11:33:11 +0100Dhanush45(~Dhanush45@157.49.104.75)
2025-03-22 11:33:57 +0100 <Dhanush45> Hi members
2025-03-22 11:34:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 11:35:22 +0100Square(~Square@user/square) (Ping timeout: 252 seconds)
2025-03-22 11:36:11 +0100Dhanush45(~Dhanush45@157.49.104.75) (Client Quit)
2025-03-22 11:42:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 11:46:06 +0100kh0d(~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 +0100sand-witch(~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection)
2025-03-22 11:52:44 +0100sand-witch(~m-mzmz6l@vmi833741.contaboserver.net)
2025-03-22 11:53:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 11:58:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-22 11:58:33 +0100acidjnk(~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) acidjnk
2025-03-22 12:00:04 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-03-22 12:02:17 +0100caconym(~caconym@user/caconym) caconym
2025-03-22 12:07:58 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 12:09:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 12:10:32 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-03-22 12:12:39 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-22 12:14:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-22 12:19:16 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-03-22 12:23:48 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds)
2025-03-22 12:25:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 12:27:30 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-03-22 12:28:47 +0100hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92))
2025-03-22 12:30:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 12:30:34 +0100hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-03-22 12:31:51 +0100random-jellyfish(~developer@2a0c:5a85:2204:c400:6c84:67dc:960d:3228)
2025-03-22 12:31:51 +0100random-jellyfish(~developer@2a0c:5a85:2204:c400:6c84:67dc:960d:3228) (Changing host)
2025-03-22 12:31:51 +0100random-jellyfish(~developer@user/random-jellyfish) random-jellyfish
2025-03-22 12:35:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 12:40:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 12:50:10 +0100malte(~malte@mal.tc) (Ping timeout: 252 seconds)
2025-03-22 12:51:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 12:53:03 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 12:56:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-03-22 12:57:05 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-22 12:59:56 +0100tremon(~tremon@83.80.159.219) tremon
2025-03-22 13:02:23 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-22 13:04:05 +0100acidjnk(~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-03-22 13:06:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 13:11:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-22 13:16:48 +0100malte(~malte@mal.tc) malte
2025-03-22 13:19:39 +0100kadobanana(~mud@user/kadoban) (Quit: quit)
2025-03-22 13:20:37 +0100greenflower(~greenflow@2409:408c:8493:b1e1:8e76:8be4:79b9:ee7e) greenflower
2025-03-22 13:22:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 13:24:05 +0100acidjnk(~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) acidjnk
2025-03-22 13:24:56 +0100malte_(~malte@mal.tc) malte
2025-03-22 13:25:44 +0100malte(~malte@mal.tc) (Ping timeout: 252 seconds)
2025-03-22 13:25:44 +0100malte_malte
2025-03-22 13:27:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-22 13:28:20 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-03-22 13:32:26 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-03-22 13:36:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 13:38:26 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 13:40:21 +0100dsrt^(~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 248 seconds)
2025-03-22 13:40:44 +0100dsrt^(~dsrt@c-71-199-187-173.hsd1.ga.comcast.net)
2025-03-22 13:42:28 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 245 seconds)
2025-03-22 13:43:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-22 13:44:23 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-22 13:54:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 13:59:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 14:00:40 +0100notdabs(~Owner@2600:1700:69cf:9000:d436:bd14:8c26:113a)
2025-03-22 14:10:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 14:14:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 14:21:32 +0100weary-traveler(~user@user/user363627) user363627
2025-03-22 14:24:10 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 14:25:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 14:28:21 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-22 14:30:10 +0100acidjnk(~acidjnk@p200300d6e71c4f40bca6259f2b6671d9.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-03-22 14:30:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 14:37:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 14:42:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-22 14:44:44 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-03-22 14:53:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 14:57:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-22 15:00:28 +0100notdabs(~Owner@2600:1700:69cf:9000:d436:bd14:8c26:113a) (Remote host closed the connection)
2025-03-22 15:00:50 +0100notdabs(~Owner@2600:1700:69cf:9000:d436:bd14:8c26:113a)
2025-03-22 15:08:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 15:09:02 +0100euleritian(~euleritia@95.90.214.149) (Ping timeout: 244 seconds)
2025-03-22 15:09:16 +0100euleritian(~euleritia@dynamic-176-006-137-161.176.6.pool.telefonica.de)
2025-03-22 15:10:55 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 15:13:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 15:14:43 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-03-22 15:15:15 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-03-22 15:15:39 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-22 15:23:52 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-03-22 15:24:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 15:28:39 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds)
2025-03-22 15:29:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-22 15:38:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 15:43:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-22 15:47:29 +0100greenflower(~greenflow@2409:408c:8493:b1e1:8e76:8be4:79b9:ee7e) (Quit: Client closed)
2025-03-22 15:54:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 15:54:28 +0100mceresa(~mceresa@user/mceresa) (Remote host closed the connection)
2025-03-22 15:54:37 +0100mceresa(~mceresa@user/mceresa) mceresa
2025-03-22 15:55:19 +0100mceresa(~mceresa@user/mceresa) (Remote host closed the connection)
2025-03-22 15:56:00 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 15:56:52 +0100mceresa(~mceresa@user/mceresa) mceresa
2025-03-22 15:57:17 +0100acidjnk(~acidjnk@p200300d6e71c4f4018176379d3bca4ca.dip0.t-ipconnect.de) acidjnk
2025-03-22 15:58:11 +0100SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving)
2025-03-22 15:59:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 16:00:12 +0100cheater(~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com))
2025-03-22 16:00:42 +0100dostoyevsky2(~sck@user/dostoyevsky2) (Quit: leaving)
2025-03-22 16:00:49 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-22 16:02:00 +0100dostoyevsky2(~sck@user/dostoyevsky2) dostoyevsky2
2025-03-22 16:02:49 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-03-22 16:09:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 16:15:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-22 16:20:23 +0100litharge(litharge@libera/bot/litharge) (Ping timeout: 615 seconds)
2025-03-22 16:23:30 +0100malte(~malte@mal.tc) (Remote host closed the connection)
2025-03-22 16:25:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 16:26:40 +0100malte(~malte@mal.tc) malte
2025-03-22 16:30:18 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-03-22 16:31:13 +0100tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-03-22 16:32:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 16:39:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 16:39:46 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-22 16:41:25 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 16:44:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 16:45:51 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-22 16:48:30 +0100acidjnk(~acidjnk@p200300d6e71c4f4018176379d3bca4ca.dip0.t-ipconnect.de) (Remote host closed the connection)
2025-03-22 16:48:49 +0100acidjnk(~acidjnk@p200300d6e71c4f4018176379d3bca4ca.dip0.t-ipconnect.de) acidjnk
2025-03-22 16:54:41 +0100weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-03-22 16:55:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 16:56:36 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-03-22 16:59:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 17:00:19 +0100weary-traveler(~user@user/user363627) user363627
2025-03-22 17:02:55 +0100ash3en(~Thunderbi@89.56.182.235) ash3en
2025-03-22 17:03:58 +0100kh0d(~kh0d@109.111.226.14) (Remote host closed the connection)
2025-03-22 17:05:21 +0100kh0d(~kh0d@109.111.226.14) kh0d
2025-03-22 17:05:57 +0100manwithluck(~manwithlu@2a09:bac1:5ba0:20::38a:2b) manwithluck
2025-03-22 17:06:34 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-03-22 17:09:07 +0100euleritian(~euleritia@dynamic-176-006-137-161.176.6.pool.telefonica.de) (Ping timeout: 244 seconds)
2025-03-22 17:10:08 +0100kh0d(~kh0d@109.111.226.14) (Ping timeout: 252 seconds)
2025-03-22 17:10:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 17:13:54 +0100ash3en(~Thunderbi@89.56.182.235) (Ping timeout: 252 seconds)
2025-03-22 17:14:22 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2025-03-22 17:15:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 17:21:05 +0100dostoyevsky2(~sck@user/dostoyevsky2) (Quit: leaving)
2025-03-22 17:21:56 +0100dostoyevsky2(~sck@user/dostoyevsky2) dostoyevsky2
2025-03-22 17:26:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 17:26:48 +0100alfiee(~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 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-22 17:31:34 +0100merijn(~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 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-03-22 17:36:49 +0100notdabs(~Owner@2600:1700:69cf:9000:d436:bd14:8c26:113a) (Ping timeout: 260 seconds)
2025-03-22 17:37:05 +0100notdabs(~Owner@2600:1700:69cf:9000:c07e:d68e:b135:82a6)
2025-03-22 17:40:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 17:42:25 +0100Natch(~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 248 seconds)
2025-03-22 17:42:28 +0100ash3en(~Thunderbi@89.56.182.235) ash3en
2025-03-22 17:44:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 17:45:09 +0100kh0d(~kh0d@212.200.181.160)
2025-03-22 17:49:39 +0100acidjnk(~acidjnk@p200300d6e71c4f4018176379d3bca4ca.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-03-22 17:50:04 +0100random-jellyfish(~developer@user/random-jellyfish) (Ping timeout: 272 seconds)
2025-03-22 17:56:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 17:58:16 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds)
2025-03-22 17:58:35 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-03-22 17:59:02 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-03-22 18:02:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 18:04:15 +0100Natch(~natch@c-92-34-7-158.bbcust.telenor.se) Natch
2025-03-22 18:06:28 +0100tromp(~textual@2001:1c00:3487:1b00:e1c2:84b0:caab:9b02)
2025-03-22 18:11:53 +0100yago(~yago@2a0c:5a82:1708:200:5441:db13:8b84:88e5)
2025-03-22 18:12:32 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 18:14:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 18:17:09 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-22 18:19:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 18:25:23 +0100Digitteknohippie(~user@user/digit) Digit
2025-03-22 18:26:24 +0100Digit(~user@user/digit) (Ping timeout: 252 seconds)
2025-03-22 18:29:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 18:34:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 18:41:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 18:42:12 +0100ash3en(~Thunderbi@89.56.182.235) (Quit: ash3en)
2025-03-22 18:42:24 +0100ash3en1(~Thunderbi@89.56.182.235) ash3en
2025-03-22 18:42:33 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-03-22 18:44:22 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-03-22 18:44:41 +0100ash3en1ash3en
2025-03-22 18:46:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 18:49:08 +0100ash3en(~Thunderbi@89.56.182.235) (Ping timeout: 252 seconds)
2025-03-22 18:53:27 +0100weary-traveler(~user@user/user363627) user363627
2025-03-22 18:57:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 18:57:08 +0100Owner_(~Owner@2600:1700:69cf:9000:c07e:d68e:b135:82a6)
2025-03-22 18:58:16 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 18:58:32 +0100ash3en(~Thunderbi@89.56.182.235) ash3en
2025-03-22 19:01:06 +0100notdabs(~Owner@2600:1700:69cf:9000:c07e:d68e:b135:82a6) (Ping timeout: 276 seconds)
2025-03-22 19:01:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-22 19:02:34 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-22 19:09:27 +0100DigitteknohippieDigit
2025-03-22 19:12:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 19:13:04 +0100ash3en(~Thunderbi@89.56.182.235) (Quit: ash3en)
2025-03-22 19:17:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 19:18:23 +0100ash3en(~Thunderbi@89.56.182.235) ash3en
2025-03-22 19:20:28 +0100Cattycatties
2025-03-22 19:20:50 +0100EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2025-03-22 19:21:10 +0100EvanR(~EvanR@user/evanr) EvanR
2025-03-22 19:24:24 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-22 19:24:40 +0100Square(~Square@user/square) Square
2025-03-22 19:28:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 19:31:32 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-03-22 19:33:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-22 19:35:44 +0100hgolden_(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
2025-03-22 19:41:13 +0100hgolden(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden
2025-03-22 19:42:13 +0100merijn(~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 +0100alfiee(~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 +0100rvalue-(~rvalue@user/rvalue) rvalue
2025-03-22 19:48:04 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-22 19:48:10 +0100rvalue(~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 +0100merijn(~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 +0100merijn(~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 +0100rvalue-rvalue
2025-03-22 19:55:14 +0100dtman34(~dtman34@2601:447:d000:1f5e:adb1:5444:1e59:864f) (Ping timeout: 248 seconds)
2025-03-22 19:55:56 +0100dtman34(~dtman34@c-75-72-179-251.hsd1.mn.comcast.net) dtman34
2025-03-22 19:56:14 +0100merijn(~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 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-03-22 20:00:15 +0100yago(~yago@2a0c:5a82:1708:200:5441:db13:8b84:88e5) (Ping timeout: 276 seconds)
2025-03-22 20:00:45 +0100caconym(~caconym@user/caconym) caconym
2025-03-22 20:02:39 +0100dtman34(~dtman34@c-75-72-179-251.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2025-03-22 20:03:47 +0100dtman34(~dtman34@2601:447:d000:1f5e:46df:8e62:8caf:e6f6) dtman34
2025-03-22 20:06:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 20:07:54 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds)
2025-03-22 20:11:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 20:11:59 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds)
2025-03-22 20:16:10 +0100sprotte24(~sprotte24@p200300d16f4e7b00ad35a318f64ef662.dip0.t-ipconnect.de)
2025-03-22 20:16:47 +0100ash3en(~Thunderbi@89.56.182.235) (Quit: ash3en)
2025-03-22 20:18:59 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-22 20:22:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 20:24:18 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-22 20:25:27 +0100AlexNoo_(~AlexNoo@178.34.150.194)
2025-03-22 20:27:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 20:27:49 +0100AlexZenon(~alzenon@94.233.240.210) (Ping timeout: 248 seconds)
2025-03-22 20:28:36 +0100AlexNoo(~AlexNoo@94.233.240.210) (Ping timeout: 252 seconds)
2025-03-22 20:29:23 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 20:30:52 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-22 20:33:33 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-22 20:35:13 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds)
2025-03-22 20:35:51 +0100AlexZenon(~alzenon@178.34.150.194)
2025-03-22 20:36:40 +0100connrs(~connrs@user/connrs) (Read error: Connection reset by peer)
2025-03-22 20:37:17 +0100xal(~xal@mx1.xal.systems) (Quit: bye)
2025-03-22 20:37:55 +0100xal(~xal@mx1.xal.systems) xal
2025-03-22 20:38:11 +0100earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Quit: reboot)
2025-03-22 20:38:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 20:39:03 +0100Digit(~user@user/digit) (Ping timeout: 252 seconds)
2025-03-22 20:40:25 +0100connrs(~connrs@user/connrs) connrs
2025-03-22 20:40:56 +0100Digit(~user@user/digit) Digit
2025-03-22 20:42:03 +0100AlexNoo_AlexNoo
2025-03-22 20:43:53 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-03-22 20:44:09 +0100arthurvl(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) earthy
2025-03-22 20:44:48 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-03-22 20:47:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-22 20:48:11 +0100michalz(~michalz@185.246.207.217)
2025-03-22 20:48:21 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-03-22 20:48:21 +0100ljdarj1ljdarj
2025-03-22 20:49:45 +0100kh0d(~kh0d@212.200.181.160) (Read error: Connection reset by peer)
2025-03-22 20:51:48 +0100hattckory(~hattckory@70.27.118.207)
2025-03-22 20:59:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 21:00:29 +0100dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 265 seconds)
2025-03-22 21:03:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 21:03:44 +0100wildsalander(~wildsalan@37-136-70-21.rev.dnainternet.fi)
2025-03-22 21:08:34 +0100wildsalander(~wildsalan@37-136-70-21.rev.dnainternet.fi) (Ping timeout: 260 seconds)
2025-03-22 21:14:27 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 21:14:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 21:18:44 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-22 21:19:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 21:27:19 +0100acidjnk(~acidjnk@p200300d6e71c4f4018176379d3bca4ca.dip0.t-ipconnect.de) acidjnk
2025-03-22 21:30:34 +0100merijn(~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 +0100stackdroid18(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 +0100merijn(~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 +0100stackdroid18(14094@user/stackdroid) (Client Quit)
2025-03-22 21:39:11 +0100stackdroid18(14094@user/stackdroid) stackdroid
2025-03-22 21:39:33 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-03-22 21:42:33 +0100stackdroid18(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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 21:47:56 +0100stackdroid18(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 +0100merijn(~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 +0100stackdroid18(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 +0100hattckory(~hattckory@70.27.118.207) (Ping timeout: 260 seconds)
2025-03-22 22:00:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 22:00:31 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 22:02:07 +0100dibblego(~dibblego@116-255-1-119.ip4.superloop.au)
2025-03-22 22:02:07 +0100dibblego(~dibblego@116-255-1-119.ip4.superloop.au) (Changing host)
2025-03-22 22:02:07 +0100dibblego(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 22:05:09 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-22 22:07:03 +0100dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
2025-03-22 22:11:45 +0100dibblego(~dibblego@116-255-1-119.ip4.superloop.au)
2025-03-22 22:11:45 +0100dibblego(~dibblego@116-255-1-119.ip4.superloop.au) (Changing host)
2025-03-22 22:11:45 +0100dibblego(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 22:20:48 +0100merijn(~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 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-22 22:28:27 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-22 22:30:14 +0100j1n37(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 22:32:08 +0100Feuermagier(~Feuermagi@user/feuermagier) Feuermagier
2025-03-22 22:32:44 +0100hattckory(~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 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-22 22:36:22 +0100olivial(~benjaminl@user/benjaminl) (Remote host closed the connection)
2025-03-22 22:36:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 22:36:58 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-03-22 22:37:11 +0100olivial(~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 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds)
2025-03-22 22:38:50 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-03-22 22:44:55 +0100dhil(~dhil@2a0c:b381:52e:3600:848b:16f:d0fd:be16) dhil
2025-03-22 22:45:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 22:45:34 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 22:46:45 +0100michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2025-03-22 22:48:15 +0100Feuermagier(~Feuermagi@user/feuermagier) (Quit: Leaving)
2025-03-22 22:48:46 +0100Feuermagier(~Feuermagi@user/feuermagier) Feuermagier
2025-03-22 22:50:02 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-22 22:50:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 23:00:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 23:03:46 +0100litharge(litharge@libera/bot/litharge) litharge
2025-03-22 23:07:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 23:07:32 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-22 23:14:56 +0100tromp(~textual@2001:1c00:3487:1b00:e1c2:84b0:caab:9b02) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-03-22 23:16:07 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-22 23:17:29 +0100tromp(~textual@2001:1c00:3487:1b00:e1c2:84b0:caab:9b02)
2025-03-22 23:18:03 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-22 23:18:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 23:22:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 23:23:03 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-22 23:27:52 +0100Feuermagier(~Feuermagi@user/feuermagier) (Quit: Leaving)
2025-03-22 23:29:00 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-03-22 23:30:58 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-22 23:33:01 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-22 23:33:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 23:35:34 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-22 23:38:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-22 23:38:58 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-03-22 23:42:57 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds)
2025-03-22 23:44:24 +0100dhil(~dhil@2a0c:b381:52e:3600:848b:16f:d0fd:be16) (Ping timeout: 252 seconds)
2025-03-22 23:46:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-22 23:51:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)