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