Newest at the top
| 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 |
| 2025-03-10 08:17:20 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-03-10 08:16:51 +0100 | Inst | (~Inst@user/Inst) Inst |
| 2025-03-10 08:16:04 +0100 | CiaoSen | (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) CiaoSen |
| 2025-03-10 08:14:26 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-03-10 08:14:23 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 268 seconds) |
| 2025-03-10 08:13:41 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-03-10 08:13:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-10 08:12:39 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-03-10 08:12:37 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: yolo) |