00:00:20 argh 00:01:02 salpynx: i just said above that i way avoiding getting involved :P 00:01:05 *was 00:01:26 although ais523 had an idea that maybe it might work to simulate a 1d CA 00:02:46 that talk page is a mess 00:02:49 it doesn't feel like a bad language, but the debate is tiring. It shouldn't be that hard to put an end to, but I feel my ability to judge (or think straight) has been affected by trying to follow it 00:03:26 TuxCrafting had the most coherent arguments, but they are now struck through 00:04:44 I don't think the language can copy a single bit from one mem location to another, without destroying stored data, and that prevents any tc mechanism. 00:06:20 I tried to set out my thoughts in a way that any errors should be easy to spot 00:08:52 [[EXCON]] https://esolangs.org/w/index.php?diff=61815&oldid=61800 * Oerjan * (+39) Undo revision 61800 by [[Special:Contributions/A|A]] ([[User talk:A|talk]]) (Usable for programming is a higher bar than just outputting fixed strings.) 00:10:08 TIL 'cat' is usable for programming 00:11:05 rdococ: um i'm saying the opposite 00:13:01 are there any programming languages that can detect sarcasm? 00:14:39 I got it, but I'm not a programming language. 00:14:58 i also got the sarcasm, but the target was ambiguous. 00:15:30 I suppose I'm occasionally usable for programming though 00:16:45 heh, in fact that's what I should be doing now, rather than worrying about bitch 00:18:59 salpynx: i don't think your argument holds, because you're assuming that to be TC, Bitch has to be able to do a _specific_ calculation on the accumulator. 00:19:28 interesting language name 00:20:25 for example, iirc it is a known theorem that a 2-register minsky machine cannot compute the square of one of its registers. 00:21:17 but this doesn't matter, because the TC proof uses a data encoding that never requires doing that. 00:21:36 oerjan: I didn't go into that detail, but I believe the copy is a stand in for _any_ operation which takes two operands (of any size) from memory and performs an operation without destroying other parts of the memory. An OR or AND would work equally to disprove what I claim 00:26:44 -!- tromp has joined. 00:31:23 -!- tromp has quit (Ping timeout: 248 seconds). 00:35:08 In the argument, 'copy' was not meant to be a special operation, just a specific instance to represent the generic case of an operation with 2 operands. I think my argument applies to any operation that actually uses two bits from memory. Operations taking one bit from memory and the other from user input or code are fine, and all the other code examples I can follow only do that, which is what a PDA can do. 00:40:11 -!- arseniiv has quit (Ping timeout: 246 seconds). 00:46:22 -!- FreeFull has quit. 00:47:13 -!- FreeFull has joined. 00:49:09 i cannot get from the spec how chaining in Bitch is actually supposed to work. and my brain refuses to try to read the implementation. 00:51:07 although the only _useful_ interpretation is that op1 op2 number will calculate acc op1 (acc op2 number) where acc is the original value in both cases, and then only store the final result. 00:51:28 oerjan: thanks for getting your hands this dirty anyway -- I feel like I can't get much further and was hoping A or some other expert in the language would take on the challenge and prove me wrong. 00:52:36 oerjan: Just knowing I haven't made any blindingly obvious errors is helpful 00:53:10 i don't understand Bitch either, is what i'm saying. 00:54:40 the spec is not stating some important assumptions, so i might be guessing wrong and that puts me off thinking more about it. 00:56:24 fair enough, I think my challenge is clear enough though. If someone invested in proving TC can show me an algorithm that can copy a bit, I'll understand it enough to help with that. If they can't, I'm calling it a PDA 00:57:47 My getting invested in proving not-TC was probably a mistake, so I appreciate you not wanting to get in further 01:04:17 [[99 bottles of beer]] M https://esolangs.org/w/index.php?diff=61816&oldid=56544 * A * (+159) Add specification, as usability is more than printing a message. 01:17:02 -!- sprocklem has quit (Quit: brb). 01:18:35 -!- sprocklem has joined. 01:31:24 -!- john_metcalf has quit (Ping timeout: 250 seconds). 01:34:09 -!- imode has quit (Quit: WeeChat 2.4). 01:45:44 -!- gerzytet has joined. 01:58:29 -!- kmc has joined. 02:14:53 -!- tromp has joined. 02:19:20 -!- tromp has quit (Ping timeout: 252 seconds). 03:43:29 -!- sombrero has joined. 03:51:11 Pardon the interruption, but probably in the near future will be necessary a eso-AI (esoteric artifitial intelligence) to counteract the immense productivity of a typical AI, or also, to counteract AIs whose primary purpose is self-preservation rather exploration, What is your take on this? 03:53:21 I don't know what those words mean. 03:54:48 culture jamming artificial superintelligence with postmodernism? i like the way you think 03:56:12 fungot, how do you feel about culture jamming artificial superintelligence with postmodernism? 03:56:13 Hooloovo0: your professor wants the representation of a macro could do that if you need anything done, you have 04:18:09 what a direction has taken the incursion, a dada esoteric superintelligence LOL 04:22:46 -!- FreeFull has quit. 04:34:14 -!- sombrero has quit (Quit: Page closed). 06:01:13 fungot: when the going gets weird, the weird turn what? 06:01:13 kmc: that was an actual command), is a " hyphen-minus" 06:24:50 -!- imode has joined. 07:05:13 -!- imode has quit (Ping timeout: 255 seconds). 07:30:59 -!- tromp has joined. 07:31:25 -!- oerjan has quit (Quit: Nite). 08:03:23 -!- tromp has quit (Remote host closed the connection). 08:18:50 -!- tromp has joined. 08:33:20 -!- AnotherTest has joined. 09:27:34 -!- LKoen has joined. 09:56:10 -!- arseniiv has joined. 10:38:38 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61817&oldid=61814 * A * (-11) This can be used as an argument against TC-ness. Remove the deletion line 10:39:16 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61818&oldid=61817 * A * (-42) /* Bitch might be Turing-incomplete */ 10:42:54 -!- LKoen has quit (Remote host closed the connection). 10:44:21 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61819&oldid=61818 * A * (+229) Closed challenge (already done by Helen) 10:47:26 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61820&oldid=61819 * A * (+18) grm 10:49:29 -!- danieljabailey_ has quit (Quit: ZNC 1.6.6+deb1ubuntu0.1 - http://znc.in). 10:51:03 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61821&oldid=61820 * A * (+228) Add description 11:03:58 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61822&oldid=61821 * A * (+119) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ 11:04:06 [[RarVM]] M https://esolangs.org/w/index.php?diff=61823&oldid=61603 * Void * (+5) /* Jumping processes */ 11:08:48 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61824&oldid=61822 * A * (+205) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ 11:14:37 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61825&oldid=61824 * A * (+459) Extend my counter-arguement 11:16:21 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61826&oldid=61825 * A * (+162) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ 11:16:42 -!- LKoen has joined. 11:18:15 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61827&oldid=61826 * A * (-47) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ 11:23:16 [[RarVM]] M https://esolangs.org/w/index.php?diff=61828&oldid=61823 * Void * (+230) /* Evolving programs */ 11:23:54 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61829&oldid=61827 * A * (+116) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ 11:29:02 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61830&oldid=61829 * A * (+152) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ 11:30:43 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61831&oldid=61830 * A * (+0) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ 11:31:45 [[RarVM]] M https://esolangs.org/w/index.php?diff=61832&oldid=61828 * Void * (+128) /* Implementations */ 11:37:18 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61833&oldid=61831 * A * (+126) grm, and mixed up two conjectures 11:47:37 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61834&oldid=61833 * A * (+16) Make my argument harder to read 11:48:32 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61835&oldid=61834 * A * (-7) /* Counter-arguments */ 11:54:41 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61836&oldid=61835 * A * (+74) /* What bitch surpasses */ 11:56:42 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61837&oldid=61836 * A * (-12) /* Counter-arguments */ 12:04:08 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61838&oldid=61837 * A * (+114) /* Counter-arguments */ 12:09:11 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61839&oldid=61838 * Salpynx * (+1291) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ 3rd attempt to save, but page keeps changing 12:25:02 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61840&oldid=61839 * A * (+8) /* Counter-arguments */ 12:38:16 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61841&oldid=61840 * A * (-1887) 12:58:00 -!- LKoen has quit (Remote host closed the connection). 13:11:10 [[User talk:Oerjan]] M https://esolangs.org/w/index.php?diff=61842&oldid=58702 * A * (+359) Ask a question that is quite hard to determine 13:25:00 [[User talk:Oerjan]] M https://esolangs.org/w/index.php?diff=61843&oldid=61842 * A * (+30) Tell where it is 13:34:29 [[Oneline]] M https://esolangs.org/w/index.php?diff=61844&oldid=61517 * A * (+0) grm 13:36:19 [[Bitch]] https://esolangs.org/w/index.php?diff=61845&oldid=61807 * Int-e * (+20) implementation: fix a bug (probably due to simplification of the github version). 13:37:21 the sad thing is I'm just looking at the code because the specification is so imprecise. 13:49:30 -!- LKoen has joined. 14:58:11 -!- moei has joined. 15:15:08 [[Bitch]] https://esolangs.org/w/index.php?diff=61846&oldid=61845 * Int-e * (+370) add rot13 program 15:42:02 -!- LKoen has quit (Remote host closed the connection). 16:17:33 -!- Lord_of_Life has joined. 16:25:45 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine). 16:26:42 -!- Lord_of_Life has joined. 16:31:51 -!- user24 has joined. 16:33:32 -!- john_metcalf has joined. 17:10:04 -!- Phantom_Hoover has joined. 17:10:07 -!- tromp has quit (Remote host closed the connection). 17:19:29 [[Special:Log/newusers]] create * Alvarito056 * New user account 17:33:23 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=61847&oldid=61709 * Alvarito056 * (+155) 17:36:39 -!- tromp has joined. 18:03:36 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=61848&oldid=61847 * Simplemaker * (+272) 18:05:54 -!- tromp has quit (Remote host closed the connection). 18:15:13 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 18:21:45 -!- MDude has quit (Read error: No route to host). 18:24:39 -!- Phantom_Hoover has joined. 18:31:12 -!- tswett[m] has quit (Changing host). 18:31:12 -!- tswett[m] has joined. 18:31:12 -!- tswett[m] has quit (Changing host). 18:31:12 -!- tswett[m] has joined. 18:33:41 -!- tromp has joined. 18:37:47 -!- Lord_of_Life has quit (Ping timeout: 248 seconds). 18:37:58 -!- tromp has quit (Ping timeout: 252 seconds). 18:43:41 -!- MDude has joined. 19:04:24 -!- MDude has quit (Ping timeout: 250 seconds). 19:06:16 -!- MDude has joined. 19:19:13 -!- FreeFull has joined. 19:22:40 -!- user24 has quit (Remote host closed the connection). 19:23:04 -!- user24 has joined. 19:24:35 -!- user24 has quit (Client Quit). 19:30:31 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 19:51:14 -!- Phantom_Hoover has joined. 19:54:30 -!- xkapastel has joined. 19:58:59 -!- tromp has joined. 20:03:16 -!- tromp has quit (Ping timeout: 255 seconds). 20:08:06 -!- Lord_of_Life has joined. 20:11:31 -!- hakatashi1 has joined. 20:12:04 -!- Lord_of_Life_ has joined. 20:13:11 -!- Lord_of_Life has quit (Ping timeout: 255 seconds). 20:15:02 -!- hakatashi has quit (Ping timeout: 250 seconds). 20:15:28 -!- sftp has quit (Ping timeout: 250 seconds). 20:15:28 -!- joast has quit (Ping timeout: 250 seconds). 20:15:29 -!- APic has quit (Ping timeout: 250 seconds). 20:18:30 -!- mniip has quit (Ping timeout: 612 seconds). 20:19:00 -!- Lord_of_Life_ has quit (Ping timeout: 258 seconds). 20:20:32 -!- sftp has joined. 20:21:21 -!- mniip has joined. 20:23:52 -!- Lord_of_Life has joined. 20:28:37 -!- APic has joined. 20:32:33 -!- Lord_of_Life has quit (Ping timeout: 245 seconds). 20:33:56 -!- imode has joined. 20:35:29 -!- joast has joined. 20:38:04 -!- Lord_of_Life has joined. 20:44:19 -!- Lord_of_Life has quit (Ping timeout: 246 seconds). 20:48:28 -!- Lord_of_Life has joined. 20:53:38 -!- tromp has joined. 20:58:10 -!- tromp has quit (Ping timeout: 258 seconds). 21:07:34 -!- AnotherTest has quit (Ping timeout: 252 seconds). 21:11:01 -!- adu has quit (Quit: adu). 21:32:29 -!- LKoen has joined. 21:44:06 -!- tromp has joined. 21:56:49 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 22:36:58 -!- moei has quit (Quit: Leaving...). 22:56:58 -!- arseniiv has quit (Ping timeout: 255 seconds). 22:57:36 -!- rdococ has changed nick to dccoor. 23:02:35 -!- dccoor has changed nick to rdococ. 23:07:41 -!- tromp has quit (Remote host closed the connection). 23:21:40 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61849&oldid=61841 * Salpynx * (+0) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ fix another important typo, oops. 23:31:15 -!- Lord_of_Life_ has joined. 23:32:11 -!- Lord_of_Life has quit (Ping timeout: 248 seconds). 23:32:21 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 23:37:52 -!- oerjan has joined. 23:58:28 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).