Newest at the top
| 2025-03-10 10:35:38 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-03-10 10:34:57 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-10 10:34:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-03-10 10:34:18 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-03-10 10:30:49 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3505-a309-641e-34a2-2fd3-1364.rev.sfr.net) (Remote host closed the connection) |
| 2025-03-10 10:25:47 +0100 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2025-03-10 10:25:40 +0100 | mange | (~user@user/mange) mange |
| 2025-03-10 10:20:36 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-03-10 10:18:27 +0100 | fp | (~Thunderbi@wireless-86-50-140-47.open.aalto.fi) (Ping timeout: 244 seconds) |
| 2025-03-10 10:16:18 +0100 | Everything | (~Everythin@94.153.10.203) (Ping timeout: 276 seconds) |
| 2025-03-10 10:13:59 +0100 | fp | (~Thunderbi@wireless-86-50-140-47.open.aalto.fi) fp |
| 2025-03-10 10:13:58 +0100 | <tomsmeding> | literate programming is just a way to generate such a document in a way that the compiler still checks your code :) |
| 2025-03-10 10:13:42 +0100 | <tomsmeding> | You don't even need literate programming, you can just write in your document "now we first look at the definition of a different function, before we continue with the equations of foo" |
| 2025-03-10 10:13:19 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 252 seconds) |
| 2025-03-10 10:12:26 +0100 | <tomsmeding> | Code is read more often than it is written, and if you have something larger than just a single tutorial, I'd rather see the equations of a particular function together than spread all over a file! |
| 2025-03-10 10:11:53 +0100 | <tomsmeding> | As you say, that is useful for explanation, but we have literate programming tools for that if you want that so badly |
| 2025-03-10 10:11:28 +0100 | <tomsmeding> | monochrom: Why does the linear structure of code need to follow the chronological development process? |
| 2025-03-10 10:09:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-10 10:09:02 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-03-10 10:08:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-10 10:04:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-10 09:52:48 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-10 09:50:59 +0100 | harveypwca | (~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) (Quit: Leaving) |
| 2025-03-10 09:23:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-10 09:18:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-10 09:17:48 +0100 | chele | (~chele@user/chele) chele |
| 2025-03-10 09:16:16 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) acidjnk |
| 2025-03-10 09:13:55 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-03-10 09:12:57 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3505-a309-641e-34a2-2fd3-1364.rev.sfr.net) alexherbo2 |
| 2025-03-10 09:12:56 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-03-10 09:12:55 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-03-10 09:00:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-10 09:00:26 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-10 08:59:38 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-10 08:57:03 +0100 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
| 2025-03-10 08:56:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-10 08:49:23 +0100 | ft | (~ft@p508db291.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-03-10 08:48:38 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-03-10 08:45:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-10 08:42:06 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2025-03-10 08:40:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-10 08:38:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-03-10 08:33:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-10 08:33:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-10 08:28:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-10 08:18:34 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2025-03-10 08:17:47 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-10 08:17:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-10 08:17:27 +0100 | <Inst> | oh well |
| 2025-03-10 08:17:26 +0100 | <Inst> | huh, this is going to take a while, maybe unsafePerformIO, forkIO, and mvars might be a better way to do it |