2025/03/11

2025-03-11 00:02:09 +0100hattckory(~hattckory@184.145.138.167)
2025-03-11 00:08:46 +0100exfalsoquodlibet(a7085e0f71@2a03:6000:1812:100::13a3)
2025-03-11 00:08:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 00:09:57 +0100 <exfalsoquodlibet> .join haskell-fr
2025-03-11 00:10:05 +0100yegorc(~yegorc@user/yegorc) (Leaving)
2025-03-11 00:13:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-11 00:15:44 +0100hattckory(~hattckory@184.145.138.167) (Ping timeout: 260 seconds)
2025-03-11 00:19:13 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2025-03-11 00:22:01 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-03-11 00:24:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 00:27:33 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-03-11 00:28:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-11 00:30:13 +0100weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-03-11 00:30:24 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-03-11 00:30:24 +0100ljdarj1ljdarj
2025-03-11 00:39:20 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 00:39:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 00:43:48 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-11 00:44:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-11 00:45:35 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
2025-03-11 00:53:48 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-11 00:54:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 01:02:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-11 01:02:02 +0100 <monochrom> tomsmeding: I never claimed that these 3 orders are identical: order of invention, order of explanation, order of sending it off to the computer. Ironically, I was claiming that all 3 are different, but everyone thought I claimed them to be the same.
2025-03-11 01:04:25 +0100 <monochrom> Even explanation has multiple orders depending on the purpose of the explanation and/or the interest of the audience.
2025-03-11 01:05:00 +0100weary-traveler(~user@user/user363627) user363627
2025-03-11 01:05:53 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-03-11 01:08:26 +0100 <monochrom> Literate programming has two fundamentalist axioms. One is from Knuth's "you write for humans primarily, oh it happens to be readable by the computer too". One is from software engineering's DRY.
2025-03-11 01:09:33 +0100 <monochrom> The latter implies that you will not write one source file and one document file, you will only write one file for both. The former implies Knuth's web file format.
2025-03-11 01:10:27 +0100 <monochrom> I have not done literate programming for a long time. But I am saying what doesn't count as literate programming.
2025-03-11 01:13:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 01:15:40 +0100sprotte24(~sprotte24@p200300d16f2be600dd41c2d10079e9f2.dip0.t-ipconnect.de) (Quit: Leaving)
2025-03-11 01:17:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-11 01:19:50 +0100 <monochrom> I'm OK if you say: Write in programming language order, add special comment markers to tell the blogifier how to turn it into a blog post. That counts too.
2025-03-11 01:21:10 +0100 <monochrom> (I'm also secretly hoping you to ask an inevitable followup question after I said "even explanation has multiple orders". :) )
2025-03-11 01:25:44 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 01:27:18 +0100acidjnk_new(~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-03-11 01:28:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 01:29:59 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-11 01:32:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-11 01:37:36 +0100hattckory(~hattckory@184.145.138.167)
2025-03-11 01:42:39 +0100hattckory(~hattckory@184.145.138.167) (Ping timeout: 260 seconds)
2025-03-11 01:43:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 01:48:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-11 01:52:37 +0100xff0x(~xff0x@2405:6580:b080:900:f933:3317:5967:9ba3) (Ping timeout: 248 seconds)
2025-03-11 01:53:09 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-11 01:57:13 +0100harveypwca(~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) (Quit: Leaving)
2025-03-11 01:59:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 01:59:36 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2025-03-11 02:03:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-11 02:11:08 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 02:14:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 02:15:20 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
2025-03-11 02:16:01 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-11 02:18:01 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-03-11 02:18:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-11 02:20:15 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-11 02:21:18 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2025-03-11 02:29:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 02:36:37 +0100Digit(~user@user/digit) (Read error: Connection reset by peer)
2025-03-11 02:36:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-11 02:38:41 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-03-11 02:40:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 02:43:36 +0100hgolden(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
2025-03-11 02:44:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-11 02:46:21 +0100hgolden(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden
2025-03-11 02:52:10 +0100hattckory(~hattckory@184.145.138.167)
2025-03-11 02:53:44 +0100Digit(~user@user/digit) Digit
2025-03-11 02:55:42 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-03-11 02:56:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 02:56:44 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds)
2025-03-11 02:56:54 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 03:00:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-11 03:01:13 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 245 seconds)
2025-03-11 03:01:40 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-03-11 03:04:35 +0100paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds)
2025-03-11 03:08:24 +0100hattckory(~hattckory@184.145.138.167) (Ping timeout: 260 seconds)
2025-03-11 03:11:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 03:11:35 +0100paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq
2025-03-11 03:12:50 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-11 03:14:04 +0100synchromesh(~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) (Read error: Connection reset by peer)
2025-03-11 03:15:27 +0100synchromesh(~john@2406:5a00:24cf:bb00:c559:e625:333a:3d27) synchromesh
2025-03-11 03:15:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-11 03:16:43 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-03-11 03:24:41 +0100notdabs(~Owner@2600:1700:69cf:9000:18ba:19eb:bf57:848b) (Read error: Connection reset by peer)
2025-03-11 03:26:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 03:26:48 +0100weary-traveler(~user@user/user363627) user363627
2025-03-11 03:31:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-11 03:39:01 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
2025-03-11 03:42:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 03:42:58 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 03:46:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-11 03:47:19 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 265 seconds)
2025-03-11 03:48:04 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2025-03-11 03:57:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 04:02:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-11 04:10:24 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-11 04:12:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 04:14:09 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-11 04:15:15 +0100foul_owl(~kerry@94.156.149.96) (Quit: WeeChat 3.8)
2025-03-11 04:15:37 +0100foul_owl(~kerry@94.156.149.96) foul_owl
2025-03-11 04:17:47 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-11 04:19:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-11 04:20:37 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-11 04:22:09 +0100rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2025-03-11 04:23:37 +0100rembo10(~rembo10@main.remulis.com) rembo10
2025-03-11 04:29:02 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 04:30:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 04:33:34 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-11 04:35:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-11 04:37:38 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-03-11 04:41:21 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-11 04:41:41 +0100haetsal(~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.)
2025-03-11 04:42:05 +0100tavare(~tavare@user/tavare) tavare
2025-03-11 04:42:56 +0100haetsal(~quassel@221.138.168.192)
2025-03-11 04:44:48 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-11 04:46:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 04:50:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-11 05:01:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 05:01:56 +0100weary-traveler(~user@user/user363627) (Read error: Connection reset by peer)
2025-03-11 05:02:11 +0100weary-traveler(~user@user/user363627) user363627
2025-03-11 05:02:12 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-03-11 05:05:32 +0100zungi(~tory@user/andrewchawk) (Remote host closed the connection)
2025-03-11 05:05:34 +0100Sgeo_(~Sgeo@user/sgeo) Sgeo
2025-03-11 05:06:01 +0100zungi(~tory@user/andrewchawk) andrewchawk
2025-03-11 05:06:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-11 05:06:15 +0100weary-traveler(~user@user/user363627) user363627
2025-03-11 05:06:38 +0100thaumavorio(~thaumavor@thaumavor.io) (Ping timeout: 244 seconds)
2025-03-11 05:06:58 +0100thaumavorio(~thaumavor@thaumavor.io) thaumavorio
2025-03-11 05:08:46 +0100tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-03-11 05:09:00 +0100Sgeo(~Sgeo@user/sgeo) (Ping timeout: 265 seconds)
2025-03-11 05:14:10 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-11 05:15:06 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 05:17:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 05:19:54 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-03-11 05:21:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-03-11 05:32:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 05:33:32 +0100izzyfalco(~jake_pers@user/izzyfalco) izzyfalco
2025-03-11 05:36:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-11 05:47:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 05:53:42 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2025-03-11 05:53:52 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-03-11 05:54:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-11 06:00:42 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2025-03-11 06:01:11 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 06:03:51 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-03-11 06:05:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 06:05:57 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-03-11 06:06:02 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-11 06:06:43 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-03-11 06:08:59 +0100jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2)
2025-03-11 06:10:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-11 06:14:39 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2025-03-11 06:16:34 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-03-11 06:21:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 06:22:42 +0100ski(~ski@remote11.chalmers.se)
2025-03-11 06:22:54 +0100nschoe-(~nschoe@2a01:e0a:8e:a190:390c:4fc2:cea5:b72a) (Ping timeout: 246 seconds)
2025-03-11 06:25:10 +0100izzyfalco(~jake_pers@user/izzyfalco) (Ping timeout: 244 seconds)
2025-03-11 06:25:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-11 06:36:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 06:39:51 +0100k0zy(~user@user/k0zy) k0zy
2025-03-11 06:41:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-11 06:41:19 +0100michalz(~michalz@185.246.207.203)
2025-03-11 06:46:35 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 06:50:50 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-11 06:52:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 06:56:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-03-11 06:59:36 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-11 07:03:17 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-11 07:07:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 07:12:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-11 07:13:13 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-03-11 07:17:59 +0100takuan(~takuan@d8D86B601.access.telenet.be)
2025-03-11 07:22:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 07:28:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-11 07:32:19 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 07:36:44 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-11 07:39:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 07:43:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-11 07:50:42 +0100Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-03-11 07:53:43 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 245 seconds)
2025-03-11 07:54:23 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-11 07:54:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 07:59:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-11 08:00:03 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-03-11 08:01:03 +0100caconym(~caconym@user/caconym) caconym
2025-03-11 08:03:04 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-03-11 08:03:06 +0100k0zy(~user@user/k0zy) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1))
2025-03-11 08:04:15 +0100ash3en(~Thunderbi@89.56.182.235) ash3en
2025-03-11 08:07:51 +0100nschoe(~nschoe@82-65-202-30.subs.proxad.net) nschoe
2025-03-11 08:10:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 08:10:05 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-03-11 08:12:13 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-03-11 08:13:26 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
2025-03-11 08:13:34 +0100Lord_of_Life_Lord_of_Life
2025-03-11 08:14:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-03-11 08:14:57 +0100ash3en(~Thunderbi@89.56.182.235) (Remote host closed the connection)
2025-03-11 08:15:30 +0100ash3en(~Thunderbi@89.56.182.235) ash3en
2025-03-11 08:17:42 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 08:21:54 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-03-11 08:23:35 +0100CiaoSen(~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) CiaoSen
2025-03-11 08:25:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 08:29:40 +0100 <dminuoso> Is there a type of STM multi-consumer queue, where consumers can be connected after the queue was created, and each consumer can consume at their own pace? I'm roughly trying to mimic a file API here.
2025-03-11 08:30:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-11 08:31:12 +0100 <dminuoso> Or mm. Perhaps a writer TChan + cloned reader TChan is all I need
2025-03-11 08:33:51 +0100 <Leary> dminuoso: Yes, that's what `newBroadcastTChan` and `dupTChan` are for.
2025-03-11 08:39:15 +0100 <dminuoso> " By using newBroadcastTChan to create the broadcast channel, items can be garbage collected after clients have seen them." reads as if I have to use newTChan rather than newBroadcastTChan
2025-03-11 08:39:36 +0100 <dminuoso> That is, I *want* items to stay around even if they have been read
2025-03-11 08:39:48 +0100 <dminuoso> Since consumers may connect after some clients have read them
2025-03-11 08:40:03 +0100 <dminuoso> Leary: Anyway, thanks for the confirmation.
2025-03-11 08:40:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 08:41:56 +0100 <Leary> dminuoso: If you need new clients to see old elements, it will have to be `newTChan` and `cloneTChan` instead, it's just that holding onto everything a channel has ever seen is usually a bad idea.
2025-03-11 08:45:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-11 08:47:06 +0100 <Leary> (wanting to do so suggests you might actually want a denser representation; perhaps an exponentially-growing `Vector` in a `TVar` with some cursor tracking state on each side)
2025-03-11 08:51:31 +0100izzyfalco(~jake_pers@user/izzyfalco) izzyfalco
2025-03-11 08:51:48 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-03-11 08:56:22 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-03-11 09:03:46 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 09:04:52 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-03-11 09:04:53 +0100ft(~ft@p508db291.dip0.t-ipconnect.de) (Quit: leaving)
2025-03-11 09:07:55 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-11 09:27:57 +0100sarna(~sarna@d168-237.icpnet.pl) (Ping timeout: 276 seconds)
2025-03-11 09:28:14 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-03-11 09:29:24 +0100 <dminuoso> Maybe instead of simulating a file API, I should just use files.
2025-03-11 09:29:40 +0100acidjnk_new(~acidjnk@p200300d6e7283f28c0a9d5fbe208cdcd.dip0.t-ipconnect.de)
2025-03-11 09:30:19 +0100 <dminuoso> It avoids memory issues by keeping potentially large queues on disk, while automatic linux buffer memories should give near in-memory performance on average
2025-03-11 09:36:52 +0100 <tomsmeding> monochrom: Aside asynchronous communication over IRC is not particularly practical. :P
2025-03-11 09:37:04 +0100 <tomsmeding> I guess my point is that lecture notes are not what a programming language should optimise for
2025-03-11 09:37:30 +0100 <tomsmeding> A programming language should optimise for maintainability, understandability given that you already get the structure of the code (which should be explained by a comment, alternative documentation, etc.)
2025-03-11 09:38:15 +0100 <tomsmeding> I have not only not done literate programming for a long time, I have _never_ done it yet. So partly I'm talking from void here
2025-03-11 09:39:20 +0100 <tomsmeding> Writing in programming language order and then adding markers to rearrange it into prose sounds like a very good way to turn yourself mad :)
2025-03-11 09:41:01 +0100sarna(~sarna@d168-237.icpnet.pl) sarna
2025-03-11 09:41:04 +0100alp(~alp@2001:861:8ca0:4940:10bd:451c:fec0:8bc1)
2025-03-11 09:42:31 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-03-11 09:42:51 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-03-11 09:49:31 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 09:52:37 +0100infinity0(~infinity0@pwned.gg) (Ping timeout: 248 seconds)
2025-03-11 09:53:23 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-11 09:54:10 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 265 seconds)
2025-03-11 09:58:40 +0100chele(~chele@user/chele) chele
2025-03-11 10:02:03 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2025-03-11 10:03:05 +0100infinity0(~infinity0@pwned.gg) infinity0
2025-03-11 10:04:03 +0100izzyfalco(~jake_pers@user/izzyfalco) (Ping timeout: 252 seconds)
2025-03-11 10:13:58 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-11 10:16:15 +0100ash3en(~Thunderbi@89.56.182.235) (Quit: ash3en)
2025-03-11 10:21:17 +0100ash3en(~Thunderbi@89.56.182.235) ash3en
2025-03-11 10:30:12 +0100fmira(~user@user/fmira) (Ping timeout: 264 seconds)
2025-03-11 10:34:54 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 10:39:19 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-11 10:41:28 +0100Square2(~Square4@user/square) Square
2025-03-11 10:41:29 +0100Square(~Square@user/square) Square
2025-03-11 10:52:45 +0100Square(~Square@user/square) (Ping timeout: 246 seconds)
2025-03-11 10:53:36 +0100fp1(~Thunderbi@wireless-86-50-140-47.open.aalto.fi) fp
2025-03-11 10:54:23 +0100fmira(~user@user/fmira) fmira
2025-03-11 10:58:00 +0100fp1(~Thunderbi@wireless-86-50-140-47.open.aalto.fi) (Ping timeout: 246 seconds)
2025-03-11 11:01:52 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:3fbf:c6f2:ce45:c851) ubert
2025-03-11 11:02:49 +0100tabaqui1(~root@87.200.129.102) tabaqui
2025-03-11 11:19:55 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds)
2025-03-11 11:20:59 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 11:22:56 +0100alp(~alp@2001:861:8ca0:4940:10bd:451c:fec0:8bc1) (Remote host closed the connection)
2025-03-11 11:23:14 +0100alp(~alp@2001:861:8ca0:4940:65:30b0:af21:d18d)
2025-03-11 11:25:27 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-11 11:38:05 +0100alp_(~alp@128-79-174-146.hfc.dyn.abo.bbox.fr)
2025-03-11 11:39:45 +0100alp(~alp@2001:861:8ca0:4940:65:30b0:af21:d18d) (Ping timeout: 252 seconds)
2025-03-11 11:58:17 +0100 <[exa]> tomsmeding: it helps a lot with conveying the idea. not a fan of whole literate programs but for tutorials it makes a lot of sense
2025-03-11 12:00:05 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-03-11 12:01:54 +0100superlink(~kontsikou@adsl-192.79.107.136.tellas.gr) (Quit: leaving)
2025-03-11 12:01:57 +0100mange(~user@user/mange) (Quit: Zzz...)
2025-03-11 12:03:21 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-03-11 12:03:53 +0100caconym(~caconym@user/caconym) caconym
2025-03-11 12:06:23 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 12:06:24 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-03-11 12:10:15 +0100Guest12(~Guest12@cpc122092-bmly10-2-0-cust61.2-3.cable.virginm.net)
2025-03-11 12:10:56 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-03-11 12:15:37 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-03-11 12:17:00 +0100xff0x(~xff0x@2405:6580:b080:900:5d7a:99fd:33bc:bb43)
2025-03-11 12:19:29 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-11 12:22:11 +0100__monty__(~toonn@user/toonn) toonn
2025-03-11 12:26:31 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 268 seconds)
2025-03-11 12:38:21 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-11 12:41:58 +0100Guest63(~Guest63@39.112.75.9)
2025-03-11 12:42:29 +0100Guest63(~Guest63@39.112.75.9) (Client Quit)
2025-03-11 12:44:17 +0100enikar(~enikar@user/enikar) (Ping timeout: 248 seconds)
2025-03-11 12:44:18 +0100stilgart(~Christoph@chezlefab.net) (Ping timeout: 265 seconds)
2025-03-11 12:51:46 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 12:56:34 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-11 12:56:35 +0100synchromesh(~john@2406:5a00:24cf:bb00:c559:e625:333a:3d27) (Read error: Connection reset by peer)
2025-03-11 12:57:30 +0100synchromesh(~john@2406:5a00:24cf:bb00:c559:e625:333a:3d27) synchromesh
2025-03-11 13:01:48 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 276 seconds)
2025-03-11 13:07:23 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-03-11 13:07:54 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-03-11 13:12:00 +0100jespada(~jespada@2800:a4:230c:3a00:486c:7c58:fbc1:709) jespada
2025-03-11 13:12:09 +0100JamesMowery17(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-03-11 13:12:50 +0100ash3en(~Thunderbi@89.56.182.235) (Quit: ash3en)
2025-03-11 13:13:11 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-11 13:13:59 +0100JamesMowery1(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 252 seconds)
2025-03-11 13:13:59 +0100JamesMowery17JamesMowery1
2025-03-11 13:17:21 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-11 13:30:27 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-03-11 13:37:31 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 13:41:57 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-11 13:43:24 +0100zungi(~tory@user/andrewchawk) (Ping timeout: 264 seconds)
2025-03-11 13:44:48 +0100fmirainfohazards
2025-03-11 13:46:15 +0100jespada(~jespada@2800:a4:230c:3a00:486c:7c58:fbc1:709) (Ping timeout: 252 seconds)
2025-03-11 13:49:21 +0100jespada(~jespada@2800:a4:235f:7f00:3596:12c9:751d:6561) jespada
2025-03-11 13:53:59 +0100zungi(~tory@user/andrewchawk) andrewchawk
2025-03-11 13:55:38 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) idgaen
2025-03-11 13:55:54 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Client Quit)
2025-03-11 14:01:14 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-03-11 14:01:41 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-07-76-68-26-16.dsl.bell.ca) rekahsoft
2025-03-11 14:05:05 +0100enikar(~enikar@user/enikar) enikar
2025-03-11 14:09:55 +0100sinbad(~sinbad@user/sinbad) Sinbad
2025-03-11 14:10:12 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:3fbf:c6f2:ce45:c851) (Quit: ubert)
2025-03-11 14:10:27 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:387d:29e8:8ff8:a6bd) ubert
2025-03-11 14:17:11 +0100weary-traveler(~user@user/user363627) user363627
2025-03-11 14:18:54 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-03-11 14:21:31 +0100 <sinbad> I have a program which depends on either "foo" xor "bar" packages. foo and bar provides the same, but have very different dependencies depending the os/platform. I wanted to select the appropriate package using user flags in the cabal file. That does not really work as I expected since regardless of the flag cabal looks for both packages while resolving the dependencies even if finally (build/link phase) uses only the (flag) selected on
2025-03-11 14:21:31 +0100 <sinbad> e. Is it possible to achieve what I want without using two different cabal files?
2025-03-11 14:22:24 +0100CiaoSen(~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 276 seconds)
2025-03-11 14:24:16 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 14:24:47 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-03-11 14:27:25 +0100sprout(~sprout@84-80-106-227.fixed.kpn.net) (Remote host closed the connection)
2025-03-11 14:28:15 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-11 14:31:05 +0100 <tomsmeding> sinbad: you can put additional build-depends: clauses inside an `if` in the .cabal file
2025-03-11 14:31:31 +0100 <tomsmeding> cabal will collect the constraints from all build-depends: clauses it finds, _after_ evaluating away `if` blocks
2025-03-11 14:32:06 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-11 14:32:07 +0100 <tomsmeding> sinbad: not sure if this works for your usecase, but you can also query some features of the platform (OS, CPU architecture) from the cabal file just like you can query flags
2025-03-11 14:32:56 +0100__monty__(~toonn@user/toonn) (Ping timeout: 268 seconds)
2025-03-11 14:37:01 +0100sprout(~sprout@84-80-106-227.fixed.kpn.net) sprout
2025-03-11 14:37:17 +0100 <sinbad> tomsmeding: I do use the build-depends clauses, but that does not work after the if blocks but before!
2025-03-11 14:37:35 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2025-03-11 14:38:29 +0100 <sinbad> know about os etch flags, my case is a bit more complicated. that does not help
2025-03-11 14:41:29 +0100 <sinbad> foo and bar are specified as source-repository-package in different project files
2025-03-11 14:44:36 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2025-03-11 14:44:40 +0100 <tomsmeding> sinbad: "does not work after the if blocks but before" -- that doesn't parse for me
2025-03-11 14:44:46 +0100 <tomsmeding> perhaps you can post the .cabal file you're trying to make work?
2025-03-11 14:48:55 +0100 <sinbad> tomsmeding: you said cabal evals if blocks than looks for deps. logical that's what one would expects. but it is not what happens. cabal first checks all packages regardless if blocks than build using evaluated if blocks.
2025-03-11 14:51:47 +0100 <sinbad> cabal file detail: if flag(foo) {build-depends: foo} else {build-depends: bar}
2025-03-11 14:51:55 +0100__monty__(~toonn@user/toonn) toonn
2025-03-11 14:52:39 +0100 <sinbad> definition: flag foo; default true; manual true
2025-03-11 14:54:43 +0100 <sinbad> if the environment contains all the dependencies for both foo and bar then everything (kind of) works as expected an the final product linked with flag requested packages.
2025-03-11 14:58:14 +0100 <merijn> sinbad: This is actually not true (first if blocks, then dependencies)
2025-03-11 14:58:52 +0100 <merijn> What it does is "if it fails to find a build plan with the default values for flags, it will try toggling auto-flags and see if with the auto flags toggled it DOES get a build plan"
2025-03-11 14:59:55 +0100 <sinbad> merjin: for the cabal manual: By default, Cabal will first try to satisfy dependencies with the default flag value and then, if that is not possible, with the negated value. However, if the flag is manual, then the default value (which can be overridden by commandline flags) will be used.
2025-03-11 15:00:11 +0100 <merijn> Right, that's what I said, no :)
2025-03-11 15:00:28 +0100 <sinbad> but in fact, it works in both case the same as manual: false
2025-03-11 15:00:35 +0100 <merijn> sinbad: Which cabal-version?
2025-03-11 15:00:50 +0100 <merijn> Some old versions had the incorrect behaviour for flags (no auto-toggling)
2025-03-11 15:01:07 +0100 <merijn> And I'm unsure whether the fix for that depends on a specific cabal-version or not
2025-03-11 15:01:07 +0100 <sinbad> 3.14.1.1
2025-03-11 15:01:20 +0100 <merijn> sinbad: And does your cabal file specify a cabal-version?
2025-03-11 15:01:21 +0100ash3en(~Thunderbi@89.56.182.235) ash3en
2025-03-11 15:01:44 +0100 <sinbad> yes 3.12
2025-03-11 15:02:01 +0100 <sinbad> there is no other version of cabal around anyway
2025-03-11 15:02:54 +0100 <merijn> sinbad: The version in the file indicates the spec version (and thus how it gets parsed), newer cabal's will parse files with old versions with the old semantics
2025-03-11 15:03:11 +0100 <merijn> At any rate 3.12 is plenty new that that doesn't seem relevant
2025-03-11 15:03:16 +0100 <sinbad> 3.12 is new enough?
2025-03-11 15:04:30 +0100 <tomsmeding> sinbad: so what, precisely, are you observing? You have `if flag(foo) {build-depends: foo} else {build-depends: bar}`, the `foo` flag is manual with default `true`, and then... what exactly?
2025-03-11 15:04:41 +0100 <tomsmeding> you try to build this with foo available but not bar, and cabal fails?
2025-03-11 15:04:52 +0100 <tomsmeding> Or you build it with only bar available, and cabal succeeds?
2025-03-11 15:05:45 +0100 <tomsmeding> It may be true (didn't test) that if you specifiy a source-repository-package block in a cabal.project file, cabal will always at least clone that thing, if perhaps not build it, regardless of whether it's actually required somewhere
2025-03-11 15:05:48 +0100 <tomsmeding> perhaps that is happening?
2025-03-11 15:07:49 +0100 <sinbad> tomsmeding: yes that is always happening, does not make any sense in my view. however now I am using two different project files with different source-repo...
2025-03-11 15:07:58 +0100 <tomsmeding> sinbad: please be explicit
2025-03-11 15:08:05 +0100 <tomsmeding> "that is always happening" -- _what_ is always happening?
2025-03-11 15:08:06 +0100 <sinbad> ??
2025-03-11 15:08:09 +0100 <tomsmeding> I gave two options
2025-03-11 15:08:12 +0100 <tomsmeding> which one :p
2025-03-11 15:08:29 +0100 <tomsmeding> oh you mean the cloning?
2025-03-11 15:08:45 +0100 <sinbad> yes the cloning
2025-03-11 15:08:49 +0100 <tomsmeding> I see
2025-03-11 15:08:56 +0100malte(~malte@mal.tc) (Remote host closed the connection)
2025-03-11 15:09:40 +0100 <sinbad> I feel I tired all the combinations possible ... :-9
2025-03-11 15:09:42 +0100 <tomsmeding> sinbad: I think cabal has to clone it, because the source-repository-package clause does not contain the package name
2025-03-11 15:10:00 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 15:10:04 +0100 <tomsmeding> cabal has to clone the repo and look at the <something>.cabal file in there to figure out what package name it provides
2025-03-11 15:10:15 +0100 <tomsmeding> without that info, cabal doesn't know whether the repo is required in the first place
2025-03-11 15:10:29 +0100 <sinbad> tomsmeding: sure, but as I siad now I am using two different project files
2025-03-11 15:10:43 +0100 <tomsmeding> how are you including those project files?
2025-03-11 15:10:55 +0100 <tomsmeding> a project file that doesn't get included/read should definitely not contribute to the build
2025-03-11 15:11:01 +0100 <sinbad> with only one source repo each
2025-03-11 15:11:10 +0100 <tomsmeding> and yet cabal clones both?
2025-03-11 15:11:20 +0100malte(~malte@mal.tc) malte
2025-03-11 15:11:35 +0100 <tomsmeding> how are you telling tabal which of the two to use?
2025-03-11 15:11:46 +0100 <sinbad> is specify the project file and use configure
2025-03-11 15:12:22 +0100 <sinbad> I specify the project file on the command line
2025-03-11 15:12:38 +0100 <tomsmeding> then cabal should definitely only read the one you specified
2025-03-11 15:12:50 +0100 <tomsmeding> you observe cabal reading both?
2025-03-11 15:12:53 +0100 <tomsmeding> what are their file names?
2025-03-11 15:13:19 +0100 <sinbad> tomsmeding: yes, but now it complains that cannot find the package
2025-03-11 15:13:59 +0100 <sinbad> names; foo.project bar.project and yes I rename *.project.local to cabal.project.local
2025-03-11 15:14:04 +0100 <tomsmeding> but it shouldn't be looking for the package anyway if you've put the dependency behind an `if` in the cabal file.
2025-03-11 15:14:14 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-11 15:14:39 +0100 <sinbad> tomsmeding: yeah that what I am complaining about
2025-03-11 15:15:16 +0100 <tomsmeding> that sounds like a bug. Can you either make a reproducer, or post a link to the files that cabal acts strangely on?
2025-03-11 15:19:14 +0100ash3en(~Thunderbi@89.56.182.235) (Quit: ash3en)
2025-03-11 15:19:57 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-11 15:21:27 +0100malte(~malte@mal.tc) (Remote host closed the connection)
2025-03-11 15:21:42 +0100 <sinbad> Either a bug or not the best operational semantics around conditional/flag blocks in cabal. I try to make small reproducer, if/when have some time.
2025-03-11 15:21:43 +0100 <sinbad> thanks everybody for the help.
2025-03-11 15:21:43 +0100 <sinbad> got to go now.
2025-03-11 15:23:33 +0100 <tomsmeding> sinbad: works for me https://paste.tomsmeding.com/9hkEqBPr
2025-03-11 15:23:55 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-11 15:24:01 +0100 <tomsmeding> @tell sinbad in case you missed that, here's the link again https://paste.tomsmeding.com/9hkEqBPr
2025-03-11 15:24:01 +0100 <lambdabot> Consider it noted.
2025-03-11 15:27:56 +0100 <sinbad> tomsmeding: thank you, will study it! :-)
2025-03-11 15:27:59 +0100arkan(~arkan@103.26.47.42)
2025-03-11 15:28:46 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-03-11 15:31:14 +0100sinbad(~sinbad@user/sinbad) (Quit: Leaving.)
2025-03-11 15:32:35 +0100arkan(~arkan@103.26.47.42) (Remote host closed the connection)
2025-03-11 15:32:44 +0100alp_(~alp@128-79-174-146.hfc.dyn.abo.bbox.fr) (Ping timeout: 260 seconds)
2025-03-11 15:38:03 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-03-11 15:49:47 +0100CiaoSen(~Jura@2a02:8071:64e1:7180::ac59) CiaoSen
2025-03-11 15:50:49 +0100 <haskellbridge> <maralorn> Is there a linter which I can make warn for specific specialisations? i.e. currently I would like to search my whole code base for "void :: f () -> f ()"
2025-03-11 15:51:40 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-03-11 15:52:09 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:387d:29e8:8ff8:a6bd) (Quit: ubert)
2025-03-11 15:54:33 +0100euouae(~euouae@user/euouae) euouae
2025-03-11 15:55:30 +0100 <euouae> Hello, what is the way to write package versions for cabal and/or stack? I.e. in general, distribution of haskell packages. I sometimes see Issues like "This won't work with GHC 9.2.x" or package version issues
2025-03-11 15:56:03 +0100manwithluck(~manwithlu@2a00:7c80:0:3c5::14) (Remote host closed the connection)
2025-03-11 15:56:04 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 15:58:07 +0100Guest12(~Guest12@cpc122092-bmly10-2-0-cust61.2-3.cable.virginm.net) (Quit: Client closed)
2025-03-11 15:59:32 +0100manwithluck(~manwithlu@2a00:7c80:0:3c5::14) manwithluck
2025-03-11 15:59:32 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2025-03-11 16:00:24 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-03-11 16:06:32 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2025-03-11 16:13:12 +0100 <merijn> euouae: Not entirely sure what you mean?
2025-03-11 16:13:16 +0100 <merijn> @where pvp
2025-03-11 16:13:16 +0100 <lambdabot> https://pvp.haskell.org/
2025-03-11 16:13:18 +0100 <merijn> That maybe?
2025-03-11 16:19:32 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-03-11 16:19:59 +0100 <euouae> yes, thank you!
2025-03-11 16:20:25 +0100 <euouae> I'm just looking for a way to be able to ship software and instruct users and ensure there won't be issues in the future if they follow my instructions
2025-03-11 16:20:53 +0100 <euouae> Ideally just `cabal install` would work, but how do I write the constraints so that I ensure this? (Maybe I just freeze all deps?)
2025-03-11 16:21:04 +0100 <euouae> I'll look into pvp
2025-03-11 16:22:46 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-03-11 16:29:59 +0100 <monochrom> tomsmeding: I am already mad! >:D
2025-03-11 16:32:12 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-11 16:32:37 +0100polykernel(~polykerne@user/polykernel) (Remote host closed the connection)
2025-03-11 16:33:03 +0100 <tomsmeding> monochrom: :)
2025-03-11 16:33:24 +0100polykernel(~polykerne@user/polykernel) polykernel
2025-03-11 16:33:46 +0100 <tomsmeding> euouae: at present, GHC is hard-bound to `base`, so version-bounding `base` also means version-bounding GHC
2025-03-11 16:34:01 +0100 <tomsmeding> more generally, you can branch on the GHC version in a *.cabal file
2025-03-11 16:34:27 +0100 <tomsmeding> and there is a `buildable: False` declaration you can put in a *.cabal file in case you have a configuration that you want to disallow
2025-03-11 16:37:05 +0100 <monochrom> To prove just how mad I am: Do you resent that for every research result, you have to write a tech report, and a conference paper, and a talk for that, and a journal paper, and a thesis? Well in the last days of my PhD, I had this mad idea: A markup language so you write the stuff just once in one file, the markup will tell the computer what to extract for the tech report, what to extract for the conference paper, what to extract for the talk...
2025-03-11 16:37:05 +0100 <monochrom> (Five minutes later, I recognized that obviously this would be a Frankenstein's monster on par with PL/I, UML, USB, ... so I didn't pursue further.)
2025-03-11 16:37:35 +0100 <tomsmeding> monochrom: having mad ideas occasionally does not mean one is mad
2025-03-11 16:37:59 +0100 <tomsmeding> indeed, the fact that you recognised that it _was_ a mad idea, proves that you aren't!
2025-03-11 16:38:13 +0100 <tomsmeding> I'm afraid you'll have to work harder to get mad :)
2025-03-11 16:42:48 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 16:43:00 +0100 <geekosaur> I actually did my resume that way once since I was targeting multiple fields. It was an unmaintainable monster, and I ended up splitting it again
2025-03-11 16:43:22 +0100 <monochrom> \∩/ empirical data!
2025-03-11 16:43:49 +0100 <tomsmeding> honestly I expect that with this kind of stuff, where the end products are supposed to be documents for human consumption, you'll never be able to properly automate such splitting
2025-03-11 16:44:17 +0100 <tomsmeding> you'll always need bespoke formulations or connecting remarks/sentences, or layout fixes, etc.
2025-03-11 16:44:47 +0100 <tomsmeding> now, if at most one target is a document for human consumption, then it can work perfectly fine -- that's called literate programming
2025-03-11 16:45:16 +0100 <tomsmeding> multiple targets for computer consumption is something the field of CS has been working at solving for the past decades already, and we have various acceptable solutions :)
2025-03-11 16:46:56 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-11 16:46:58 +0100 <tomsmeding> I'm going to make a stronger statement: if you're trying to automate such splitting for documents for human consumption, I'd rather read the original, pre-splitting
2025-03-11 16:47:09 +0100 <tomsmeding> it's likely to have more structure.
2025-03-11 16:48:42 +0100 <tomsmeding> one such splitting approach I did once use is a toggle for switching between an anonymised (for submission to the conference) and a non-anonymised (for submission to arXiv) version of a LaTeX paper. The differences were small enough that that worked quite fine
2025-03-11 16:49:12 +0100 <monochrom> Currently there is just a very simple special case in use: for exam papers, use a TeX boolean flag and write like \ifsolution{ Answer: 42 }\else{ \vspace{2cm} }\fi
2025-03-11 16:50:02 +0100 <tomsmeding> right, that's another one that does work
2025-03-11 16:53:32 +0100CiaoSen(~Jura@2a02:8071:64e1:7180::ac59) (Ping timeout: 268 seconds)
2025-03-11 16:56:44 +0100 <monochrom> Next mad scientist idea: While we can't eliminate CPP from Haskell, we can minimize it down to using CPP to set just a few boolean/enumeration constants, then TH does the case analysis on those constants and...
2025-03-11 16:56:56 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-03-11 16:57:18 +0100 <monochrom> This is known as the Monochrom Normal Form Theorem.
2025-03-11 16:58:01 +0100 <monochrom> (Sorry I had too little sleep and too much coffee!)
2025-03-11 17:04:56 +0100izzyfalco(~jake_pers@user/izzyfalco) izzyfalco
2025-03-11 17:09:52 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-03-11 17:13:09 +0100acidjnk_new(~acidjnk@p200300d6e7283f28c0a9d5fbe208cdcd.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-03-11 17:13:37 +0100puke(~puke@user/puke) (Quit: puke)
2025-03-11 17:14:27 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-03-11 17:17:05 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-03-11 17:17:21 +0100 <tomsmeding> monochrom: can't generate import declarations from TH
2025-03-11 17:17:59 +0100 <tomsmeding> or RULES, or ...
2025-03-11 17:24:22 +0100izzyfalco(~jake_pers@user/izzyfalco) (Ping timeout: 268 seconds)
2025-03-11 17:27:48 +0100zungi(~tory@user/andrewchawk) (Ping timeout: 264 seconds)
2025-03-11 17:28:12 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 17:32:36 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-11 17:33:05 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-03-11 17:34:01 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-11 17:37:19 +0100euouae(~euouae@user/euouae) (Ping timeout: 268 seconds)
2025-03-11 17:37:21 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-11 17:38:30 +0100zungi(~tory@user/andrewchawk) andrewchawk
2025-03-11 17:44:31 +0100jespada(~jespada@2800:a4:235f:7f00:3596:12c9:751d:6561) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-03-11 17:46:51 +0100jespada(~jespada@2800:a4:235f:7f00:3596:12c9:751d:6561) jespada
2025-03-11 17:54:29 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-03-11 17:55:57 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-03-11 17:56:03 +0100shr\ke(~shrike@user/shrke:31298) (Ping timeout: 265 seconds)
2025-03-11 17:56:17 +0100alp_(~alp@2001:861:8ca0:4940:c565:4978:5e35:fdfc)
2025-03-11 17:57:10 +0100ft(~ft@p508db291.dip0.t-ipconnect.de) ft
2025-03-11 18:15:20 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 18:19:25 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2025-03-11 18:19:43 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-11 18:29:04 +0100shr\ke(~shrike@user/paxhumana) paxhumana
2025-03-11 18:29:04 +0100shr\ke(~shrike@user/paxhumana) (Changing host)
2025-03-11 18:29:04 +0100shr\ke(~shrike@user/shrke:31298) shr\ke
2025-03-11 18:32:12 +0100 <monochrom> Oh that's a bummer. I was hoping that one example would be conditional imports.
2025-03-11 18:32:53 +0100omnifunctor(~omnifunct@user/semifunctor) ()
2025-03-11 18:34:18 +0100 <int-e> just have 2^n different hs-source-dirs
2025-03-11 18:36:10 +0100 <dolio> Exactly.
2025-03-11 18:36:38 +0100acidjnk_new(~acidjnk@p200300d6e7283f28843d7caab96c8e30.dip0.t-ipconnect.de) acidjnk
2025-03-11 18:38:12 +0100 <monochrom> :( XD
2025-03-11 18:47:28 +0100 <dolio> I've had ideas that don't require all that.
2025-03-11 18:48:17 +0100 <dolio> Like, don't duplicate your whole codebase 2^n times, but set up subprojects and internal dependencies that get swapped out.
2025-03-11 18:49:10 +0100 <dolio> So you only have extra source directories for the things that change. Not ideal for very small differences, though.
2025-03-11 18:54:56 +0100ash3en(~Thunderbi@89.56.182.235) ash3en
2025-03-11 18:54:57 +0100chele(~chele@user/chele) (Remote host closed the connection)
2025-03-11 18:56:06 +0100notdabs(~Owner@2600:1700:69cf:9000:c403:b663:f780:bd25)
2025-03-11 18:57:05 +0100Guest47(~Guest47@2600:387:f:7e18::6)
2025-03-11 18:59:51 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
2025-03-11 19:01:31 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-03-11 19:02:06 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 19:04:28 +0100Axman6(~Axman6@user/axman6) (Ping timeout: 248 seconds)
2025-03-11 19:04:45 +0100Axman6(~Axman6@user/axman6) Axman6
2025-03-11 19:06:39 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-11 19:10:52 +0100notdabs(~Owner@2600:1700:69cf:9000:c403:b663:f780:bd25) (Remote host closed the connection)
2025-03-11 19:10:59 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-03-11 19:11:24 +0100notdabs(~Owner@2600:1700:69cf:9000:c403:b663:f780:bd25)
2025-03-11 19:15:20 +0100Guest47(~Guest47@2600:387:f:7e18::6) (Quit: Client closed)
2025-03-11 19:20:26 +0100st_aldini(~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) (Quit: st_aldini)
2025-03-11 19:21:25 +0100st_aldini(~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) st_aldini
2025-03-11 19:22:58 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-03-11 19:23:58 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-03-11 19:24:35 +0100puke(~puke@user/puke) puke
2025-03-11 19:24:57 +0100Square(~Square@user/square) Square
2025-03-11 19:27:15 +0100Square2(~Square4@user/square) (Ping timeout: 246 seconds)
2025-03-11 19:27:23 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-03-11 19:27:42 +0100acidjnk_new(~acidjnk@p200300d6e7283f28843d7caab96c8e30.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-03-11 19:32:09 +0100kmein(~weechat@user/kmein) (Quit: ciao kakao)
2025-03-11 19:34:20 +0100kmein(~weechat@user/kmein) kmein
2025-03-11 19:39:01 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-11 19:39:16 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-03-11 19:44:04 +0100Square(~Square@user/square) (Remote host closed the connection)
2025-03-11 19:46:29 +0100Square(~Square@user/square) Square
2025-03-11 19:47:50 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 19:50:44 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-03-11 19:52:33 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds)
2025-03-11 19:52:36 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 276 seconds)
2025-03-11 19:57:21 +0100alp_(~alp@2001:861:8ca0:4940:c565:4978:5e35:fdfc) (Ping timeout: 248 seconds)
2025-03-11 20:00:02 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-03-11 20:00:45 +0100caconym(~caconym@user/caconym) caconym
2025-03-11 20:07:09 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
2025-03-11 20:10:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 20:13:43 +0100weary-traveler(~user@user/user363627) user363627
2025-03-11 20:14:52 +0100ash3en(~Thunderbi@89.56.182.235) (Quit: ash3en)
2025-03-11 20:15:05 +0100Buliarou1(~gypsydang@46.232.210.139) (Quit: leaving)
2025-03-11 20:15:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-03-11 20:15:40 +0100Buliarou1(~gypsydang@46.232.210.139) Buliarous
2025-03-11 20:16:44 +0100acidjnk_new(~acidjnk@p200300d6e7283f28ecd38ce1a7966a67.dip0.t-ipconnect.de) acidjnk
2025-03-11 20:21:12 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-11 20:22:01 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-11 20:22:11 +0100sprotte24(~sprotte24@p200300d16f384d0018ca1d25abfd4f54.dip0.t-ipconnect.de)
2025-03-11 20:25:39 +0100ilyaboka(~ilyaboka@94.158.62.3)
2025-03-11 20:26:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 20:31:40 +0100hattckory(~hattckory@184.145.138.167)
2025-03-11 20:33:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-03-11 20:34:25 +0100ilyaboka(~ilyaboka@94.158.62.3) (Quit: Client closed)
2025-03-11 20:34:27 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2025-03-11 20:35:16 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-11 20:39:54 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 265 seconds)
2025-03-11 20:43:03 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-03-11 20:43:59 +0100Square2(~Square4@user/square) Square
2025-03-11 20:44:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-11 20:45:10 +0100euouae(~euouae@user/euouae) euouae
2025-03-11 20:47:11 +0100Square(~Square@user/square) (Ping timeout: 252 seconds)
2025-03-11 20:48:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-11 20:51:35 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)