Newest at the top
| 2025-03-11 01:29:59 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-11 01:28:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 01:27:18 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-03-11 01:25:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 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: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:17:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-11 01:15:40 +0100 | sprotte24 | (~sprotte24@p200300d16f2be600dd41c2d10079e9f2.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-03-11 01:13:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 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: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: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:05:53 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-11 01:05:00 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 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: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:02:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-11 00:54:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 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:45:35 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 2025-03-11 00:44:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-11 00:43:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-11 00:39:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 00:39:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-11 00:30:24 +0100 | ljdarj1 | ljdarj |
| 2025-03-11 00:30:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-03-11 00:30:13 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-03-11 00:28:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-11 00:27:33 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-11 00:24:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 00:22:01 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-03-11 00:19:13 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-03-11 00:15:44 +0100 | hattckory | (~hattckory@184.145.138.167) (Ping timeout: 260 seconds) |
| 2025-03-11 00:13:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-11 00:10:05 +0100 | yegorc | (~yegorc@user/yegorc) (Leaving) |
| 2025-03-11 00:09:57 +0100 | <exfalsoquodlibet> | .join haskell-fr |
| 2025-03-11 00:08:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-11 00:08:46 +0100 | exfalsoquodlibet | (a7085e0f71@2a03:6000:1812:100::13a3) |
| 2025-03-11 00:02:09 +0100 | hattckory | (~hattckory@184.145.138.167) |
| 2025-03-10 23:57:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-10 23:57:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-10 23:53:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-10 23:52:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-10 23:50:02 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-10 23:48:06 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-03-10 23:46:49 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-10 23:42:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-10 23:38:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-10 23:37:31 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-10 23:36:01 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |