00:03:11 -!- metcalf has quit (Quit: metcalf).
00:03:58 -!- metcalf has joined.
00:07:42 -!- metcalf has quit (Client Quit).
00:08:00 -!- metcalf has joined.
00:09:39 <esowiki> [[05ab1e]] N https://esolangs.org/w/index.php?oldid=84190 * Monochromeninja * (+20) Just a redirect.
00:23:11 -!- metcalf has quit (Quit: metcalf).
00:23:29 -!- metcalf has joined.
00:27:43 -!- metcalf has quit (Client Quit).
00:27:57 -!- metcalf has joined.
01:25:24 <esowiki> [[Blues machine/Portable Minsky Machine Notation conversion]] N https://esolangs.org/w/index.php?oldid=84191 * Caenbe * (+1656) Added PMMN conversion
01:29:11 <esowiki> [[Blues machine]] https://esolangs.org/w/index.php?diff=84192&oldid=75036 * Caenbe * (+311) Added TC proof
01:32:09 <esowiki> [[Forwards]] https://esolangs.org/w/index.php?diff=84193&oldid=84185 * S1(210) * (+14) /* Feature Specification */
01:36:08 <esowiki> [[Hexadecimal Stacking Pseudo-Assembly Language]] https://esolangs.org/w/index.php?diff=84194&oldid=72857 * TheCoderPro * (+759)
01:36:51 <esowiki> [[Hexadecimal Stacking Pseudo-Assembly Language]] https://esolangs.org/w/index.php?diff=84195&oldid=84194 * TheCoderPro * (+45) /* Instructions */
01:46:04 <esowiki> [[Blues machine/Portable Minsky Machine Notation conversion]] https://esolangs.org/w/index.php?diff=84196&oldid=84191 * Caenbe * (+24) Back button
01:46:42 <esowiki> [[Hexadecimal Stacking Pseudo-Assembly Language]] https://esolangs.org/w/index.php?diff=84197&oldid=84195 * TheCoderPro * (+514) /* Instructions */
01:47:47 <esowiki> [[Blues machine/Portable Minsky Machine Notation conversion]] M https://esolangs.org/w/index.php?diff=84198&oldid=84196 * Caenbe * (-1) Fixed mistake
01:48:00 <esowiki> [[Blues machine/Portable Minsky Machine Notation conversion]] M https://esolangs.org/w/index.php?diff=84199&oldid=84198 * Caenbe * (-2)
01:49:28 <esowiki> [[User:TheCoderPro]] N https://esolangs.org/w/index.php?oldid=84200 * TheCoderPro * (+5) Created page with "hello"
01:49:58 <esowiki> [[User talk:TheCoderPro]] N https://esolangs.org/w/index.php?oldid=84201 * TheCoderPro * (+69) Created page with "HI -~~~"
01:56:01 -!- metcalf has quit (Ping timeout: 272 seconds).
01:59:32 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=84202&oldid=84186 * MartinAsdf * (+15) added stackomp
02:03:21 <esowiki> [[Blues machine]] https://esolangs.org/w/index.php?diff=84203&oldid=84192 * Caenbe * (+43) The author wrote the interpreter, so I assume this was intended.
02:05:42 <esowiki> [[Blues machine/Portable Minsky Machine Notation conversion]] M https://esolangs.org/w/index.php?diff=84204&oldid=84199 * Caenbe * (-3) Of course, I'm so used to Python
02:06:00 <esowiki> [[Blues machine/Portable Minsky Machine Notation conversion]] M https://esolangs.org/w/index.php?diff=84205&oldid=84204 * Caenbe * (+1)
02:55:39 <esowiki> [[User:Caenbe]] https://esolangs.org/w/index.php?diff=84206&oldid=84121 * Caenbe * (+270)
03:00:14 -!- metcalf has joined.
03:39:04 <esowiki> [[OISC]] https://esolangs.org/w/index.php?diff=84207&oldid=82771 * Caenbe * (-1) /* List of OISCs */ The blues machine page does not say commands are memory-mapped, and the implementation (written by the creator) does not do it
04:06:05 <esowiki> [[Talk:BytePushCore]] https://esolangs.org/w/index.php?diff=84208&oldid=19121 * TheCoderPro * (+122)
04:51:29 -!- metcalf has quit (Quit: metcalf).
04:51:44 -!- metcalf has joined.
04:56:00 -!- metcalf has quit (Client Quit).
04:56:47 -!- metcalf has joined.
05:36:28 -!- metcalf has quit (Quit: metcalf).
05:36:45 -!- metcalf has joined.
05:41:00 -!- metcalf has quit (Client Quit).
05:41:48 -!- metcalf has joined.
05:46:28 -!- metcalf has quit (Client Quit).
05:46:45 -!- metcalf has joined.
05:51:01 -!- metcalf has quit (Client Quit).
05:51:19 -!- metcalf has joined.
06:12:24 -!- metcalf has quit (Ping timeout: 240 seconds).
06:41:42 -!- metcalf has joined.
06:46:00 -!- metcalf has quit (Client Quit).
06:46:14 -!- metcalf has joined.
06:54:24 -!- metcalf has quit (Ping timeout: 240 seconds).
07:06:43 -!- metcalf has joined.
07:11:00 -!- metcalf has quit (Client Quit).
07:11:14 -!- metcalf has joined.
07:13:59 -!- clog has quit (Ping timeout: 258 seconds).
07:41:28 -!- metcalf has quit (Quit: metcalf).
07:41:45 -!- metcalf has joined.
07:46:00 -!- metcalf has quit (Client Quit).
07:46:14 -!- metcalf has joined.
07:51:28 -!- metcalf has quit (Quit: metcalf).
07:51:42 -!- metcalf has joined.
07:56:52 -!- metcalf_ has joined.
07:57:39 -!- metcalf has quit (Ping timeout: 272 seconds).
07:57:39 -!- metcalf_ has changed nick to metcalf.
08:12:51 -!- metcalf has quit (Ping timeout: 272 seconds).
08:20:35 <esowiki> [[Nevermind]] M https://esolangs.org/w/index.php?diff=84209&oldid=84003 * OfficialCraftCGame * (+48) /* Calculator */
08:37:14 -!- delta23 has quit (Quit: Leaving).
08:46:45 -!- metcalf has joined.
08:51:00 -!- metcalf has quit (Client Quit).
08:51:18 -!- metcalf has joined.
09:11:43 -!- clog has joined.
09:31:29 -!- metcalf has quit (Quit: metcalf).
11:36:57 <esowiki> [[User:Dominicentek]] N https://esolangs.org/w/index.php?oldid=84210 * Dominicentek * (+34) Created page with "Hi there! I made: * [[FolderCode]]"
13:02:35 <esowiki> [[Set]] https://esolangs.org/w/index.php?diff=84211&oldid=76593 * Jedgrei * (+0)
13:11:01 <esowiki> <HackEso> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch [<output-file>] <URL>" downloads files. Files saved to $HACKENV are persistent, and $HACKENV/bin is in $PATH. $HACKENV is a mercurial repository, "`revert <rev>" can be used to revert, https://hack.esolangs.org/repo/ to browse. $PWD ($HACKENV/tmp) is persistent but unversioned, /tmp is ephemeral.
13:13:35 <esowiki> <HackEso> cat: cat: No such file or directory
13:13:56 <esowiki> <HackEso> ELF............>...../......@.................@.8..@.........@.......@.......@.......h......h..................................................................................................................... ....... ....... ......A......A.....................p.......p.......p................................P......P......P......................................................................
13:14:10 <esowiki> <nakilon> what was the command to see cources of other commands?
13:15:06 <esowiki> <HackEso> Cats are cool, but should be illegal.
13:18:33 <esowiki> <b_jonas> nakilon: for commands that are implemented as shell scripts or similar, yes, you can use cat or cbt or /bin/cat
13:18:51 <esowiki> <b_jonas> nakilon: the user-defined commands are in /hackenv/bin
13:19:03 <esowiki> <b_jonas> nakilon: there's also a whatis command
13:19:08 <esowiki> <HackEso> ?(1hackeso) - print wisdom by name \ ?(8lambdabot) - compose tree of lambdabot commands
13:19:16 <esowiki> <HackEso> w(1) - Show who is logged on and what they are doing. \ w(1hackeso) - print random wisdom matching a string
13:19:22 <esowiki> <HackEso> myth//A myth is a female moth. \ 1295) <boily> (there's also that thing with the small yellow guys that I refuse to aknowledge, and nobody has any proof I went to the theatre to watch it.)
13:21:57 -!- metcalf has joined.
13:26:03 -!- metcalf has quit (Client Quit).
13:26:48 -!- metcalf has joined.
13:29:20 <esowiki> <HackEso> #!/bin/bash \ CMD=`echo -n "$1" | cut -d' ' -f1` \ ARG="$(echo -n "$1" | cut -d' ' -f2-)" \ exec $HACKENV/ibin/$CMD "$ARG$2"
13:29:56 <esowiki> <HackEso> cat $HACKENV/bin/"$1"
13:33:20 <esowiki> <HackEso> cruella? ¯\(°_o)/¯
13:50:33 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=84212&oldid=84075 * Batata * (+7913)
13:53:21 <esowiki> [[FolderCode]] https://esolangs.org/w/index.php?diff=84213&oldid=84171 * Dominicentek * (+117) /* Compiler, Runtime and Interpreter */
14:01:34 <esowiki> [[Numeric Underload]] https://esolangs.org/w/index.php?diff=84214&oldid=43262 * Caenbe * (+190) Cats and short blurb about the computational class
14:13:34 <esowiki> <b_jonas> does any Pokemon game have a nethack-like extinction mechanism where if you kill a lot of a certain species of pokemon then it will no longer get generated as random encounter wild pokemon?
14:13:44 <esowiki> <b_jonas> and if so, what is the earliest generation that has such a mechanic?
14:13:52 <esowiki> <Taneb> Not to my knowlege
14:31:30 -!- metcalf has quit (Quit: metcalf).
14:31:47 -!- metcalf has joined.
14:36:01 -!- metcalf has quit (Client Quit).
14:36:18 -!- metcalf has joined.
14:46:30 -!- metcalf has quit (Quit: metcalf).
14:47:15 -!- metcalf has joined.
14:51:02 -!- metcalf has quit (Client Quit).
14:51:18 -!- metcalf has joined.
15:01:30 -!- metcalf has quit (Quit: metcalf).
15:02:17 -!- metcalf has joined.
15:06:01 -!- metcalf has quit (Client Quit).
15:06:50 -!- metcalf has joined.
16:03:22 <esowiki> [[Special:Log/newusers]] create * Luduk * New user account
16:08:13 <esowiki> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=84215&oldid=84162 * Luduk * (+264) Luduk joins the party! Hope you've got pizza!
16:19:04 <esowiki> [[OLNMLN]] https://esolangs.org/w/index.php?diff=84216&oldid=84187 * Grs * (+352)
16:19:49 <esowiki> [[OLNMLN]] M https://esolangs.org/w/index.php?diff=84217&oldid=84216 * Grs * (-48)
16:22:50 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=84218&oldid=84202 * Kylem73 * (+11) added AHHH
16:24:31 <esowiki> [[OLNMLN]] https://esolangs.org/w/index.php?diff=84219&oldid=84217 * Grs * (+91)
16:25:48 <esowiki> [[Joke language list]] M https://esolangs.org/w/index.php?diff=84220&oldid=83546 * Kylem73 * (+52) added AHHH
16:28:28 <esowiki> [[OLNMLN]] M https://esolangs.org/w/index.php?diff=84221&oldid=84219 * Grs * (+49)
16:58:24 <esowiki> [[OLNMLN]] https://esolangs.org/w/index.php?diff=84222&oldid=84221 * Grs * (-132)
17:03:42 -!- LKoen has joined.
17:08:04 <esowiki> [[Special:Log/newusers]] create * Sawcce * New user account
17:08:59 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=84223&oldid=84212 * Grs * (+198) /* Implementations */ OLNMLN
17:12:08 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=84224&oldid=84215 * Sawcce * (+251) /* Introductions */
17:20:15 <esowiki> [[User:ResU]] https://esolangs.org/w/index.php?diff=84225&oldid=83978 * ResU * (+79)
17:34:23 <esowiki> [[NOTE]] https://esolangs.org/w/index.php?diff=84226&oldid=83971 * ResU * (+55) added .print
17:39:24 -!- sftp has joined.
17:44:36 <esowiki> [[Talk:Another Pi Language]] https://esolangs.org/w/index.php?diff=84227&oldid=18566 * ResU * (+94)
17:57:54 <esowiki> [[FolderCode]] https://esolangs.org/w/index.php?diff=84228&oldid=84213 * Dominicentek * (+194)
18:04:53 <esowiki> [[Twitty]] N https://esolangs.org/w/index.php?oldid=84229 * Luduk * (+870) twitty, the unreliable
18:05:08 <esowiki> [[Twitty]] https://esolangs.org/w/index.php?diff=84230&oldid=84229 * Luduk * (+4)
18:06:14 <esowiki> [[Twitty]] https://esolangs.org/w/index.php?diff=84231&oldid=84230 * ResU * (+18)
18:12:04 <esowiki> [[NOTE]] https://esolangs.org/w/index.php?diff=84232&oldid=84226 * ResU * (+40)
18:13:43 <esowiki> [[NOTE]] https://esolangs.org/w/index.php?diff=84233&oldid=84232 * ResU * (+0)
18:36:17 <esowiki> [[FolderCode]] https://esolangs.org/w/index.php?diff=84234&oldid=84228 * Dominicentek * (-73) /* Version 1.1 */
19:01:30 -!- metcalf has quit (Quit: metcalf).
19:01:43 -!- metcalf has joined.
19:10:02 -!- metcalf has quit (Ping timeout: 245 seconds).
19:49:32 <esowiki> [[Nu]] N https://esolangs.org/w/index.php?oldid=84235 * Caenbe * (+2990) Created Nu
19:50:46 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=84236&oldid=84218 * Caenbe * (+9) /* N */ Added Nu
19:51:34 <esowiki> [[User:Caenbe]] https://esolangs.org/w/index.php?diff=84237&oldid=84206 * Caenbe * (+50)
19:52:51 -!- naptra has joined.
19:55:38 <esowiki> <Taneb> https://writings.stephenwolfram.com/2021/06/1920-2020-and-a-20000-prize-announcing-the-s-combinator-challenge/
20:00:30 <esowiki> <salpynx> That is an interesting link.
20:06:23 <esowiki> <b_jonas> Taneb: that will either devolve in nobody caring, or another weird game of defining what it means like with the cellular automaton.
20:07:59 <esowiki> <Taneb> b_jonas: if it's towards the latter then it may well be done by the people here
20:14:26 <esowiki> <salpynx> I'm now thinking through whether BCT can be done with S, and knowing the specific obstacle is for not being able to would be interesting to know
20:24:36 <esowiki> [[Nu]] M https://esolangs.org/w/index.php?diff=84238&oldid=84235 * Caenbe * (+10) /* Graph rewriting */
20:24:49 <esowiki> <salpynx> Disproving it would be interesting too, esp. for $20K
20:37:34 <esowiki> <Corbin> I'm not sure how to prove it in a way Wolfram would accept, but in general to be Turing-complete means to have a Turing category, which means to be Cartesian closed, which means that K needs to exist in order to delete/forget unused values and have constant functions.
20:38:55 <esowiki> <Corbin> I wonder if there's a beautiful Smullyan proof somewhere that S can't build K. I can imagine a Hofstadter-style informal proof which shows that S can't ever tear down structures like K can.
20:47:32 <esowiki> <salpynx> the S version of K presumably would shuffle arguments away to a 'discard zone', out of the way and effectively dropped. Is there any possible space for an infinite use discard pile with S?
20:52:28 <esowiki> <Corbin> Hm, maybe this suggests that S can't implement I alone. That would be pretty damning.
20:54:05 <esowiki> <b_jonas> Corbin: hmm, let me check the bird book. I know it at least states that it can't implement K, but I don't know if there's a proof given
20:55:22 <esowiki> [[Nevermind]] M https://esolangs.org/w/index.php?diff=84239&oldid=84209 * OfficialCraftCGame * (-20) Edited segments of the wiki.
20:55:28 <esowiki> <b_jonas> chapter 12 is the relevant one
20:56:54 <esowiki> <b_jonas> and then chapter 18\
20:59:21 <esowiki> <b_jonas> I don't think it give a full proof for this
21:00:25 -!- delta23 has joined.
21:02:34 -!- LKoen_ has joined.
21:03:33 <esowiki> <Corbin> No worries, thanks for looking.
21:05:31 -!- LKoen has quit (Ping timeout: 272 seconds).
21:11:21 -!- orbitaldecay has quit (*.net *.split).
21:12:22 <esowiki> <b_jonas> you might be able to find a proof somewhere else, or reconstruct it from as much as Smullyan reveals there
21:13:35 -!- orbitaldecay has joined.
21:15:53 <esowiki> <b_jonas> Corbin: do you need a summary of what he does say there that implies this?
21:16:52 -!- orbitaldecay has quit (*.net *.split).
21:22:17 -!- orbitaldecay has joined.
21:31:09 <esowiki> [[OLNMLN]] M https://esolangs.org/w/index.php?diff=84240&oldid=84222 * Grs * (+17) /* Commands */
21:53:50 -!- metcalf has joined.
21:57:37 -!- 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:15:36 <esowiki> [[Forwards]] https://esolangs.org/w/index.php?diff=84241&oldid=84193 * S1(210) * (+4868) /* Feature Specification */ Complete Rewrite
22:21:03 <esowiki> [[Forwards]] https://esolangs.org/w/index.php?diff=84242&oldid=84241 * S1(210) * (+466) /* Reference */ reformatting...
22:21:30 <esowiki> [[List of ideas]] https://esolangs.org/w/index.php?diff=84243&oldid=83530 * Caenbe * (+281) /* Mathematics */ Idea
22:27:15 -!- copumpkin has quit (*.net *.split).
22:27:16 -!- hakatashi1 has quit (*.net *.split).
22:27:16 -!- ornxka has quit (*.net *.split).
22:27:33 -!- orbitaldecay has quit (*.net *.split).
22:27:34 -!- xelxebar has quit (*.net *.split).
22:27:35 -!- vertrex has quit (*.net *.split).
22:27:35 -!- spruit11 has quit (*.net *.split).
22:27:35 -!- oren has quit (*.net *.split).
22:27:36 -!- atehwa has quit (*.net *.split).
22:27:37 -!- none30 has quit (*.net *.split).
22:27:37 -!- ocharles has quit (*.net *.split).
22:27:38 -!- izabera has quit (*.net *.split).
22:27:38 -!- ski has quit (*.net *.split).
22:27:39 -!- catern has quit (*.net *.split).
22:27:39 -!- user3456 has quit (*.net *.split).
22:27:40 -!- glowcoil has quit (*.net *.split).
22:27:40 -!- BWBellairs has quit (*.net *.split).
22:27:40 -!- sparr has quit (*.net *.split).
22:27:40 -!- joast has quit (*.net *.split).
22:27:40 -!- haavard has quit (*.net *.split).
22:27:41 -!- hakatashi1 has joined.
22:28:00 -!- ornxka has joined.
22:28:08 -!- hakatashi1 has quit (*.net *.split).
22:28:31 -!- copumpkin has joined.
22:33:45 <esowiki> [[Forwards]] https://esolangs.org/w/index.php?diff=84244&oldid=84242 * S1(210) * (-133) /* Nonarithmetic Built-ins */ reformatting... eugh
22:34:21 -!- orbitaldecay has joined.
22:34:21 -!- xelxebar has joined.
22:34:21 -!- spruit11 has joined.
22:34:21 -!- none30 has joined.
22:34:21 -!- joast has joined.
22:34:21 -!- oren has joined.
22:34:21 -!- atehwa has joined.
22:34:21 -!- vertrex has joined.
22:34:21 -!- ocharles has joined.
22:34:21 -!- haavard has joined.
22:34:21 -!- catern has joined.
22:34:21 -!- user3456 has joined.
22:34:21 -!- ski has joined.
22:34:21 -!- izabera has joined.
22:34:21 -!- sparr has joined.
22:34:21 -!- BWBellairs has joined.
22:34:21 -!- glowcoil has joined.
22:37:25 -!- hakatashi1 has joined.
22:38:53 -!- hakatashi1 has quit (*.net *.split).
22:42:47 -!- hakatashi1 has joined.
22:53:13 <esowiki> [[Forwards]] https://esolangs.org/w/index.php?diff=84245&oldid=84244 * S1(210) * (+1264) /* Arithmetic Built-ins */ Finally done reformatting?
22:54:50 -!- metcalf has quit (Quit: metcalf).
22:55:37 -!- metcalf has joined.
22:59:23 -!- metcalf has quit (Client Quit).
22:59:38 -!- metcalf has joined.
23:01:17 <esowiki> <b_jonas> `? Earthblight Ganon
23:01:19 <esowiki> <HackEso> Earthblight Ganon? ¯\(°_o)/¯
23:32:41 <esowiki> <HackEso> Free Hero Mesh? ¯\(°_o)/¯
23:39:50 <esowiki> [[Twitty]] M https://esolangs.org/w/index.php?diff=84246&oldid=84231 * PythonshellDebugwindow * (+80) /* Important note */ Categories
23:43:12 <esowiki> [[NOTE]] https://esolangs.org/w/index.php?diff=84247&oldid=84233 * ResU * (+474)
23:43:38 <esowiki> [[List of ideas]] M https://esolangs.org/w/index.php?diff=84248&oldid=84243 * PythonshellDebugwindow * (-28) /* Mathematics */ Link
23:47:02 <esowiki> [[NOTE]] https://esolangs.org/w/index.php?diff=84249&oldid=84247 * ResU * (-6)
23:51:18 <esowiki> [[NOTE]] https://esolangs.org/w/index.php?diff=84250&oldid=84249 * ResU * (+28)
23:56:31 <esowiki> [[Nu]] https://esolangs.org/w/index.php?diff=84251&oldid=84238 * Caenbe * (+831) Added 3 Star Programmer ex. and details about tree