00:02:10 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:18:33 -!- tromp has quit (Remote host closed the connection). 00:19:13 -!- tromp has joined. 00:25:20 -!- danieljabailey has changed nick to sdhand_. 00:25:28 -!- sdhand_ has changed nick to danieljabailey. 00:26:49 -!- zzo38 has quit (Ping timeout: 246 seconds). 00:26:59 -!- sparr has quit (Changing host). 00:26:59 -!- sparr has joined. 00:39:28 -!- tromp has quit (Remote host closed the connection). 00:39:44 -!- tromp has joined. 01:06:29 -!- zzo38 has joined. 01:08:48 -!- tromp has quit (Remote host closed the connection). 01:09:43 -!- tromp has joined. 01:14:44 -!- Vorpal has quit (Ping timeout: 268 seconds). 01:25:25 -!- Vorpal has joined. 01:25:25 -!- Vorpal has quit (Changing host). 01:25:25 -!- Vorpal has joined. 02:10:40 -!- b_jonas has quit (Quit: leaving). 02:16:09 -!- arseniiv has quit (Quit: gone completely :o). 02:16:21 -!- arseniiv has joined. 02:25:25 -!- xkapastel has quit (Quit: Connection closed for inactivity). 02:41:13 -!- zzo38 has quit (Ping timeout: 246 seconds). 02:43:12 -!- zzo38 has joined. 03:32:35 -!- xkapastel has joined. 05:10:48 I am not the only one who has written comments to the SQLite mailing list about unreleased changes to SQLite; someone else did too, complaining about the internal name of a function in an extension. The name has been corrected. 05:24:30 [[Special:Log/newusers]] create * ShareMan * New user account 05:28:30 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=58514&oldid=58466 * ShareMan * (+327) /* Introductions */ 05:48:26 -!- doesthiswork has quit (Quit: Leaving.). 05:49:50 -!- doesthiswork has joined. 05:57:47 -!- Lord_of_Life has quit (Ping timeout: 268 seconds). 05:58:05 -!- Lord_of_Life has joined. 05:58:06 -!- Lord_of_Life has quit (Changing host). 05:58:06 -!- Lord_of_Life has joined. 05:59:48 -!- Sgeo_ has joined. 06:01:28 -!- Sgeo has quit (Ping timeout: 250 seconds). 06:02:48 -!- doesthiswork has quit (Quit: Leaving.). 06:35:03 -!- arseniiv has quit (Ping timeout: 245 seconds). 06:35:57 -!- doesthiswork has joined. 06:41:54 -!- xkapastel has quit (Quit: Connection closed for inactivity). 07:10:30 -!- hexfive has joined. 07:33:22 -!- doesthiswork has quit (Quit: Leaving.). 08:38:20 -!- doesthiswork has joined. 08:49:02 -!- tromp has quit (Remote host closed the connection). 08:49:14 -!- tromp has joined. 09:10:23 -!- xkapastel has joined. 09:12:32 [[Special:Log/newusers]] create * ThisIsTheFoxe * New user account 09:26:30 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=58515&oldid=58514 * ThisIsTheFoxe * (+261) /* Introductions */ 09:28:33 [[Befunge]] M https://esolangs.org/w/index.php?diff=58516&oldid=57920 * ThisIsTheFoxe * (-14) /* Quine */ 09:42:48 -!- doesthiswork has quit (Quit: Leaving.). 10:47:54 -!- imode has quit (Ping timeout: 250 seconds). 12:06:20 -!- Vorpal has quit (Ping timeout: 246 seconds). 12:11:55 -!- Vorpal has joined. 12:11:55 -!- Vorpal has quit (Changing host). 12:11:55 -!- Vorpal has joined. 12:29:06 -!- Lord_of_Life has quit (Ping timeout: 246 seconds). 12:29:26 -!- Lord_of_Life has joined. 12:29:26 -!- Lord_of_Life has quit (Changing host). 12:29:26 -!- Lord_of_Life has joined. 12:38:03 -!- Essadon has joined. 12:38:42 -!- Essadon has quit (Max SendQ exceeded). 14:00:32 -!- doesthiswork has joined. 14:25:41 -!- arseniiv has joined. 14:45:49 -!- john_metcalf has quit (Quit: http://corewar.co.uk). 14:50:06 -!- sleepnap has joined. 15:28:34 -!- arseniiv_ has joined. 15:28:48 -!- arseniiv has quit (Ping timeout: 245 seconds). 15:34:08 -!- arseniiv_ has changed nick to arseniiv. 16:23:41 -!- zzo38 has quit (Ping timeout: 244 seconds). 17:08:00 shachaf : in the multiplicative case, i think not 17:08:36 shachaf : i think someone considered a rule called "mix" which allowed one direction, at least 17:09:04 (which was validated in some semantics, like coherence spaces or something) 17:09:14 I think this is different from the mix rule? 17:11:46 Oh, hmm 17:14:38 You're right, this is just the mix rule. 17:14:47 I think I confused it with something else. 17:18:10 ski++ 17:25:05 hm, if you think of tensor as producing results independently, and par as producing them in an interacting way, one might expect to be able to vacuously consider the former as a special case of the latter 17:25:31 (recall how linear implication can be stated in terms of par) 17:26:51 a tensor-continuation would consume the results in a dependent/interacting way (consider multiplication of say natural numbers, we combine information from both parts, together) 17:27:40 while a par-continuation would consume the two interacting result, in an independent way (like one process communicating with one of the two results, and another process communicating with the other one) 17:28:23 so if the results really are interacting, we'd still get three processes which are connected to each other. if they're actually independent, it looks like we get disconnection .. 17:36:56 -!- imode has joined. 17:45:13 @ping 17:45:13 pong 17:51:33 ski: Any idea about models of linear logic without mix? 17:55:48 i don't think i have much of anything useful to say there, no :/ 17:55:55 -!- Lord_of_Life_ has joined. 17:58:12 -!- Lord_of_Life has quit (Ping timeout: 250 seconds). 17:58:20 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 17:58:29 -!- Lord_of_Life has quit (Changing host). 17:58:29 -!- Lord_of_Life has joined. 18:09:53 -!- xkapastel has quit (Quit: Connection closed for inactivity). 18:49:35 -!- xkapastel has joined. 19:02:11 -!- b_jonas has joined. 19:02:22 -!- oerjan has joined. 19:12:03 `" 19:12:05 182) ... come to think of it, \ 190) GCC: -Os -O2 -O3 gives a 4x improvment 19:25:10 why is there no -O4 19:33:01 why does -O take any numbers 19:33:05 it's all scow 19:35:58 -O65536 19:39:49 shachaf: -OOO 19:40:13 gcc has optimizations that you can't even turn on or off individually, only with -O 19:40:20 What a scam 19:56:18 shachaf: because -O is for when you want fast compilation, -O0 is never useful, -O2 is if you want a well-optimized output even at the cost of somewhat slow compilation for large programs, and -Og if you really hate printf debugging and want to step through everything in an interactive debugger 19:57:12 oh, and -Os is for the stage of the boot loader that has to fit in the space left in the hoot sector on a very old floppy with 256 byte sectors 19:58:53 only -O and -O2 are useful really 19:59:49 b_jonas: it's 512 bytes 19:59:50 -!- zzo38 has joined. 20:00:49 (But I thought that part is written in assembly. Maybe I thought wrong.) 20:00:56 int-e: yes, that's why I said a "very old floppy" 20:01:26 on normal floppies and "double density" 720K floppies and all the ones you'll meet the sectors are 512 byte sized 20:01:37 but 256 byte sized sectors used to exist in older floppies 20:01:50 b_jonas: Those would predate linux... what other OS kernel was compiled with gcc before Linux? 20:01:52 int-e: yes, most of it is in assembly usually 20:02:05 or do you mean a non-gcc compiler, hmm 20:02:29 int-e: I'm exaggerating here with the boot sector really, I don't know how they're really compiled (I've seen the source code for that in grub-l once, but that was ages ago, and I didn't look at the *akefile) 20:02:41 I do mean gcc 20:03:09 but not the kernel itself, but a boot loader, which I guess is silly, because Linux used to boot directly from a floppy back then without a boot loader 20:03:41 there are even a few bytes reserved in the boot sector as substitutes for important kernel boot arguments, like the ID of the root device, since there's no boot loader to pass such argument 20:03:48 they removed that from Linux a few years ago 20:04:15 * int-e has found https://en.wikipedia.org/wiki/List_of_floppy_disk_formats ... oh well. 20:04:26 now it requires a boot loader, but there are at least seven boot loaders that can load linux, and most of them work from a floppy, so that's not a problem 20:05:11 one of those has 319 byte sectors, cute. 20:06:03 -!- arseniiv_ has joined. 20:06:49 int-e: do you know how large physical sectors are on a CD? it's not a power of two, because the payload size is a power of two, and there's a lot of extra checksum that's less than half the size of the payload 20:07:05 s/checksum/error correcting code/ 20:07:25 b_jonas: not by heart. 20:07:52 2352 20:08:18 -!- hexfive has quit (Quit: WeeChat 2.2). 20:08:46 -!- arseniiv has quit (Ping timeout: 246 seconds). 20:09:46 no, that's not true either 20:18:01 Summarizing wikipedia, there's 2048 payload encoded into 2352 bytes of data (98 frames, 24 bytes payload each) 3234 (98 frames, 33 bytes on CD-ROM). 20:56:28 [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=58517&oldid=58515 * Oerjan * (+0) 21:18:24 -!- Lord_of_Life has quit (Ping timeout: 250 seconds). 21:19:27 -!- Lord_of_Life has joined. 21:19:27 -!- Lord_of_Life has quit (Changing host). 21:19:27 -!- Lord_of_Life has joined. 21:30:52 [[The Waterfall Model]] https://esolangs.org/w/index.php?diff=58518&oldid=55755 * Ais523 * (+170) /* Computational class */ link The Waterfall Model Online, because it's complete enough to be usable 21:49:48 -!- user24 has joined. 21:50:12 [[+-]] https://esolangs.org/w/index.php?diff=58519&oldid=57870 * Cortex * (+855) 21:52:16 -!- MACUMBA has quit (Quit: SuchZNC - Such ZNC, many free, w0w... -- https://suchznc.net). 22:08:49 -!- sleepnap has left. 22:43:07 -!- arseniiv_ has changed nick to arseniiv. 22:53:39 -!- oerjan has quit (Quit: Nite). 23:01:43 -!- lambdabot has quit (Killed (Sigyn (Spam is off topic on freenode.))). 23:07:37 -!- Lord_of_Life has quit (Ping timeout: 268 seconds). 23:10:12 -!- lambdabot has joined. 23:12:26 -!- Lord_of_Life has joined. 23:12:26 -!- Lord_of_Life has quit (Changing host). 23:12:26 -!- Lord_of_Life has joined. 23:46:49 PGCC went up to -O6. 23:47:08 http://oldhome.schmorp.de/pgcc-faq.html#opts 23:48:11 Aren't a lot of optimizer things search problems that can take arbitrarily long? 23:48:24 How do compilers decide where to stop? 23:49:56 Maybe they stop when they get bored. 23:50:08 Terrible for reproducible builds. 23:50:38 What I mean is, maybe I should be able to specify that sort of thing. 23:50:59 Or maybe the marginal gain of spending more time than whatever -O2 does is very small. 23:51:52 You can specify a lot of those things on GCC, with --param. 23:52:05 There's a long long list at the end of https://gcc.gnu.org/onlinedocs/gcc/Optimize-Options.html#Optimize-Options 23:53:04 Last I checked there was code in GCC that literally checked if (optimization_level >= 2) { ... } 23:59:35 Perhaps you can suggest a correction to that, then