< 1726358549 413106 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net QUIT :Ping timeout: 260 seconds < 1726358746 448551 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net JOIN #esolangs * :Textual User > 1726359432 907087 PRIVMSG #esolangs :14[[07Spoiler:14]]4 M10 02https://esolangs.org/w/index.php?diff=139318&oldid=139317 5* 03PythonshellDebugwindow 5* (+111) 10Categories > 1726359455 605281 PRIVMSG #esolangs :14[[07Spoiler:14]]4 M10 02https://esolangs.org/w/index.php?diff=139319&oldid=139318 5* 03PythonshellDebugwindow 5* (-18) 10 < 1726359917 994449 :craigo!~craigo@user/craigo QUIT :Remote host closed the connection < 1726360814 196479 :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 < 1726365904 805162 :op_4!~tslil@user/op-4/x-9116473 QUIT :Remote host closed the connection < 1726365935 858197 :op_4!~tslil@user/op-4/x-9116473 JOIN #esolangs op_4 :op_4 < 1726367539 421068 :X-Scale!~X-Scale@31.22.203.11 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale > 1726369723 947001 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 M10 02https://esolangs.org/w/index.php?diff=139320&oldid=138198 5* 03Rosenthal 5* (-4) 10Update link to its redirect target < 1726371160 858124 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 265 seconds < 1726371253 475152 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord > 1726371681 449982 PRIVMSG #esolangs :14[[07Talk:^14]]4 10 02https://esolangs.org/w/index.php?diff=139321&oldid=139135 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+367) 10 > 1726371699 500177 PRIVMSG #esolangs :14[[07Talk:^14]]4 10 02https://esolangs.org/w/index.php?diff=139322&oldid=139321 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+17) 10 > 1726371723 418037 PRIVMSG #esolangs :14[[07Savage Operator14]]4 M10 02https://esolangs.org/w/index.php?diff=139323&oldid=139251 5* 03PythonshellDebugwindow 5* (+143) 10Categories < 1726373099 319871 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW > 1726373282 714368 PRIVMSG #esolangs :14[[07Talk:^14]]4 10 02https://esolangs.org/w/index.php?diff=139324&oldid=139322 5* 03Yayimhere 5* (+102) 10 > 1726373597 809294 PRIVMSG #esolangs :14[[07Brainshit14]]4 10 02https://esolangs.org/w/index.php?diff=139325&oldid=139203 5* 03Yayimhere 5* (+32) 10 > 1726374139 123261 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139326&oldid=139323 5* 03Yayimhere 5* (+9) 10/* operators */ > 1726374185 627736 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139327&oldid=139326 5* 03Yayimhere 5* (+23) 10/* operators */ > 1726374362 88710 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139328&oldid=139327 5* 03Yayimhere 5* (+0) 10/* operators */ > 1726374839 108287 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 10 02https://esolangs.org/w/index.php?diff=139329&oldid=139320 5* 03Rosenthal 5* (+2) 10Separate implementations by different authors > 1726375125 733251 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139330&oldid=139328 5* 03Yayimhere 5* (+252) 10/* operators */ > 1726375133 894020 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139331&oldid=139330 5* 03Yayimhere 5* (+1) 10/* operators */ > 1726375316 921780 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139332&oldid=139331 5* 03Yayimhere 5* (+147) 10 > 1726375334 980621 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139333&oldid=139332 5* 03Yayimhere 5* (+7) 10/* exclusions */ > 1726375346 242428 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139334&oldid=139333 5* 03Yayimhere 5* (-1) 10/* exclusions */ > 1726375924 147813 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139335&oldid=139334 5* 03Yayimhere 5* (+2) 10/* operators */ < 1726376000 404707 :X-Scale!~X-Scale@31.22.203.11 QUIT :Quit: Client closed < 1726376846 62259 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :we discussed stuff with < 1726376848 474583 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ummm < 1726376850 512577 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :BCKW < 1726376852 843189 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and SK < 1726376856 219076 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :you know < 1726376859 253657 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :does order matter < 1726376866 342104 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :do they need to have the order they have > 1726377241 181995 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139336&oldid=139335 5* 03Yayimhere 5* (+47) 10/* operators */ < 1726377243 649352 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :No, the orders "BCKW", "BCI", "SK", and "SKI" are all traditional. You'll sometimes see people put them in other orders. < 1726377264 740795 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :no > 1726377265 728391 PRIVMSG #esolangs :14[[07Domino Crisis14]]4 10 02https://esolangs.org/w/index.php?diff=139337&oldid=135598 5* 03PrySigneToFry 5* (+684) 10To proof that it is Turing-Complete < 1726377266 157161 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i meant < 1726377270 838006 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :if you create < 1726377273 197694 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :B < 1726377275 75702 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but this B < 1726377282 494870 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :take input in this order: < 1726377289 846486 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :B z y x < 1726377292 547836 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :or something < 1726377293 546862 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :idk < 1726377305 452232 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :it still does x (y z) < 1726377316 180220 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but inputs are taken in a different order < 1726377332 875334 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Sure. It depends on what's available. This is the power of C; in this case, CB is the flip of B. < 1726377349 408955 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k thx! < 1726377353 884299 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :also < 1726377356 891957 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ive made progress < 1726377361 363174 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :on the savage bapge < 1726377363 801449 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*page < 1726377373 642065 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :nearly everything ids a lambda expression < 1726377374 641675 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :as well < 1726377381 171956 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :as that we have rules for what can apply < 1726377384 916218 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs ::] > 1726377461 414814 PRIVMSG #esolangs :14[[07User talk:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=139338&oldid=138374 5* 03PrySigneToFry 5* (+744) 10/* I'm glad about you're "revived" in the Esolang Wiki. */ new section > 1726377521 244303 PRIVMSG #esolangs :14[[07User talk:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=139339&oldid=139338 5* 03Yayimhere 5* (+103) 10/* Mihai is unbanned! */ > 1726377537 701023 PRIVMSG #esolangs :14[[07User talk:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=139340&oldid=139339 5* 03Yayimhere 5* (+2) 10/* Mihai is unbanned! */ < 1726377611 886037 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i still wonder if BKWI can get C < 1726377711 445014 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :it keeps me up at night < 1726377713 30419 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lol < 1726377847 546075 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I don't think so. I thought about it a bit more. BWKI is a theory of categories with finite products and a "diagonal", which is how category theorists talk about W's action. < 1726377895 781446 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726377925 743286 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :And it's folklore that this isn't quite enough to talk about flips, which imply that the product has the ability to swap its left-hand and right-hand components. < 1726377941 482559 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726377944 791723 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i like < 1726377954 63847 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :how even in programming we have "folklore" < 1726377955 64087 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lol < 1726377965 273226 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I know it's not an understandable explanation. I just want to assure you that it's probably not possible so that you don't lose more sleep. < 1726378023 302444 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lol:] < 1726378080 303650 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i feel like < 1726378093 169013 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :you know how some conjectures n' stuff takes years to proove or stuff < 1726378094 795443 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :in math < 1726378112 144110 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :then there's just dis community with a single person proving that black is TC < 1726378114 596115 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :or something else < 1726378131 308498 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :this group of ppl that is the esolang community is just insane < 1726378142 749449 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i feel like < 1726378159 177701 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Every proven conjecture has some single person somewhere at the end, too. Look at Fermat's Last Theorem for a famous recent example. < 1726378172 598696 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true < 1726378174 987518 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but like < 1726378181 83756 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so many ppl worked on it before < 1726378185 980364 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :like for example < 1726378195 944831 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ive prooved like 90 procent of my esolangs TC < 1726378204 650935 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Also, if it helps, most programmers refuse to learn category theory or any other formal methods. Programming and software engineering are depressingly non-formal disciplines. < 1726378204 685860 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :(ignore my old ones) < 1726378213 146010 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true < 1726378227 556307 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait < 1726378231 624052 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :is dis possible < 1726378233 588541 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :: < 1726378240 685697 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :you have a problem < 1726378272 581180 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and its a undecidable problem to see if that problem is decidable not < 1726378282 27689 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*deciadeable or not < 1726378292 528655 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*decidable < 1726378359 200003 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Not exactly. We have to be more precise with terminology. < 1726378366 386687 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok < 1726378375 112262 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i will try to be better < 1726378377 760777 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ig < 1726378383 703415 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :say we have a problem P < 1726378393 164910 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :it has properties < 1726378394 566534 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :So, it's known statically whether something is a "decision problem". This is literally just a yes-or-no question about some inputs. > 1726378406 768483 PRIVMSG #esolangs :14[[07BrainTangle14]]4 N10 02https://esolangs.org/w/index.php?oldid=139341 5* 03PrySigneToFry 5* (+2880) 10Created page with "BrainTangle is an Esolang invented by PSTF and his (because he don't use ChatGPT now). == Syntax Overview == === Data Types === BrainTangle only has one data type: a single-character string (a "tangle"). Operations on tangles are performed by manipulating the < 1726378417 908118 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true > 1726378421 202100 PRIVMSG #esolangs :14[[07BrainTangle14]]4 10 02https://esolangs.org/w/index.php?diff=139342&oldid=139341 5* 03PrySigneToFry 5* (+1) 10 < 1726378423 942940 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so its bascically < 1726378439 863819 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :If we say this problem is "undecidable", what we mean is that the *set of inputs* is undecidable, and more specifically that we can't decide whether an input is in the yes-set. < 1726378452 897067 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726378471 972415 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :You'll see terminology like "semidecidable" which is more specific about the no-set. < 1726378484 333682 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726378512 574385 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Now, that all said, we can have sets of decision problems. There's no reason we can't have an undecidable subset of such a set. < 1726378540 116686 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yes < 1726378736 44728 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Here's what I think is a real example from complexity theory. Let P/poly be the class P, but answers to each problem may be non-uniform, giving a polynomial amount of advice to each input. < 1726378765 505347 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k > 1726378819 226554 PRIVMSG #esolangs :14[[07Talk:Gd auto level14]]4 M10 02https://esolangs.org/w/index.php?diff=139343&oldid=138977 5* 03PrySigneToFry 5* (+33) 10 < 1726378823 343388 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Also let TALLY be the class of unary languages. TALLY is a subclass of P/poly. You can think of TALLY problems as counting up the size of the input and making a decision just based on that, so the poly advice just has to tell you whether this size is acceptable. < 1726378838 471535 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726378857 444644 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :But, uh, TALLY contains Halting for unary TMs, so it's undecidable whether an arbitrary program in P/poly is also in TALLY. < 1726378866 725320 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :side qeustion: none of tally are TC right? < 1726378871 617186 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*question' < 1726378879 920012 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh yea < 1726378961 529848 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok < 1726378970 709038 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so its undecidable < 1726378975 908805 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :that problm < 1726378978 695476 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*problem < 1726379061 201652 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k > 1726379233 826406 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 10 02https://esolangs.org/w/index.php?diff=139344&oldid=139329 5* 03Rosenthal 5* (+1) 10/* x = not x (boolean, logical) */ Fix missing shift marker < 1726379880 814653 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :also < 1726379889 47190 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :KBWS is TC right < 1726379936 423663 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yes, because SK is TC. < 1726379946 762276 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh yea < 1726379958 190053 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :also i found a little "quirk" if you will with k < 1726379966 717372 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :K can be passed to itself FOREVER < 1726379973 339579 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :KKKKKKKKKKKKKK.... > 1726380037 143780 PRIVMSG #esolangs :14[[07^14]]4 N10 02https://esolangs.org/w/index.php?oldid=139345 5* 03MihaiEso 5* (+2222) 10Created page with "'''^''' is a special language for all Chinese people! == Commands == {| class="wikitable" |+ Commands |- ! !! English !! Meaning |- | "[]" || Print "[text]" || Prints a string of text |- | [] || Output [variable] || Outputs the value of a variable |- | [] || Input [var > 1726380062 963962 PRIVMSG #esolangs :14[[07User:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=139346&oldid=139142 5* 03MihaiEso 5* (+59) 10 < 1726380072 353633 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :YES < 1726380077 113556 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :YESYEYSYEYSYEYSYEYSYEYSYYSYEY < 1726380079 335237 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :I < 1726380083 17894 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :HAVE FOUND < 1726380084 460754 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :S < 1726380086 911633 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :AND < 1726380088 84723 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :K < 1726380098 850608 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :IN Savage Operator > 1726380106 649430 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=139347&oldid=139014 5* 03MihaiEso 5* (+14) 10/* Non-alphabetic */ > 1726380186 742165 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=139348&oldid=139347 5* 03Yayimhere 5* (+22) 10/* S */ < 1726380199 968748 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im very a < 1726380202 924731 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :happy > 1726380367 624723 PRIVMSG #esolangs :14[[07User talk:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=139349&oldid=139340 5* 03MihaiEso 5* (+164) 10/* I'm glad about you're "revived" in the Esolang Wiki. */ > 1726380376 336709 PRIVMSG #esolangs :14[[07User talk:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=139350&oldid=139349 5* 03MihaiEso 5* (+1) 10/* I'm glad about you're "revived" in the Esolang Wiki. */ > 1726380607 917752 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 10 02https://esolangs.org/w/index.php?diff=139351&oldid=139344 5* 03Rosenthal 5* (+11) 10/* x = not x (boolean, logical) */ Split into `x = not x` and `y = not x` < 1726380876 85525 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1726382008 319393 :PCWWWWW!~PCWWWWW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] PCWWWWW > 1726382419 697233 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 10 02https://esolangs.org/w/index.php?diff=139352&oldid=139351 5* 03Rosenthal 5* (+1) 10/* x = x and y (boolean, logical) */ Fix destination classifications > 1726382584 794984 PRIVMSG #esolangs :14[[07Category:CJK14]]4 10 02https://esolangs.org/w/index.php?diff=139353&oldid=8237 5* 03MihaiEso 5* (+19) 10 < 1726383238 526137 :wWwwW!~wWwwW@94.147.203.75 QUIT :Quit: Client closed < 1726383253 750769 :PCWWWWW!~PCWWWWW@94.147.203.75 PRIVMSG #esolangs :i could share if ya want < 1726383489 394953 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1726383913 316912 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1726384693 270887 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 10 02https://esolangs.org/w/index.php?diff=139354&oldid=139352 5* 03Rosenthal 5* (+33) 10/* x = x or y (boolean, logical) */ Split by destination > 1726384872 532863 PRIVMSG #esolangs :14[[07BubbleLang14]]4 N10 02https://esolangs.org/w/index.php?oldid=139355 5* 03PrySigneToFry 5* (+5536) 10Created page with "BubbleLang is designed by PSTF. == Name == I don't know why, but I like this name because I like the shape of circle and sphere. == Sources of inspiration == I let my to generate an Esolang, and I inspired from that. I'm also inspired from Python and C++. > 1726385181 129206 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 10 02https://esolangs.org/w/index.php?diff=139356&oldid=139354 5* 03Rosenthal 5* (-46) 10Combine z = x or y sections > 1726385631 441585 PRIVMSG #esolangs :14[[07Sorry14]]4 10 02https://esolangs.org/w/index.php?diff=139357&oldid=139199 5* 03Xff 5* (+1) 10/* information */ < 1726385658 649965 :impomatic!~impomatic@host86-155-106-106.range86-155.btcentralplus.com QUIT :Quit: Client closed > 1726385869 857824 PRIVMSG #esolangs :14[[07BubbleLang14]]4 10 02https://esolangs.org/w/index.php?diff=139358&oldid=139355 5* 03MihaiEso 5* (+29) 10/* Categories */ > 1726385888 292777 PRIVMSG #esolangs :14[[07Category:Generated by AI14]]4 10 02https://esolangs.org/w/index.php?diff=139359&oldid=139152 5* 03MihaiEso 5* (+14) 10 < 1726386355 332467 :impomatic!~impomatic@host86-155-106-106.range86-155.btcentralplus.com JOIN #esolangs * :[https://web.libera.chat] impomatic > 1726386460 951650 PRIVMSG #esolangs :14[[07Use of AI in esoteric languages14]]4 10 02https://esolangs.org/w/index.php?diff=139360&oldid=127758 5* 03MihaiEso 5* (+49) 10/* Esoteric languages invented by AI */ > 1726386750 337031 PRIVMSG #esolangs :14[[07Sorry14]]4 10 02https://esolangs.org/w/index.php?diff=139361&oldid=139357 5* 03Xff 5* (+175) 10 > 1726386799 269822 PRIVMSG #esolangs :14[[07Sorry14]]4 10 02https://esolangs.org/w/index.php?diff=139362&oldid=139361 5* 03Xff 5* (+26) 10 > 1726387060 303160 PRIVMSG #esolangs :14[[07Sorry14]]4 10 02https://esolangs.org/w/index.php?diff=139363&oldid=139362 5* 03Xff 5* (+0) 10/* information */ > 1726387175 705858 PRIVMSG #esolangs :14[[07Srry14]]4 N10 02https://esolangs.org/w/index.php?oldid=139364 5* 03Xff 5* (+353) 10Created page with "'''srry''' is [[Sorry]] but with one change. == the change == now we only have [] with a conditional. if they hold two nothings(two spaces) then we will do ^ else we will do []. also it pops top. so now [''x''] is: [ ][''x''] < 1726387195 319676 :PCWWWWW!~PCWWWWW@94.147.203.75 QUIT :Quit: Client closed > 1726387284 809674 PRIVMSG #esolangs :14[[072d14]]4 10 02https://esolangs.org/w/index.php?diff=139365&oldid=136378 5* 03Ais523 5* (-29) 10rm hatnote similarly named language was renamed > 1726387311 305551 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02User:Ractangle/2D10]]": cross-namespace redirect left over after a page was deuserfied > 1726387348 746020 PRIVMSG #esolangs :14[[072D14]]4 10 02https://esolangs.org/w/index.php?diff=139366&oldid=139090 5* 03Ais523 5* (+14) 10bypass double redirect < 1726387509 320527 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW > 1726388142 569180 PRIVMSG #esolangs :14[[07Brains***14]]4 N10 02https://esolangs.org/w/index.php?oldid=139367 5* 03MihaiEso 5* (+23) 10Redirected page to [[Brainshit]] > 1726388152 642138 PRIVMSG #esolangs :14[[07Brains**t14]]4 N10 02https://esolangs.org/w/index.php?oldid=139368 5* 03MihaiEso 5* (+23) 10Redirected page to [[Brainshit]] > 1726388248 366026 PRIVMSG #esolangs :14[[07Brainshit14]]4 10 02https://esolangs.org/w/index.php?diff=139369&oldid=139325 5* 03Yayimhere 5* (-19) 10 > 1726388664 104773 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139370&oldid=139336 5* 03Yayimhere 5* (+289) 10/* operators */ > 1726389136 618783 PRIVMSG #esolangs :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=139371&oldid=139138 5* 03MihaiEso 5* (+389) 10/* Horribly translated variants */ > 1726389700 860282 PRIVMSG #esolangs :14[[0714]]4 N10 02https://esolangs.org/w/index.php?oldid=139372 5* 03Yayimhere 5* (+26) 10Redirected page to [[Unassignable]] < 1726390121 717155 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i got an rlly weird esolang idea < 1726390126 465804 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :its like a 2d esolang < 1726390129 46262 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but like < 1726390140 809118 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :it uses combinatory logic style operators > 1726390169 750359 PRIVMSG #esolangs :14[[07FrontFlip14]]4 N10 02https://esolangs.org/w/index.php?oldid=139373 5* 03Yayimhere 5* (+312) 10Created page with "'''FrontFlip''' is a version of [[Backflip]] with two new commands == new commands == there are two new commands: {| class="wikitable" |- ! command !! description |- | [ || copy it and the comand right to it in pointer direction and turn 90 degrees clockwise |- | ^ > 1726390175 777949 PRIVMSG #esolangs :14[[07FrontFlip14]]4 10 02https://esolangs.org/w/index.php?diff=139374&oldid=139373 5* 03Yayimhere 5* (+1) 10 > 1726390206 950586 PRIVMSG #esolangs :14[[07User:Yayimhere14]]4 10 02https://esolangs.org/w/index.php?diff=139375&oldid=139159 5* 03Yayimhere 5* (+11) 10 > 1726390235 416850 PRIVMSG #esolangs :14[[07Srry14]]4 10 02https://esolangs.org/w/index.php?diff=139376&oldid=139364 5* 03Yayimhere 5* (+69) 10 < 1726390353 254748 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and korvo if your readin dis my goal is to see what the difference between 2d and 1d is and how far you can go with each > 1726390456 828878 PRIVMSG #esolangs :14[[07And then14]]4 10 02https://esolangs.org/w/index.php?diff=139377&oldid=73088 5* 03Ractangle 5* (+23) 10 > 1726390523 757140 PRIVMSG #esolangs :14[[07BF-RLE14]]4 10 02https://esolangs.org/w/index.php?diff=139378&oldid=66268 5* 03Ractangle 5* (+23) 10/* External resources */ < 1726390637 974932 :wWwwW!~wWwwW@94.147.203.75 QUIT :Quit: Client closed > 1726390827 377473 PRIVMSG #esolangs :14[[07CLFCE14]]4 10 02https://esolangs.org/w/index.php?diff=139379&oldid=138850 5* 03Ractangle 5* (-204) 10 > 1726390835 641013 PRIVMSG #esolangs :14[[07CLFCE14]]4 10 02https://esolangs.org/w/index.php?diff=139380&oldid=139379 5* 03Ractangle 5* (+0) 10/* Hello World */ > 1726390843 122513 PRIVMSG #esolangs :14[[07CLFCE14]]4 10 02https://esolangs.org/w/index.php?diff=139381&oldid=139380 5* 03Ractangle 5* (+0) 10/* Infinite Loop */ > 1726390872 976443 PRIVMSG #esolangs :14[[07CLFCE14]]4 10 02https://esolangs.org/w/index.php?diff=139382&oldid=139381 5* 03Ractangle 5* (+4) 10/* Examples */ < 1726390887 767976 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1726390896 384324 PRIVMSG #esolangs :14[[07CLFCE14]]4 10 02https://esolangs.org/w/index.php?diff=139383&oldid=139382 5* 03Ractangle 5* (+2) 10/* Commands */ > 1726390951 107731 PRIVMSG #esolangs :14[[07Deadfish/Implementations (nonalphabetic and A-L)14]]4 10 02https://esolangs.org/w/index.php?diff=139384&oldid=138190 5* 03Ractangle 5* (+1) 10/* CLFCE */ > 1726391175 34463 PRIVMSG #esolangs :14[[07Comment14]]4 10 02https://esolangs.org/w/index.php?diff=139385&oldid=139198 5* 03Ractangle 5* (-39) 10fixed the problem with the /* CLFCE */ section > 1726391343 861768 PRIVMSG #esolangs :14[[07Comment14]]4 10 02https://esolangs.org/w/index.php?diff=139386&oldid=139385 5* 03Ractangle 5* (+24) 10/* CLFCE */ < 1726391481 339547 :gigo!~gigo@user/gigo JOIN #esolangs gigo :[https://web.libera.chat] gigo < 1726391486 404934 :gigo!~gigo@user/gigo PART :#esolangs < 1726391517 613935 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1726393049 785875 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139387&oldid=139210 5* 03Ractangle 5* (+8) 10/* computational class */ > 1726393058 391801 PRIVMSG #esolangs :14[[07How dare you fuck the brain14]]4 10 02https://esolangs.org/w/index.php?diff=139388&oldid=139387 5* 03Ractangle 5* (+0) 10/* computational class */ < 1726393869 699723 :impomatic!~impomatic@host86-155-106-106.range86-155.btcentralplus.com QUIT :Quit: Client closed > 1726394311 540611 PRIVMSG #esolangs :14[[07BubbleLang14]]4 M10 02https://esolangs.org/w/index.php?diff=139389&oldid=139358 5* 03PrySigneToFry 5* (+3) 10 > 1726394370 776011 PRIVMSG #esolangs :14[[07@NUM14]]4 10 02https://esolangs.org/w/index.php?diff=139390&oldid=66248 5* 03Ractangle 5* (+22) 10/* To Do */ < 1726394665 319987 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW < 1726394689 93786 :wWwwW!~wWwwW@94.147.203.75 QUIT :Client Quit > 1726394696 619877 PRIVMSG #esolangs :14[[0713ial14]]4 N10 02https://esolangs.org/w/index.php?oldid=139391 5* 03Ractangle 5* (+115) 10Created page with "'''13ial''' (or '''13 instruction assembly language''') is basicly self explanatory. It's a 13 instruction assembly" < 1726395538 994343 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1726396207 320238 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW > 1726396568 928934 PRIVMSG #esolangs :14[[0713ial14]]4 10 02https://esolangs.org/w/index.php?diff=139392&oldid=139391 5* 03Ractangle 5* (+39) 10 > 1726396618 655172 PRIVMSG #esolangs :14[[072 Player14]]4 10 02https://esolangs.org/w/index.php?diff=139393&oldid=138968 5* 03Yayimhere 5* (+89) 10/* commands */ > 1726396748 693412 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 10 02https://esolangs.org/w/index.php?diff=139394&oldid=139356 5* 03Rosenthal 5* (+8) 10/* if (x) { code1 } else { code2 } */ Divide different implementations > 1726396788 691929 PRIVMSG #esolangs :14[[072 Player14]]4 10 02https://esolangs.org/w/index.php?diff=139395&oldid=139393 5* 03Yayimhere 5* (+87) 10/* commands */ > 1726397174 823939 PRIVMSG #esolangs :14[[07BubbleLang14]]4 10 02https://esolangs.org/w/index.php?diff=139396&oldid=139389 5* 03PrySigneToFry 5* (-29) 10Just inspired from, not really generated by AI > 1726397249 388255 PRIVMSG #esolangs :14[[072 Player14]]4 10 02https://esolangs.org/w/index.php?diff=139397&oldid=139395 5* 03Yayimhere 5* (+117) 10 > 1726397310 433253 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=139398&oldid=137334 5* 03Ractangle 5* (-1) 10/* Commands */ > 1726397347 501977 PRIVMSG #esolangs :14[[07User talk:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=139399&oldid=139350 5* 03PrySigneToFry 5* (+672) 10 > 1726397440 441277 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=139400&oldid=139398 5* 03Ractangle 5* (+18) 10/* Commands */ > 1726397621 635415 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=139401&oldid=139400 5* 03Ractangle 5* (-42) 10/* Truth-machine */ > 1726397652 440681 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=139402&oldid=139401 5* 03Ractangle 5* (-6) 10/* Truth-machine */ > 1726397737 525871 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=139403&oldid=139402 5* 03Ractangle 5* (-98) 10If there is no "End of road". The program will go back to the start (and ignoring the Start of road) > 1726397848 672746 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=139404&oldid=139403 5* 03Ractangle 5* (+0) 10IT'S I [[User:Ractangle]] < 1726397878 332595 :impomatic!~impomatic@host86-155-106-106.range86-155.btcentralplus.com JOIN #esolangs * :[https://web.libera.chat] impomatic > 1726397992 729418 PRIVMSG #esolangs :14[[072 Player14]]4 10 02https://esolangs.org/w/index.php?diff=139405&oldid=139397 5* 03Yayimhere 5* (+0) 10/* examples */ > 1726398025 266521 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 10 02https://esolangs.org/w/index.php?diff=139406&oldid=139394 5* 03Rosenthal 5* (+79) 10Consistently separate implementations and format attributions > 1726398183 524371 PRIVMSG #esolangs :14[[07A+B Problem14]]4 10 02https://esolangs.org/w/index.php?diff=139407&oldid=139312 5* 03Ractangle 5* (-1) 10/* {{Spoiler|}} */ > 1726398206 854203 PRIVMSG #esolangs :14[[07A+B Problem14]]4 10 02https://esolangs.org/w/index.php?diff=139408&oldid=139407 5* 03Ractangle 5* (-12) 10/* {{Spoiler|}} */ > 1726398276 828097 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=139409&oldid=139310 5* 03Ractangle 5* (-13) 10/* {{Spoiler|}} */ > 1726398295 372715 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=139410&oldid=139409 5* 03Ractangle 5* (+2) 10/* Spoiler: */ > 1726398306 24986 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139411&oldid=139319 5* 03Ractangle 5* (+2) 10/* Challenge */ > 1726398358 446809 PRIVMSG #esolangs :14[[07Spoiler:14]]4 10 02https://esolangs.org/w/index.php?diff=139412&oldid=139411 5* 03Ractangle 5* (-1) 10 < 1726398427 879459 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :hey ais523 what do you think of my underload minimazation?: https://esolangs.org/wiki/Sorry > 1726398954 763695 PRIVMSG #esolangs :14[[07Use of AI in esoteric languages14]]4 10 02https://esolangs.org/w/index.php?diff=139413&oldid=139360 5* 03Ractangle 5* (+40) 10/* Esolang interpreters generated by AI */ > 1726398987 277137 PRIVMSG #esolangs :14[[07Use of AI in esoteric languages14]]4 10 02https://esolangs.org/w/index.php?diff=139414&oldid=139413 5* 03Ractangle 5* (-1) 10/* Esolang interpreters generated by AI */ > 1726399037 510742 PRIVMSG #esolangs :14[[07Category:Generated by AI14]]4 10 02https://esolangs.org/w/index.php?diff=139415&oldid=139359 5* 03Ractangle 5* (+5) 10 > 1726399253 912603 PRIVMSG #esolangs :14[[07'Python' is not recognized as an internal or external command, operable program or batch file.14]]4 10 02https://esolangs.org/w/index.php?diff=139416&oldid=133988 5* 03Ractangle 5* (+22) 10/* CATEGORIES */ > 1726399361 207818 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=139417&oldid=139348 5* 03PrySigneToFry 5* (+17) 10 > 1726399501 940969 PRIVMSG #esolangs :14[[07User:Noner Kao14]]4 10 02https://esolangs.org/w/index.php?diff=139418&oldid=53977 5* 03Ractangle 5* (+12) 10/* Projects */ > 1726399660 785723 PRIVMSG #esolangs :14[[07Talk:Minim14]]4 10 02https://esolangs.org/w/index.php?diff=139419&oldid=128486 5* 03Ractangle 5* (+223) 10 < 1726399780 196985 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname > 1726400002 208346 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 10 02https://esolangs.org/w/index.php?diff=139420&oldid=139406 5* 03Rosenthal 5* (+4) 10/* x = pseudo-random number */ Divide unrelated implementations < 1726400413 554840 :wWwwW!~wWwwW@94.147.203.75 QUIT :Quit: Client closed > 1726400688 550784 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 M10 02https://esolangs.org/w/index.php?diff=139421&oldid=139420 5* 03Rosenthal 5* (-3) 10/* Divmod algorithm */ Fix typos > 1726400887 6758 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 10 02https://esolangs.org/w/index.php?diff=139422&oldid=139421 5* 03Rosenthal 5* (-22) 10Remove redundant algorithm from headers < 1726400984 750616 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm. There really should be a better word than "illusion" to describe this thing: https://int-e.eu/~bf3/tmp/duckduckbunny.png (It is pretty cool (despite the (I assumed) edited clouds in the left part). Haven't watched the video...) > 1726401067 139866 PRIVMSG #esolangs :14[[07Talk:Brainfuck Python interpreter (ChatGPT)14]]4 N10 02https://esolangs.org/w/index.php?oldid=139423 5* 03Corbin 5* (+145) 10In this page, what does "optimized" mean? < 1726401381 319055 :PCWWWWW!~PCWWWWW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] PCWWWWW > 1726401473 181245 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 10 02https://esolangs.org/w/index.php?diff=139424&oldid=139422 5* 03Rosenthal 5* (+29) 10/* Print value of cell x as number (8-bit) */ Attribute author < 1726401708 577722 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1726401810 503963 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net QUIT :Ping timeout: 246 seconds < 1726401957 836251 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net JOIN #esolangs mtm :Textual User > 1726402591 598448 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 10 02https://esolangs.org/w/index.php?diff=139425&oldid=139424 5* 03Rosenthal 5* (-46) 10/* Input a decimal number */ Unindent code < 1726402785 885077 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :int-e: hehe, that's similar to the two horse-riders illusion I think < 1726403053 939648 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :two horse-riders (exists with both donkeys and horses, in lots of variants) => https://www.youtube.com/watch?v=BN3z7eIqRg4 < 1726403055 350058 :PCWWWWW!~PCWWWWW@94.147.203.75 PRIVMSG #esolangs :wut would happen if SKI or something was evaluated lazily < 1726403082 971710 :PCWWWWW!~PCWWWWW@94.147.203.75 QUIT :Quit: Client closed < 1726403137 262299 :impomatic!~impomatic@host86-155-106-106.range86-155.btcentralplus.com QUIT :Quit: Client closed < 1726403160 319432 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW < 1726403212 827867 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i wonder < 1726403348 481896 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :wWwwW: Maybe today's your introduction to Church-Rosser properties and confluence. In short: no, the results of evaluating combinators don't depend on evaluation order, but that's only because they don't have effects. < 1726403366 733683 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k! < 1726403435 742551 :Thelie!~Thelie@2a03:9b40:2139:2800:2d53:42b9:7c96:d9e1 JOIN #esolangs Thelie :Thelie < 1726403488 245668 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Some strategies will fail to find normal forms when they exist though. KI(SII(SII)) has normal form I but innermost reduction reduces it to itself in a couple of steps. < 1726403526 828666 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726403533 47284 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait < 1726403540 323621 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :SII -> SII < 1726403550 677478 :int-e!~noone@int-e.eu PRIVMSG #esolangs :No, SII is a normal form < 1726403563 516607 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :normal form? < 1726403571 57619 :int-e!~noone@int-e.eu PRIVMSG #esolangs :it can't be reduced further < 1726403578 226389 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh < 1726403579 233326 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok < 1726403591 118387 :int-e!~noone@int-e.eu PRIVMSG #esolangs :In this context, -> usually denotes an actual reduction step. < 1726403605 385582 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726403677 394537 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :thx < 1726403696 584322 :int-e!~noone@int-e.eu PRIVMSG #esolangs :SII(SII) -> I(SII)(I(SII)) -> I(SII)(SII) -> SII(SII) using innermost steps < 1726403707 814101 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :tf < 1726403710 736272 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :infinite loop < 1726403711 881435 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yay < 1726403718 698691 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so < 1726403725 972021 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :SII(SII) => SII(SII) < 1726403739 618850 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :where => is the "final" reduction < 1726403798 172128 :Thelie!~Thelie@2a03:9b40:2139:2800:2d53:42b9:7c96:d9e1 QUIT :Quit: Leaving. < 1726403809 423960 :Thelie!~Thelie@214-110-035-185.ip-addr.vsenet.de JOIN #esolangs * :Thelie < 1726403841 575532 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726403865 33296 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :would < 1726403869 106812 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :USI < 1726403872 613092 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :where U < 1726403876 645869 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :is KKx < 1726403880 325997 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :be TC? < 1726403887 406776 :int-e!~noone@int-e.eu PRIVMSG #esolangs :what is x? < 1726403893 156517 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait no < 1726403894 859297 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :U x < 1726403901 780311 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :would be KK x < 1726403914 550298 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so you discard one input < 1726403925 679483 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and return K on the non discareded one < 1726403930 848482 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so < 1726403933 847331 :int-e!~noone@int-e.eu PRIVMSG #esolangs :So U = KK? That gives you KKI = K so it's essentially just SKI again. < 1726403946 474866 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :without I < 1726403957 602352 :int-e!~noone@int-e.eu PRIVMSG #esolangs :KKS = K then and you get I = SKK < 1726403969 925895 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yes < 1726403974 628664 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but you dont have K < 1726403980 425338 :int-e!~noone@int-e.eu PRIVMSG #esolangs :You have US = KKS = K < 1726403992 860266 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh yea < 1726404007 144194 :int-e!~noone@int-e.eu PRIVMSG #esolangs :or UU = KKU = K if you prefer that < 1726404018 415695 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :idc < 1726404020 107300 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :rlly < 1726404031 90091 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait so you replace the S with U < 1726404032 429889 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :how < 1726404034 656641 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok well < 1726404036 212743 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh well < 1726404062 713698 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Well, Ux = KKx = K for any x. < 1726404078 15408 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh yea < 1726404080 466087 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fuuu < 1726404082 100191 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im stupid < 1726404108 524995 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :(sorry for asking so much im rlly into combinatory logic rn) < 1726404114 110374 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but would RS be TC < 1726404128 517002 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :where R = BKxS < 1726404132 654805 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :Be TC? < 1726404138 907482 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :where B is from BCKW < 1726404158 92806 :int-e!~noone@int-e.eu PRIVMSG #esolangs :again, what's x? < 1726404167 990815 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fuuu < 1726404170 637851 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im sto stupid < 1726404183 458814 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :R x = B K x S < 1726404186 570153 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :or < 1726404190 405629 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname < 1726404190 733757 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait no < 1726404200 901635 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and no K is not applied to x < 1726404239 34394 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait yea < 1726404244 149998 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :K not applied to x yea < 1726404539 58354 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1726404642 386924 PRIVMSG #esolangs :14[[07Talk:Brainfuck Python interpreter (ChatGPT)14]]4 10 02https://esolangs.org/w/index.php?diff=139426&oldid=139423 5* 03MihaiEso 5* (+145) 10 < 1726404646 485704 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I don't know about that one. < 1726404674 451762 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :hmmm < 1726404675 124837 :int-e!~noone@int-e.eu PRIVMSG #esolangs :lol @esolangs < 1726404680 14898 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lemme check real fast < 1726404968 645113 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1726405013 136609 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :idk > 1726405131 56693 PRIVMSG #esolangs :14[[07How dare you f*** the brain14]]4 N10 02https://esolangs.org/w/index.php?oldid=139427 5* 03MihaiEso 5* (+41) 10Redirected page to [[How dare you fuck the brain]] < 1726405289 709615 :int-e!~noone@int-e.eu PRIVMSG #esolangs :You have Rxy = xS which is something you don't get with S alone. But it's weaker than K. It may still be TC but it won't just reuse the fact that SK is TC; some extra work is necessary. It's also not obviously non-TC... AFAICS we don't even know that for the S combinator all by itself. < 1726405318 389644 :int-e!~noone@int-e.eu PRIVMSG #esolangs :err, AFAIK < 1726405365 86385 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im prety sure with the Q operator it would work. Q x y = y x < 1726405366 917462 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so < 1726405376 742504 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :QRxy = Sx < 1726405390 867922 :int-e!~noone@int-e.eu PRIVMSG #esolangs :no < 1726405405 188157 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait wut < 1726405417 27355 :int-e!~noone@int-e.eu PRIVMSG #esolangs :remember that QRxy is ((QR)x)y < 1726405432 688741 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh yea < 1726405434 716558 :int-e!~noone@int-e.eu PRIVMSG #esolangs :QRxy = xRy... and now it depends on x. < 1726405448 745452 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :then Q(Rxy) = Sx then right? < 1726405453 156661 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Q(Rxy) = Q(xS) and it still depends on x. < 1726405466 162794 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :aaaa < 1726405545 265824 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Even if you had ꙮxy = Sx and S the status (TC or not) would be unclear to me. < 1726405567 892619 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ꙮ? < 1726405571 549678 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :why use ꙮ < 1726405576 812471 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`w limerick < 1726405579 787303 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​limerick//A limerick is a verse with two left metrical feet and three right metrical feet. < 1726405593 257227 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`' ꙮ < 1726405594 651793 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :1125) A Swede who was in #esoteric / Thought his rhymes were a little generic. / "I might use, in my prose, / ꙮs, / But my poetry's alphanumeric." < 1726405609 524869 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726405609 761053 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`unidecode ꙮ < 1726405611 443201 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​[U+A66E CYRILLIC LETTER MULTIOCULAR O] < 1726405631 390927 :FireFly!~firefly@glowbum/gluehwuermchen/firefly PRIVMSG #esolangs :ꙮh < 1726405650 856147 :int-e!~noone@int-e.eu PRIVMSG #esolangs :It's our favorite letter. ;-) (I'm making this up, but it's fair to say that we have a bit of culture around it.) < 1726405666 982594 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726405671 586245 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :well i like it < 1726405686 331478 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im making a esolang based on dis disscusion btw < 1726405724 430439 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net QUIT :Ping timeout: 252 seconds < 1726405834 554292 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 252 seconds > 1726405848 59891 PRIVMSG #esolangs :14[[07FROSTWIRE-66614]]4 N10 02https://esolangs.org/w/index.php?oldid=139428 5* 03Yayimhere 5* (+258) 10Created page with "'''FROSTWIRE-666''' is a esolang created by [[User:Yayimhere]]. its some combinators for [[Combinatory logic]] == combinators == FROSTWIRE-666 has these operators: S from SKI R x = B (K) x (S) Q x y = y x x y=S (K x y) G x=x x T x y z=B ( x y) x z" < 1726405856 248171 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and there it is^^ < 1726405856 748898 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :^ < 1726405919 672925 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord > 1726405938 429 PRIVMSG #esolangs :14[[07FROSTWIRE-66614]]4 10 02https://esolangs.org/w/index.php?diff=139429&oldid=139428 5* 03Yayimhere 5* (+13) 10/* combinators */ < 1726405947 434154 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net JOIN #esolangs mtm :Textual User < 1726406053 107019 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm, would you rather make three dozen esolangs, or one that people actually care about? < 1726406069 276142 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :idk < 1726406080 433218 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :what time of the day is it? < 1726406089 470465 :int-e!~noone@int-e.eu PRIVMSG #esolangs :yes < 1726406114 154210 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :???? > 1726406130 518351 PRIVMSG #esolangs :14[[07Talk:Brainfuck algorithms14]]4 10 02https://esolangs.org/w/index.php?diff=139430&oldid=128898 5* 03Rosenthal 5* (+639) 10Ask about strange bitwise NOT < 1726406132 466607 :int-e!~noone@int-e.eu PRIVMSG #esolangs :time zones are a thing so I thought this was the best possible answer < 1726406151 364287 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :no < 1726406153 227666 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i said' < 1726406153 346822 :int-e!~noone@int-e.eu PRIVMSG #esolangs :what's θ? < 1726406168 35230 :int-e!~noone@int-e.eu PRIVMSG #esolangs :you asked a question with no well-defined answer < 1726406171 523473 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :the answer to your question is dependent on timezone < 1726406192 320221 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :θ you could see on combinatory page < 1726406195 788214 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :no < 1726406200 664935 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :combinatory logic page < 1726406205 642158 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :more combinators < 1726406219 362180 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :Non-primitives < 1726406221 667379 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :spesifically > 1726406257 640500 PRIVMSG #esolangs :14[[07FROSTWIRE-66614]]4 10 02https://esolangs.org/w/index.php?diff=139431&oldid=139429 5* 03Yayimhere 5* (+39) 10 < 1726406282 784754 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :`datei < 1726406284 471599 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :2024-09-15 13:18:03.701 +0000 UTC September 15 Sunday 2024-W37-7 < 1726406297 568051 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wow < 1726406304 974759 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :``` TZ="Europe/Helsinki" datei # if you have a specific timezone in mind < 1726406307 150654 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :2024-09-15 16:18:26.283 +0300 EEST September 15 Sunday 2024-W37-7 < 1726406318 457605 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726406333 731044 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :also dateu for guaranteed UTC; datei actually uses the locale-dependent timezone, that just happens to default to UTC on HackEso these days < 1726406350 33206 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :um, no, technically not *locale*-dependent, but dependent on your environment and the fallback default in /etc < 1726406366 250344 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :kkk > 1726406445 586801 PRIVMSG #esolangs :14[[07FROSTWIRE-66614]]4 10 02https://esolangs.org/w/index.php?diff=139432&oldid=139431 5* 03Yayimhere 5* (-11) 10 > 1726406524 767416 PRIVMSG #esolangs :14[[07User:Eugene14]]4 10 02https://esolangs.org/w/index.php?diff=139433&oldid=139042 5* 03Eugene 5* (+4) 10 > 1726406579 683901 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Kin1009 5* 10New user account > 1726406666 718152 PRIVMSG #esolangs :14[[07User:Yayimhere14]]4 10 02https://esolangs.org/w/index.php?diff=139434&oldid=139375 5* 03Yayimhere 5* (+20) 10/* esolangs */ < 1726407116 638451 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :wWwwW: Combinatory logic isn't an esolang. In fact, it's not a language. I'd say that a better way to understand it is as a type or a pattern of constructors that can be put on top of types. < 1726407142 522133 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :esolangs: If combinatory logic is not a language, what is it? < 1726407149 648523 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true < 1726407152 426288 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ig < 1726407153 953511 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :combinatory logic is multiple esolangs, if you choose a basis and an evaluation strategy then it's a specific esolang < 1726407165 672886 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :also true < 1726407169 342439 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Aw, the RAG bot's not working, I guess. > 1726407246 32144 PRIVMSG #esolangs :korvo: Combinatory logic is a **formal model of computation**. It's a way to describe how programs work, not a programming language itself. Think of it like a blueprint for how to build a computer program. It uses a set of rules and symbols to represent computations, and it's powerful enough to capture the essence of any program, even those written in... > 1726407246 35264 PRIVMSG #esolangs :other languages. < 1726407252 802679 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I like {B,C,K,W,I} as the basis and leftmost inner (eager/unlambda) evolution < 1726407291 449013 :wryl!sid553797@user/meow/Wryl QUIT :Ping timeout: 246 seconds < 1726407304 447511 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :wWwwW: In particular, the terms we've been using the past few days are the *initial model*. All that means is, for any other model, there's a way to map each term into that other model. < 1726407323 112509 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ooh < 1726407334 407112 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :but these days I prefer multi-argument instead of single-argument lambdas, which corresonds mostly to the Amicus language instead of traditional Church style combinatory logic < 1726407349 2786 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :So, like, suppose I implement S and K in Python. Then I can map any term of S and K into Python using that implementation, and it'll still behave as expected. < 1726407353 581137 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :well, Amicus without numbers < 1726407375 696061 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :(Like int-e says, "as expected" includes quirks of evaluation order. You have to carefully choose which of U, Y, or Z is your fixed-point combinator.) < 1726407392 744619 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :UYZ? < 1726407458 286612 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ik about U i think < 1726407475 263295 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :U, Y, and Z all allow for some sort of recursion. They're very different in appearance, but that's mostly because of evaluation order. < 1726407488 557337 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726407521 576825 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :The main point to understand is that U = \(00) in lambda calculus; it applies something to itself. It's the "Turing bird" we talked about the other day. < 1726407530 753294 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :You can tell it's important because https://esolangs.org/wiki/Combinatory_logic has a (!!!) next to it! < 1726407546 765090 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lol < 1726407554 898929 :wryl!sid553797@user/meow/Wryl JOIN #esolangs Wryl :Wryl < 1726407600 678683 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :No, seriously. Like, consider my beloved https://esolangs.org/wiki/Cammy. Here's one thing I said: "the program (comp dup apply), sometimes called the "Turing bird", will be rejected by the toolchain as ill-typed." < 1726407622 939063 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726407627 846678 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :And at the top: "each expression is an S-expression denoting a total function." < 1726407650 49718 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Because Cammy's total, the toolchain *must* reject the Turing bird. < 1726407665 301059 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726407673 134526 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :If you want to be TC, you *must* have a way to build either U or something with similar powers, like Y or Z. < 1726407681 559276 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :That's the main point. < 1726407690 467270 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726407693 95778 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :also sorry < 1726407697 608980 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i was kinda confused < 1726407699 759916 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :we above chat < 1726407707 38800 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :where i made *my* U < 1726407763 859629 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :No worries. That's one of the dangers of redefining standard names. < 1726407782 109461 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i just choose a symbol < 1726407819 101297 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I know. If it helps, that's how most of the combinators got standard names in the first place. I have a rule in my head that's like "C is for composition, no wait, C is for flips and B is for composition" < 1726407842 832803 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ig you could use lol < 1726407848 781413 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait no < 1726407851 617226 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :K is for "konstant" and I is "identity" but I have no idea about the others. Smullyan gives them beautiful bird names which are also hard to remember. < 1726407873 598938 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Like, B is for Bluebird. Okay, which is...? Even remembering the stories in the book doesn't really help. < 1726407887 671221 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :symbol for my U: ɭ < 1726407924 373301 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :(The actual way to remember B is to look at it as a miniature diagram depicting the composition of two arrows.) < 1726407934 156666 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726408096 264379 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I should document the B-C-K-W-I turing-completeness proof on the wiki at some point. We have https://esolangs.org/wiki/S_and_K_Turing-completeness_proof plus derivations of S and K at https://esolangs.org/wiki/Combinatory_logic#BCKW_calculus which is technically enough for a proof, but there's a direct proof that's somewhat interesting. < 1726408161 583348 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I should formalize some of the reductions. I know it's not hard to write a casual SKI reduction tool, but I don't think there's like a Metamath or Coq database. < 1726408176 738937 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, uh, *Rocq now, right? > 1726408238 276020 PRIVMSG #esolangs :14[[07Combinatory logic14]]4 10 02https://esolangs.org/w/index.php?diff=139435&oldid=133777 5* 03B jonas 5* (-8) 10/* BCKW calculus */ > 1726408283 963250 PRIVMSG #esolangs :14[[07BubbleLang14]]4 10 02https://esolangs.org/w/index.php?diff=139436&oldid=139396 5* 03PrySigneToFry 5* (+47) 10 < 1726408288 363420 :int-e!~noone@int-e.eu PRIVMSG #esolangs :"The rename is currently in preparation" > 1726408349 58978 PRIVMSG #esolangs :14[[07User:B jonas14]]4 10 02https://esolangs.org/w/index.php?diff=139437&oldid=138271 5* 03B jonas 5* (+147) 10/* Todo */ < 1726408879 428106 :Thelie!~Thelie@214-110-035-185.ip-addr.vsenet.de QUIT :Ping timeout: 260 seconds < 1726409044 114854 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i made this. doesnt this delete Bsckflip's memory limitation?: https://esolangs.org/wiki/FrontFlip > 1726409049 944113 PRIVMSG #esolangs :14[[07FrontFlip14]]4 10 02https://esolangs.org/w/index.php?diff=139438&oldid=139374 5* 03Yayimhere 5* (+0) 10 < 1726409472 500385 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: SKI reduction tool => David Madore's unlambda writeup http://www.madore.org/~david/programs/unlambda/#impl explains how to do that < 1726409540 919832 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i still like how from a set perspective BCI can do nothing < 1726410221 335447 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1726410285 912078 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :hello ais > 1726410483 478751 PRIVMSG #esolangs :14[[07User talk:HecknTarnation14]]4 N10 02https://esolangs.org/w/index.php?oldid=139439 5* 03Yayimhere 5* (+136) 10Created page with "wanna make a esolang with me maybe idk ?? [:~~~~:]" < 1726410704 586686 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: Okay, so with careful consideration, I think that it should be *theoretically* possible to compile Unlambda to a graph-reduction machine (as efficient as GHC) after first doing a continuation-passing transformation. < 1726410840 66488 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :But it is remarkable how it was an open question just a few decades ago. > 1726410894 817774 PRIVMSG #esolangs :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=139440&oldid=139371 5* 03MihaiEso 5* (+514) 10/* Horribly translated variants */ > 1726410939 920056 PRIVMSG #esolangs :14[[07FROSTWIRE-66614]]4 10 02https://esolangs.org/w/index.php?diff=139441&oldid=139432 5* 03Yayimhere 5* (+27) 10/* combinators */ > 1726411066 10717 PRIVMSG #esolangs :14[[07BubbleLang/Algorithm14]]4 N10 02https://esolangs.org/w/index.php?oldid=139442 5* 03PrySigneToFry 5* (+809) 10Created page with "== Swap two numbers ==
 function swap(x: int*, y: int*):     var t: int* = x     x = y     y = t 
