00:14:51 -!- sleepnap has left. 00:16:52 https://reason.com/2019/05/08/denver-just-became-the-first-u-s-city-to-decriminalize-psychedelic-mushrooms 00:16:57 fungot: what do you think of that? 00:16:58 kmc: wtf are you doing programming?? :p) defining an api for graphics interfaces to c libraries ( yet) 00:31:13 [[User talk:Oerjan]] https://esolangs.org/w/index.php?diff=61850&oldid=61843 * Oerjan * (+1099) /* Turing completeness */ Answer 00:33:57 let's ask GPT-2 00:34:39 https://i.imgur.com/6wj8FB9.png 00:35:43 fungot: you're being replaced by robots 00:35:43 shachaf: is there on your cf if i may ask 00:43:54 [[Special:Log/newusers]] create * Odog8 * New user account 00:54:31 -!- ais523 has joined. 01:00:14 -!- adu has joined. 01:01:48 -!- ais523 has quit (Quit: sorry for my connection). 01:02:01 -!- ais523 has joined. 01:53:19 -!- FreeFull has quit. 02:30:44 A's qn re human involvement has given me an idea for an appropriately joke TC variant of bitch: the User MUST act as an unbounded stack for the program. Output is PUSH, Input is POP. bitch handles one stack, and bitwise operations, the user is the other stack. 02:33:18 now I'm wondering if the entire language was a setup for this joke. bitch is TC when bitch is you. 02:33:37 (sorry baba) 02:34:27 hmm, that's the same computational class as Wiki Cyclic Tag I think 02:34:47 (TC if a human repeatedly gives enters the program's output back as input to the program, not otherwise) 02:35:22 Wiki Cyclic Tag's main issue is the lack of any sort of loop, so the human output→input copying is needed both to introduce a loop, and to retain state between loop iterations 03:09:22 interesting, I had heard of WIki Cyclic Tag but didn't realise it used that trick. I was thinking of the css + html "Turing completeness proof" that required user input to transition states, which I thought was controversial, but seems slightly different 03:10:43 hmm, maybe that is an equivalent trick, but more indirect 03:17:22 -!- tromp has joined. 03:21:56 -!- tromp has quit (Ping timeout: 252 seconds). 04:01:12 -!- Sgeo__ has joined. 04:02:39 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61851&oldid=61849 * A * (+293) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ 04:03:06 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61852&oldid=61851 * A * (-26) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ 04:03:49 -!- xkapastel has quit (Quit: Connection closed for inactivity). 04:04:06 -!- Sgeo_ has quit (Ping timeout: 252 seconds). 04:27:29 -!- ais523 has quit (Quit: quit). 04:46:03 NetHack is deprecating OS/2?! 05:05:21 -!- tromp has joined. 05:10:02 -!- tromp has quit (Ping timeout: 245 seconds). 05:15:29 O_O 05:43:03 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61853&oldid=61852 * Int-e * (+1067) /* Not TC Conjecture [...] */ a solution 05:51:08 int-e: ok so chained instructions do _not_ modify the accumulator? that was the main thing i was confused about. 05:51:29 according to the Java interpreter, yes, they don't. 06:46:32 -!- adu has quit (Quit: adu). 06:48:26 -!- user24 has joined. 06:53:37 -!- tromp has joined. 06:58:28 -!- tromp has quit (Ping timeout: 255 seconds). 07:03:49 -!- S_Gautam has joined. 07:29:14 -!- tromp has joined. 07:42:37 -!- oerjan has quit (Quit: Nite). 07:49:15 -!- imode has quit (Ping timeout: 248 seconds). 08:07:01 -!- user24 has quit (Quit: Leaving). 08:07:59 -!- AnotherTest has joined. 08:31:55 -!- AnotherTest has quit (Ping timeout: 248 seconds). 08:36:47 -!- sprocklem has quit (Read error: Connection reset by peer). 08:37:06 -!- sprocklem has joined. 08:46:11 -!- AnotherTest has joined. 09:05:51 -!- arseniiv has joined. 09:11:22 -!- arseniiv has quit (Ping timeout: 252 seconds). 09:13:20 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 10:21:39 -!- salpynx has quit (Ping timeout: 256 seconds). 10:36:37 -!- AnotherTest has quit (Ping timeout: 246 seconds). 10:49:14 -!- sebbu has quit (Quit: reboot). 10:53:03 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61854&oldid=61853 * A * (+218) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ 10:54:09 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61855&oldid=61854 * A * (+38) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ 10:55:17 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61856&oldid=61855 * A * (+66) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ 10:55:56 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61857&oldid=61856 * A * (+5) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ 11:00:03 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61858&oldid=61857 * A * (-521) /* What bitch surpasses */ 11:00:15 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61859&oldid=61858 * A * (-452) /* Proof that bitch is a non-looping finite state automaton */ 11:02:17 -!- sebbu has joined. 11:07:12 -!- arseniiv has joined. 11:07:37 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61860&oldid=61859 * A * (-228) Make the talk page significantly shorter (leaving only the PDA proofs uncommented) 11:09:22 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61861&oldid=61860 * A * (-17270) *MWHAHAHA* delete the attempts of proving TC 11:09:41 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61862&oldid=61861 * A * (-492) /* Trivial proofs */ 11:10:45 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61863&oldid=61862 * A * (+4) /* Attempts at proving the computational class */ 11:11:31 -!- AnotherTest has joined. 11:15:05 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61864&oldid=61863 * A * (-372) 11:16:19 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61865&oldid=61864 * A * (-314) 11:17:03 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61866&oldid=61865 * A * (+2) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ 11:18:42 [[Bitch]] M https://esolangs.org/w/index.php?diff=61867&oldid=61846 * A * (+548) Move the proof to the main page to delete another section in the talk page 11:19:11 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61868&oldid=61866 * A * (-637) Delete another section (it is definitely easy to follow now) 11:26:17 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61869&oldid=61868 * A * (-47) /* Some thoughts */ 11:31:20 -!- Lord_of_Life_ has joined. 11:32:48 [[Back]] N https://esolangs.org/w/index.php?oldid=61870 * A * (+429) Created page with "[[Back]] is a [[Fungeoid]] that can reflect back to the program when the program counter went out of bounds. ==Syntax== {| class="wikitable" border="1" |- | \ | Reflect the di..." 11:33:15 -!- Lord_of_Life has quit (Ping timeout: 248 seconds). 11:33:47 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 11:37:18 [[Back]] M https://esolangs.org/w/index.php?diff=61871&oldid=61870 * A * (+589) 11:38:56 [[Back]] M https://esolangs.org/w/index.php?diff=61872&oldid=61871 * A * (+224) /* Syntax */ 11:40:10 [[Back]] M https://esolangs.org/w/index.php?diff=61873&oldid=61872 * A * (+85) /* Reflection */ 11:44:02 [[Back]] M https://esolangs.org/w/index.php?diff=61874&oldid=61873 * A * (+251) 11:44:26 [[Back]] M https://esolangs.org/w/index.php?diff=61875&oldid=61874 * A * (-1) grm 11:56:47 -!- wob_jonas has joined. 11:57:49 ais523: you may have seen this article already: https://arxiv.org/abs/1904.09828 Alex Churchill, Stella Biderman, Austin Herrick "Magic: The Gathering is Turing Complete" 12:00:48 [[Talk:StackFlow]] https://esolangs.org/w/index.php?diff=61876&oldid=54283 * B jonas * (+139) 12:26:02 -!- wob_jonas has quit (Ping timeout: 246 seconds). 12:35:11 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=61877&oldid=61848 * Odog8 * (+217) 12:36:56 [[User talk:Odog8]] N https://esolangs.org/w/index.php?oldid=61878 * Odog8 * (+94) Created page with "Hey, I'm a dude learning Befunge & ><>. I'm working on a variety of dead community projects..." 12:47:03 [[Turing Machine But Way Worse]] N https://esolangs.org/w/index.php?oldid=61879 * RealUndefined * (+455) Created page with "'''Turing Machine But Way Worse''' is a programming language made by a code golf user [https://codegolf.stackexchange.com/users/83048/milkyway90 MilkyWay90]. It is based on Tu..." 12:47:22 [[Turing Machine But Way Worse]] https://esolangs.org/w/index.php?diff=61880&oldid=61879 * RealUndefined * (+1) 12:48:32 [[Turing Machine But Way Worse]] M https://esolangs.org/w/index.php?diff=61881&oldid=61880 * RealUndefined * (+0) 12:48:41 [[Turing Machine But Way Worse]] M https://esolangs.org/w/index.php?diff=61882&oldid=61881 * RealUndefined * (-5) 12:49:12 [[Turing Machine But Way Worse]] M https://esolangs.org/w/index.php?diff=61883&oldid=61882 * RealUndefined * (+1) there 12:50:19 [[Turing Machine But Way Worse]] M https://esolangs.org/w/index.php?diff=61884&oldid=61883 * RealUndefined * (+54) add more categories 12:52:27 [[Language list]] M https://esolangs.org/w/index.php?diff=61885&oldid=61584 * RealUndefined * (+35) /* T */ add TMBWW 12:59:58 [[Turing Machine But Way Worse]] https://esolangs.org/w/index.php?diff=61886&oldid=61884 * RealUndefined * (+1727) 13:02:58 -!- Hooloovo0 has quit (Quit: Temporarily refracted into a free-standing prism.). 13:04:55 [[Turing Machine But Way Worse]] M https://esolangs.org/w/index.php?diff=61887&oldid=61886 * RealUndefined * (-29) 13:19:14 -!- Hoolootwo has joined. 13:52:35 Sigh, A isn't very clever. 13:57:47 -!- AnotherTest has quit (Ping timeout: 248 seconds). 14:14:27 -!- imode has joined. 14:38:36 -!- xkapastel has joined. 15:21:42 -!- imode has quit (Ping timeout: 252 seconds). 15:45:36 -!- LKoen has joined. 16:00:23 -!- AnotherTest has joined. 16:24:34 -!- Phantom_Hoover has joined. 16:39:04 -!- FreeFull has joined. 16:56:47 -!- b_jonas has joined. 17:07:50 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61888&oldid=61869 * Int-e * (+196) 17:28:21 -!- LKoen has quit (Remote host closed the connection). 17:40:35 [[RarVM]] M https://esolangs.org/w/index.php?diff=61889&oldid=61832 * Void * (+46) /* Implementations */ 17:41:59 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61890&oldid=61888 * Int-e * (+3033) Sketch: RAM 17:44:35 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61891&oldid=61890 * Int-e * (+637) Undo revision 61868 by [[Special:Contributions/A|A]] ([[User talk:A|talk]]) -- putting alleged proof back where it belongs 17:44:53 [[Bitch]] https://esolangs.org/w/index.php?diff=61892&oldid=61867 * Int-e * (-548) Undo revision 61867 by [[Special:Contributions/A|A]] ([[User talk:A|talk]]) -- putting alleged proof back where it belongs 17:47:36 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61893&oldid=61891 * Int-e * (+301) /* Proof that the Halting problem is trivial in bitch */ 17:54:48 ais523: hehe, their construction uses *both* Rotlung Reanimator and Xathrid Necromancer 17:59:21 wtf 18:03:18 they say they use Cleansing Beam to put +1/+1 counters, but that makes no sense, Cleansing Beam doesn't do that 18:04:54 their construction spans multiple turns, a few turns per each step of the simulated machine. we figured that wasn't practical. their trick for that is Wild Evocation 18:05:00 `card-by-name Wild Evocation 18:05:01 Wild Evocation \ 5R \ Enchantment \ At the beginning of each player's upkeep, that player reveals a card at random from their hand. If it's a land card, the player puts it onto the battlefield. Otherwise, the player casts it without paying its mana cost if able. \ M11-R 18:05:32 -!- LKoen has joined. 18:07:34 `card-by-name Choke 18:07:35 Choke \ 2G \ Enchantment \ Islands don't untap during their controllers' untap steps. \ TE-U, 8ED-U, MPS_AKH-S \ \ Choked Estuary \ Land \ As Choked Estuary enters the battlefield, you may reveal an Island or Swamp card from your hand. If you don't, Choked Estuary enters the battlefield tapped. \ {T}: Add {U} or {B}. \ SOI-R 18:07:46 ^ what the heck kind of unbalanced card is that? 18:07:56 where's the cumulative upkeep? 18:13:38 -!- 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.”). 18:18:42 ah no 18:18:46 Cleansing Beam is right 18:18:51 they explain how so later 18:20:02 the damage is replaced by Vigor, one of the incarnations from Lorwyn 19:24:22 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61894&oldid=61893 * Helen * (+1205) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ The conjecture is false 19:24:44 bitch is you 19:24:53 fungot is love 19:24:54 kmc: call by name/ call by value. ( you forgot what it was 19:25:22 love is empty, love is defeat, love is win 19:29:46 -!- imode has joined. 19:41:30 love is scow 19:42:06 love is love 19:48:40 rain1: I am coincidentally wearing a shirt which says exactly that! https://i.imgur.com/0M29zns.jpg 19:48:53 it is one of the gayer shirts I own 19:49:03 wow!! 19:49:10 nice one 19:49:28 ty 19:51:35 -!- arseniiv has quit (Ping timeout: 246 seconds). 19:51:38 oh nice 19:52:28 ty 19:53:22 other rather gay shirts https://imgur.com/a/S3ZfJll 19:53:47 * kmc will take any excuse to post selfies, which is a bit of a departure from hating nearly every photo of her for the first ~30 years of life 20:18:10 -!- xkapastel has quit (Quit: Connection closed for inactivity). 20:30:14 ais523: anyway, if you haven't yet seen that article, I recommend that you take a look 20:50:25 Oh, A had deleted a lot of things from that talk page... not limited to their own contributions. :-( 20:53:59 also, it's time for a new o now. 20:56:29 oh hey, look at that 20:56:36 `ehlist http://eheroes.smackjeeves.com/comics/2789913/good-question/ 20:56:37 ehlist http://eheroes.smackjeeves.com/comics/2789913/good-question/: b_jonas 20:56:54 . o O ( what's the point in singleton lists ) 20:58:30 int-e: (1) without such a list, two people who would want a list for the same thing each wouldn't be able to guess that there's another person who wants such a list, and (2) people can grep for it in the logs or have their irc client ping them even if their nickname isn't added 20:58:48 or they can, you know, just read the channel 20:59:25 also lets me advertise good comics, same as larger lists 21:00:11 -!- AnotherTest has quit (Ping timeout: 248 seconds). 21:10:09 -!- xkapastel has joined. 21:10:34 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61895&oldid=61894 * Int-e * (+303) /* Not TC Conjecture: bitch cannot copy one bit from memory to another part of memory while retaining existing data */ comment on deleted section... 22:33:33 -!- tromp has quit (Read error: Connection reset by peer). 22:34:09 -!- tromp has joined. 23:03:47 -!- b_jonas has quit (Read error: Connection reset by peer). 23:30:39 -!- Lord_of_Life_ has joined. 23:34:19 -!- Lord_of_Life has quit (Ping timeout: 248 seconds). 23:34:19 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 23:50:43 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 23:51:03 -!- oerjan has joined.