| 2025-03-11 00:02:09 +0100 | hattckory | (~hattckory@184.145.138.167) |
| 2025-03-11 00:08:46 +0100 | exfalsoquodlibet | (a7085e0f71@2a03:6000:1812:100::13a3) |
| 2025-03-11 00:08:53 +0100 | merijn | (~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 +0100 | yegorc | (~yegorc@user/yegorc) (Leaving) |
| 2025-03-11 00:13:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-11 00:15:44 +0100 | hattckory | (~hattckory@184.145.138.167) (Ping timeout: 260 seconds) |
| 2025-03-11 00:19:13 +0100 | vanishingideal | (~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 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 00:27:33 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-11 00:28:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-11 00:30:13 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-03-11 00:30:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-03-11 00:30:24 +0100 | ljdarj1 | ljdarj |
| 2025-03-11 00:39:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-11 00:39:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 00:43:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-11 00:44:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-11 00:45:35 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 2025-03-11 00:53:48 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-03-11 00:54:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 01:02:01 +0100 | merijn | (~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 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-11 01:05:53 +0100 | weary-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 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 01:15:40 +0100 | sprotte24 | (~sprotte24@p200300d16f2be600dd41c2d10079e9f2.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-03-11 01:17:14 +0100 | merijn | (~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 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-11 01:27:18 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-03-11 01:28:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 01:29:59 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-11 01:32:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-11 01:37:36 +0100 | hattckory | (~hattckory@184.145.138.167) |
| 2025-03-11 01:42:39 +0100 | hattckory | (~hattckory@184.145.138.167) (Ping timeout: 260 seconds) |
| 2025-03-11 01:43:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 01:48:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-11 01:52:37 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f933:3317:5967:9ba3) (Ping timeout: 248 seconds) |
| 2025-03-11 01:53:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-11 01:57:13 +0100 | harveypwca | (~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) (Quit: Leaving) |
| 2025-03-11 01:59:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 01:59:36 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-03-11 02:03:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-11 02:11:08 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-11 02:14:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 02:15:20 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 2025-03-11 02:16:01 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-11 02:18:01 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-03-11 02:18:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-11 02:20:15 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-03-11 02:21:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-03-11 02:29:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 02:36:37 +0100 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-03-11 02:36:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-11 02:38:41 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-03-11 02:40:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 02:43:36 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-03-11 02:44:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-11 02:46:21 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-03-11 02:52:10 +0100 | hattckory | (~hattckory@184.145.138.167) |
| 2025-03-11 02:53:44 +0100 | Digit | (~user@user/digit) Digit |
| 2025-03-11 02:55:42 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-03-11 02:56:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 02:56:44 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-03-11 02:56:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-11 03:00:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-11 03:01:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-03-11 03:01:40 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-03-11 03:04:35 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2025-03-11 03:08:24 +0100 | hattckory | (~hattckory@184.145.138.167) (Ping timeout: 260 seconds) |
| 2025-03-11 03:11:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 03:11:35 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-03-11 03:12:50 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-11 03:14:04 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) (Read error: Connection reset by peer) |
| 2025-03-11 03:15:27 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:c559:e625:333a:3d27) synchromesh |
| 2025-03-11 03:15:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-11 03:16:43 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-11 03:24:41 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:18ba:19eb:bf57:848b) (Read error: Connection reset by peer) |
| 2025-03-11 03:26:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 03:26:48 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-11 03:31:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-11 03:39:01 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 2025-03-11 03:42:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 03:42:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-11 03:46:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-11 03:47:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-03-11 03:48:04 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-03-11 03:57:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 04:02:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-11 04:10:24 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-11 04:12:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 04:14:09 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-11 04:15:15 +0100 | foul_owl | (~kerry@94.156.149.96) (Quit: WeeChat 3.8) |
| 2025-03-11 04:15:37 +0100 | foul_owl | (~kerry@94.156.149.96) foul_owl |
| 2025-03-11 04:17:47 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-11 04:19:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-11 04:20:37 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-11 04:22:09 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-03-11 04:23:37 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-03-11 04:29:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-11 04:30:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 04:33:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-11 04:35:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-11 04:37:38 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-11 04:41:21 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-11 04:41:41 +0100 | haetsal | (~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.) |
| 2025-03-11 04:42:05 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-03-11 04:42:56 +0100 | haetsal | (~quassel@221.138.168.192) |
| 2025-03-11 04:44:48 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-11 04:46:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 04:50:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-11 05:01:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 05:01:56 +0100 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
| 2025-03-11 05:02:11 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-11 05:02:12 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-11 05:05:32 +0100 | zungi | (~tory@user/andrewchawk) (Remote host closed the connection) |
| 2025-03-11 05:05:34 +0100 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-11 05:06:01 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-03-11 05:06:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-11 05:06:15 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-11 05:06:38 +0100 | thaumavorio | (~thaumavor@thaumavor.io) (Ping timeout: 244 seconds) |
| 2025-03-11 05:06:58 +0100 | thaumavorio | (~thaumavor@thaumavor.io) thaumavorio |
| 2025-03-11 05:08:46 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-03-11 05:09:00 +0100 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 265 seconds) |
| 2025-03-11 05:14:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-11 05:15:06 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-11 05:17:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 05:19:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-11 05:21:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-11 05:32:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 05:33:32 +0100 | izzyfalco | (~jake_pers@user/izzyfalco) izzyfalco |
| 2025-03-11 05:36:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-11 05:47:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 05:53:42 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-03-11 05:53:52 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-03-11 05:54:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-11 06:00:42 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-03-11 06:01:11 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-11 06:03:51 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-03-11 06:05:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 06:05:57 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-11 06:06:02 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-11 06:06:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-11 06:08:59 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 2025-03-11 06:10:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-11 06:14:39 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-03-11 06:16:34 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-11 06:21:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 06:22:42 +0100 | ski | (~ski@remote11.chalmers.se) |
| 2025-03-11 06:22:54 +0100 | nschoe- | (~nschoe@2a01:e0a:8e:a190:390c:4fc2:cea5:b72a) (Ping timeout: 246 seconds) |
| 2025-03-11 06:25:10 +0100 | izzyfalco | (~jake_pers@user/izzyfalco) (Ping timeout: 244 seconds) |
| 2025-03-11 06:25:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-11 06:36:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 06:39:51 +0100 | k0zy | (~user@user/k0zy) k0zy |
| 2025-03-11 06:41:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-11 06:41:19 +0100 | michalz | (~michalz@185.246.207.203) |
| 2025-03-11 06:46:35 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-11 06:50:50 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-11 06:52:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 06:56:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-11 06:59:36 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-11 07:03:17 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-11 07:07:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 07:12:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-11 07:13:13 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-11 07:17:59 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-03-11 07:22:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 07:28:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-11 07:32:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-11 07:36:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-11 07:39:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 07:43:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-11 07:50:42 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-03-11 07:53:43 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-03-11 07:54:23 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-11 07:54:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 07:59:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-11 08:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-11 08:01:03 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-11 08:03:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-03-11 08:03:06 +0100 | k0zy | (~user@user/k0zy) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 2025-03-11 08:04:15 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-03-11 08:07:51 +0100 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) nschoe |
| 2025-03-11 08:10:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 08:10:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-11 08:12:13 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-03-11 08:13:26 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2025-03-11 08:13:34 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-03-11 08:14:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-11 08:14:57 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Remote host closed the connection) |
| 2025-03-11 08:15:30 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-03-11 08:17:42 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-11 08:21:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-11 08:23:35 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) CiaoSen |
| 2025-03-11 08:25:27 +0100 | merijn | (~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 +0100 | merijn | (~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 +0100 | merijn | (~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 +0100 | merijn | (~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 +0100 | izzyfalco | (~jake_pers@user/izzyfalco) izzyfalco |
| 2025-03-11 08:51:48 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-03-11 08:56:22 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-11 09:03:46 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-11 09:04:52 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-11 09:04:53 +0100 | ft | (~ft@p508db291.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-03-11 09:07:55 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-11 09:27:57 +0100 | sarna | (~sarna@d168-237.icpnet.pl) (Ping timeout: 276 seconds) |
| 2025-03-11 09:28:14 +0100 | Smiles | (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 +0100 | acidjnk_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 +0100 | sarna | (~sarna@d168-237.icpnet.pl) sarna |
| 2025-03-11 09:41:04 +0100 | alp | (~alp@2001:861:8ca0:4940:10bd:451c:fec0:8bc1) |
| 2025-03-11 09:42:31 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-03-11 09:42:51 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-11 09:49:31 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-11 09:52:37 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |
| 2025-03-11 09:53:23 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-11 09:54:10 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |