00:09:39 <esolangs> [[05ab1e]] N https://esolangs.org/w/index.php?oldid=84190 * Monochromeninja * (+20) Just a redirect.
00:22:04 -!- dutch has changed nick to SweetLeaf.
01:25:24 <esolangs> [[Blues machine/Portable Minsky Machine Notation conversion]] N https://esolangs.org/w/index.php?oldid=84191 * Caenbe * (+1656) Added PMMN conversion
01:29:11 <esolangs> [[Blues machine]]  https://esolangs.org/w/index.php?diff=84192&oldid=75036 * Caenbe * (+311) Added TC proof
01:32:09 <esolangs> [[Forwards]]  https://esolangs.org/w/index.php?diff=84193&oldid=84185 * S1(210) * (+14) /* Feature Specification */
01:36:08 <esolangs> [[Hexadecimal Stacking Pseudo-Assembly Language]]  https://esolangs.org/w/index.php?diff=84194&oldid=72857 * TheCoderPro * (+759) 
01:36:51 <esolangs> [[Hexadecimal Stacking Pseudo-Assembly Language]]  https://esolangs.org/w/index.php?diff=84195&oldid=84194 * TheCoderPro * (+45) /* Instructions */
01:46:04 <esolangs> [[Blues machine/Portable Minsky Machine Notation conversion]]  https://esolangs.org/w/index.php?diff=84196&oldid=84191 * Caenbe * (+24) Back button
01:46:42 <esolangs> [[Hexadecimal Stacking Pseudo-Assembly Language]]  https://esolangs.org/w/index.php?diff=84197&oldid=84195 * TheCoderPro * (+514) /* Instructions */
01:47:47 <esolangs> [[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 <esolangs> [[Blues machine/Portable Minsky Machine Notation conversion]] M https://esolangs.org/w/index.php?diff=84199&oldid=84198 * Caenbe * (-2) 
01:49:28 <esolangs> [[User:TheCoderPro]] N https://esolangs.org/w/index.php?oldid=84200 * TheCoderPro * (+5) Created page with "hello"
01:49:58 <esolangs> [[User talk:TheCoderPro]] N https://esolangs.org/w/index.php?oldid=84201 * TheCoderPro * (+69) Created page with "HI -~~~"
01:59:32 <esolangs> [[Language list]]  https://esolangs.org/w/index.php?diff=84202&oldid=84186 * MartinAsdf * (+15) added stackomp
02:03:21 <esolangs> [[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 <esolangs> [[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 <esolangs> [[Blues machine/Portable Minsky Machine Notation conversion]] M https://esolangs.org/w/index.php?diff=84205&oldid=84204 * Caenbe * (+1) 
02:09:59 -!- SweetLeaf has changed nick to SpikeHeron.
02:14:20 -!- rbtEngrDude has joined.
02:44:42 -!- rbtEngrDude has quit (Quit: My MacBook Air has gone to sleep. ZZZzzz…).
02:45:24 -!- rbtEngrDude has joined.
02:55:39 <esolangs> [[User:Caenbe]]  https://esolangs.org/w/index.php?diff=84206&oldid=84121 * Caenbe * (+270) 
03:02:35 -!- rbtEngrDude has quit (Quit: My MacBook Air has gone to sleep. ZZZzzz…).
03:14:20 -!- rbtEngrDude has joined.
03:28:00 -!- Lord_of_Life has quit (Ping timeout: 252 seconds).
03:28:41 -!- Lord_of_Life has joined.
03:39:04 <esolangs> [[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
03:56:25 -!- hendursaga has quit (Ping timeout: 252 seconds).
03:59:44 -!- hendursaga has joined.
04:06:05 <esolangs> [[Talk:BytePushCore]]  https://esolangs.org/w/index.php?diff=84208&oldid=19121 * TheCoderPro * (+122) 
04:22:16 -!- hendursaga has quit (Ping timeout: 252 seconds).
04:32:49 -!- perlbot has quit (Quit: ZNC 1.8.2+deb2~bpo10+1 - https://znc.in).
04:34:29 -!- perlbot has joined.
05:03:54 -!- rbtEngrDude has changed nick to rbtGotKicked.
05:08:04 -!- rbtGotKicked has quit (Quit: Textual IRC Client: www.textualapp.com).
05:08:31 -!- rbtEngrDude has joined.
05:23:31 -!- hendursaga has joined.
05:39:04 -!- rbtEngrDude has quit (Quit: My MacBook Air has gone to sleep. ZZZzzz…).
05:40:05 -!- rbtEngrDude has joined.
05:47:44 -!- rbtEngrDude has quit (Quit: Textual IRC Client: www.textualapp.com).
06:10:42 -!- tromp has joined.
06:35:20 -!- Sgeo has quit (Read error: Connection reset by peer).
07:12:59 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:07:09 -!- hendursa1 has joined.
08:09:01 -!- tiggilyboo has joined.
08:10:31 -!- hendursaga has quit (Ping timeout: 252 seconds).
08:10:51 -!- hendursa1 has quit (Remote host closed the connection).
08:11:14 -!- hendursa1 has joined.
08:20:35 <esolangs> [[Nevermind]] M https://esolangs.org/w/index.php?diff=84209&oldid=84003 * OfficialCraftCGame * (+48) /* Calculator */
09:38:43 -!- tromp has joined.
09:54:57 -!- SpikeHeron has quit (Quit: WeeChat 3.1).
10:01:30 -!- dutch has joined.
10:19:23 -!- slavfox_ has joined.
10:20:29 -!- slavfox has quit (Ping timeout: 245 seconds).
10:20:29 -!- slavfox_ has changed nick to slavfox.
10:51:18 -!- tiggilyboo has quit (Ping timeout: 252 seconds).
10:52:03 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
10:53:07 -!- tromp has joined.
11:36:57 <esolangs> [[User:Dominicentek]] N https://esolangs.org/w/index.php?oldid=84210 * Dominicentek * (+34) Created page with "Hi there! I made: * [[FolderCode]]"
11:45:08 -!- tech_exorcist has joined.
12:08:37 -!- tiggilyboo has joined.
12:22:03 -!- imode has quit (Ping timeout: 252 seconds).
12:31:33 -!- arseniiv has joined.
12:40:36 -!- tiggilyboo has quit (Ping timeout: 258 seconds).
13:02:35 <esolangs> [[Set]]  https://esolangs.org/w/index.php?diff=84211&oldid=76593 * Jedgrei * (+0) 
13:10:57 <nakilon> `?
13:11:00 <HackEso> ​? ¯\(°​_o)/¯
13:11:01 <nakilon> `help
13:11:01 <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:34 <nakilon> `cat cat
13:13:35 <HackEso> cat: cat: No such file or directory
13:13:49 <nakilon> `which cat
13:13:50 <HackEso> ​/bin/cat
13:13:56 <nakilon> `cat /bin/cat
13:13:56 <HackEso> ​ELF............>.....�/......@.......��..........@.8..@.........@.......@.......@.......h......h...................�......�......�...........................................................�......�..................... ....... ....... ......�A......�A.....................p.......p.......p......�......�....................P�......P�......P�............�...................��......��......��......�.......�..............
13:14:10 <nakilon> what was the command to see cources of other commands?
13:15:04 <nakilon> `? cat
13:15:06 <HackEso> Cats are cool, but should be illegal.
13:18:33 <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 <b_jonas> nakilon: the user-defined commands are in /hackenv/bin
13:19:03 <b_jonas> nakilon: there's also a whatis command
13:19:07 <b_jonas> `whatis ?
13:19:08 <HackEso> ​?(1hackeso) - print wisdom by name \ ?(8lambdabot) - compose tree of lambdabot commands
13:19:15 <b_jonas> `whatis w
13:19:16 <HackEso> w(1) - Show who is logged on and what they are doing. \ w(1hackeso) - print random wisdom matching a string
13:19:21 <b_jonas> ``` w;q
13:19:22 <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:22:19 -!- hendursa1 has quit (Quit: hendursa1).
13:22:43 -!- hendursaga has joined.
13:29:17 <nakilon> cbt !
13:29:19 <nakilon> `cbt !
13:29:20 <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:42 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
13:29:55 <b_jonas> `cbt cbt
13:29:56 <HackEso> cat $HACKENV/bin/"$1"
13:33:18 <b_jonas> `? cruella
13:33:20 <HackEso> cruella? ¯\(°​_o)/¯
13:50:33 <esolangs> [[Deadfish]]  https://esolangs.org/w/index.php?diff=84212&oldid=84075 * Batata * (+7913) 
13:53:21 <esolangs> [[FolderCode]]  https://esolangs.org/w/index.php?diff=84213&oldid=84171 * Dominicentek * (+117) /* Compiler, Runtime and Interpreter */
13:54:35 -!- tromp has joined.
14:00:02 -!- tiggilyboo has joined.
14:01:34 <esolangs> [[Numeric Underload]]  https://esolangs.org/w/index.php?diff=84214&oldid=43262 * Caenbe * (+190) Cats and short blurb about the computational class
14:07:06 -!- tiggilyboo has quit (Ping timeout: 252 seconds).
14:13:34 <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 <b_jonas> and if so, what is the earliest generation that has such a mechanic?
14:13:52 <Taneb> Not to my knowlege
14:13:59 <b_jonas> thanks
14:15:02 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
14:16:17 -!- Lord_of_Life has joined.
14:37:36 -!- Sgeo has joined.
14:55:10 -!- imode has joined.
15:58:21 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
16:03:22 <esolangs> [[Special:Log/newusers]] create  * Luduk *  New user account
16:06:20 -!- ais523 has joined.
16:08:13 <esolangs> [[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 <esolangs> [[OLNMLN]]  https://esolangs.org/w/index.php?diff=84216&oldid=84187 * Grs * (+352) 
16:19:49 <esolangs> [[OLNMLN]] M https://esolangs.org/w/index.php?diff=84217&oldid=84216 * Grs * (-48) 
16:22:50 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=84218&oldid=84202 * Kylem73 * (+11) added AHHH
16:23:05 -!- tromp has joined.
16:24:31 <esolangs> [[OLNMLN]]  https://esolangs.org/w/index.php?diff=84219&oldid=84217 * Grs * (+91) 
16:25:48 <esolangs> [[Joke language list]] M https://esolangs.org/w/index.php?diff=84220&oldid=83546 * Kylem73 * (+52) added AHHH
16:28:28 <esolangs> [[OLNMLN]] M https://esolangs.org/w/index.php?diff=84221&oldid=84219 * Grs * (+49) 
16:41:34 -!- mich181189 has quit (*.net *.split).
16:41:35 -!- relrod has quit (*.net *.split).
16:41:35 -!- keegan has quit (*.net *.split).
16:41:35 -!- shikhin has quit (*.net *.split).
16:41:35 -!- oren has quit (*.net *.split).
16:41:35 -!- Taneb has quit (*.net *.split).
16:41:46 -!- keegan has joined.
16:41:48 -!- shikhin has joined.
16:41:50 -!- mich181189 has joined.
16:43:16 -!- Taneb has joined.
16:49:26 -!- shikhin has changed hostmask to ~shikhin@user/shikhin.
16:58:24 <esolangs> [[OLNMLN]]  https://esolangs.org/w/index.php?diff=84222&oldid=84221 * Grs * (-132) 
17:05:07 -!- arseniiv has quit (Ping timeout: 264 seconds).
17:08:04 <esolangs> [[Special:Log/newusers]] create  * Sawcce *  New user account
17:08:59 <esolangs> [[Deadfish]]  https://esolangs.org/w/index.php?diff=84223&oldid=84212 * Grs * (+198) /* Implementations */ OLNMLN
17:12:08 <esolangs> [[Esolang:Introduce yourself]]  https://esolangs.org/w/index.php?diff=84224&oldid=84215 * Sawcce * (+251) /* Introductions */
17:20:15 <esolangs> [[User:ResU]]  https://esolangs.org/w/index.php?diff=84225&oldid=83978 * ResU * (+79) 
17:34:23 <esolangs> [[NOTE]]  https://esolangs.org/w/index.php?diff=84226&oldid=83971 * ResU * (+55) added .print
17:41:40 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:44:36 <esolangs> [[Talk:Another Pi Language]]  https://esolangs.org/w/index.php?diff=84227&oldid=18566 * ResU * (+94) 
17:53:27 -!- arseniiv has joined.
17:57:54 <esolangs> [[FolderCode]]  https://esolangs.org/w/index.php?diff=84228&oldid=84213 * Dominicentek * (+194) 
18:04:53 <esolangs> [[Twitty]] N https://esolangs.org/w/index.php?oldid=84229 * Luduk * (+870) twitty, the unreliable
18:05:08 <esolangs> [[Twitty]]  https://esolangs.org/w/index.php?diff=84230&oldid=84229 * Luduk * (+4) 
18:06:14 <esolangs> [[Twitty]]  https://esolangs.org/w/index.php?diff=84231&oldid=84230 * ResU * (+18) 
18:11:10 -!- citrons has quit (Ping timeout: 245 seconds).
18:12:04 <esolangs> [[NOTE]]  https://esolangs.org/w/index.php?diff=84232&oldid=84226 * ResU * (+40) 
18:13:43 <esolangs> [[NOTE]]  https://esolangs.org/w/index.php?diff=84233&oldid=84232 * ResU * (+0) 
18:15:45 -!- tiggilyboo has joined.
18:20:10 -!- tiggilyboo has quit (Client Quit).
18:21:18 -!- citrons has joined.
18:28:49 -!- tiggilyboo has joined.
18:32:06 -!- tromp has joined.
18:36:17 <esolangs> [[FolderCode]]  https://esolangs.org/w/index.php?diff=84234&oldid=84228 * Dominicentek * (-73) /* Version 1.1 */
18:40:06 -!- ais523 has quit (Quit: sorry about my connection).
18:42:32 -!- tiggilyboo has quit (Quit: tiggilyboo).
19:35:52 -!- sknebel has changed nick to sgreger.
19:36:01 -!- sgreger has changed nick to sknebel.
19:48:38 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:49:32 <esolangs> [[Nu]] N https://esolangs.org/w/index.php?oldid=84235 * Caenbe * (+2990) Created Nu
19:50:46 <esolangs> [[Language list]]  https://esolangs.org/w/index.php?diff=84236&oldid=84218 * Caenbe * (+9) /* N */ Added Nu
19:51:34 <esolangs> [[User:Caenbe]]  https://esolangs.org/w/index.php?diff=84237&oldid=84206 * Caenbe * (+50) 
19:54:20 -!- salpynx has joined.
19:55:38 <Taneb> https://writings.stephenwolfram.com/2021/06/1920-2020-and-a-20000-prize-announcing-the-s-combinator-challenge/
20:00:30 <salpynx> That is an interesting link.
20:06:23 <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:06:37 <b_jonas> s/means/means,/
20:07:59 <Taneb> b_jonas: if it's towards the latter then it may well be done by the people here
20:10:03 -!- tromp has joined.
20:14:26 <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 <esolangs> [[Nu]] M https://esolangs.org/w/index.php?diff=84238&oldid=84235 * Caenbe * (+10) /* Graph rewriting */
20:24:49 <salpynx> Disproving it would be interesting too, esp. for $20K
20:30:57 -!- arseniiv has quit (Ping timeout: 258 seconds).
20:37:34 <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 <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:46:29 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
20:47:32 <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 <Corbin> Hm, maybe this suggests that S can't implement I alone. That would be pretty damning.
20:54:05 <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 <esolangs> [[Nevermind]] M https://esolangs.org/w/index.php?diff=84239&oldid=84209 * OfficialCraftCGame * (-20) Edited segments of the wiki.
20:55:28 <b_jonas> chapter 12 is the relevant one
20:55:57 -!- river has changed nick to riv.
20:56:54 <b_jonas> and then chapter 18\
20:57:42 <b_jonas> no, chapter 19
20:59:21 <b_jonas> I don't think it give a full proof for this
21:03:33 <Corbin> No worries, thanks for looking.
21:12:22 <b_jonas> you might be able to find a proof somewhere else, or reconstruct it from as much as Smullyan reveals there
21:15:53 <b_jonas> Corbin: do you need a summary of what he does say there that implies this?
21:31:09 <esolangs> [[OLNMLN]] M https://esolangs.org/w/index.php?diff=84240&oldid=84222 * Grs * (+17) /* Commands */
21:43:27 -!- arseniiv has joined.
22:06:43 -!- craigo has joined.
22:15:36 <esolangs> [[Forwards]]  https://esolangs.org/w/index.php?diff=84241&oldid=84193 * S1(210) * (+4868) /* Feature Specification */ Complete Rewrite
22:16:06 -!- Thelie has joined.
22:21:03 <esolangs> [[Forwards]]  https://esolangs.org/w/index.php?diff=84242&oldid=84241 * S1(210) * (+466) /* Reference */ reformatting...
22:21:30 <esolangs> [[List of ideas]]  https://esolangs.org/w/index.php?diff=84243&oldid=83530 * Caenbe * (+281) /* Mathematics */ Idea
22:24:43 -!- tech_exorcist has quit (Quit: tech_exorcist).
22:33:45 <esolangs> [[Forwards]]  https://esolangs.org/w/index.php?diff=84244&oldid=84242 * S1(210) * (-133) /* Nonarithmetic Built-ins */ reformatting... eugh
22:53:13 <esolangs> [[Forwards]]  https://esolangs.org/w/index.php?diff=84245&oldid=84244 * S1(210) * (+1264) /* Arithmetic Built-ins */ Finally done reformatting?
23:01:17 <b_jonas> `? Earthblight Ganon
23:01:19 <HackEso> Earthblight Ganon? ¯\(°​_o)/¯
23:27:42 <zzo38> `? ZZT
23:27:43 <HackEso> ZZT? ¯\(°​_o)/¯
23:32:39 <zzo38> `? Free Hero Mesh
23:32:41 <HackEso> Free Hero Mesh? ¯\(°​_o)/¯
23:39:50 <esolangs> [[Twitty]] M https://esolangs.org/w/index.php?diff=84246&oldid=84231 * PythonshellDebugwindow * (+80) /* Important note */ Categories
23:43:12 <esolangs> [[NOTE]]  https://esolangs.org/w/index.php?diff=84247&oldid=84233 * ResU * (+474) 
23:43:38 <esolangs> [[List of ideas]] M https://esolangs.org/w/index.php?diff=84248&oldid=84243 * PythonshellDebugwindow * (-28) /* Mathematics */ Link
23:47:02 <esolangs> [[NOTE]]  https://esolangs.org/w/index.php?diff=84249&oldid=84247 * ResU * (-6) 
23:49:50 -!- arseniiv has quit (Ping timeout: 250 seconds).
23:51:18 <esolangs> [[NOTE]]  https://esolangs.org/w/index.php?diff=84250&oldid=84249 * ResU * (+28) 
23:56:31 <esolangs> [[Nu]]  https://esolangs.org/w/index.php?diff=84251&oldid=84238 * Caenbe * (+831) Added 3 Star Programmer ex. and details about tree
23:58:04 -!- Thelie has quit (Remote host closed the connection).
23:59:38 -!- cd has quit (Quit: leaving).