00:14:51 -!- sleepnap has left.
00:16:52 <kmc> https://reason.com/2019/05/08/denver-just-became-the-first-u-s-city-to-decriminalize-psychedelic-mushrooms
00:16:57 <kmc> fungot: what do you think of that?
00:16:58 <fungot> kmc: wtf are you doing programming?? :p) defining an api for graphics interfaces to c libraries ( yet)
00:31:13 <esowiki> [[User talk:Oerjan]] https://esolangs.org/w/index.php?diff=61850&oldid=61843 * Oerjan * (+1099) /* Turing completeness */ Answer
00:34:39 <shachaf> https://i.imgur.com/6wj8FB9.png
00:35:43 <shachaf> fungot: you're being replaced by robots
00:35:43 <fungot> shachaf: is there on your cf if i may ask
00:43:54 <esowiki> [[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 <salpynx> 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 <salpynx> now I'm wondering if the entire language was a setup for this joke. bitch is TC when bitch is you.
02:34:27 <ais523> hmm, that's the same computational class as Wiki Cyclic Tag I think
02:34:47 <ais523> (TC if a human repeatedly gives enters the program's output back as input to the program, not otherwise)
02:35:22 <ais523> 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 <salpynx> 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 <salpynx> 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 <esowiki> [[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 <esowiki> [[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 <shachaf> NetHack is deprecating OS/2?!
05:05:21 -!- tromp has joined.
05:10:02 -!- tromp has quit (Ping timeout: 245 seconds).
05:43:03 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61853&oldid=61852 * Int-e * (+1067) /* Not TC Conjecture [...] */ a solution
05:51:08 <oerjan> int-e: ok so chained instructions do _not_ modify the accumulator? that was the main thing i was confused about.
05:51:29 <int-e> 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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61858&oldid=61857 * A * (-521) /* What bitch surpasses */
11:00:15 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61862&oldid=61861 * A * (-492) /* Trivial proofs */
11:10:45 <esowiki> [[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 <esowiki> [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61864&oldid=61863 * A * (-372)
11:16:19 <esowiki> [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61865&oldid=61864 * A * (-314)
11:17:03 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[Back]] M https://esolangs.org/w/index.php?diff=61871&oldid=61870 * A * (+589)
11:38:56 <esowiki> [[Back]] M https://esolangs.org/w/index.php?diff=61872&oldid=61871 * A * (+224) /* Syntax */
11:40:10 <esowiki> [[Back]] M https://esolangs.org/w/index.php?diff=61873&oldid=61872 * A * (+85) /* Reflection */
11:44:02 <esowiki> [[Back]] M https://esolangs.org/w/index.php?diff=61874&oldid=61873 * A * (+251)
11:44:26 <esowiki> [[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 <wob_jonas> 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 <esowiki> [[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 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=61877&oldid=61848 * Odog8 * (+217)
12:36:56 <esowiki> [[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 <esowiki> [[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 <esowiki> [[Turing Machine But Way Worse]] https://esolangs.org/w/index.php?diff=61880&oldid=61879 * RealUndefined * (+1)
12:48:32 <esowiki> [[Turing Machine But Way Worse]] M https://esolangs.org/w/index.php?diff=61881&oldid=61880 * RealUndefined * (+0)
12:48:41 <esowiki> [[Turing Machine But Way Worse]] M https://esolangs.org/w/index.php?diff=61882&oldid=61881 * RealUndefined * (-5)
12:49:12 <esowiki> [[Turing Machine But Way Worse]] M https://esolangs.org/w/index.php?diff=61883&oldid=61882 * RealUndefined * (+1) there
12:50:19 <esowiki> [[Turing Machine But Way Worse]] M https://esolangs.org/w/index.php?diff=61884&oldid=61883 * RealUndefined * (+54) add more categories
12:52:27 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=61885&oldid=61584 * RealUndefined * (+35) /* T */ add TMBWW
12:59:58 <esowiki> [[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 <esowiki> [[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 <int-e> 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 <esowiki> [[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 <esowiki> [[RarVM]] M https://esolangs.org/w/index.php?diff=61889&oldid=61832 * Void * (+46) /* Implementations */
17:41:59 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61890&oldid=61888 * Int-e * (+3033) Sketch: RAM
17:44:35 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <b_jonas> ais523: hehe, their construction uses *both* Rotlung Reanimator and Xathrid Necromancer
18:03:18 <b_jonas> 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 <b_jonas> 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 <b_jonas> `card-by-name Wild Evocation
18:05:01 <HackEso> 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:35 <HackEso> 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 <b_jonas> ^ what the heck kind of unbalanced card is that?
18:07:56 <b_jonas> 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:20:02 <b_jonas> the damage is replaced by Vigor, one of the incarnations from Lorwyn
19:24:22 <esowiki> [[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 <kmc> bitch is you
19:24:53 <kmc> fungot is love
19:24:54 <fungot> kmc: call by name/ call by value. ( you forgot what it was
19:25:22 <kmc> love is empty, love is defeat, love is win
19:29:46 -!- imode has joined.
19:41:30 <kmc> love is scow
19:48:40 <kmc> rain1: I am coincidentally wearing a shirt which says exactly that! https://i.imgur.com/0M29zns.jpg
19:48:53 <kmc> it is one of the gayer shirts I own
19:51:35 -!- arseniiv has quit (Ping timeout: 246 seconds).
19:53:22 <kmc> 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 <b_jonas> ais523: anyway, if you haven't yet seen that article, I recommend that you take a look
20:50:25 <int-e> Oh, A had deleted a lot of things from that talk page... not limited to their own contributions. :-(
20:53:59 <b_jonas> also, it's time for a new o now.
20:56:36 <b_jonas> `ehlist http://eheroes.smackjeeves.com/comics/2789913/good-question/
20:56:37 <HackEso> ehlist http://eheroes.smackjeeves.com/comics/2789913/good-question/: b_jonas
20:56:54 <int-e> . o O ( what's the point in singleton lists )
20:58:30 <b_jonas> 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 <b_jonas> or they can, you know, just read the channel
20:59:25 <b_jonas> 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 <esowiki> [[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.