2025/03/10

Newest at the top

2025-03-10 11:43:56 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-03-10 11:40:36 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-10 11:39:54 +0100fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 260 seconds)
2025-03-10 11:37:42 +0100alexherbo2(~alexherbo@2a02-8440-3505-a309-316c-408c-4c06-8723.rev.sfr.net) (Remote host closed the connection)
2025-03-10 11:36:29 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 11:23:00 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2025-03-10 11:20:55 +0100greenOcean(~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734)
2025-03-10 11:15:37 +0100alexherbo2(~alexherbo@2a02-8440-3505-a309-316c-408c-4c06-8723.rev.sfr.net) alexherbo2
2025-03-10 11:02:28 +0100uam(uid360535@id-360535.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-10 11:02:25 +0100nschoe(~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 248 seconds)
2025-03-10 10:59:41 +0100nschoe-(~nschoe@2a01:e0a:8e:a190:390c:4fc2:cea5:b72a)
2025-03-10 10:57:57 +0100tabaqui1(~root@87.200.129.102) tabaqui
2025-03-10 10:55:18 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 276 seconds)
2025-03-10 10:50:45 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 10:46:54 +0100arahael(~arahael@user/arahael) arahael
2025-03-10 10:46:24 +0100byte(~mu@user/byte) byte
2025-03-10 10:44:29 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-10 10:43:58 +0100byte(~mu@user/byte) (Read error: Connection reset by peer)
2025-03-10 10:40:16 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-03-10 10:39:55 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-03-10 10:35:38 +0100__monty__(~toonn@user/toonn) toonn
2025-03-10 10:34:57 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-10 10:34:39 +0100ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-03-10 10:34:18 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2025-03-10 10:30:49 +0100alexherbo2(~alexherbo@2a02-8440-3505-a309-641e-34a2-2fd3-1364.rev.sfr.net) (Remote host closed the connection)
2025-03-10 10:25:47 +0100arahael(~arahael@user/arahael) (Remote host closed the connection)
2025-03-10 10:25:40 +0100mange(~user@user/mange) mange
2025-03-10 10:20:36 +0100fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-03-10 10:18:27 +0100fp(~Thunderbi@wireless-86-50-140-47.open.aalto.fi) (Ping timeout: 244 seconds)
2025-03-10 10:16:18 +0100Everything(~Everythin@94.153.10.203) (Ping timeout: 276 seconds)
2025-03-10 10:13:59 +0100fp(~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 +0100tt12310978324354(~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 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-10 10:09:02 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-03-10 10:08:45 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-03-10 10:04:41 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 09:52:48 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-10 09:50:59 +0100harveypwca(~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) (Quit: Leaving)
2025-03-10 09:23:12 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-10 09:18:57 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 09:17:48 +0100chele(~chele@user/chele) chele
2025-03-10 09:16:16 +0100acidjnk_new(~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) acidjnk
2025-03-10 09:13:55 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-03-10 09:12:57 +0100alexherbo2(~alexherbo@2a02-8440-3505-a309-641e-34a2-2fd3-1364.rev.sfr.net) alexherbo2
2025-03-10 09:12:56 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)