Thus makes these things: === Bubble sort ===
 function swap(x: int*, y: int*):     var t: int* = x     x = y     y = t  function bubble_so
< 1726411108 331986 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: I'm mostly thinking of the subset without c and d, so basically just ski calculus
< 1726411188 813030 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: Ah, sure. There's a fully-worked series of articles on that here: https://crypto.stanford.edu/~blynn/compiler/
> 1726411195 834865 PRIVMSG #esolangs :14[[07BubbleLang14]]4 10 02https://esolangs.org/w/index.php?diff=139443&oldid=139436 5* 03PrySigneToFry 5* (+49) 10
< 1726411240 779329 :ais523!~ais523@user/ais523 PRIVMSG #esolangs : hey ais523 what do you think of my underload minimazation?: https://esolangs.org/wiki/Sorry ← it's not very Underload-like
> 1726411254 50424 PRIVMSG #esolangs :14[[07BubbleLang/Algorithm14]]4 10 02https://esolangs.org/w/index.php?diff=139444&oldid=139442 5* 03PrySigneToFry 5* (+15) 10
< 1726411258 848854 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true
< 1726411276 952190 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :it was just an atempt to make the minimal command set smaller
< 1726411301 726407 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :what happens if you try to run a command with unmatched brackets?
< 1726411307 723885 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oof
< 1726411312 283802 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i need to specify
< 1726411314 491411 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im so stupid
< 1726411316 556034 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but umm
< 1726411317 605855 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :error
< 1726411336 96471 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :there's already a minimization of Underload to two commands here: https://esolangs.org/wiki/Underload#A_two-command_basis_for_a_pure_concatenative_language
< 1726411347 48656 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh
< 1726411364 270037 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726411365 509709 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wut
< 1726411369 178880 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :thats 3 commands
< 1726411372 306005 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: even with the c builtin, r5rs is from 1998 so presumably they knew how to implement all that at the point, and unlambda with c (possibly without d) is trivial to compile to r5rs scheme, it has the full lexical local variables, lamdbas, and full call-with-current-continuation
< 1726411375 364567 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :the copy push and eval command
< 1726411382 711924 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :no, it's just M and ^
> 1726411387 209344 PRIVMSG #esolangs :14[[07Sorry14]]4 10 02https://esolangs.org/w/index.php?diff=139445&oldid=139363 5* 03Yayimhere 5* (+79) 10/* information */
< 1726411398 134695 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh
< 1726411400 88815 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :OOOO
< 1726411401 503035 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :so it was known for at least 26 years, I suspect longer
< 1726411401 652948 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fuuuu
< 1726411410 51112 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :where M is equivalent to (~)(:)(^)(a)(*)(!!!!!!) in Underload
< 1726411416 17225 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh yea
< 1726411420 661731 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im sto STUPID
< 1726411421 661851 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lol
< 1726411421 917157 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think it was me who designed that originally
< 1726411424 170606 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*so
< 1726411427 874820 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :whe
< 1726411430 868815 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait no
< 1726411437 120409 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :forget that message
< 1726411462 359421 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: There's a question of efficiency when it comes to "sharing" (avoiding copying) in lazy contexts, and I think Scheme isn't likely to ever really solve this. I don't think typical implementations do much sharing besides lambda-lifting.
< 1726411476 73701 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the positions of most of the commands inside don't really matter, but the (~) being at the start and (!!!!!!) at the end (with length that's enough to pop all the things M pushed, plus 1) is key to how it works
< 1726411487 90971 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1726411488 602719 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: sure, scheme and unlambda are non-lazy in the same way
< 1726411490 674470 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :But yeah, I see your point. In terms of compiler engineering effort, yes, Unlambda compiles easily to Scheme.
< 1726411506 348655 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i also minimized sorry to srry(on command but very much not underlaod like)
< 1726411518 918802 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: I think most interpreters along those lines do the copying lazily and don't have other optimizations
> 1726411562 969770 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139446&oldid=139370 5* 03Yayimhere 5* (+0) 10/* Turing-completeness */
> 1726411593 554497 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139447&oldid=139446 5* 03Yayimhere 5* (+11) 10/* Turing-completeness */
< 1726411618 27593 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :int-e: wrt combinatoric logic normal forms, I generally think of them being in normal forms if no reduction rules are even possible to apply to the term you have
< 1726411637 750372 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so SII doesn't have a normal form, the way I think about it – you can keep applying reduction rules indefinitely
< 1726411657 327535 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :whereas something like K(SI) is a normal form because none of the combinators has enough arguments to do anything
< 1726411677 560991 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :why is it that so many combinators are named after birds???
< 1726411680 162020 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :turings bird
< 1726411682 445841 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ect.
< 1726411707 772866 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :wWwwW: That'd be the Smullyan book I mentioned earlier: https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird
< 1726411729 646640 :int-e!~noone@int-e.eu PRIVMSG #esolangs :ais523: No reduction rules apply to SII. You're probably confusing SII and SII(SII)
< 1726411730 373480 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh
> 1726411734 227558 PRIVMSG #esolangs :14[[07BubbleLang14]]4 10 02https://esolangs.org/w/index.php?diff=139448&oldid=139443 5* 03PrySigneToFry 5* (+53) 10
< 1726411760 967632 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(SII is what you get from \x. x x by abstraction elimination.)
< 1726411771 818215 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :int-e: err, yes, I meant SII(SII)
< 1726411780 99277 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yup, the Mockingbird book which tells about a series of possibly enchanted forests which each have a population of birds closed to application
< 1726411783 237399 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :SII is in normal form already, S takes three arguments
< 1726411788 546752 :int-e!~noone@int-e.eu PRIVMSG #esolangs :ais523: and yes, SII(SII) doesn't have a normal form
< 1726411795 965916 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :(And SII actually *captures* it, because SIIx -> x(x))
< 1726411802 262928 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :so you can apply any bird in a forest to any other, and the result is a bird that's also in the forest
< 1726411805 631376 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :b_jonas wow. ...why tho?
< 1726411812 930772 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I was experimenting a lot with BCKW combinator calculus recently
< 1726411815 134792 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(with standard definitions from (first-order) rewriting)
< 1726411819 731263 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so the forest has every combinator
< 1726411823 742140 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :or whatever you call i
< 1726411825 270169 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*it
< 1726411840 748667 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :wWwwW: because if you have a few suitable starting birds, as in S and K, and can distinguish at least two birds, then you get a Turing-complete forest to which you can compile any computation
< 1726411849 115707 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :just like SK combinator calculus is neater using I, BCKW combinator calculus is also neater with a couple of extra combinators
< 1726411860 793130 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :so one day we (at least the people in that book) might be able to replace computers with birds
< 1726411869 718331 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lol
< 1726411887 831268 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :one is I, the other is (flip id)
< 1726411905 850273 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :You laugh, but some researchers built a https://en.wikipedia.org/wiki/Billiard-ball_computer out of crabs.
< 1726411922 354813 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :...
< 1726411923 398538 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :why
< 1726411930 577181 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :just fricking why
< 1726411939 513608 :int-e!~noone@int-e.eu PRIVMSG #esolangs :why not?
< 1726411939 911572 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ppl do some weird stuff sometimes ._.
< 1726411941 41100 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Aren't you pumping out dozens of esolangs?
< 1726411948 607809 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true
< 1726411957 746752 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but also
< 1726411971 624990 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :me ∈ ppl
< 1726411984 438820 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :you need the property that you can distinguish two birds otherwise you can never extract any result from the computation,
< 1726411989 2414 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :or am i?*plays Vsauce theme*
< 1726411992 843962 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :anyway, flip can be defined entirely in terms of (flip id) and (.)
< 1726412002 513816 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :my notes say F = A (V V) (A A (A (V A) (A A V))), where F is flip, V is (flip id) and A is (.)
< 1726412021 367071 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :b_jonas so with a good bird identifier and a lot of birds you have somethign TC
< 1726412022 366754 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lol
< 1726412033 433307 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :you can also define id (unsurprisingly), it's A (V V) (A A V)
< 1726412041 175285 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :and you need a suitable basis of starting birds to exists otherwise you could get a boring trivial forest that has just unlmabda v and i which can only do boolean multiplication, though Smullyan actually discusses a few forests that are limited in a more interesting way than just that
< 1726412049 32617 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true
< 1726412060 207087 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :wWwwW: Another way to understand what b_jonas is saying is that the final output of a (halted) computer is merely a projection of its internal state.
< 1726412071 183137 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :agian true
< 1726412086 95280 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i got a full lesson about combinator logic today
< 1726412087 97276 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lol
< 1726412096 942054 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :You don't have to be able to read a combinator from the (finitely) many feathers of a bird, merely a way to describe the bird *in terms of other birds*. Smullyan makes this point.
< 1726412115 152533 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but the really interesting thing is that I think there's enough power to define K like this, too (although I don't have the definition worked out), using a recursive definition of the form K a b c = K (a c) b
< 1726412120 244435 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: the bird forests contain not only halting combinators though, it's really closed to application even if the result of that application is a bird without normal form
< 1726412155 193903 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :although that might need some messing around with evaluation order
< 1726412165 272083 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: Yeah. In that sense, the birds (and combinatory logic) are actually *generalized* computation. They do more than what our physical computers can actually do.
< 1726412168 123992 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ais423: if so then k a b c = k a
< 1726412171 223163 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :perhaps it should be K a b c = K (A a c) b so that a c doesn't go into an infinte loop
< 1726412181 730332 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :right?
< 1726412183 63263 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :wait, no
< 1726412186 824892 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I got it right first time
< 1726412208 364299 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i love how v is recursive
< 1726412209 474044 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so the point is that K a b = a (by definition), so K a b c = a c = K (a c) b
< 1726412212 811663 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :in unlambda
< 1726412220 365623 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :that is why near the end of the book professor Griffin expresses the view that maybe there's a forest that lets you do computations that a Turing-complete computer can't do
< 1726412223 591614 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :right?
< 1726412235 642341 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :b_jonas whyyyyyyyyy
< 1726412244 915861 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :but there's no definite evidence of that forest
< 1726412254 389736 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :why cant we just have TC as being the ,ost powerfull:[
< 1726412256 19366 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lol
< 1726412258 939076 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*most
< 1726412425 423900 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :also Smullyan is careful enough that the book doesn't say anything about the speed of computation with birds. he says that given two birds in a forest you can find their application in the forest, but no time limit for how quickly you can find it, so it's quite possible that a computation that's slow on a computer is also slow using birds.
< 1726412449 848383 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :so there's no reason to think that birds let you do exponentially slow computations quickly.
< 1726412453 782593 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :TC≠fast
< 1726412508 474181 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :right?
< 1726412543 240701 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :specifically to do an application, you first have to sing the name of the argument word to the function bird, it sings back the name of the application result, and then you have to find the bird of that name. any of these steps could take a long time.
> 1726412570 78745 PRIVMSG #esolangs :14[[07BubbleLang/Examples14]]4 N10 02https://esolangs.org/w/index.php?oldid=139449 5* 03PrySigneToFry 5* (+2689) 10Created page with "[[BubbleLang]]  == Simple game == 
 from random import randint print("Copyright by Spectre 2012~2024(C)\nAll right reserved.\n") var a = input("Please Input how many life do you have(If you guessing wrong, your life will be leaves 1): ") if a == ""
< 1726412596 507527 :int-e!~noone@int-e.eu PRIVMSG #esolangs :https://en.wikipedia.org/wiki/Church-Turing_thesis encapsulates the idea that there's no "effective method" more powerful than TC. It's necessarily informal.
> 1726412646 592721 PRIVMSG #esolangs :14[[07BubbleLang14]]4 10 02https://esolangs.org/w/index.php?diff=139450&oldid=139448 5* 03PrySigneToFry 5* (+45) 10
< 1726412649 225414 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :and, like all important questions, there's a lot of different versions of the Church-Turing thesis that you can choose from
< 1726412650 847420 :int-e!~noone@int-e.eu PRIVMSG #esolangs :The support is basically that people have come up with a handful of different abstract-but-realistic models of computation, and they're all equally powerful.
< 1726412709 661700 :int-e!~noone@int-e.eu PRIVMSG #esolangs :We have more powerful models too, often involving various oracles that transcend computable functions.
< 1726412724 674694 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true
< 1726412745 12133 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yep, that's why it's called Church-Turing: Church refers to untyped lambda calculus, while Turing refers to finite control with one writable tape Turing machines, these were found to be equivalently powerful
< 1726412760 411725 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yea
< 1726412761 412504 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ik
< 1726412804 500910 :int-e!~noone@int-e.eu PRIVMSG #esolangs :And then there's whoever is responsible for recursive functions... (Kleene?)
< 1726412859 990775 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(Gödel too; he encoded those in PA.)
< 1726412870 164228 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :David Madore has three different educational families of esolangs illustrating Turing-complete computations and computations more powerful than that
< 1726412881 811050 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :Gödel is very good math person
< 1726412933 687738 :int-e!~noone@int-e.eu PRIVMSG #esolangs :But not the greatest survivor.
< 1726412942 357024 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yes
> 1726412956 414138 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5*  10deleted "[[02BubbleLang/Examples10]]": Copyright violation: apparently copy-paste of a copyrighted program written by someone else
< 1726412963 813172 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1726413024 770933 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139451&oldid=138265 5* 03Ais523 5* (+251) 10/* Copyright violations */ second warning
> 1726413089 93630 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139452&oldid=139451 5* 03PrySigneToFry 5* (+633) 10
> 1726413097 757632 PRIVMSG #esolangs :14[[07BubbleLang14]]4 10 02https://esolangs.org/w/index.php?diff=139453&oldid=139450 5* 03Ais523 5* (-46) 10/* More example */ rm link to deleted page
> 1726413230 996305 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139454&oldid=139452 5* 03PrySigneToFry 5* (+119) 10
> 1726413312 276271 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139455&oldid=139454 5* 03PrySigneToFry 5* (+84) 10
> 1726413339 744512 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139456&oldid=139455 5* 03PrySigneToFry 5* (+0) 10
> 1726413383 546106 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139457&oldid=139456 5* 03PrySigneToFry 5* (+0) 10
> 1726413401 123258 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139458&oldid=139457 5* 03Ais523 5* (+416) 10/* Copyright violations */ if it has a copyright notice that's also a reason to reject it
> 1726413500 981008 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139459&oldid=139458 5* 03PrySigneToFry 5* (+629) 10
< 1726413530 432545 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im bored and i want to make a esolang. any ideas?
> 1726413548 332135 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139460&oldid=139459 5* 03PrySigneToFry 5* (-44) 10Fixed Span Script
< 1726413566 987579 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( go through your pages so far and improve them )
< 1726413577 467108 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
> 1726413594 540636 PRIVMSG #esolangs :14[[07Get there14]]4 10 02https://esolangs.org/w/index.php?diff=139461&oldid=126513 5* 03Yayimhere 5* (-18) 10/* extra things and notes */
> 1726413629 645072 PRIVMSG #esolangs :14[[07Category:Multi-dimensional-languages14]]4 10 02https://esolangs.org/w/index.php?diff=139462&oldid=129072 5* 03PrySigneToFry 5* (-84) 10
> 1726413651 220606 PRIVMSG #esolangs :14[[07Get there14]]4 10 02https://esolangs.org/w/index.php?diff=139463&oldid=139461 5* 03Yayimhere 5* (-1913) 10even I cant understand it now
> 1726413681 677317 PRIVMSG #esolangs :14[[07F uck you14]]4 10 02https://esolangs.org/w/index.php?diff=139464&oldid=139086 5* 03Yayimhere 5* (-2147) 10i don like it
> 1726413698 434064 PRIVMSG #esolangs :14[[07User:Yayimhere14]]4 10 02https://esolangs.org/w/index.php?diff=139465&oldid=139434 5* 03Yayimhere 5* (-31) 10/* esolangs */
> 1726413870 931901 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139466&oldid=139460 5* 03PrySigneToFry 5* (+790) 10
> 1726413888 507327 PRIVMSG #esolangs :14[[07Walls14]]4 10 02https://esolangs.org/w/index.php?diff=139467&oldid=126979 5* 03Yayimhere 5* (-4) 10
> 1726413913 386982 PRIVMSG #esolangs :14[[07S.B.M.F.B14]]4 10 02https://esolangs.org/w/index.php?diff=139468&oldid=126516 5* 03Yayimhere 5* (-2) 10
> 1726413942 648484 PRIVMSG #esolangs :14[[07S.B.M.F.B14]]4 10 02https://esolangs.org/w/index.php?diff=139469&oldid=139468 5* 03Yayimhere 5* (-68) 10
> 1726413949 614254 PRIVMSG #esolangs :14[[07S.B.M.F.B14]]4 10 02https://esolangs.org/w/index.php?diff=139470&oldid=139469 5* 03Yayimhere 5* (-31) 10
> 1726414031 250996 PRIVMSG #esolangs :14[[07Drunkscript14]]4 10 02https://esolangs.org/w/index.php?diff=139471&oldid=127182 5* 03Yayimhere 5* (-1891) 10nonsesical
> 1726414084 193277 PRIVMSG #esolangs :14[[07User:Yayimhere14]]4 10 02https://esolangs.org/w/index.php?diff=139472&oldid=139465 5* 03Yayimhere 5* (-18) 10/* esolangs */
> 1726414162 182968 PRIVMSG #esolangs :14[[07NO(t) MORE(than)14]]4 10 02https://esolangs.org/w/index.php?diff=139473&oldid=136020 5* 03Yayimhere 5* (-91) 10/* examples */
> 1726414166 810487 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139474&oldid=139466 5* 03MihaiEso 5* (+216) 10/* Question */ new section
< 1726414463 587987 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1726414504 334172 PRIVMSG #esolangs :14[[07Gate14]]4 10 02https://esolangs.org/w/index.php?diff=139475&oldid=135604 5* 03Yayimhere 5* (+10) 10
> 1726414559 678888 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139476&oldid=139474 5* 03PrySigneToFry 5* (+737) 10
> 1726414622 545944 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139477&oldid=139476 5* 03MihaiEso 5* (+118) 10/* Question */
> 1726414775 835736 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139478&oldid=139477 5* 03PrySigneToFry 5* (+748) 10
< 1726414782 63190 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i tried
< 1726414785 623055 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and i became tired
< 1726414791 717777 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but i got to do something:)
> 1726414860 525460 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139479&oldid=139478 5* 03MihaiEso 5* (+145) 10/* Question */
> 1726415028 517830 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139480&oldid=139479 5* 03PrySigneToFry 5* (+706) 10
> 1726415057 670395 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5*  10deleted "[[02Category:Multi-dimensional-languages10]]": a) unused/unapproved category; b) there was an attempt to make it a redirect, but redirects in category space don't work properly
< 1726415234 447201 :Thelie!~Thelie@214-110-035-185.ip-addr.vsenet.de JOIN #esolangs Thelie :Thelie
> 1726415440 7286 PRIVMSG #esolangs :14[[07Gift14]]4 10 02https://esolangs.org/w/index.php?diff=139481&oldid=133278 5* 03PrySigneToFry 5* (+119) 10
< 1726415836 602597 :wWwwW!~wWwwW@94.147.203.75 QUIT :Quit: Client closed
> 1726416668 950987 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=139482&oldid=137777 5* 03PrySigneToFry 5* (+771) 10/* Examples for BubbleLang */ new section
> 1726416710 110226 PRIVMSG #esolangs :14[[07248434550814]]4 N10 02https://esolangs.org/w/index.php?oldid=139483 5* 03Tommyaweosme 5* (+1585) 10Created page with "2484345508 is an esolang that is also a rickroll. == commands ==  Never starts line (unless its [])  gonna ever +  ever gonna -  gonna no +- before <>.,cst  xn repeats commands n times  give you up >  let you down <  desert you .  make you cry ,  run around c cl
< 1726418812 332657 :impomatic!~impomatic@host86-155-106-106.range86-155.btcentralplus.com JOIN #esolangs * :[https://web.libera.chat] impomatic
< 1726419455 321894 :impomatic!~impomatic@host86-155-106-106.range86-155.btcentralplus.com QUIT :Ping timeout: 256 seconds
< 1726421285 540218 :ais523!~ais523@user/ais523 QUIT :Quit: quit
> 1726421602 14943 PRIVMSG #esolangs :14[[07Gift14]]4 M10 02https://esolangs.org/w/index.php?diff=139484&oldid=139481 5* 03PythonshellDebugwindow 5* (-119) 10Undo revision [[Special:Diff/139481|139481]] by [[Special:Contributions/PrySigneToFry|PrySigneToFry]] ([[User talk:PrySigneToFry|talk]]): It outputs "coal"; please use the talk page for questions
> 1726421744 758266 PRIVMSG #esolangs :14[[07248434550814]]4 M10 02https://esolangs.org/w/index.php?diff=139485&oldid=139483 5* 03PythonshellDebugwindow 5* (+212) 10Categories
< 1726421869 826063 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1726422148 748865 PRIVMSG #esolangs :14[[07FrontFlip14]]4 M10 02https://esolangs.org/w/index.php?diff=139486&oldid=139438 5* 03PythonshellDebugwindow 5* (+272) 10Categories
< 1726423272 463236 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1726423345 66380 PRIVMSG #esolangs :14[[0713ial14]]4 M10 02https://esolangs.org/w/index.php?diff=139487&oldid=139392 5* 03PythonshellDebugwindow 5* (+56) 10Stub, categories
< 1726426108 31511 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1726426324 871853 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1726430688 873920 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1726431158 556541 PRIVMSG #esolangs :14[[0713ial14]]4 10 02https://esolangs.org/w/index.php?diff=139488&oldid=139487 5* 03Ractangle 5* (+123) 10
> 1726431170 370346 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Ractangle 5*  10moved [[0213ial10]] to [[8ial]]
> 1726431335 137751 PRIVMSG #esolangs :14[[078ial14]]4 10 02https://esolangs.org/w/index.php?diff=139491&oldid=139489 5* 03Ractangle 5* (+35) 10/* Syntax */
> 1726431378 123616 PRIVMSG #esolangs :14[[078ial14]]4 10 02https://esolangs.org/w/index.php?diff=139492&oldid=139491 5* 03Ractangle 5* (+12) 10/* Syntax */
> 1726431469 996521 PRIVMSG #esolangs :14[[078ial14]]4 10 02https://esolangs.org/w/index.php?diff=139493&oldid=139492 5* 03Ractangle 5* (+46) 10/* Syntax */
> 1726431563 751244 PRIVMSG #esolangs :14[[078ial14]]4 10 02https://esolangs.org/w/index.php?diff=139494&oldid=139493 5* 03Ractangle 5* (+67) 10/* Syntax */
> 1726431581 712566 PRIVMSG #esolangs :14[[07User:Squidmanescape14]]4 10 02https://esolangs.org/w/index.php?diff=139495&oldid=137828 5* 03Squidmanescape 5* (+154) 10/* I Don't Know How to Implement Them */
> 1726431633 863052 PRIVMSG #esolangs :14[[078ial14]]4 10 02https://esolangs.org/w/index.php?diff=139496&oldid=139494 5* 03Ractangle 5* (+37) 10/* Syntax */
> 1726434481 457144 PRIVMSG #esolangs :14[[07Pathana14]]4 N10 02https://esolangs.org/w/index.php?oldid=139497 5* 03Squidmanescape 5* (+1738) 10Created page with "Pathana is a programming language which is based on [[Malbolge]].  == Name == In the [https://en.wikipedia.org/wiki/Naraka_(Hinduism)#Number_and_names Manu Smriti], there are 21 levels of hell mentioned, the 17th of which is called Pathana. This name is a referen
> 1726434657 104010 PRIVMSG #esolangs :14[[078ial14]]4 M10 02https://esolangs.org/w/index.php?diff=139498&oldid=139496 5* 03PythonshellDebugwindow 5* (+70) 10Categories
> 1726435969 265726 PRIVMSG #esolangs :14[[07StatiC14]]4 10 02https://esolangs.org/w/index.php?diff=139499&oldid=139094 5* 03Squidmanescape 5* (+31) 10
> 1726435987 654673 PRIVMSG #esolangs :14[[07Pathana14]]4 10 02https://esolangs.org/w/index.php?diff=139500&oldid=139497 5* 03Squidmanescape 5* (+27) 10
< 1726436084 417909 :sprock!~sprock@user/sprock QUIT :Ping timeout: 252 seconds
< 1726436273 268765 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1726437398 928706 :sprock!~sprock@user/sprock JOIN #esolangs sprock :maeve (she/her)
> 1726438101 247952 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Zecav 5*  10New user account
> 1726438835 868445 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=139501&oldid=139166 5* 03Zecav 5* (+294) 10/* Introductions */
< 1726440625 555497 :__monty__!~toonn@user/toonn QUIT :Quit: leaving
< 1726442374 403021 :Thelie!~Thelie@214-110-035-185.ip-addr.vsenet.de QUIT :Ping timeout: 260 seconds
> 1726443748 246507 PRIVMSG #esolangs :14[[07BubbleLang14]]4 10 02https://esolangs.org/w/index.php?diff=139502&oldid=139453 5* 03PrySigneToFry 5* (+131) 10
> 1726444100 541891 PRIVMSG #esolangs :14[[07BubbleLang/Examples14]]4 N10 02https://esolangs.org/w/index.php?oldid=139503 5* 03PrySigneToFry 5* (+957) 10I might I need to re-create it, but I'll not to violate the rule.
> 1726444225 550073 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139504&oldid=139480 5* 03PrySigneToFry 5* (+733) 10
> 1726444308 698835 PRIVMSG #esolangs :14[[07BubbleLang14]]4 10 02https://esolangs.org/w/index.php?diff=139505&oldid=139502 5* 03PrySigneToFry 5* (+80) 10
> 1726444413 983951 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=139506&oldid=139482 5* 03PrySigneToFry 5* (+735) 10/* Is this appropriate? */ new section