< 1726272187 884539 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net QUIT :Ping timeout: 264 seconds < 1726272262 14987 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net JOIN #esolangs * :Textual User > 1726272652 786733 PRIVMSG #esolangs :14[[07User:Eugene14]]4 10 02https://esolangs.org/w/index.php?diff=139042&oldid=139035 5* 03Ais523 5* (-5) 10Undo revision [[Special:Diff/139035|139035]] by [[Special:Contributions/Ractangle|Ractangle]] ([[User talk:Ractangle|talk]]) introducing errors into the page (AFAICT Eugene did not make Istoriya, only document it) > 1726272923 624125 PRIVMSG #esolangs :14[[07BF Joust14]]4 10 02https://esolangs.org/w/index.php?diff=139043&oldid=132981 5* 03Ais523 5* (+29) 10/* The Battle */ clarify < 1726273080 608307 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement < 1726279518 384836 :X-Scale57!~X-Scale@31.22.161.233 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale < 1726279613 338987 :X-Scale!~X-Scale@31.22.161.233 QUIT :Ping timeout: 256 seconds < 1726279716 943951 :X-Scale57!~X-Scale@31.22.161.233 NICK :X-Scale < 1726280024 510906 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I did think the twin-prime thing was cool. I'm not going to add MtG to the BB Gauge because it's rather big and copyrighted, but maybe I should add Wang tiles. < 1726280069 824106 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I had considered doing Post correspondence machines but I think that the functor from Turing machines to PCPs is rather too good for this; I'm not sure how to handwrite a better PCP. < 1726280107 260243 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Er, *PCMs. A PCP is quite different. < 1726284699 367250 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 260 seconds < 1726284809 314759 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord > 1726284879 568923 PRIVMSG #esolangs :14[[07Mathfuck14]]4 N10 02https://esolangs.org/w/index.php?oldid=139044 5* 03Sgeo 5* (+739) 10Mathfuck < 1726284910 959285 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :It's possible that it's ... more solvable than expected if mod256 makes things... more predictable < 1726284968 417262 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Also not sure how to deal with the possibility of overlaps. For the twin prime ones, I could say that they could be second largest twin prime pair < 1726285091 207407 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Doesn't really fit "We don't know if it's a language or not" < 1726285141 953589 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I don't know about odd perfect numbers, but the others are good (mod 256). Collatz counterexamples must be multiples of 3 and twin primes must be of the form 6k ± 1. < 1726286719 273617 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :I feel like I'm wasting the beautiful name Mathfuck. Especially since this is BitChanger (I just looked for something with fewer commands) < 1726287888 375230 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW > 1726289595 376053 PRIVMSG #esolangs :14[[07Talk:NRP14]]4 N10 02https://esolangs.org/w/index.php?oldid=139045 5* 03Yayimhere 5* (+141) 10Created page with "is this allowed?: 1 = 1 1. can i do that? [~~~~]" < 1726290260 347724 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :With GCC, can you use -no-integrated-cpp and -wrapper to add extra steps before and after the preprocessor? Can this or something similar be used with Clang also? > 1726290482 495903 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139046&oldid=138976 5* 03Yayimhere 5* (+1) 10/* syntax form */ > 1726290564 755248 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139047&oldid=139046 5* 03Yayimhere 5* (+82) 10/* operators */ < 1726290575 48414 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :is a loop possible?: https://esolangs.org/wiki/Savage_Operator > 1726290892 627025 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139048&oldid=139047 5* 03Yayimhere 5* (+1) 10 > 1726290912 756172 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139049&oldid=139048 5* 03Yayimhere 5* (+17) 10 > 1726291044 743772 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139050&oldid=139049 5* 03Yayimhere 5* (+0) 10/* syntax form */ < 1726291072 992835 :X-Scale!~X-Scale@31.22.161.233 QUIT :Quit: Client closed > 1726291200 872124 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139051&oldid=139050 5* 03Yayimhere 5* (+54) 10 > 1726291745 997246 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139052&oldid=139051 5* 03Yayimhere 5* (+94) 10 > 1726292030 44758 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139053&oldid=139052 5* 03Yayimhere 5* (+21) 10 > 1726292071 777584 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139054&oldid=139053 5* 03Yayimhere 5* (-194) 10/* operators */ > 1726292444 175296 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139055&oldid=139054 5* 03Yayimhere 5* (+0) 10 > 1726292700 336124 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139056&oldid=139055 5* 03Yayimhere 5* (+17) 10 > 1726293048 296274 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139057&oldid=139056 5* 03Yayimhere 5* (+283) 10/* operators */ > 1726293112 972872 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139058&oldid=139057 5* 03Yayimhere 5* (+85) 10/* turing completeness proof */ > 1726293177 780032 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139059&oldid=139058 5* 03Yayimhere 5* (+47) 10/* turing completeness proof */ > 1726293184 728731 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139060&oldid=139059 5* 03Yayimhere 5* (+0) 10 > 1726293191 283629 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139061&oldid=139060 5* 03Yayimhere 5* (+0) 10 > 1726293353 85897 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139062&oldid=139061 5* 03Yayimhere 5* (+8) 10/* turing completeness proof */ > 1726293399 174883 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139063&oldid=139062 5* 03Yayimhere 5* (+0) 10 > 1726293639 543347 PRIVMSG #esolangs :14[[07Talk:Unlambda14]]4 10 02https://esolangs.org/w/index.php?diff=139064&oldid=24258 5* 03Yayimhere 5* (+46) 10/* My attempt at compiling Unlambda to D */ > 1726293825 88367 PRIVMSG #esolangs :14[[07Prefix notation14]]4 10 02https://esolangs.org/w/index.php?diff=139065&oldid=133810 5* 03Yayimhere 5* (+1) 10/* Examples */ the space made more sense based on the syntax < 1726294161 603932 :mynery!~myname@v2202404221793264578.bestsrv.de NICK :myname > 1726294176 869449 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139066&oldid=139063 5* 03Yayimhere 5* (-68) 10 > 1726294258 757014 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139067&oldid=139066 5* 03Yayimhere 5* (+48) 10/* turing completeness proof */ < 1726294492 984924 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :zzo38: I don't know, but you can use gcc -E to stop after running the preprocessor, and use gcc $basename.i or gcc -x cpp-output $filename to pass an already preprocessed C file (and similarly for C++), so you can just do all the preprocessing steps manually that way before you compile < 1726294516 675218 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :hello b_jonas! < 1726294580 143118 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1726294860 4857 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139068&oldid=139067 5* 03Yayimhere 5* (+21) 10 > 1726294927 672702 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139069&oldid=139068 5* 03Yayimhere 5* (+85) 10 < 1726296581 271817 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :are there any esolangs that use surreal numbers? < 1726296660 523325 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :also if i understand < 1726296664 925724 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :surreal numbers < 1726296677 345303 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :are just numbers holding not only reals < 1726296682 639669 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but also infinty's < 1726296689 571195 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and infinitly small numberas < 1726296691 573175 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :right? < 1726296693 819880 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :numbers* > 1726297530 903627 PRIVMSG #esolangs :14[[07Mountain14]]4 10 02https://esolangs.org/w/index.php?diff=139070&oldid=138472 5* 03ChuckEsoteric08 5* (+20) 10 > 1726297627 173876 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=139071&oldid=137045 5* 03Yayimhere 5* (+0) 10 > 1726297653 189775 PRIVMSG #esolangs :14[[07User:Yayimhere14]]4 10 02https://esolangs.org/w/index.php?diff=139072&oldid=139036 5* 03Yayimhere 5* (+13) 10/* eoslangs */ > 1726297662 191141 PRIVMSG #esolangs :14[[07User:Yayimhere14]]4 10 02https://esolangs.org/w/index.php?diff=139073&oldid=139072 5* 03Yayimhere 5* (+0) 10/* eoslangs */ > 1726297754 92744 PRIVMSG #esolangs :14[[07Mountain14]]4 10 02https://esolangs.org/w/index.php?diff=139074&oldid=139070 5* 03ChuckEsoteric08 5* (-11) 10/* Examples */ > 1726297971 355968 PRIVMSG #esolangs :14[[07Talk:NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139075&oldid=139045 5* 03Yayimhere 5* (+128) 10 > 1726298012 865285 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139076&oldid=139037 5* 03Yayimhere 5* (+40) 10/* Examples */ > 1726298109 547811 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139077&oldid=139076 5* 03Yayimhere 5* (+56) 10/* Examples */ > 1726298144 175808 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139078&oldid=139077 5* 03Yayimhere 5* (+5) 10/* Looping counter(not printing) */ < 1726298400 922769 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :Quit: Leaving < 1726298685 932191 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN #esolangs * :rodgort > 1726299428 748268 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139079&oldid=139078 5* 03Ractangle 5* (+1) 10/* Truth-machine */ > 1726299498 861792 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139080&oldid=139079 5* 03Ractangle 5* (+26) 10 < 1726299689 13490 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1726299690 138546 PRIVMSG #esolangs :14[[07Talk:NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139081&oldid=139075 5* 03Ractangle 5* (+174) 10 < 1726299826 358033 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1726299918 553964 PRIVMSG #esolangs :14[[07Linear14]]4 N10 02https://esolangs.org/w/index.php?oldid=139082 5* 03Yayimhere 5* (+730) 10Created page with "'''Linear''' is a esolang created by [[User:Yayimhere]] == syntax == the program is made up of a list of lists separated by spaces. lists themselves are set up like this: n, m where n and m are positive integers == semantics == for every n, and m we do thi > 1726299969 705917 PRIVMSG #esolangs :14[[07User talk:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=139083&oldid=138502 5* 03Ractangle 5* (+4) 10/* can somebody explain why cant i make DISPLAYTITLE work properly */ > 1726300022 711522 PRIVMSG #esolangs :14[[07U (PrySigneToFry)14]]4 10 02https://esolangs.org/w/index.php?diff=139084&oldid=137597 5* 03Ractangle 5* (+28) 10/* Category */ > 1726300168 584221 PRIVMSG #esolangs :14[[07EML14]]4 10 02https://esolangs.org/w/index.php?diff=139085&oldid=68231 5* 03Ractangle 5* (+23) 10/* Describe EML. */ > 1726300774 173167 PRIVMSG #esolangs :14[[07F uck you14]]4 10 02https://esolangs.org/w/index.php?diff=139086&oldid=126515 5* 03Yayimhere 5* (-34) 10 > 1726300881 597833 PRIVMSG #esolangs :14[[07StatiC14]]4 N10 02https://esolangs.org/w/index.php?oldid=139087 5* 03Squidmanescape 5* (+455) 10Created page with "'''StatiC''' is a C-like language which is entirely static. It doesn't allocate or deallocate memory. == Syntax == The syntax is like C except you can't use malloc() and free(). You also can't use any standard functions unless you define them yourself, which mean < 1726300893 389217 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname > 1726300971 707046 PRIVMSG #esolangs :14[[07StatiC14]]4 10 02https://esolangs.org/w/index.php?diff=139088&oldid=139087 5* 03Squidmanescape 5* (-2) 10/* Integer */ > 1726301070 19454 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Ractangle 5* 10moved [[022D10]] to [[User:Ractangle/2D]] > 1726301085 862933 PRIVMSG #esolangs :14[[07User:Ractangle/2D14]]4 10 02https://esolangs.org/w/index.php?diff=139091&oldid=139089 5* 03Ractangle 5* (+5) 10/* Examples */ > 1726301103 746179 PRIVMSG #esolangs :14[[07User:Ractangle/2D14]]4 10 02https://esolangs.org/w/index.php?diff=139092&oldid=139091 5* 03Ractangle 5* (+6) 10/* Examples */ > 1726301274 848615 PRIVMSG #esolangs :14[[07StatiC14]]4 10 02https://esolangs.org/w/index.php?diff=139093&oldid=139088 5* 03Squidmanescape 5* (+268) 10/* Syntax */ > 1726301299 185709 PRIVMSG #esolangs :14[[07StatiC14]]4 10 02https://esolangs.org/w/index.php?diff=139094&oldid=139093 5* 03Squidmanescape 5* (+29) 10/* Syntax */ < 1726302145 750957 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1726305145 644394 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139095&oldid=139080 5* 03Yayimhere 5* (-60) 10/* Looping counter(not printing) */ > 1726305185 405399 PRIVMSG #esolangs :14[[07Talk:NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139096&oldid=139081 5* 03Yayimhere 5* (+139) 10 > 1726305319 68242 PRIVMSG #esolangs :14[[07User:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=139097&oldid=138950 5* 03Ractangle 5* (+10) 10/* Esolangs */ < 1726306094 825577 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1726307103 414540 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1726307274 299306 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1726307763 31993 :ais523!~ais523@user/ais523 QUIT :Quit: quit > 1726309345 89297 PRIVMSG #esolangs :14[[07AI made dis14]]4 N10 02https://esolangs.org/w/index.php?oldid=139098 5* 03Yayimhere 5* (+3093) 10Created page with "'''AI made dis''' is a esolang created by chatGPT. it was prompted by [[User:Yayimhere]]. its named FROSTWIRE-666 although i will use that name elsewhere == Memory Model == The language operates on 666 nodes, each capable of holding an integer.
These are ind > 1726309551 715342 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Ractangle 5* 10moved [[02User:Ractangle/2D10]] to [[Literally just a turing machine]] < 1726309743 377368 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :does the proof of TC'ness work?: https://esolangs.org/wiki/Savage_Operator > 1726309857 838036 PRIVMSG #esolangs :14[[07Literally just a turing machine14]]4 10 02https://esolangs.org/w/index.php?diff=139101&oldid=139099 5* 03Ractangle 5* (-261) 10 > 1726309937 161189 PRIVMSG #esolangs :14[[07Literally just a turing machine14]]4 10 02https://esolangs.org/w/index.php?diff=139102&oldid=139101 5* 03Yayimhere 5* (-11) 10/* Examples */ categories should not be in pre > 1726310030 161602 PRIVMSG #esolangs :14[[07Literally just a turing machine14]]4 10 02https://esolangs.org/w/index.php?diff=139103&oldid=139102 5* 03Ractangle 5* (-40) 10/* Examples */ > 1726310091 952813 PRIVMSG #esolangs :14[[07Literally just a turing machine14]]4 10 02https://esolangs.org/w/index.php?diff=139104&oldid=139103 5* 03Ractangle 5* (-52) 10/* Commands */ > 1726310111 241729 PRIVMSG #esolangs :14[[07Bubblegum14]]4 M10 02https://esolangs.org/w/index.php?diff=139105&oldid=90078 5* 03PkmnQ 5* (-28) 10/* Reference implementation */ Though likely, still not proven Turing-complete > 1726310269 321422 PRIVMSG #esolangs :14[[07Literally just a turing machine14]]4 10 02https://esolangs.org/w/index.php?diff=139106&oldid=139104 5* 03Ractangle 5* (+62) 10/* Examples */ > 1726310284 235415 PRIVMSG #esolangs :14[[07Literally just a turing machine14]]4 10 02https://esolangs.org/w/index.php?diff=139107&oldid=139106 5* 03Ractangle 5* (-30) 10/* Truth-machine */ > 1726310316 436851 PRIVMSG #esolangs :14[[07Literally just a turing machine14]]4 10 02https://esolangs.org/w/index.php?diff=139108&oldid=139107 5* 03Ractangle 5* (+35) 10/* Commands */ < 1726310382 395340 :X-Scale!~X-Scale@31.22.203.58 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale > 1726311262 12375 PRIVMSG #esolangs :14[[07Talk:SchrderBernstein theorem14]]4 N10 02https://esolangs.org/w/index.php?oldid=139109 5* 03Yayimhere 5* (+120) 10Created page with "delete dis plz. empty [~~~~]" > 1726311787 799301 PRIVMSG #esolangs :14[[07Brainshit14]]4 N10 02https://esolangs.org/w/index.php?oldid=139110 5* 03Yayimhere 5* (+347) 10Created page with "'''Brainshit''' is a esolang created by [[User:Yayimhere]], its just [[BF]] but different == changes == first of all commands are changed like this: + -> { - -> } [ -> [ ] -> ] > -> ( < -> ) also all brackets must be matched. also this is not allowed: [(]) so < 1726311913 328208 :X-Scale!~X-Scale@31.22.203.58 QUIT :Ping timeout: 256 seconds > 1726313091 530971 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03Yayimhere 5* 10uploaded "[[02File:RECT4n=GLE.jpg10]]" > 1726313102 754518 PRIVMSG #esolangs :14[[07RECT4n=GLE14]]4 10 02https://esolangs.org/w/index.php?diff=139112&oldid=138575 5* 03Yayimhere 5* (+39) 10 > 1726313227 866796 PRIVMSG #esolangs :14[[07RECT4n=GLE14]]4 10 02https://esolangs.org/w/index.php?diff=139113&oldid=139112 5* 03Yayimhere 5* (+31) 10/* real tiles */ < 1726313513 397272 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :is this proof correct?: https://esolangs.org/wiki/Savage_Operator < 1726314665 341109 :Thelie!~Thelie@2a03:9b40:2139:2800:2d53:42b9:7c96:d9e1 JOIN #esolangs Thelie :Thelie < 1726314796 487467 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1726314926 838579 :wWwwW!~wWwwW@94.147.203.75 QUIT :Quit: Client closed > 1726315072 365038 PRIVMSG #esolangs :14[[07Literally just a turing machine14]]4 10 02https://esolangs.org/w/index.php?diff=139114&oldid=139108 5* 03Ractangle 5* (+0) 10/* Truth-machine */ < 1726315378 55704 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net QUIT :Ping timeout: 248 seconds < 1726315526 410143 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net JOIN #esolangs mtm :Textual User > 1726315778 572623 PRIVMSG #esolangs :14[[07User:Yayimhere14]]4 10 02https://esolangs.org/w/index.php?diff=139115&oldid=139073 5* 03Ractangle 5* (+16) 10/* esolangs */ < 1726316006 177440 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1726316161 421851 PRIVMSG #esolangs :14[[07Talk:NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139116&oldid=139096 5* 03Ractangle 5* (+139) 10 > 1726316194 657137 PRIVMSG #esolangs :14[[07Talk:NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139117&oldid=139116 5* 03Ractangle 5* (+45) 10 < 1726316346 198159 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname < 1726316819 320363 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW > 1726317779 400786 PRIVMSG #esolangs :14[[07User:Yayimhere14]]4 10 02https://esolangs.org/w/index.php?diff=139118&oldid=139115 5* 03Yayimhere 5* (+13) 10/* esolangs */ > 1726317791 565465 PRIVMSG #esolangs :14[[07Talk:NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139119&oldid=139117 5* 03Ractangle 5* (+165) 10 > 1726317801 717075 PRIVMSG #esolangs :14[[07Talk:NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139120&oldid=139119 5* 03Ractangle 5* (+4) 10 < 1726317810 888929 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1726317892 476119 PRIVMSG #esolangs :14[[07Talk:NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139121&oldid=139120 5* 03Yayimhere 5* (+30) 10 > 1726317904 142599 PRIVMSG #esolangs :14[[07Talk:NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139122&oldid=139121 5* 03Yayimhere 5* (+2) 10 > 1726318041 432207 PRIVMSG #esolangs :14[[07Talk:NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139123&oldid=139122 5* 03Ractangle 5* (+6) 10 < 1726319221 837722 :Thelie!~Thelie@2a03:9b40:2139:2800:2d53:42b9:7c96:d9e1 QUIT :Ping timeout: 265 seconds > 1726319264 953539 PRIVMSG #esolangs :14[[07Func()14]]4 10 02https://esolangs.org/w/index.php?diff=139124&oldid=137202 5* 03Yayimhere 5* (-1) 10/* examples */ > 1726319274 477176 PRIVMSG #esolangs :14[[07Func()14]]4 10 02https://esolangs.org/w/index.php?diff=139125&oldid=139124 5* 03Yayimhere 5* (+0) 10/* examples */ > 1726319784 841785 PRIVMSG #esolangs :14[[07Wiki/pedia/.org14]]4 10 02https://esolangs.org/w/index.php?diff=139126&oldid=138062 5* 03Yayimhere 5* (+2) 10 > 1726319920 234105 PRIVMSG #esolangs :14[[07!()14]]4 10 02https://esolangs.org/w/index.php?diff=139127&oldid=136747 5* 03Yayimhere 5* (-3) 10 > 1726319950 206410 PRIVMSG #esolangs :14[[07!()14]]4 10 02https://esolangs.org/w/index.php?diff=139128&oldid=139127 5* 03Yayimhere 5* (+1) 10 < 1726320013 302770 :Thelie!~Thelie@214-110-035-185.ip-addr.vsenet.de JOIN #esolangs * :Thelie > 1726320318 379378 PRIVMSG #esolangs :14[[07User talk:None114]]4 10 02https://esolangs.org/w/index.php?diff=139129&oldid=138469 5* 03PrySigneToFry 5* (+641) 10 > 1726320462 607596 PRIVMSG #esolangs :14[[07Translated ZhongWen14]]4 10 02https://esolangs.org/w/index.php?diff=139130&oldid=132875 5* 03PrySigneToFry 5* (+58) 10 > 1726320508 567283 PRIVMSG #esolangs :14[[07Translated ZhongWen/None114]]4 10 02https://esolangs.org/w/index.php?diff=139131&oldid=138468 5* 03PrySigneToFry 5* (+44) 10 > 1726320663 500837 PRIVMSG #esolangs :14[[07Talk:Translated ZhongWen/None114]]4 N10 02https://esolangs.org/w/index.php?oldid=139132 5* 03PrySigneToFry 5* (+518) 10Created page with "I registered to Baidu, so I has this version:
 "said SREC  >   M"     __  > + > > "Qing T Qing Pa  I"D->a>1       =#  --PPPPPPPP..."
> 1726321226 663096 PRIVMSG #esolangs :14[[07Translated ZhongWen/None114]]4 10 02https://esolangs.org/w/index.php?diff=139133&oldid=139131 5* 03MihaiEso 5* (+46) 10
> 1726321268 543614 PRIVMSG #esolangs :14[[07Translated ZhongWen/None114]]4 10 02https://esolangs.org/w/index.php?diff=139134&oldid=139133 5* 03MihaiEso 5* (-3) 10Oops, AutoHotkey done that.
> 1726321391 661441 PRIVMSG #esolangs :14[[07Talk:^14]]4 N10 02https://esolangs.org/w/index.php?oldid=139135 5* 03Yayimhere 5* (+135) 10Created page with "then what would dis program do?:  ^^ [~~~~]"
< 1726321422 119105 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i have a weak esolang concept
< 1726321428 712149 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :can anybody help me with expanding it?
< 1726321429 712374 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :plz
< 1726321574 94524 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :ah, the concept of a plan.  good
< 1726321587 851582 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wut
< 1726321591 909043 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im confused
< 1726321596 1732 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :nevermind
< 1726321606 750106 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1726321607 750098 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1726321610 505549 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait oops
< 1726321625 883374 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :shall i say the concept or....?
> 1726321922 816921 PRIVMSG #esolangs :14[[07Translated ZhongWen/MihaiEso14]]4 N10 02https://esolangs.org/w/index.php?oldid=139136 5* 03MihaiEso 5* (+1294) 10Created page with "Crazier version of [[Translated ZhongWen/None1]]  1. Take the semiproduct 
 "said SREC  >   M"     __  > + > > "Qing T Qing Pa  I"D->a>1       =#  --PPPPP..."
< 1726321981 506617 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :this is irc, don't ask to ask
< 1726322004 403028 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok. sorry
< 1726322005 738879 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :well
< 1726322007 366919 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :then ok
< 1726322074 733733 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :my concept: a esolang where memory is sotred in the IP
< 1726322077 545543 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ad only the IP
< 1726322080 934289 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*and
< 1726322084 859388 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and not 2d
< 1726322089 381328 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :this is no asciidots
> 1726322682 437801 PRIVMSG #esolangs :14[[07Translated !English14]]4 10 02https://esolangs.org/w/index.php?diff=139137&oldid=125757 5* 03MihaiEso 5* (+20) 10
> 1726322889 698318 PRIVMSG #esolangs :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=139138&oldid=138981 5* 03MihaiEso 5* (+78) 10/* Horribly translated variants */
> 1726323233 203279 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139139&oldid=139027 5* 03Yayimhere 5* (+0) 10/* turing completeness proof */
> 1726323281 583914 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139140&oldid=139139 5* 03Yayimhere 5* (+35) 10/* syntax */
> 1726323422 930693 PRIVMSG #esolangs :14[[07Translated CreativeASM14]]4 N10 02https://esolangs.org/w/index.php?oldid=139141 5* 03MihaiEso 5* (+3127) 10Created page with "There are a lot of horribly translated languages that the originals look like English and are translated with like Baidu.  We are translating a high-level assembly language with ModernMT!  1. Take this example: 
 @ A calculator program in CreativeASM
> 1726323491 607147 PRIVMSG #esolangs :14[[07User:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=139142&oldid=137002 5* 03MihaiEso 5* (+78) 10
> 1726323759 395394 PRIVMSG #esolangs :14[[07Translated CreativeASM14]]4 10 02https://esolangs.org/w/index.php?diff=139143&oldid=139141 5* 03MihaiEso 5* (+67) 10
> 1726324068 604739 PRIVMSG #esolangs :14[[07AmBored++14]]4 10 02https://esolangs.org/w/index.php?diff=139144&oldid=68984 5* 03Ractangle 5* (+30) 10/* See also */
> 1726324134 592714 PRIVMSG #esolangs :14[[07AmBored--14]]4 10 02https://esolangs.org/w/index.php?diff=139145&oldid=68985 5* 03Ractangle 5* (+30) 10/* See also */
> 1726324951 399174 PRIVMSG #esolangs :14[[07User:GUAqwq/brainfuck quine14]]4 N10 02https://esolangs.org/w/index.php?oldid=139146 5* 03GUAqwq 5* (+9496) 10Created page with "My quine, inspired by [[User:Hakerh400/How_to_write_quines]].  >>>++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++>>>++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++>>>+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
> 1726324984 110012 PRIVMSG #esolangs :14[[07User:GUAqwq14]]4 10 02https://esolangs.org/w/index.php?diff=139147&oldid=138129 5* 03GUAqwq 5* (+48) 10
> 1726324993 376389 PRIVMSG #esolangs :14[[07User:GUAqwq14]]4 10 02https://esolangs.org/w/index.php?diff=139148&oldid=139147 5* 03GUAqwq 5* (+2) 10
> 1726325126 193163 PRIVMSG #esolangs :14[[07User:MihaiEso/Sandbox 314]]4 10 02https://esolangs.org/w/index.php?diff=139149&oldid=130853 5* 03MihaiEso 5* (+9) 10
> 1726325158 128975 PRIVMSG #esolangs :14[[07User:MihaiEso/Sandbox 314]]4 10 02https://esolangs.org/w/index.php?diff=139150&oldid=139149 5* 03MihaiEso 5* (+0) 10
> 1726325529 698005 PRIVMSG #esolangs :14[[07Category:Generated by AI14]]4 10 02https://esolangs.org/w/index.php?diff=139151&oldid=131363 5* 03MihaiEso 5* (+15) 10
> 1726325539 958508 PRIVMSG #esolangs :14[[07Category:Generated by AI14]]4 10 02https://esolangs.org/w/index.php?diff=139152&oldid=139151 5* 03MihaiEso 5* (+4) 10
> 1726325778 601809 PRIVMSG #esolangs :14[[07User:PkmnQ/Wrong Wrap14]]4 N10 02https://esolangs.org/w/index.php?oldid=139153 5* 03PkmnQ 5* (+1143) 10Created page with "[[Wrong Wrap]] is an esolang derived from an attempt to create a 2D language where NOP is the only instruction. == Execution == In programs, the only thing that matters is the length of each line. Non-newline characters are all interpreted as NOPs. We'll tak
> 1726325942 573445 PRIVMSG #esolangs :14[[07AI made dis14]]4 10 02https://esolangs.org/w/index.php?diff=139154&oldid=139098 5* 03MihaiEso 5* (+97) 10
> 1726325982 111802 PRIVMSG #esolangs :14[[07User:GUAqwq/brainfuck quine14]]4 10 02https://esolangs.org/w/index.php?diff=139155&oldid=139146 5* 03Cycwin 5* (+739) 10
> 1726326061 136839 PRIVMSG #esolangs :14[[07User:PkmnQ/Wrong Wrap14]]4 10 02https://esolangs.org/w/index.php?diff=139156&oldid=139153 5* 03MihaiEso 5* (+2) 10
> 1726326105 835561 PRIVMSG #esolangs :14[[07Translated CreativeASM14]]4 10 02https://esolangs.org/w/index.php?diff=139157&oldid=139143 5* 03MihaiEso 5* (+22) 10
< 1726326988 47572 :visilii_!~visilii@46.61.242.60 JOIN #esolangs * :ZNC - https://znc.in
< 1726327189 74169 :visilii!~visilii@46.61.242.155 QUIT :Ping timeout: 248 seconds
> 1726327556 609025 PRIVMSG #esolangs :14[[07Sorry14]]4 N10 02https://esolangs.org/w/index.php?oldid=139158 5* 03Xff 5* (+597) 10Created page with "'''Sorry''' is a esolang created by [[User:Yayimhere]]. its under load but with one change that makes Sorry have only two commands == information == there is one change. now the ^ does dis: :pop top 4 elements. the first popped is a second popped is b, third poppe
> 1726328016 279325 PRIVMSG #esolangs :14[[07User:Yayimhere14]]4 10 02https://esolangs.org/w/index.php?diff=139159&oldid=139118 5* 03Xff 5* (+12) 10/* esolangs */
< 1726328324 468714 :Snufkin!~ismael@189.217.64.239 JOIN #esolangs * :ismael
> 1726328364 835366 PRIVMSG #esolangs :14[[07Sorry14]]4 10 02https://esolangs.org/w/index.php?diff=139160&oldid=139158 5* 03Xff 5* (+128) 10
< 1726328455 483407 :FreeFull!~freefull@46.205.206.114.nat.ftth.dynamic.t-mobile.pl QUIT :
< 1726328521 693619 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :wWwwW: If you say so. A common theme in your writing is a lack of clarity and foundations; it's not clear *what* your languages manipulate.
> 1726328646 785596 PRIVMSG #esolangs :14[[07Arrow14]]4 10 02https://esolangs.org/w/index.php?diff=139161&oldid=97018 5* 03Ractangle 5* (+13) 10/* External resources */
< 1726328829 537671 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :If I assume Unlambda's semantics, then I think I understand your Savage Operator claim, but I have to make that assumption; I have to copy information about another language into your setting.
< 1726328944 433520 :Snufkin!~ismael@189.217.64.239 QUIT :Ping timeout: 252 seconds
< 1726328949 321278 :PCWWWWW!~PCWWWWW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] PCWWWWW
> 1726328957 276594 PRIVMSG #esolangs :14[[07B14]]4 10 02https://esolangs.org/w/index.php?diff=139162&oldid=116357 5* 03Ractangle 5* (+10) 10
< 1726328981 800832 :PCWWWWW!~PCWWWWW@94.147.203.75 PRIVMSG #esolangs :i have gotten strangely addicted to underload: https://esolangs.org/wiki/Sorry
> 1726328999 160951 PRIVMSG #esolangs :14[[07B14]]4 10 02https://esolangs.org/w/index.php?diff=139163&oldid=139162 5* 03Ractangle 5* (-10) 10
< 1726329169 525146 :PCWWWWW!~PCWWWWW@94.147.203.75 PRIVMSG #esolangs :idk
< 1726329197 426714 :PCWWWWW!~PCWWWWW@94.147.203.75 PRIVMSG #esolangs :im like 99.999% sure that sorry is TC but idk
> 1726329398 514347 PRIVMSG #esolangs :14[[07BF instruction extension14]]4 10 02https://esolangs.org/w/index.php?diff=139164&oldid=116858 5* 03Ractangle 5* (+22) 10/* See also */
< 1726329762 845945 :FreeFull!~freefull@46.205.206.114.nat.ftth.dynamic.t-mobile.pl JOIN #esolangs FreeFull :FreeFull
> 1726329790 784965 PRIVMSG #esolangs :14[[07BFM14]]4 10 02https://esolangs.org/w/index.php?diff=139165&oldid=30457 5* 03Ractangle 5* (+22) 10
> 1726330043 10383 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03TotallyNotSethP 5*  10New user account
> 1726330117 195993 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=139166&oldid=139029 5* 03TotallyNotSethP 5* (+176) 10added Seth introduction
< 1726330297 708419 :PCWWWWW!~PCWWWWW@94.147.203.75 PRIVMSG #esolangs :if ts correct
> 1726330442 985898 PRIVMSG #esolangs :14[[07Sorry14]]4 10 02https://esolangs.org/w/index.php?diff=139167&oldid=139160 5* 03Xff 5* (+13) 10
> 1726330684 828593 PRIVMSG #esolangs :14[[07Sorry14]]4 10 02https://esolangs.org/w/index.php?diff=139168&oldid=139167 5* 03Xff 5* (+0) 10
> 1726331228 182099 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139169&oldid=138783 5* 03Ractangle 5* (+97) 10/* Syntax */
> 1726331249 222675 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139170&oldid=139169 5* 03Ractangle 5* (-4) 10/* Disan Count (kinda) */
> 1726331260 630700 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139171&oldid=139170 5* 03Ractangle 5* (+0) 10/* Syntax */
> 1726331271 449887 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139172&oldid=139171 5* 03Ractangle 5* (-4) 10/* Truth-machine */
> 1726331283 696728 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139173&oldid=139172 5* 03Ractangle 5* (-2) 10/* Hello, world! */
> 1726331327 974322 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139174&oldid=139173 5* 03Ractangle 5* (-26) 10/* Examples */
> 1726331381 581548 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139175&oldid=139174 5* 03Ractangle 5* (+3) 10/* Interpreter */
< 1726331423 502816 :PCWWWWW!~PCWWWWW@94.147.203.75 QUIT :Quit: Client closed
> 1726331593 42962 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139176&oldid=139175 5* 03Ractangle 5* (+100) 10/* Interpreter */
> 1726331612 612644 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139177&oldid=139176 5* 03Ractangle 5* (-4) 10/* Interpreter */
< 1726331683 319641 :PCWWWWW!~PCWWWWW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] PCWWWWW
> 1726331690 676503 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139178&oldid=139177 5* 03Ractangle 5* (+2) 10I forgot :
> 1726331795 845400 PRIVMSG #esolangs :14[[07Talk:How dare you fuck the brain14]]4 N10 02https://esolangs.org/w/index.php?oldid=139179 5* 03Xff 5* (+51) 10Created page with "proof of turing completeness(WIP):  [...] -> \n...)"
> 1726331821 85859 PRIVMSG #esolangs :14[[07Talk:How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139180&oldid=139179 5* 03Xff 5* (+16) 10
> 1726331849 332395 PRIVMSG #esolangs :14[[07Talk:How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139181&oldid=139180 5* 03Xff 5* (+16) 10
> 1726331949 132444 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139182&oldid=139178 5* 03Ractangle 5* (-2) 10/* Hello, world! */
> 1726332009 794796 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139183&oldid=139182 5* 03Ractangle 5* (+135) 10/* Interpreter */
> 1726332025 83274 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139184&oldid=139183 5* 03Ractangle 5* (+6) 10/* Interpreter */
> 1726332046 681579 PRIVMSG #esolangs :14[[07Talk:How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139185&oldid=139181 5* 03Xff 5* (+81) 10
> 1726332620 45614 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139186&oldid=139184 5* 03Ractangle 5* (+253) 10/* Move data from a cell to an another cell */
> 1726332655 417265 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139187&oldid=139186 5* 03Ractangle 5* (-55) 10/* Interpreter */
> 1726332750 159376 PRIVMSG #esolangs :14[[07Talk:How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139188&oldid=139185 5* 03Ractangle 5* (+226) 10
> 1726332996 662556 PRIVMSG #esolangs :14[[07Talk:How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139189&oldid=139188 5* 03Xff 5* (+65) 10
> 1726333005 553273 PRIVMSG #esolangs :14[[07Talk:How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139190&oldid=139189 5* 03Xff 5* (-5) 10
> 1726333166 950920 PRIVMSG #esolangs :14[[07Comment14]]4 10 02https://esolangs.org/w/index.php?diff=139191&oldid=138725 5* 03Ractangle 5* (+216) 10/* How dare you fuck the brain */
> 1726333258 742431 PRIVMSG #esolangs :14[[07Comment14]]4 10 02https://esolangs.org/w/index.php?diff=139192&oldid=139191 5* 03Ractangle 5* (+53) 10/* How dare you fuck the brain */
> 1726333279 460290 PRIVMSG #esolangs :14[[07Comment14]]4 10 02https://esolangs.org/w/index.php?diff=139193&oldid=139192 5* 03Ractangle 5* (+3) 10/* How dare you fuck the brain */
> 1726333299 147225 PRIVMSG #esolangs :14[[07Comment14]]4 10 02https://esolangs.org/w/index.php?diff=139194&oldid=139193 5* 03Ractangle 5* (+5) 10/* How dare you fuck the brain */
> 1726333349 901029 PRIVMSG #esolangs :14[[07Comment14]]4 10 02https://esolangs.org/w/index.php?diff=139195&oldid=139194 5* 03Ractangle 5* (-253) 10i am removing the CLFCE section because i think it sucks
> 1726333411 483723 PRIVMSG #esolangs :14[[07Arrow14]]4 M10 02https://esolangs.org/w/index.php?diff=139196&oldid=139161 5* 03PythonshellDebugwindow 5* (+12) 10/* External resources */ Wayback
> 1726333494 950571 PRIVMSG #esolangs :14[[07Comment14]]4 10 02https://esolangs.org/w/index.php?diff=139197&oldid=139195 5* 03Xff 5* (+253) 10Undo revision [[Special:Diff/139195|139195]] by [[Special:Contributions/Ractangle|Ractangle]] ([[User talk:Ractangle|talk]]) because you cant delete something cuz YOU think it sucks. when it comes to this make a talk
< 1726333670 243991 :PCWWWWW!~PCWWWWW@94.147.203.75 QUIT :Quit: Client closed
> 1726333686 719833 PRIVMSG #esolangs :14[[07Comment14]]4 10 02https://esolangs.org/w/index.php?diff=139198&oldid=139197 5* 03Ractangle 5* (-1) 10/* How dare you fuck the brain */
> 1726333714 118010 PRIVMSG #esolangs :14[[07Sorry14]]4 M10 02https://esolangs.org/w/index.php?diff=139199&oldid=139168 5* 03PythonshellDebugwindow 5* (+3) 10Link
> 1726333851 536934 PRIVMSG #esolangs :14[[07Linear14]]4 M10 02https://esolangs.org/w/index.php?diff=139200&oldid=139082 5* 03PythonshellDebugwindow 5* (+110) 10Categories
> 1726333930 668949 PRIVMSG #esolangs :14[[07Mathfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=139201&oldid=139044 5* 03PythonshellDebugwindow 5* (+139) 10Categories
> 1726333977 974428 PRIVMSG #esolangs :14[[07Talk:How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139202&oldid=139190 5* 03Ractangle 5* (+177) 10
> 1726334142 514208 PRIVMSG #esolangs :14[[07Brainshit14]]4 M10 02https://esolangs.org/w/index.php?diff=139203&oldid=139110 5* 03PythonshellDebugwindow 5* (+211) 10Categories
> 1726334172 286020 PRIVMSG #esolangs :14[[07Mathfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=139204&oldid=139201 5* 03PythonshellDebugwindow 5* (+18) 10Category
> 1726334274 163762 PRIVMSG #esolangs :14[[07Istoriya14]]4 M10 02https://esolangs.org/w/index.php?diff=139205&oldid=138992 5* 03PythonshellDebugwindow 5* (+23) 10Category
< 1726334290 517488 :Melvar!~melvar@dslb-002-200-068-005.002.200.pools.vodafone-ip.de QUIT :Ping timeout: 252 seconds
< 1726334315 463095 :Melvar!~melvar@dslb-002-200-068-005.002.200.pools.vodafone-ip.de JOIN #esolangs Melvar :melvar
> 1726334465 470092 PRIVMSG #esolangs :14[[07Bitcoin14]]4 10 02https://esolangs.org/w/index.php?diff=139206&oldid=99774 5* 03Ractangle 5* (+20) 10/* Examples */
> 1726334481 467106 PRIVMSG #esolangs :14[[07Bitcoin14]]4 10 02https://esolangs.org/w/index.php?diff=139207&oldid=139206 5* 03Ractangle 5* (+0) 10/* Examples */
< 1726334536 331899 :impomatic!~impomatic@host86-155-106-106.range86-155.btcentralplus.com JOIN #esolangs * :[https://web.libera.chat] impomatic
> 1726334658 921726 PRIVMSG #esolangs :14[[07Bitcoin14]]4 10 02https://esolangs.org/w/index.php?diff=139208&oldid=139207 5* 03Ractangle 5* (+1) 10/* Examples */
< 1726334752 433529 :sprout!~sprout@84-80-106-227.fixed.kpn.net QUIT :Ping timeout: 252 seconds
< 1726334772 451528 :sprout!~sprout@84-80-106-227.fixed.kpn.net JOIN #esolangs sprout :sprout
> 1726334889 552292 PRIVMSG #esolangs :14[[07BitZ14]]4 10 02https://esolangs.org/w/index.php?diff=139209&oldid=87629 5* 03Ractangle 5* (+22) 10/* External resources */
< 1726335688 320100 :PCWWWWW!~PCWWWWW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] PCWWWWW
< 1726335940 443389 :sprout!~sprout@84-80-106-227.fixed.kpn.net QUIT :Ping timeout: 252 seconds
< 1726335940 573369 :nitrix!~nitrix@user/meow/nitrix QUIT :Ping timeout: 252 seconds
< 1726335957 375790 :nitrix_!~nitrix@user/meow/nitrix JOIN #esolangs nitrix :ZNC - https://znc.in
< 1726336006 979871 :moony0!moony@hellomouse/dev/moony JOIN #esolangs moony :Kaylie! (she/her)
> 1726336038 498442 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139210&oldid=139187 5* 03Xff 5* (+180) 10/* Examples */
< 1726336072 515605 :moony!moony@hellomouse/dev/moony QUIT :Ping timeout: 252 seconds
< 1726336072 626222 :moony0!moony@hellomouse/dev/moony NICK :moony
< 1726336080 19768 :nitrix_!~nitrix@user/meow/nitrix NICK :nitrix
< 1726336105 107449 :sprout!~sprout@84-80-106-227.fixed.kpn.net JOIN #esolangs * :sprout
< 1726336339 556584 :PCWWWWW!~PCWWWWW@94.147.203.75 QUIT :Quit: Client closed
< 1726336455 396681 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :korvo what question are you answering?
< 1726336473 612210 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :wWwwW: TC-ness of Savage Operator.
< 1726336513 852950 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh ok
< 1726336519 900110 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :which part is confusing?
> 1726336676 831977 PRIVMSG #esolangs :14[[07Talk:How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139211&oldid=139202 5* 03Yayimhere 5* (+109) 10
< 1726336688 139898 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :It's not confusing, it's unclear.
< 1726336693 714832 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :how
< 1726336696 678963 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :which part
< 1726336969 244442 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :is unclear?
> 1726337038 415997 PRIVMSG #esolangs :14[[07Yaren14]]4 10 02https://esolangs.org/w/index.php?diff=139212&oldid=94314 5* 03PythonshellDebugwindow 5* (+190) 10Rewrite, add interpreter
< 1726337127 234718 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I'm not sure how the append operations would work. I'm also not clear on how ∞ works; for example, what is ∞i equivalent to?
< 1726337142 996312 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh
< 1726337144 469979 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yea
< 1726337175 27493 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so appendsaion would be like dis lambda: λx.λy.x y
< 1726337185 885802 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and ∞
< 1726337204 308921 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :would make the ∞ actually be ran instead of just be a string of opertors
< 1726337351 258566 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i wil edit the page
< 1726337352 675151 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but yea
< 1726337356 287911 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh wait
< 1726337388 780857 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :the alphja append is just the same but the y is moved inside the brackets of y
< 1726337552 787937 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Mm. Okay, I think I understand how I would interpret this, but now I'm no longer certain that the S and K given are correct. I'd need to see you work out the reduction rules first.
< 1726337568 76116 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok
< 1726337570 531504 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I'm not going to ask you to do that, because it could be a lot of work, but I hope that it's obvious *why* I can't just guess.
< 1726337570 732684 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :will do
< 1726337575 239666 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :gimme an expression
< 1726337591 641547 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :How about SKK? It should reduce to I.
< 1726337601 519336 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true
< 1726337605 410643 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok
< 1726337610 297743 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so lets take the expression
< 1726337620 15643 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :in savage opperator
< 1726337635 950230 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait no
< 1726337642 176196 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :cuz K don work for two inputs
< 1726337644 86596 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :will fix
< 1726337736 957740 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait no
< 1726337738 278850 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i cant
> 1726337763 15654 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139213&oldid=139069 5* 03Yayimhere 5* (+15) 10/* turing completeness proof */
< 1726337783 82107 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :gimme somethin else plz
< 1726337990 433127 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :How about SII? I hope you're seeing the power of implementing a language rather than merely guessing at it.
> 1726337992 502406 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139214&oldid=139213 5* 03Yayimhere 5* (-36) 10
< 1726338000 121840 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yea
< 1726338001 942779 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but
< 1726338013 249685 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726338020 68807 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :your missing an input to S
< 1726338052 580117 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so that wont work
< 1726338109 645802 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Why wasn't that a problem for SKK?
< 1726338118 302780 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726338123 157803 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh i saw wrong
< 1726338136 319417 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i though it was KSK
< 1726338138 382997 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :or something
< 1726338140 873187 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but that works?
< 1726338141 874551 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :idk
< 1726338149 46279 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :how that works in combinatory logic
< 1726338167 626163 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :well
< 1726338182 80331 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ig the last could just be a like
< 1726338188 150722 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :just "placeholder"
< 1726338192 724111 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :or what you would say
< 1726338194 731169 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so we have:
< 1726338195 213139 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Well, Kxy -> x, right? So what happens with KSK?
< 1726338210 163148 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :in normal combinatory logic?
< 1726338218 117874 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :in this tho
< 1726338227 800304 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Why would this not be normal combinatory logic?
> 1726338232 107007 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139215&oldid=139214 5* 03Yayimhere 5* (+8) 10/* operators */
< 1726338236 197942 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :cuz
< 1726338238 858416 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :u know
< 1726338241 822118 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726338244 3840 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :forget it
< 1726338266 802164 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :well
< 1726338276 519748 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :with to input the first one would be ignored
< 1726338279 43304 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :in savbage
< 1726338283 80950 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and just do Kx
< 1726338285 289658 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726338287 78198 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :problem
< 1726338297 956250 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait no
> 1726338335 112301 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139216&oldid=139215 5* 03Yayimhere 5* (+37) 10/* turing completeness proof */
< 1726338353 893048 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fixed it
< 1726338384 248826 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so now will do
< 1726338387 359954 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :So the behavior of K should change depending on how many arguments it's applied to?
< 1726338392 500906 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yes
< 1726338403 696424 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :cuz¨the a is for adding the y as input
< 1726338424 62979 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Well, that would be a reason for this not to be normal combinatory logic. Combinators should normally be extensional.
< 1726338430 155130 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :they are
< 1726338435 879284 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :this is just an application
< 1726338437 147321 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726338441 190550 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i could generalize
< 1726338442 848297 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok
< 1726338445 518155 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :gimme a sec
< 1726338474 454849 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Like, when I said that SKK -> I, I should have said SKKx -> Ix for all x. And that's because SKKx -> Kx(Kx) -> x, and also Ix -> x. Does this make sense?
< 1726338486 90518 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yes
< 1726338491 823204 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im kinda streseed gimme sec
< 1726338494 464537 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait no it works
< 1726338499 55791 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :since a is just to appl,y
< 1726338501 80440 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*apply
< 1726338519 67310 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726338521 259253 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lemme fix stuff
< 1726338581 397585 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im fixing stuff
< 1726338736 907967 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726338738 434906 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fuuu
< 1726338740 147104 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :it wont work
< 1726338741 209683 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :aaaa
> 1726338746 866329 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139217&oldid=139216 5* 03Yayimhere 5* (-520) 10/* turing completeness proof */
> 1726338758 236459 PRIVMSG #esolangs :14[[07Robot Is Chill14]]4 M10 02https://esolangs.org/w/index.php?diff=139218&oldid=130155 5* 03Ataberk 5* (+45) 10added external github link
< 1726338774 650491 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :shiiii
< 1726338777 645402 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh well
< 1726338820 937290 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Do you want to understand the rest of the TC proof anyway? You hadn't constructed the important part yet.
< 1726338834 319390 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :?
< 1726338844 348829 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :o didnt know that
< 1726338849 818139 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*i
> 1726338871 718388 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Ataberk 5*  10moved [[02Robot Is Chill10]] to [[ROBOT IS CHILL]]: Misspelled title: per https://discord.com/channels/842220825226379265/853048386311028746/1284582140993867847
< 1726338900 327572 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :You don't just need to implement S and K. You need to show that your implementation is *faithful*, meaning that for every legal reduction of S and K in combinators, there's a legal reduction in Savage Operator which performs equivalent moves.
> 1726338906 217332 PRIVMSG #esolangs :14[[07ROBOT IS CHILL14]]4 M10 02https://esolangs.org/w/index.php?diff=139221&oldid=139219 5* 03Ataberk 5* (+0) 10change to 'ROBOT IS CHILL'
< 1726338914 154943 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true
< 1726338915 452928 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fuuu
< 1726338916 654948 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726338919 87665 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Like, your SKK needs to reduce to something like I using Savage Operator's rules alone.
< 1726338919 134129 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :qeustion
< 1726338936 484171 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Don't ask to ask; just ask.
< 1726338943 279832 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true
< 1726338979 786646 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but like. you can infintly nest (λx. ), (λx.λy. x y), and (λx. x)
< 1726338988 157157 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :those lambda expressions
< 1726339009 657248 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :is that TC?
< 1726339051 359133 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :That first one isn't an expression of lambda calculus.
> 1726339054 244925 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139222&oldid=139217 5* 03Yayimhere 5* (+0) 10
< 1726339062 722435 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :cant you do that?
< 1726339080 832880 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i didnt know
> 1726339095 169956 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139223&oldid=139222 5* 03Yayimhere 5* (-6) 10/* operators */
< 1726339101 544440 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :well
< 1726339103 251436 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fixed it
< 1726339197 387665 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Like, use De Bruijn indices. The second expression is λλ(10) and the third expression is λ0. The first expression is λ... and then what?
< 1726339217 969978 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k!
< 1726339235 352083 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait the third one
< 1726339241 121906 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :os just
< 1726339245 299404 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :λ0.
< 1726339250 669130 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :did you swap third
< 1726339254 763882 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and first?
< 1726339317 985687 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :cuz looks like
< 1726339320 685743 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yea
< 1726339328 504527 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :No, I think I got it right. De Bruijn indices are notoriously tricky, though. Think of a De Bruijn index as counting the number of lambda binders to the left in-between the variable's binding and its usage.
< 1726339338 546506 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1726339352 135529 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh wait
< 1726339353 136111 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yea
< 1726339360 797275 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :λ0 is definitely the way to express the identity function. I count starting from 0, which isn't universal; some people would write those as λ1 and λλ(21) respectively.
< 1726339441 245492 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726339447 942853 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but then λ...?
< 1726339456 562977 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :how does that work?
< 1726339463 140599 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Anyway, the rest of the TC proof would start by constructing SII. I picked it because SIIx -> Ix(Ix) -> x(x). It applies things to themselves! This is a "Turing bird" and it's not always possible to build.
< 1726339477 815325 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh cool!
< 1726339491 299942 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, I don't know. That's what I'm saying; your (λx.) operator doesn't do something I understand in terms of LC.
< 1726339532 471297 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok
> 1726339536 30123 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139224&oldid=139223 5* 03Yayimhere 5* (+11) 10/* operators */
< 1726339572 950562 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Anyway, then notice that SII(SII) reduces to itself. This is sometimes called an "omega" expression.
< 1726339582 748882 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lol
< 1726339585 614687 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wow
< 1726339609 52658 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :And then the TC-ness of SK is that we can't decide whether an expression is reducible to something that can't be reduced further, or whether reduction goes forever in a loop.
< 1726339627 261527 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yea
< 1726339639 671905 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ik that fact for once!dis is from when i wroked on why tho
< 1726339641 927204 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*worked
< 1726339769 107557 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :anyway
< 1726339771 798447 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :thx!
> 1726339792 599201 PRIVMSG #esolangs :14[[07BrainfuckXT14]]4 10 02https://esolangs.org/w/index.php?diff=139225&oldid=39212 5* 03Ractangle 5* (+22) 10/* External resources */
> 1726339928 69241 PRIVMSG #esolangs :14[[07Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=139226&oldid=44896 5* 03Ractangle 5* (+22) 10
> 1726339957 719583 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139227&oldid=139224 5* 03Yayimhere 5* (+17) 10
> 1726339999 695769 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139228&oldid=139227 5* 03Yayimhere 5* (+1) 10
< 1726340198 896032 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but is netseting of λ(0) and λλ(1 0) tc?
< 1726340201 442387 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :No worries. Glad that it's making more sense.
< 1726340218 194440 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726340266 703202 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait no
< 1726340279 741189 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :No, that basis isn't TC. In terms of combinators, it's not stronger than BCI.
< 1726340291 904679 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1726340294 966725 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait why?
< 1726340396 307202 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Because all you can do is identity and composition, like the BI basis, or like the theory of categories. Because B has a couple different ways of being phrased, we usually include C too for a saner basis.
< 1726340409 765439 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1726340413 797955 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :thx!
> 1726340423 278822 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139229&oldid=139228 5* 03Yayimhere 5* (+61) 10
< 1726340431 199062 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait now it should work
< 1726340434 130806 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :since you can do
< 1726340467 967813 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :∞' (a i i)
< 1726340470 379742 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :would reduce
< 1726340486 27157 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :to λλ(0))
< 1726340494 759505 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*λλ(0)
> 1726340496 733438 PRIVMSG #esolangs :14[[07Braintrust14]]4 10 02https://esolangs.org/w/index.php?diff=139230&oldid=35662 5* 03Ractangle 5* (+12) 10
< 1726340504 511137 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :which is K????
< 1726340506 366628 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :TF
< 1726340515 453664 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :nooo
< 1726340520 373413 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :that shouldnt work
< 1726340521 930482 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :noooo
< 1726340528 170046 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im sad for msome reason:(
< 1726340531 860869 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*some
< 1726340592 943710 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i think
< 1726340594 389083 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :right?
< 1726340594 559182 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :K gives you the ability to delete a value from the context. To make something like that, you need like λλ1, something that has a binder which goes unused.
< 1726340635 218352 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Also, S gives you the ability to duplicate a value. To make something like that, you'd need to use an index twice.
< 1726340659 162903 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh yea
< 1726340662 703152 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but still
< 1726340670 558861 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :λλ(0) is k
< 1726340676 990158 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :starting indexing at 0
< 1726340717 920026 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :It's the flip of K. Swapped arguments. It'll still work, as long as you keep in mind that it can't do the whole "konstant" thing that K is normally used for.
< 1726340731 37272 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Sometimes you'll see KI used for this.
< 1726340734 757340 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1726340737 225858 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :thx!
< 1726340792 261356 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Anyway, that's why λ0 and λλ(10) can't be a basis. Both of these are *linear*; a linear term uses every bound variable exactly once.
< 1726340804 162083 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh k
< 1726340810 613804 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726340828 180262 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :And no basis of linear terms can be more expressive than BCI, because (hard part) there's an algorithm that turns any linear type signature into a BCI expression.
< 1726340855 146648 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :∞' (a (a e) i)
< 1726340856 341845 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :is
< 1726340875 866173 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :λλ(1 λ(0))
< 1726340878 316230 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :or else
< 1726340892 276543 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :its λλ(λ(1) 0)
< 1726340963 996311 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so
< 1726340965 613737 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726340972 812375 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :λλ(λ(0) 0)
< 1726340979 803044 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :is the correct one
< 1726340981 262944 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and then
< 1726340986 332021 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :we would copy a term
< 1726341024 453907 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :right?
< 1726341076 592720 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I don't think so, just from counting binders. Also note where parens are; they indicate applications, not abstractions.
< 1726341089 970711 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Like, I'm reading those as λλλ(10) and λλλ(00) respectively.
< 1726341093 271126 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :parens?
< 1726341104 865171 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Parentheses ()
< 1726341115 351315 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh yea
< 1726341126 777993 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :korvo: re: and that is it
< 1726341152 405186 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :In something like S, which I'll write λλλ((20)(10)) we see that index 0 is used twice at a single level of abstraction. That's a non-linear use.
< 1726341166 472500 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true
> 1726341240 377058 PRIVMSG #esolangs :14[[07CompressedBF14]]4 10 02https://esolangs.org/w/index.php?diff=139231&oldid=118924 5* 03Ractangle 5* (+23) 10/* Interpreter */
< 1726341248 220383 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fuuuu
< 1726341252 948542 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im so stupid and dumb
< 1726341272 913770 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but still
< 1726341280 95621 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :if λλλ(00)
< 1726341283 703062 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :No, you're *inexperienced*. And I'm not really doing anything else right now.
< 1726341284 155516 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :is correct
< 1726341294 708667 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :we copied 0?
< 1726341301 4293 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :korvo: true
< 1726341327 667297 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Copied it and applied it to itself. I don't know whether that's capable of building TC behavior, but I'm sure somebody's worked it out somewhere.
< 1726341342 99254 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yea
< 1726341344 566027 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but still
< 1726341346 772963 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :it something
< 1726341350 429416 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726341352 62164 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :WAIT
< 1726341354 855980 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :WAAAAAIT
< 1726341383 284095 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i think ive got a sketch of S
< 1726341387 647819 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :frist take A
< 1726341389 445787 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :to a's
< 1726341391 57427 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait no
< 1726341393 139916 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fuuu
< 1726341413 408803 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :from now on ill bne suing normal lambda calculus
< 1726341418 550696 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :to demonstarte my point
< 1726341435 914795 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :take a a
< 1726341439 46597 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and a A
< 1726341443 557553 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :with a input
< 1726341447 652203 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so
< 1726341471 823155 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :λx.(λy. x y)
< 1726341472 824363 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and
< 1726341477 833492 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait no
< 1726341480 755340 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :aaa
< 1726341489 862795 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726341498 406701 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i have an operaotr i like to add
< 1726341501 181312 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726341502 729472 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :no
< 1726341504 405630 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wont work
< 1726341520 114377 :Artea!~Lufia@vps.artea.ovh JOIN #esolangs Artea :Artea ElFo
< 1726341524 601076 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fuuuu
< 1726341550 950037 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :λλ(1 0) is one bit of S
< 1726341557 325956 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok
< 1726341558 628285 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so we have
< 1726341564 97035 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :no
< 1726341565 328767 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fuuuu
> 1726341578 654271 PRIVMSG #esolangs :14[[07Developers14]]4 10 02https://esolangs.org/w/index.php?diff=139232&oldid=58335 5* 03Ractangle 5* (+23) 10
< 1726341593 54332 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :my braaaain is fried ._.
< 1726341629 629814 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726341636 627671 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i want to se BCKW
< 1726341640 218495 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :rlly fast
> 1726341644 99781 PRIVMSG #esolangs :14[[07DirectBrainFUCK14]]4 10 02https://esolangs.org/w/index.php?diff=139233&oldid=114430 5* 03Ractangle 5* (+23) 10/* Implementations */
> 1726341769 603637 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139234&oldid=139229 5* 03Yayimhere 5* (+68) 10/* operators */
< 1726341782 564323 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok
< 1726341901 175443 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :BCKW makes it more obvious how K and S/W serve those purposes of deleting and copying. BC should hopefully be understandable as a fragment of BCI and not just random combinators.
< 1726341912 452944 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1726341928 476452 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i understand B and C i think
> 1726341952 306233 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139235&oldid=139234 5* 03Yayimhere 5* (+98) 10/* operators */
< 1726341971 287174 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok
< 1726341974 653533 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i have found B
< 1726341981 965590 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :B
< 1726341982 966299 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :is
> 1726342014 127653 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139236&oldid=139235 5* 03Yayimhere 5* (+20) 10/* operators */
< 1726342099 320030 :wWwwW38!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW
< 1726342105 944593 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :b' (x i u) a
< 1726342109 131975 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :dat B
< 1726342111 65678 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i think
< 1726342198 798123 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and C
< 1726342230 660089 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :idk
< 1726342232 700342 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lemme think
< 1726342257 552614 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726342262 864330 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :C=B right?
< 1726342278 136103 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :excuse me?!?!?:
< 1726342278 636670 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :B x y z = x (y z);
< 1726342279 137404 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :C x y z = x z y;
< 1726342284 168987 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :that are the same
< 1726342302 90528 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Not at all. Remember, parentheses are application.
< 1726342320 991855 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh
< 1726342322 537546 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726342323 818056 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wut
< 1726342325 891127 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok
< 1726342331 405666 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :now im even more fried
< 1726342333 117609 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Let's rename those variables. B g f x = g (f x); C f x y = f y x
< 1726342339 361287 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :sorry dis must be a pain
< 1726342351 870760 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok
< 1726342358 554067 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :B is composition, like you'd find in a category. It takes two functions and glues them together, passing the output of one to the input of another.
< 1726342371 730836 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok
< 1726342375 134528 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so
< 1726342377 333649 :wWwwW!~wWwwW@94.147.203.75 QUIT :Ping timeout: 256 seconds
< 1726342382 30013 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :C is called a "flip". It takes a two-argument function and swaps the order in which the arguments will be given.
< 1726342392 68890 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok
< 1726342393 397364 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ooooo
< 1726342395 585391 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oooo
< 1726342396 777563 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok
< 1726342398 658360 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :okkkkk
< 1726342402 126596 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :makes lot more sense
< 1726342446 492414 :Snufkin!~ismael@189.217.64.239 JOIN #esolangs * :ismael
< 1726342475 496751 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :thx!
< 1726342489 472964 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :This should also give you a feel for why BCI is limited. All we can do is identity, composition, and flip; we can take any arrangement of inputs and return all of them as outputs, but that's all.
< 1726342526 645473 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yea
< 1726342536 306968 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :in BIC
< 1726342540 427871 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :if you consider the inputs
< 1726342541 970046 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :as a set
< 1726342547 747806 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :BCI can never do anything
< 1726342549 57354 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :right?
< 1726342569 459640 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yep. It can only express permutations of that set. It is complete for permutations, though.
< 1726342606 454189 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :finnaly
< 1726342611 10865 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :my brain is understanding
< 1726342614 97559 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Have you seen Kleene's parameter theorem yet? Also called the Smn theorem. It's a very general statement about how to build functions.
< 1726342628 220020 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :no
< 1726342630 517761 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i havent
< 1726342653 488259 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :You need something like BCI, but you also need to be able to delete and copy values. And then Kleene shows how adding recursion lets us compute stuff.
< 1726342717 327853 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok
< 1726342720 534989 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :will make combinators
< 1726342722 685401 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fuuu
< 1726342725 147206 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so much noiuse
< 1726342759 626551 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :No worries; I don't have anything else. Maybe it's time to take a break. Stand up, stretch, get more water, that sort of thing.
< 1726342782 210706 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :kk
< 1726342783 577652 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :will do
< 1726342799 876873 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :maybe i should stop listenging to insane trap msuic while doing this
< 1726342801 105407 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :xD
> 1726342867 359748 PRIVMSG #esolangs :14[[07Emo14]]4 10 02https://esolangs.org/w/index.php?diff=139237&oldid=43122 5* 03Ractangle 5* (+23) 10/* See also */
< 1726342892 428856 :Snufkin!~ismael@189.217.64.239 QUIT :Ping timeout: 252 seconds
< 1726343006 339533 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok got be
< 1726343008 431175 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :C next
< 1726343009 511535 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :idk
< 1726343082 623129 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :skip C for now
< 1726343085 80997 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :C needed?
< 1726343086 80687 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fr
< 1726343087 81671 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :tf
< 1726343113 636158 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok
< 1726343114 710512 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :W
< 1726343146 713773 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :BI can't build C. Really. What's going on is that BI is for categories, and BCI is for categories with "finite products".
< 1726343164 792897 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but in. BCKW
< 1726343166 468714 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :???
> 1726343194 322813 PRIVMSG #esolangs :14[[07Extended Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=139238&oldid=49019 5* 03Ractangle 5* (+22) 10/* Type III */
> 1726343207 152423 PRIVMSG #esolangs :14[[07Extended Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=139239&oldid=139238 5* 03Ractangle 5* (-12) 10/* Type III */
< 1726343224 91709 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Hmmm. That's a good question. Note BCKW has to build I too.
> 1726343241 198087 PRIVMSG #esolangs :14[[07Extended Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=139240&oldid=139239 5* 03Ractangle 5* (-52) 10/* Hello World! */
< 1726343282 241386 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :So can BKW build I and then C? Dunno, could be an interesting research question.
< 1726343303 198813 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true
< 1726343395 381612 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :W=a' e ( b' i (a' (d x i y) (d x i y) ) )
< 1726343397 487003 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i think
< 1726343401 869577 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :they get LONG
< 1726343413 354936 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726343432 260603 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :maybe BKWI maybe?
< 1726343439 255787 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :could create
< 1726343442 166712 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :C?
< 1726343443 686676 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i wonder
> 1726343490 609061 PRIVMSG #esolangs :14[[07FJ14]]4 10 02https://esolangs.org/w/index.php?diff=139241&oldid=135503 5* 03Ractangle 5* (+23) 10/* See also */
< 1726343547 78042 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok
< 1726343548 865174 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :we got B
< 1726343551 192834 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :W
< 1726343552 474421 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :K
< 1726343553 911879 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and I
< 1726343557 1741 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :BWKI
< 1726343587 119051 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :W=a' e ( b' i (a' (d x i y) (d x i y) ) )
< 1726343587 618807 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :K=
< 1726343592 565561 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :B=b' (x i u) a
> 1726343671 924107 PRIVMSG #esolangs :14[[07Fuck414]]4 10 02https://esolangs.org/w/index.php?diff=139242&oldid=32618 5* 03Ractangle 5* (+23) 10/* External resources */
< 1726343712 50998 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :B=b' (x i u) a
< 1726343712 550942 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :K=∞' (a i (d x i y))
< 1726343713 51011 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :W=a' e ( b' i (a' (d x i y) (d x i y) ) )
< 1726343716 107874 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yaaaaay
> 1726343726 363345 PRIVMSG #esolangs :14[[07FukYorBrane14]]4 10 02https://esolangs.org/w/index.php?diff=139243&oldid=54980 5* 03Ractangle 5* (+20) 10
> 1726343736 998637 PRIVMSG #esolangs :14[[07FukYorBrane14]]4 10 02https://esolangs.org/w/index.php?diff=139244&oldid=139243 5* 03Ractangle 5* (+2) 10
< 1726343740 729028 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :idk
< 1726343743 896790 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i think so
< 1726343760 490704 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :If you say so. I'm not going to verify this, because I haven't written an interpreter. But I appreciate how much work you put into thinking about things and looking at your foundations.
< 1726343770 923734 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true
< 1726343780 594109 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :thx:]!
< 1726343795 424084 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :holy s my brain is f'ed
< 1726343799 971325 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :with both fried
< 1726343804 46402 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and the other f word
> 1726343856 987168 PRIVMSG #esolangs :14[[07Golfuck14]]4 10 02https://esolangs.org/w/index.php?diff=139245&oldid=68198 5* 03Ractangle 5* (+23) 10/* Partial implementation in C++ */
> 1726343861 931037 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139246&oldid=139236 5* 03Yayimhere 5* (-17) 10/* operators */
< 1726343872 912145 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726343882 61463 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :c in unlambda is C in BCKW?
> 1726343963 274359 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139247&oldid=139246 5* 03Yayimhere 5* (+37) 10/* operators */
> 1726343966 47326 PRIVMSG #esolangs :14[[07Harmful Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=139248&oldid=41547 5* 03Ractangle 5* (+23) 10
> 1726344022 693540 PRIVMSG #esolangs :14[[07HQ9Cfuckfish14]]4 10 02https://esolangs.org/w/index.php?diff=139249&oldid=136625 5* 03Ractangle 5* (+22) 10
< 1726344032 985970 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :right?
< 1726344035 627456 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but still
< 1726344038 12216 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im vrey happy
> 1726344048 276879 PRIVMSG #esolangs :14[[07Hq9eFuck14]]4 10 02https://esolangs.org/w/index.php?diff=139250&oldid=54535 5* 03Ractangle 5* (+23) 10/* External resources */
> 1726344088 570302 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139251&oldid=139247 5* 03Yayimhere 5* (+18) 10/* operators */
< 1726344123 862593 :wWwwW38!~wWwwW@94.147.203.75 PRIVMSG #esolangs :bye for now
< 1726344129 601304 :wWwwW38!~wWwwW@94.147.203.75 QUIT :Quit: Client closed
> 1726344230 905478 PRIVMSG #esolangs :14[[07ITMR14]]4 10 02https://esolangs.org/w/index.php?diff=139252&oldid=123449 5* 03Ractangle 5* (+23) 10/* Hello world program */
> 1726344260 483883 PRIVMSG #esolangs :14[[07JSFuck14]]4 10 02https://esolangs.org/w/index.php?diff=139253&oldid=126877 5* 03Ractangle 5* (+23) 10/* Computational Class */
> 1726344435 660671 PRIVMSG #esolangs :14[[07Malbrain14]]4 10 02https://esolangs.org/w/index.php?diff=139254&oldid=120611 5* 03Ractangle 5* (+23) 10/* See also */
> 1726344535 930584 PRIVMSG #esolangs :14[[07Minimal-2D14]]4 10 02https://esolangs.org/w/index.php?diff=139255&oldid=46279 5* 03Ractangle 5* (+23) 10/* External resources */
> 1726344564 871260 PRIVMSG #esolangs :14[[07MiniStringFuck14]]4 10 02https://esolangs.org/w/index.php?diff=139256&oldid=79475 5* 03Ractangle 5* (+23) 10/* See also */
> 1726344895 890368 PRIVMSG #esolangs :14[[07User:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=139257&oldid=139097 5* 03Ractangle 5* (+111) 10
> 1726344941 300172 PRIVMSG #esolangs :14[[07User:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=139258&oldid=139257 5* 03Ractangle 5* (+40) 10
> 1726345056 314234 PRIVMSG #esolangs :14[[07Not a brainfuck derivative14]]4 10 02https://esolangs.org/w/index.php?diff=139259&oldid=90069 5* 03Ractangle 5* (+23) 10
> 1726345217 137135 PRIVMSG #esolangs :14[[07PainLang14]]4 10 02https://esolangs.org/w/index.php?diff=139260&oldid=87082 5* 03Ractangle 5* (+23) 10/* Interpreters */
> 1726345283 906556 PRIVMSG #esolangs :14[[07PenisScript14]]4 10 02https://esolangs.org/w/index.php?diff=139261&oldid=103699 5* 03Ractangle 5* (+23) 10/* External resources */
> 1726345382 910431 PRIVMSG #esolangs :14[[07Pointer-ng14]]4 10 02https://esolangs.org/w/index.php?diff=139262&oldid=70962 5* 03Ractangle 5* (+23) 10/* Interpreters */
> 1726345461 598361 PRIVMSG #esolangs :14[[07Random Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=139263&oldid=114995 5* 03Ractangle 5* (+24) 10/* Interpreters */
> 1726345530 737924 PRIVMSG #esolangs :14[[07RedefineFuck14]]4 10 02https://esolangs.org/w/index.php?diff=139264&oldid=124852 5* 03Ractangle 5* (+24) 10/* Example(s) */
> 1726345599 911286 PRIVMSG #esolangs :14[[07ReverseFuck14]]4 10 02https://esolangs.org/w/index.php?diff=139265&oldid=137889 5* 03Ractangle 5* (+23) 10/* See also */
> 1726345836 608135 PRIVMSG #esolangs :14[[07Stacked Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=139266&oldid=70990 5* 03Ractangle 5* (+23) 10/* Computational class */
> 1726345873 181892 PRIVMSG #esolangs :14[[07Surreal Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=139267&oldid=44865 5* 03Ractangle 5* (+23) 10
> 1726345924 286743 PRIVMSG #esolangs :14[[07Ternary14]]4 10 02https://esolangs.org/w/index.php?diff=139268&oldid=109064 5* 03Ractangle 5* (+23) 10/* External resources */
< 1726346198 913622 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca QUIT :Ping timeout: 245 seconds
> 1726346433 848582 PRIVMSG #esolangs :14[[07XMLfuck14]]4 10 02https://esolangs.org/w/index.php?diff=139269&oldid=43016 5* 03Ractangle 5* (+23) 10i am tierd
> 1726346512 370519 PRIVMSG #esolangs :14[[07Zero14]]4 10 02https://esolangs.org/w/index.php?diff=139270&oldid=41272 5* 03Ractangle 5* (+23) 10It's almost over
> 1726346720 704353 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=139271&oldid=133268 5* 03Ractangle 5* (-2) 10it's over
> 1726346814 571395 PRIVMSG #esolangs :14[[07User:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=139272&oldid=139258 5* 03Ractangle 5* (+41) 10
< 1726347697 43647 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca JOIN #esolangs zzo38 :zzo38
< 1726348829 414282 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1726348837 204196 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1726349284 385240 PRIVMSG #esolangs :14[[07Spoiler:14]]4 N10 02https://esolangs.org/w/index.php?oldid=139273 5* 03Ractangle 5* (+33) 10Created page with "{{wrongtitle|title={{Spoiler|}}}}"
> 1726349491 832291 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139274&oldid=139273 5* 03Ractangle 5* (+79) 10
> 1726349922 371884 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139275&oldid=139274 5* 03Ractangle 5* (+145) 10/* Syntax */
> 1726349961 29715 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139276&oldid=139275 5* 03Ractangle 5* (+0) 10
> 1726349978 62929 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139277&oldid=139276 5* 03Ractangle 5* (-2) 10/* Challenge */
> 1726350006 728720 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139278&oldid=139277 5* 03Ractangle 5* (+3) 10/* Challenge */
> 1726350032 278366 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139279&oldid=139278 5* 03Ractangle 5* (+12) 10
> 1726350332 994862 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139280&oldid=139279 5* 03Ractangle 5* (+59) 10/* Challenge */
> 1726350518 940144 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139281&oldid=139280 5* 03Ractangle 5* (-3) 10/* Challenge */
> 1726350642 246642 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139282&oldid=139281 5* 03Ractangle 5* (+4) 10/* Challenge */
> 1726350654 364613 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139283&oldid=139282 5* 03Ractangle 5* (+3) 10/* Challenge */
> 1726350789 369316 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139284&oldid=139283 5* 03Ractangle 5* (+4) 10/* Challenge */
> 1726350807 850304 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139285&oldid=139284 5* 03Ractangle 5* (+0) 10/* Challenge */
> 1726351047 303397 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139286&oldid=139285 5* 03Ractangle 5* (+18) 10
> 1726351224 453816 PRIVMSG #esolangs :14[[07User:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=139287&oldid=139272 5* 03Ractangle 5* (+29) 10/* Esolangs */
> 1726351241 185051 PRIVMSG #esolangs :14[[07User:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=139288&oldid=139287 5* 03Ractangle 5* (-29) 10/* Esolangs */
> 1726351319 128459 PRIVMSG #esolangs :14[[07User:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=139289&oldid=139288 5* 03Ractangle 5* (+47) 10
< 1726351722 457924 :slavfox!~slavfox@93.158.232.111 QUIT :Quit: ZNC 1.8.2 - https://znc.in
< 1726351878 453262 :slavfox!~slavfox@93.158.232.111 JOIN #esolangs slavfox :slavfox
> 1726352518 132653 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139290&oldid=139286 5* 03Ractangle 5* (+5) 10
< 1726352616 888156 :Thelie!~Thelie@214-110-035-185.ip-addr.vsenet.de QUIT :Remote host closed the connection
> 1726352616 996211 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139291&oldid=139290 5* 03Ractangle 5* (-1) 10/* Challenge */
> 1726352706 827853 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139292&oldid=139291 5* 03Ractangle 5* (+15) 10
< 1726352957 209909 :__monty__!~toonn@user/toonn QUIT :Quit: leaving
> 1726353039 175760 PRIVMSG #esolangs :14[[07Spoiler14]]4 N10 02https://esolangs.org/w/index.php?oldid=139293 5* 03Ractangle 5* (+22) 10Redirected page to [[Spoiler:]]
> 1726354479 890495 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139294&oldid=139292 5* 03Ractangle 5* (+289) 10
> 1726354591 820576 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139295&oldid=139294 5* 03Ractangle 5* (+43) 10/* Guessed parts of syntax */
> 1726354691 946602 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139296&oldid=139295 5* 03Ractangle 5* (+76) 10/* Guessed parts of syntax */
> 1726354726 337786 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139297&oldid=139296 5* 03Ractangle 5* (+1) 10/* Guessed parts of syntax */
> 1726355032 790375 PRIVMSG #esolangs :14[[07Spoiler:14]]4 M10 02https://esolangs.org/w/index.php?diff=139298&oldid=139297 5* 03RainbowDash 5* (+61) 10/* Guessed parts of syntax */
> 1726355397 343196 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139299&oldid=139298 5* 03Ractangle 5* (+109) 10/* Guessed parts of syntax */
> 1726355484 534645 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139300&oldid=139299 5* 03Ractangle 5* (+94) 10/* Guessed parts of syntax */
> 1726355507 900053 PRIVMSG #esolangs :14[[07Spoiler:14]]4 M10 02https://esolangs.org/w/index.php?diff=139301&oldid=139300 5* 03RainbowDash 5* (+5) 10/* Guessed parts of syntax */
> 1726355601 732282 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139302&oldid=139301 5* 03Ractangle 5* (+9) 10/* Guessed parts of syntax */
> 1726355641 457241 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139303&oldid=139302 5* 03Ractangle 5* (-15) 10I will come up with more syntax later
> 1726355662 193249 PRIVMSG #esolangs :14[[07Spoiler:14]]4 M10 02https://esolangs.org/w/index.php?diff=139304&oldid=139303 5* 03RainbowDash 5* (+23) 10/* Guessed parts of syntax */
> 1726355719 258094 PRIVMSG #esolangs :14[[07User:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=139305&oldid=139289 5* 03Ractangle 5* (+29) 10/* Esolangs */
> 1726355914 30488 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139306&oldid=139304 5* 03Ractangle 5* (+60) 10/* Challenge */
> 1726356003 183158 PRIVMSG #esolangs :14[[07A+B Problem14]]4 10 02https://esolangs.org/w/index.php?diff=139307&oldid=138768 5* 03Ractangle 5* (+30) 10/* Spam */
> 1726356035 859373 PRIVMSG #esolangs :14[[07A+B Problem14]]4 10 02https://esolangs.org/w/index.php?diff=139308&oldid=139307 5* 03Ractangle 5* (+13) 10/* {{Spoiler|}} */
> 1726356066 248866 PRIVMSG #esolangs :14[[07A+B Problem14]]4 10 02https://esolangs.org/w/index.php?diff=139309&oldid=139308 5* 03Ractangle 5* (+2) 10/* {{Spoiler|}} */
> 1726356227 452489 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=139310&oldid=138666 5* 03Ractangle 5* (+60) 10/* Splinter */
> 1726356467 622504 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139311&oldid=139306 5* 03Ractangle 5* (+5) 10/* Challenge */
> 1726356498 4662 PRIVMSG #esolangs :14[[07A+B Problem14]]4 10 02https://esolangs.org/w/index.php?diff=139312&oldid=139309 5* 03Ractangle 5* (+5) 10/* {{Spoiler|}} */
> 1726356775 155827 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139313&oldid=139311 5* 03Ractangle 5* (+214) 10/* Guessed parts of syntax */
> 1726356935 290295 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139314&oldid=139313 5* 03Ractangle 5* (+29) 10/* Syntax */
> 1726357891 984251 PRIVMSG #esolangs :14[[07Spoiler:14]]4 M10 02https://esolangs.org/w/index.php?diff=139315&oldid=139314 5* 03RainbowDash 5* (+71) 10/* Syntax */
> 1726357949 34048 PRIVMSG #esolangs :14[[07Spoiler:14]]4 M10 02https://esolangs.org/w/index.php?diff=139316&oldid=139315 5* 03RainbowDash 5* (+2) 10/* Syntax */
> 1726358055 459488 PRIVMSG #esolangs :14[[07Spoiler:14]]4 M10 02https://esolangs.org/w/index.php?diff=139317&oldid=139316 5* 03RainbowDash 5* (-66) 10/* Syntax */