< 1623110591 615830 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623110638 386983 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623110862 687640 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623110880 295176 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623110979 911969 PRIVMSG #esoteric :14[[0705ab1e14]]4 N10 02https://esolangs.org/w/index.php?oldid=84190 5* 03Monochromeninja 5* (+20) 10Just a redirect. < 1623111791 705205 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623111809 320567 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623112063 376304 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623112077 308746 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623115524 955438 PRIVMSG #esoteric :14[[07Blues machine/Portable Minsky Machine Notation conversion14]]4 N10 02https://esolangs.org/w/index.php?oldid=84191 5* 03Caenbe 5* (+1656) 10Added PMMN conversion > 1623115751 591561 PRIVMSG #esoteric :14[[07Blues machine14]]4 10 02https://esolangs.org/w/index.php?diff=84192&oldid=75036 5* 03Caenbe 5* (+311) 10Added TC proof > 1623115929 915995 PRIVMSG #esoteric :14[[07Forwards14]]4 10 02https://esolangs.org/w/index.php?diff=84193&oldid=84185 5* 03S1(210) 5* (+14) 10/* Feature Specification */ > 1623116168 465864 PRIVMSG #esoteric :14[[07Hexadecimal Stacking Pseudo-Assembly Language14]]4 10 02https://esolangs.org/w/index.php?diff=84194&oldid=72857 5* 03TheCoderPro 5* (+759) 10 > 1623116211 823325 PRIVMSG #esoteric :14[[07Hexadecimal Stacking Pseudo-Assembly Language14]]4 10 02https://esolangs.org/w/index.php?diff=84195&oldid=84194 5* 03TheCoderPro 5* (+45) 10/* Instructions */ > 1623116764 36445 PRIVMSG #esoteric :14[[07Blues machine/Portable Minsky Machine Notation conversion14]]4 10 02https://esolangs.org/w/index.php?diff=84196&oldid=84191 5* 03Caenbe 5* (+24) 10Back button > 1623116802 255170 PRIVMSG #esoteric :14[[07Hexadecimal Stacking Pseudo-Assembly Language14]]4 10 02https://esolangs.org/w/index.php?diff=84197&oldid=84195 5* 03TheCoderPro 5* (+514) 10/* Instructions */ > 1623116867 405191 PRIVMSG #esoteric :14[[07Blues machine/Portable Minsky Machine Notation conversion14]]4 M10 02https://esolangs.org/w/index.php?diff=84198&oldid=84196 5* 03Caenbe 5* (-1) 10Fixed mistake > 1623116880 321831 PRIVMSG #esoteric :14[[07Blues machine/Portable Minsky Machine Notation conversion14]]4 M10 02https://esolangs.org/w/index.php?diff=84199&oldid=84198 5* 03Caenbe 5* (-2) 10 > 1623116968 227600 PRIVMSG #esoteric :14[[07User:TheCoderPro14]]4 N10 02https://esolangs.org/w/index.php?oldid=84200 5* 03TheCoderPro 5* (+5) 10Created page with "hello" > 1623116998 36898 PRIVMSG #esoteric :14[[07User talk:TheCoderPro14]]4 N10 02https://esolangs.org/w/index.php?oldid=84201 5* 03TheCoderPro 5* (+69) 10Created page with "HI -~~~" < 1623117361 138686 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Ping timeout: 272 seconds > 1623117572 460249 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=84202&oldid=84186 5* 03MartinAsdf 5* (+15) 10added stackomp > 1623117801 537580 PRIVMSG #esoteric :14[[07Blues machine14]]4 10 02https://esolangs.org/w/index.php?diff=84203&oldid=84192 5* 03Caenbe 5* (+43) 10The author wrote the interpreter, so I assume this was intended. > 1623117942 967241 PRIVMSG #esoteric :14[[07Blues machine/Portable Minsky Machine Notation conversion14]]4 M10 02https://esolangs.org/w/index.php?diff=84204&oldid=84199 5* 03Caenbe 5* (-3) 10Of course, I'm so used to Python > 1623117960 761025 PRIVMSG #esoteric :14[[07Blues machine/Portable Minsky Machine Notation conversion14]]4 M10 02https://esolangs.org/w/index.php?diff=84205&oldid=84204 5* 03Caenbe 5* (+1) 10 > 1623120939 50746 PRIVMSG #esoteric :14[[07User:Caenbe14]]4 10 02https://esolangs.org/w/index.php?diff=84206&oldid=84121 5* 03Caenbe 5* (+270) 10 < 1623121214 743709 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623123544 872860 PRIVMSG #esoteric :14[[07OISC14]]4 10 02https://esolangs.org/w/index.php?diff=84207&oldid=82771 5* 03Caenbe 5* (-1) 10/* 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 > 1623125165 785695 PRIVMSG #esoteric :14[[07Talk:BytePushCore14]]4 10 02https://esolangs.org/w/index.php?diff=84208&oldid=19121 5* 03TheCoderPro 5* (+122) 10 < 1623127889 474042 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623127904 823374 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623128160 290720 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623128207 139075 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623130588 911305 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623130605 905672 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623130860 755904 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623130908 349308 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623131188 865323 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623131205 516159 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623131461 720006 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623131479 740975 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623132744 741651 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Ping timeout: 240 seconds < 1623134502 158745 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623134760 251997 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623134774 825389 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623135264 742511 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Ping timeout: 240 seconds < 1623136003 388233 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623136260 366017 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623136274 766096 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623136439 984854 :clog!~nef@bespin.org QUIT :Ping timeout: 258 seconds < 1623138088 843178 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623138105 302657 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623138360 630263 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623138374 810398 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623138688 986298 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623138702 159434 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623139012 744424 :metcalf_!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623139059 138757 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Ping timeout: 272 seconds < 1623139059 285833 :metcalf_!~metcalf@host86-162-128-62.range86-162.btcentralplus.com NICK :metcalf < 1623139971 138618 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Ping timeout: 272 seconds > 1623140435 714053 PRIVMSG #esoteric :14[[07Nevermind14]]4 M10 02https://esolangs.org/w/index.php?diff=84209&oldid=84003 5* 03OfficialCraftCGame 5* (+48) 10/* Calculator */ < 1623141434 355622 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 QUIT :Quit: Leaving < 1623142005 294504 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623142260 746185 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623142278 389173 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623143503 744795 :clog!~nef@bespin.org JOIN #esoteric * :CLOG (Channel LOGger) http://tunes.org/~nef/logs/ < 1623144689 78606 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf > 1623152217 80188 PRIVMSG #esoteric :14[[07User:Dominicentek14]]4 N10 02https://esolangs.org/w/index.php?oldid=84210 5* 03Dominicentek 5* (+34) 10Created page with "Hi there! I made: * [[FolderCode]]" > 1623157355 982346 PRIVMSG #esoteric :14[[07Set14]]4 10 02https://esolangs.org/w/index.php?diff=84211&oldid=76593 5* 03Jedgrei 5* (+0) 10 > 1623157857 760158 PRIVMSG #esoteric : `? > 1623157860 871788 PRIVMSG #esoteric : ​? ¯\(°​_o)/¯ > 1623157861 246892 PRIVMSG #esoteric : `help > 1623157861 403762 PRIVMSG #esoteric : 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. > 1623158014 876020 PRIVMSG #esoteric : `cat cat > 1623158015 899500 PRIVMSG #esoteric : cat: cat: No such file or directory > 1623158029 408705 PRIVMSG #esoteric : `which cat > 1623158030 280827 PRIVMSG #esoteric : ​/bin/cat > 1623158036 34521 PRIVMSG #esoteric : `cat /bin/cat > 1623158036 899648 PRIVMSG #esoteric : ​ELF............>.....�/......@.......��..........@.8..@.........@.......@.......@.......h......h...................�......�......�...........................................................�......�..................... ....... ....... ......�A......�A.....................p.......p.......p......�......�....................P�......P�......P�............�...................��......��......��......�.......�.............. > 1623158050 63600 PRIVMSG #esoteric : what was the command to see cources of other commands? > 1623158104 317675 PRIVMSG #esoteric : `? cat > 1623158106 221557 PRIVMSG #esoteric : Cats are cool, but should be illegal. > 1623158313 49392 PRIVMSG #esoteric : nakilon: for commands that are implemented as shell scripts or similar, yes, you can use cat or cbt or /bin/cat > 1623158331 341690 PRIVMSG #esoteric : nakilon: the user-defined commands are in /hackenv/bin > 1623158343 716946 PRIVMSG #esoteric : nakilon: there's also a whatis command > 1623158347 20385 PRIVMSG #esoteric : `whatis ? > 1623158348 158992 PRIVMSG #esoteric : ​?(1hackeso) - print wisdom by name \ ?(8lambdabot) - compose tree of lambdabot commands > 1623158355 151083 PRIVMSG #esoteric : `whatis w > 1623158356 250127 PRIVMSG #esoteric : w(1) - Show who is logged on and what they are doing. \ w(1hackeso) - print random wisdom matching a string > 1623158361 523505 PRIVMSG #esoteric : ``` w;q > 1623158362 934483 PRIVMSG #esoteric : ​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.) < 1623158517 432900 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623158763 250602 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623158808 351960 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623158957 282917 PRIVMSG #esoteric : cbt ! > 1623158959 991300 PRIVMSG #esoteric : `cbt ! > 1623158960 994433 PRIVMSG #esoteric : ​#!/bin/bash \ CMD=`echo -n "$1" | cut -d' ' -f1` \ ARG="$(echo -n "$1" | cut -d' ' -f2-)" \ exec $HACKENV/ibin/$CMD "$ARG$2" > 1623158995 540825 PRIVMSG #esoteric : `cbt cbt > 1623158996 620164 PRIVMSG #esoteric : cat $HACKENV/bin/"$1" > 1623159198 568545 PRIVMSG #esoteric : `? cruella > 1623159200 455255 PRIVMSG #esoteric : cruella? ¯\(°​_o)/¯ > 1623160233 854531 PRIVMSG #esoteric :14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=84212&oldid=84075 5* 03Batata 5* (+7913) 10 > 1623160401 387861 PRIVMSG #esoteric :14[[07FolderCode14]]4 10 02https://esolangs.org/w/index.php?diff=84213&oldid=84171 5* 03Dominicentek 5* (+117) 10/* Compiler, Runtime and Interpreter */ > 1623160894 792754 PRIVMSG #esoteric :14[[07Numeric Underload14]]4 10 02https://esolangs.org/w/index.php?diff=84214&oldid=43262 5* 03Caenbe 5* (+190) 10Cats and short blurb about the computational class > 1623161614 883776 PRIVMSG #esoteric : 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? > 1623161624 880935 PRIVMSG #esoteric : and if so, what is the earliest generation that has such a mechanic? > 1623161632 487660 PRIVMSG #esoteric : Not to my knowlege > 1623161639 380498 PRIVMSG #esoteric : thanks < 1623162690 542605 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623162707 157196 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623162961 794582 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623162978 390156 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623163590 536155 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623163635 293917 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623163862 482363 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623163878 389922 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623164490 702506 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623164537 164101 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623164761 830100 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623164810 367127 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623168202 226616 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Luduk 5* 10New user account > 1623168493 671381 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=84215&oldid=84162 5* 03Luduk 5* (+264) 10Luduk joins the party! Hope you've got pizza! > 1623169144 358651 PRIVMSG #esoteric :14[[07OLNMLN14]]4 10 02https://esolangs.org/w/index.php?diff=84216&oldid=84187 5* 03Grs 5* (+352) 10 > 1623169189 221831 PRIVMSG #esoteric :14[[07OLNMLN14]]4 M10 02https://esolangs.org/w/index.php?diff=84217&oldid=84216 5* 03Grs 5* (-48) 10 > 1623169370 200950 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=84218&oldid=84202 5* 03Kylem73 5* (+11) 10added AHHH > 1623169471 96421 PRIVMSG #esoteric :14[[07OLNMLN14]]4 10 02https://esolangs.org/w/index.php?diff=84219&oldid=84217 5* 03Grs 5* (+91) 10 > 1623169548 128206 PRIVMSG #esoteric :14[[07Joke language list14]]4 M10 02https://esolangs.org/w/index.php?diff=84220&oldid=83546 5* 03Kylem73 5* (+52) 10added AHHH > 1623169708 165485 PRIVMSG #esoteric :14[[07OLNMLN14]]4 M10 02https://esolangs.org/w/index.php?diff=84221&oldid=84219 5* 03Grs 5* (+49) 10 > 1623171504 621594 PRIVMSG #esoteric :14[[07OLNMLN14]]4 10 02https://esolangs.org/w/index.php?diff=84222&oldid=84221 5* 03Grs 5* (-132) 10 < 1623171822 180872 :LKoen!~LKoen@132.161.9.109.rev.sfr.net JOIN #esoteric LKoen :LKoen > 1623172084 63406 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Sawcce 5* 10New user account > 1623172139 919223 PRIVMSG #esoteric :14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=84223&oldid=84212 5* 03Grs 5* (+198) 10/* Implementations */ OLNMLN > 1623172328 840045 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=84224&oldid=84215 5* 03Sawcce 5* (+251) 10/* Introductions */ > 1623172815 901040 PRIVMSG #esoteric :14[[07User:ResU14]]4 10 02https://esolangs.org/w/index.php?diff=84225&oldid=83978 5* 03ResU 5* (+79) 10 > 1623173663 968416 PRIVMSG #esoteric :14[[07NOTE14]]4 10 02https://esolangs.org/w/index.php?diff=84226&oldid=83971 5* 03ResU 5* (+55) 10added .print < 1623173964 205478 :sftp!~sftp@unaffiliated/sftp JOIN #esoteric sftp :sftp > 1623174276 203653 PRIVMSG #esoteric :14[[07Talk:Another Pi Language14]]4 10 02https://esolangs.org/w/index.php?diff=84227&oldid=18566 5* 03ResU 5* (+94) 10 > 1623175074 325628 PRIVMSG #esoteric :14[[07FolderCode14]]4 10 02https://esolangs.org/w/index.php?diff=84228&oldid=84213 5* 03Dominicentek 5* (+194) 10 > 1623175493 206275 PRIVMSG #esoteric :14[[07Twitty14]]4 N10 02https://esolangs.org/w/index.php?oldid=84229 5* 03Luduk 5* (+870) 10twitty, the unreliable > 1623175508 601620 PRIVMSG #esoteric :14[[07Twitty14]]4 10 02https://esolangs.org/w/index.php?diff=84230&oldid=84229 5* 03Luduk 5* (+4) 10 > 1623175574 837351 PRIVMSG #esoteric :14[[07Twitty14]]4 10 02https://esolangs.org/w/index.php?diff=84231&oldid=84230 5* 03ResU 5* (+18) 10 > 1623175924 387609 PRIVMSG #esoteric :14[[07NOTE14]]4 10 02https://esolangs.org/w/index.php?diff=84232&oldid=84226 5* 03ResU 5* (+40) 10 > 1623176023 668387 PRIVMSG #esoteric :14[[07NOTE14]]4 10 02https://esolangs.org/w/index.php?diff=84233&oldid=84232 5* 03ResU 5* (+0) 10 > 1623177377 115183 PRIVMSG #esoteric :14[[07FolderCode14]]4 10 02https://esolangs.org/w/index.php?diff=84234&oldid=84228 5* 03Dominicentek 5* (-73) 10/* Version 1.1 */ < 1623178890 762935 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623178903 388825 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623179402 352302 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Ping timeout: 245 seconds > 1623181772 857492 PRIVMSG #esoteric :14[[07Nu14]]4 N10 02https://esolangs.org/w/index.php?oldid=84235 5* 03Caenbe 5* (+2990) 10Created Nu > 1623181846 541464 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=84236&oldid=84218 5* 03Caenbe 5* (+9) 10/* N */ Added Nu > 1623181894 506925 PRIVMSG #esoteric :14[[07User:Caenbe14]]4 10 02https://esolangs.org/w/index.php?diff=84237&oldid=84206 5* 03Caenbe 5* (+50) 10 < 1623181971 150452 :naptra!~naptra@78.157.87.195 JOIN #esoteric Naptra :realname > 1623182138 992564 PRIVMSG #esoteric : https://writings.stephenwolfram.com/2021/06/1920-2020-and-a-20000-prize-announcing-the-s-combinator-challenge/ > 1623182430 139071 PRIVMSG #esoteric : That is an interesting link. > 1623182783 879268 PRIVMSG #esoteric : Taneb: that will either devolve in nobody caring, or another weird game of defining what it means like with the cellular automaton. > 1623182797 234779 PRIVMSG #esoteric : s/means/means,/ > 1623182879 771498 PRIVMSG #esoteric : b_jonas: if it's towards the latter then it may well be done by the people here > 1623183266 801885 PRIVMSG #esoteric : 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 > 1623183876 851531 PRIVMSG #esoteric :14[[07Nu14]]4 M10 02https://esolangs.org/w/index.php?diff=84238&oldid=84235 5* 03Caenbe 5* (+10) 10/* Graph rewriting */ > 1623183889 314648 PRIVMSG #esoteric : Disproving it would be interesting too, esp. for $20K > 1623184654 179715 PRIVMSG #esoteric : 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. > 1623184735 833793 PRIVMSG #esoteric : 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. > 1623185252 858638 PRIVMSG #esoteric : 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? > 1623185548 382642 PRIVMSG #esoteric : Hm, maybe this suggests that S can't implement I alone. That would be pretty damning. > 1623185645 212094 PRIVMSG #esoteric : 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 > 1623185722 431023 PRIVMSG #esoteric :14[[07Nevermind14]]4 M10 02https://esolangs.org/w/index.php?diff=84239&oldid=84209 5* 03OfficialCraftCGame 5* (-20) 10Edited segments of the wiki. > 1623185728 449161 PRIVMSG #esoteric : chapter 12 is the relevant one > 1623185814 420642 PRIVMSG #esoteric : and then chapter 18\ > 1623185862 786619 PRIVMSG #esoteric : no, chapter 19 > 1623185961 1959 PRIVMSG #esoteric : I don't think it give a full proof for this < 1623186025 824624 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 JOIN #esoteric deltaepsilon23 :delta23__ < 1623186154 645530 :LKoen_!~LKoen@132.161.9.109.rev.sfr.net JOIN #esoteric * :LKoen > 1623186213 321318 PRIVMSG #esoteric : No worries, thanks for looking. < 1623186331 184258 :LKoen!~LKoen@132.161.9.109.rev.sfr.net QUIT :Ping timeout: 272 seconds < 1623186681 827023 :orbitaldecay!~bob@forder.cc QUIT :*.net *.split > 1623186742 528011 PRIVMSG #esoteric : you might be able to find a proof somewhere else, or reconstruct it from as much as Smullyan reveals there < 1623186815 835848 :orbitaldecay!~bob@forder.cc JOIN #esoteric * :bob > 1623186953 967963 PRIVMSG #esoteric : Corbin: do you need a summary of what he does say there that implies this? < 1623187012 579208 :orbitaldecay!~bob@forder.cc QUIT :*.net *.split < 1623187337 888402 :orbitaldecay!~bob@forder.cc JOIN #esoteric * :bob > 1623187869 736177 PRIVMSG #esoteric :14[[07OLNMLN14]]4 M10 02https://esolangs.org/w/index.php?diff=84240&oldid=84222 5* 03Grs 5* (+17) 10/* Commands */ < 1623189230 840030 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623189457 893017 :LKoen_!~LKoen@132.161.9.109.rev.sfr.net 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.” > 1623190536 1821 PRIVMSG #esoteric :14[[07Forwards14]]4 10 02https://esolangs.org/w/index.php?diff=84241&oldid=84193 5* 03S1(210) 5* (+4868) 10/* Feature Specification */ Complete Rewrite > 1623190863 257055 PRIVMSG #esoteric :14[[07Forwards14]]4 10 02https://esolangs.org/w/index.php?diff=84242&oldid=84241 5* 03S1(210) 5* (+466) 10/* Reference */ reformatting... > 1623190890 965426 PRIVMSG #esoteric :14[[07List of ideas14]]4 10 02https://esolangs.org/w/index.php?diff=84243&oldid=83530 5* 03Caenbe 5* (+281) 10/* Mathematics */ Idea < 1623191235 192384 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :*.net *.split < 1623191236 224705 :hakatashi1!~hakatashi@104.131.49.125 QUIT :*.net *.split < 1623191236 530219 :ornxka!~ornxka@unaffiliated/ornx QUIT :*.net *.split < 1623191253 507033 :orbitaldecay!~bob@forder.cc QUIT :*.net *.split < 1623191254 737667 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :*.net *.split < 1623191255 277684 :vertrex!~vertrex@unaffiliated/vertrex QUIT :*.net *.split < 1623191255 570899 :spruit11!~unknown@86-82-44-193.fixed.kpn.net QUIT :*.net *.split < 1623191255 823123 :oren!~oren@ec2-34-239-129-109.compute-1.amazonaws.com QUIT :*.net *.split < 1623191256 206661 :atehwa!atehwa@aulis.sange.fi QUIT :*.net *.split < 1623191257 147494 :none30!none30matr@gateway/shell/matrix.org/x-wlbljvckrvdfeizg QUIT :*.net *.split < 1623191257 408868 :ocharles!sid30093@musicbrainz/user/ocharles QUIT :*.net *.split < 1623191258 927296 :izabera!izabera@unaffiliated/izabera QUIT :*.net *.split < 1623191258 927344 :ski!~ski@ed-3358-10.studat.chalmers.se QUIT :*.net *.split < 1623191259 863372 :catern!~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407 QUIT :*.net *.split < 1623191259 863413 :user3456!user3456@gateway/shell/insomnia247/x-csqkewytzwifjdsp QUIT :*.net *.split < 1623191260 169351 :glowcoil!sid3405@gateway/web/irccloud.com/x-kqfefvcmbgehneab QUIT :*.net *.split < 1623191260 282942 :BWBellairs!~bwbellair@ec2-13-48-135-94.eu-north-1.compute.amazonaws.com QUIT :*.net *.split < 1623191260 363869 :sparr!~sparr@2604:a880:800:10::103:f001 QUIT :*.net *.split < 1623191260 723775 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com QUIT :*.net *.split < 1623191260 723821 :haavard!root@haavard.me QUIT :*.net *.split < 1623191261 363515 :hakatashi1!~hakatashi@104.131.49.125 JOIN #esoteric * :hakatashi < 1623191280 434452 :ornxka!~ornxka@unaffiliated/ornx JOIN #esoteric ornx :ornxka < 1623191288 354515 :hakatashi1!~hakatashi@104.131.49.125 QUIT :*.net *.split < 1623191311 177128 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN #esoteric copumpkin :Gourdmeister > 1623191625 296983 PRIVMSG #esoteric :14[[07Forwards14]]4 10 02https://esolangs.org/w/index.php?diff=84244&oldid=84242 5* 03S1(210) 5* (-133) 10/* Nonarithmetic Built-ins */ reformatting... eugh < 1623191661 734455 :orbitaldecay!~bob@forder.cc JOIN #esoteric * :bob < 1623191661 734527 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN #esoteric xelxebar :ZNC - https://znc.in < 1623191661 856092 :spruit11!~unknown@86-82-44-193.fixed.kpn.net JOIN #esoteric spruit11 :I am unknown < 1623191661 856143 :none30!none30matr@gateway/shell/matrix.org/x-wlbljvckrvdfeizg JOIN #esoteric * :org.matrix:none30 < 1623191661 856158 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com JOIN #esoteric joast :purple < 1623191661 856198 :oren!~oren@ec2-34-239-129-109.compute-1.amazonaws.com JOIN #esoteric \oren\ :oren < 1623191661 856214 :atehwa!atehwa@aulis.sange.fi JOIN #esoteric atehwa :Panu A. Kalliokoski < 1623191661 856229 :vertrex!~vertrex@unaffiliated/vertrex JOIN #esoteric vertrex :vertrex < 1623191661 856291 :ocharles!sid30093@musicbrainz/user/ocharles JOIN #esoteric ocharles :Oliver Charles < 1623191661 856310 :haavard!root@haavard.me JOIN #esoteric haavard :Håvard Pettersson < 1623191661 856324 :catern!~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407 JOIN #esoteric catern :sbaugh < 1623191661 856399 :user3456!user3456@gateway/shell/insomnia247/x-csqkewytzwifjdsp JOIN #esoteric user3456 :user3456 < 1623191661 856415 :ski!~ski@ed-3358-10.studat.chalmers.se JOIN #esoteric ski :Stefan Ljungstrand < 1623191661 856429 :izabera!izabera@unaffiliated/izabera JOIN #esoteric izabera :izabera < 1623191661 856443 :sparr!~sparr@2604:a880:800:10::103:f001 JOIN #esoteric * :sparr < 1623191661 856484 :BWBellairs!~bwbellair@ec2-13-48-135-94.eu-north-1.compute.amazonaws.com JOIN #esoteric BWBellairs :i am totally bwbellairs < 1623191661 856501 :glowcoil!sid3405@gateway/web/irccloud.com/x-kqfefvcmbgehneab JOIN #esoteric micahjohnston :Micah Johnston < 1623191845 736036 :hakatashi1!~hakatashi@104.131.49.125 JOIN #esoteric * :hakatashi < 1623191933 861284 :hakatashi1!~hakatashi@104.131.49.125 QUIT :*.net *.split < 1623192167 855981 :hakatashi1!~hakatashi@104.131.49.125 JOIN #esoteric * :hakatashi > 1623192793 986552 PRIVMSG #esoteric :14[[07Forwards14]]4 10 02https://esolangs.org/w/index.php?diff=84245&oldid=84244 5* 03S1(210) 5* (+1264) 10/* Arithmetic Built-ins */ Finally done reformatting? < 1623192890 940789 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Quit: metcalf < 1623192937 155562 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john < 1623193163 388749 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com QUIT :Client Quit < 1623193178 387319 :metcalf!~metcalf@host86-162-128-62.range86-162.btcentralplus.com JOIN #esoteric * :john > 1623193277 787031 PRIVMSG #esoteric : `? Earthblight Ganon > 1623193279 769029 PRIVMSG #esoteric : Earthblight Ganon? ¯\(°​_o)/¯ > 1623194862 178448 PRIVMSG #esoteric : `? ZZT > 1623194863 861695 PRIVMSG #esoteric : ZZT? ¯\(°​_o)/¯ > 1623195159 372402 PRIVMSG #esoteric : `? Free Hero Mesh > 1623195161 153779 PRIVMSG #esoteric : Free Hero Mesh? ¯\(°​_o)/¯ > 1623195590 560613 PRIVMSG #esoteric :14[[07Twitty14]]4 M10 02https://esolangs.org/w/index.php?diff=84246&oldid=84231 5* 03PythonshellDebugwindow 5* (+80) 10/* Important note */ Categories > 1623195792 808513 PRIVMSG #esoteric :14[[07NOTE14]]4 10 02https://esolangs.org/w/index.php?diff=84247&oldid=84233 5* 03ResU 5* (+474) 10 > 1623195818 912136 PRIVMSG #esoteric :14[[07List of ideas14]]4 M10 02https://esolangs.org/w/index.php?diff=84248&oldid=84243 5* 03PythonshellDebugwindow 5* (-28) 10/* Mathematics */ Link > 1623196022 657004 PRIVMSG #esoteric :14[[07NOTE14]]4 10 02https://esolangs.org/w/index.php?diff=84249&oldid=84247 5* 03ResU 5* (-6) 10 > 1623196278 560670 PRIVMSG #esoteric :14[[07NOTE14]]4 10 02https://esolangs.org/w/index.php?diff=84250&oldid=84249 5* 03ResU 5* (+28) 10 > 1623196591 671752 PRIVMSG #esoteric :14[[07Nu14]]4 10 02https://esolangs.org/w/index.php?diff=84251&oldid=84238 5* 03Caenbe 5* (+831) 10Added 3 Star Programmer ex. and details about tree