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 [[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 [[Blues machine/Portable Minsky Machine Notation conversion]] N https://esolangs.org/w/index.php?oldid=84191 * Caenbe * (+1656) Added PMMN conversion 01:29:11 [[Blues machine]] https://esolangs.org/w/index.php?diff=84192&oldid=75036 * Caenbe * (+311) Added TC proof 01:32:09 [[Forwards]] https://esolangs.org/w/index.php?diff=84193&oldid=84185 * S1(210) * (+14) /* Feature Specification */ 01:36:08 [[Hexadecimal Stacking Pseudo-Assembly Language]] https://esolangs.org/w/index.php?diff=84194&oldid=72857 * TheCoderPro * (+759) 01:36:51 [[Hexadecimal Stacking Pseudo-Assembly Language]] https://esolangs.org/w/index.php?diff=84195&oldid=84194 * TheCoderPro * (+45) /* Instructions */ 01:46:04 [[Blues machine/Portable Minsky Machine Notation conversion]] https://esolangs.org/w/index.php?diff=84196&oldid=84191 * Caenbe * (+24) Back button 01:46:42 [[Hexadecimal Stacking Pseudo-Assembly Language]] https://esolangs.org/w/index.php?diff=84197&oldid=84195 * TheCoderPro * (+514) /* Instructions */ 01:47:47 [[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 [[Blues machine/Portable Minsky Machine Notation conversion]] M https://esolangs.org/w/index.php?diff=84199&oldid=84198 * Caenbe * (-2) 01:49:28 [[User:TheCoderPro]] N https://esolangs.org/w/index.php?oldid=84200 * TheCoderPro * (+5) Created page with "hello" 01:49:58 [[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 [[Language list]] https://esolangs.org/w/index.php?diff=84202&oldid=84186 * MartinAsdf * (+15) added stackomp 02:03:21 [[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 [[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 [[Blues machine/Portable Minsky Machine Notation conversion]] M https://esolangs.org/w/index.php?diff=84205&oldid=84204 * Caenbe * (+1) 02:55:39 [[User:Caenbe]] https://esolangs.org/w/index.php?diff=84206&oldid=84121 * Caenbe * (+270) 03:00:14 -!- metcalf has joined. 03:39:04 [[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 [[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 [[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 [[User:Dominicentek]] N https://esolangs.org/w/index.php?oldid=84210 * Dominicentek * (+34) Created page with "Hi there! I made: * [[FolderCode]]" 13:02:35 [[Set]] https://esolangs.org/w/index.php?diff=84211&oldid=76593 * Jedgrei * (+0) 13:10:57 `? 13:11:00 ​? ¯\(°​_o)/¯ 13:11:01 `help 13:11:01 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch [] " downloads files. Files saved to $HACKENV are persistent, and $HACKENV/bin is in $PATH. $HACKENV is a mercurial repository, "`revert " 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 `cat cat 13:13:35 cat: cat: No such file or directory 13:13:49 `which cat 13:13:50 ​/bin/cat 13:13:56 `cat /bin/cat 13:13:56 ​ELF............>...../......@.................@.8..@.........@.......@.......@.......h......h..................................................................................................................... ....... ....... ......A......A.....................p.......p.......p................................P......P......P...................................................................... 13:14:10 what was the command to see cources of other commands? 13:15:04 `? cat 13:15:06 Cats are cool, but should be illegal. 13:18:33 nakilon: for commands that are implemented as shell scripts or similar, yes, you can use cat or cbt or /bin/cat 13:18:51 nakilon: the user-defined commands are in /hackenv/bin 13:19:03 nakilon: there's also a whatis command 13:19:07 `whatis ? 13:19:08 ​?(1hackeso) - print wisdom by name \ ?(8lambdabot) - compose tree of lambdabot commands 13:19:15 `whatis w 13:19:16 w(1) - Show who is logged on and what they are doing. \ w(1hackeso) - print random wisdom matching a string 13:19:21 ``` w;q 13:19:22 ​myth//A myth is a female moth. \ 1295) (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:17 cbt ! 13:29:19 `cbt ! 13:29:20 ​#!/bin/bash \ CMD=`echo -n "$1" | cut -d' ' -f1` \ ARG="$(echo -n "$1" | cut -d' ' -f2-)" \ exec $HACKENV/ibin/$CMD "$ARG$2" 13:29:55 `cbt cbt 13:29:56 cat $HACKENV/bin/"$1" 13:33:18 `? cruella 13:33:20 cruella? ¯\(°​_o)/¯ 13:50:33 [[Deadfish]] https://esolangs.org/w/index.php?diff=84212&oldid=84075 * Batata * (+7913) 13:53:21 [[FolderCode]] https://esolangs.org/w/index.php?diff=84213&oldid=84171 * Dominicentek * (+117) /* Compiler, Runtime and Interpreter */ 14:01:34 [[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 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 and if so, what is the earliest generation that has such a mechanic? 14:13:52 Not to my knowlege 14:13:59 thanks 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 [[Special:Log/newusers]] create * Luduk * New user account 16:08:13 [[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 [[OLNMLN]] https://esolangs.org/w/index.php?diff=84216&oldid=84187 * Grs * (+352) 16:19:49 [[OLNMLN]] M https://esolangs.org/w/index.php?diff=84217&oldid=84216 * Grs * (-48) 16:22:50 [[Language list]] M https://esolangs.org/w/index.php?diff=84218&oldid=84202 * Kylem73 * (+11) added AHHH 16:24:31 [[OLNMLN]] https://esolangs.org/w/index.php?diff=84219&oldid=84217 * Grs * (+91) 16:25:48 [[Joke language list]] M https://esolangs.org/w/index.php?diff=84220&oldid=83546 * Kylem73 * (+52) added AHHH 16:28:28 [[OLNMLN]] M https://esolangs.org/w/index.php?diff=84221&oldid=84219 * Grs * (+49) 16:58:24 [[OLNMLN]] https://esolangs.org/w/index.php?diff=84222&oldid=84221 * Grs * (-132) 17:03:42 -!- LKoen has joined. 17:08:04 [[Special:Log/newusers]] create * Sawcce * New user account 17:08:59 [[Deadfish]] https://esolangs.org/w/index.php?diff=84223&oldid=84212 * Grs * (+198) /* Implementations */ OLNMLN 17:12:08 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=84224&oldid=84215 * Sawcce * (+251) /* Introductions */ 17:20:15 [[User:ResU]] https://esolangs.org/w/index.php?diff=84225&oldid=83978 * ResU * (+79) 17:34:23 [[NOTE]] https://esolangs.org/w/index.php?diff=84226&oldid=83971 * ResU * (+55) added .print 17:39:24 -!- sftp has joined. 17:44:36 [[Talk:Another Pi Language]] https://esolangs.org/w/index.php?diff=84227&oldid=18566 * ResU * (+94) 17:57:54 [[FolderCode]] https://esolangs.org/w/index.php?diff=84228&oldid=84213 * Dominicentek * (+194) 18:04:53 [[Twitty]] N https://esolangs.org/w/index.php?oldid=84229 * Luduk * (+870) twitty, the unreliable 18:05:08 [[Twitty]] https://esolangs.org/w/index.php?diff=84230&oldid=84229 * Luduk * (+4) 18:06:14 [[Twitty]] https://esolangs.org/w/index.php?diff=84231&oldid=84230 * ResU * (+18) 18:12:04 [[NOTE]] https://esolangs.org/w/index.php?diff=84232&oldid=84226 * ResU * (+40) 18:13:43 [[NOTE]] https://esolangs.org/w/index.php?diff=84233&oldid=84232 * ResU * (+0) 18:36:17 [[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 [[Nu]] N https://esolangs.org/w/index.php?oldid=84235 * Caenbe * (+2990) Created Nu 19:50:46 [[Language list]] https://esolangs.org/w/index.php?diff=84236&oldid=84218 * Caenbe * (+9) /* N */ Added Nu 19:51:34 [[User:Caenbe]] https://esolangs.org/w/index.php?diff=84237&oldid=84206 * Caenbe * (+50) 19:52:51 -!- naptra has joined. 19:55:38 https://writings.stephenwolfram.com/2021/06/1920-2020-and-a-20000-prize-announcing-the-s-combinator-challenge/ 20:00:30 That is an interesting link. 20:06:23 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 s/means/means,/ 20:07:59 b_jonas: if it's towards the latter then it may well be done by the people here 20:14:26 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 [[Nu]] M https://esolangs.org/w/index.php?diff=84238&oldid=84235 * Caenbe * (+10) /* Graph rewriting */ 20:24:49 Disproving it would be interesting too, esp. for $20K 20:37:34 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 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 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 Hm, maybe this suggests that S can't implement I alone. That would be pretty damning. 20:54:05 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 [[Nevermind]] M https://esolangs.org/w/index.php?diff=84239&oldid=84209 * OfficialCraftCGame * (-20) Edited segments of the wiki. 20:55:28 chapter 12 is the relevant one 20:56:54 and then chapter 18\ 20:57:42 no, chapter 19 20:59:21 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 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 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 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 [[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 [[Forwards]] https://esolangs.org/w/index.php?diff=84241&oldid=84193 * S1(210) * (+4868) /* Feature Specification */ Complete Rewrite 22:21:03 [[Forwards]] https://esolangs.org/w/index.php?diff=84242&oldid=84241 * S1(210) * (+466) /* Reference */ reformatting... 22:21:30 [[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 [[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 [[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 `? Earthblight Ganon 23:01:19 Earthblight Ganon? ¯\(°​_o)/¯ 23:27:42 `? ZZT 23:27:43 ZZT? ¯\(°​_o)/¯ 23:32:39 `? Free Hero Mesh 23:32:41 Free Hero Mesh? ¯\(°​_o)/¯ 23:39:50 [[Twitty]] M https://esolangs.org/w/index.php?diff=84246&oldid=84231 * PythonshellDebugwindow * (+80) /* Important note */ Categories 23:43:12 [[NOTE]] https://esolangs.org/w/index.php?diff=84247&oldid=84233 * ResU * (+474) 23:43:38 [[List of ideas]] M https://esolangs.org/w/index.php?diff=84248&oldid=84243 * PythonshellDebugwindow * (-28) /* Mathematics */ Link 23:47:02 [[NOTE]] https://esolangs.org/w/index.php?diff=84249&oldid=84247 * ResU * (-6) 23:51:18 [[NOTE]] https://esolangs.org/w/index.php?diff=84250&oldid=84249 * ResU * (+28) 23:56:31 [[Nu]] https://esolangs.org/w/index.php?diff=84251&oldid=84238 * Caenbe * (+831) Added 3 Star Programmer ex. and details about tree