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