| 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) |