< 1700352087 830150 :qaziquza!~qaziquza@108-216-110-132.lightspeed.sndgca.sbcglobal.net QUIT :Ping timeout: 256 seconds
< 1700355419 592962 :qaziquza!~qaziquza@108-216-110-132.lightspeed.sndgca.sbcglobal.net JOIN #esolangs * :Anonymous User
< 1700356825 840870 :qaziquza!~qaziquza@108-216-110-132.lightspeed.sndgca.sbcglobal.net QUIT :Quit: qaziquza
< 1700359053 745678 :callforjudgement!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1700359057 971823 :ais523!~ais523@user/ais523 QUIT :Killed (NickServ (GHOST command used by callforjudgement))
< 1700359060 756066 :callforjudgement!~ais523@user/ais523 NICK :ais523
< 1700360263 120043 :callforjudgement!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1700360365 585140 :ais523!~ais523@user/ais523 QUIT :Ping timeout: 255 seconds
< 1700360746 693116 :callforjudgement!~ais523@user/ais523 NICK :ais523
< 1700363328 317007 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1700363460 133733 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Client Quit
< 1700363784 200952 :wpa!uid568065@id-568065.helmsley.irccloud.com JOIN #esolangs WeepingAngel :wpa
> 1700365592 409135 PRIVMSG #esolangs :14[[07User talk:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=119602&oldid=104808 5* 03Aadenboy 5* (+287) 10thanks
> 1700365606 151572 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119603&oldid=119555 5* 03Quito0567 5* (+1) 10
> 1700365619 415407 PRIVMSG #esolangs :14[[07Factorial14]]4 10 02https://esolangs.org/w/index.php?diff=119604&oldid=119081 5* 03Quito0567 5* (+0) 10/* GotoScript */
> 1700365628 251010 PRIVMSG #esolangs :14[[07User:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=119605&oldid=118531 5* 03Aadenboy 5* (-12) 10
> 1700365643 79356 PRIVMSG #esolangs :14[[07User:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=119606&oldid=119605 5* 03Aadenboy 5* (+0) 10
> 1700365660 523083 PRIVMSG #esolangs :14[[07User:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=119607&oldid=119606 5* 03Aadenboy 5* (-4) 10
> 1700365722 381870 PRIVMSG #esolangs :14[[07User:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=119608&oldid=119607 5* 03Aadenboy 5* (+24) 10
> 1700365876 680671 PRIVMSG #esolangs :14[[07User talk:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=119609&oldid=119602 5* 03Aadenboy 5* (+32) 10/* thanks */ link separation + non breaking spaces...
> 1700365894 599457 PRIVMSG #esolangs :14[[07User talk:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=119610&oldid=119609 5* 03Aadenboy 5* (+5) 10/* thanks */ forgot one
> 1700365920 687234 PRIVMSG #esolangs :14[[07User talk:PythonshellDebugwindow14]]4 10 02https://esolangs.org/w/index.php?diff=119611&oldid=119610 5* 03Aadenboy 5* (+14) 10/* thanks */
> 1700366724 647590 PRIVMSG #esolangs :14[[07Template:Py14]]4 N10 02https://esolangs.org/w/index.php?oldid=119612 5* 03Lilchiky 5* (+189) 10Created page with "{{{1}}}
{{py| hello world yoyoyo }}"
> 1700366760 187970 PRIVMSG #esolangs :14[[07Template:Py14]]4 10 02https://esolangs.org/w/index.php?diff=119613&oldid=119612 5* 03Lilchiky 5* (+20) 10
> 1700366959 454963 PRIVMSG #esolangs :14[[07Template talk:Py14]]4 N10 02https://esolangs.org/w/index.php?oldid=119614 5* 03Aadenboy 5* (+326) 10/* ...this is already a thing though? */ new section
< 1700369895 146347 :callforjudgement!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1700369925 771882 :ais523!~ais523@user/ais523 QUIT :Killed (NickServ (GHOST command used by callforjudgement))
< 1700369927 690054 :callforjudgement!~ais523@user/ais523 NICK :ais523
> 1700370789 876138 PRIVMSG #esolangs :14[[07Template talk:Py14]]4 10 02https://esolangs.org/w/index.php?diff=119615&oldid=119614 5* 03Quito0567 5* (+123) 10
> 1700370801 757732 PRIVMSG #esolangs :14[[07Template talk:Py14]]4 10 02https://esolangs.org/w/index.php?diff=119616&oldid=119615 5* 03Quito0567 5* (+6) 10
> 1700372220 528092 PRIVMSG #esolangs :14[[07Right14]]4 N10 02https://esolangs.org/w/index.php?oldid=119617 5* 03D 5* (+1254) 10I'll elaborate later
< 1700372472 229635 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1700372618 414526 PRIVMSG #esolangs :14[[07Right14]]4 10 02https://esolangs.org/w/index.php?diff=119618&oldid=119617 5* 03D 5* (+434) 10
< 1700372750 243007 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Client Quit
> 1700372892 504447 PRIVMSG #esolangs :14[[07SFIN14]]4 N10 02https://esolangs.org/w/index.php?oldid=119619 5* 03Pugalotl 5* (+3807) 10Made a new page for an Esolang
> 1700373542 937962 PRIVMSG #esolangs :14[[07Template:Py14]]4 10 02https://esolangs.org/w/index.php?diff=119620&oldid=119613 5* 03Lilchiky 5* (+772) 10
> 1700373590 118670 PRIVMSG #esolangs :14[[07Template:Py14]]4 M10 02https://esolangs.org/w/index.php?diff=119621&oldid=119620 5* 03Lilchiky 5* (-4) 10code -> pre
> 1700373900 618307 PRIVMSG #esolangs :14[[07Template:Py14]]4 M10 02https://esolangs.org/w/index.php?diff=119622&oldid=119621 5* 03Lilchiky 5* (+0) 10bigger text
> 1700373952 567327 PRIVMSG #esolangs :14[[07Template:Py14]]4 M10 02https://esolangs.org/w/index.php?diff=119623&oldid=119622 5* 03Lilchiky 5* (-61) 10
> 1700374062 728793 PRIVMSG #esolangs :14[[07Template talk:Py14]]4 10 02https://esolangs.org/w/index.php?diff=119624&oldid=119616 5* 03Lilchiky 5* (+120) 10
> 1700374110 856806 PRIVMSG #esolangs :14[[07Template talk:Py14]]4 10 02https://esolangs.org/w/index.php?diff=119625&oldid=119624 5* 03Lilchiky 5* (+26) 10
> 1700374205 657910 PRIVMSG #esolangs :14[[07Template talk:Py14]]4 10 02https://esolangs.org/w/index.php?diff=119626&oldid=119625 5* 03Lilchiky 5* (-9) 10
< 1700374222 167136 :callforjudgement!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1700374227 78388 :ais523!~ais523@user/ais523 QUIT :Killed (NickServ (GHOST command used by callforjudgement))
< 1700374230 483468 :callforjudgement!~ais523@user/ais523 NICK :ais523
> 1700374248 99997 PRIVMSG #esolangs :14[[07Template talk:Py14]]4 10 02https://esolangs.org/w/index.php?diff=119627&oldid=119626 5* 03Lilchiky 5* (+110) 10/* ...this is already a thing though? */
> 1700374306 596893 PRIVMSG #esolangs :14[[07Right14]]4 M10 02https://esolangs.org/w/index.php?diff=119628&oldid=119618 5* 03D 5* (-3) 10Forgot that wiki syntax is different
< 1700374427 508428 :callforjudgement!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1700374466 461663 :ais523!~ais523@user/ais523 NICK :Guest3017
< 1700374466 637987 :Guest3017!~ais523@user/ais523 QUIT :Killed (sodium.libera.chat (Nickname regained by services))
< 1700374466 771357 :callforjudgement!~ais523@user/ais523 NICK :ais523
< 1700375080 509199 :ais523!~ais523@user/ais523 QUIT :Ping timeout: 255 seconds
< 1700375107 765104 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
> 1700375146 266258 PRIVMSG #esolangs :14[[07Template:Py14]]4 10 02https://esolangs.org/w/index.php?diff=119629&oldid=119623 5* 03Lilchiky 5* (+107) 10
> 1700375192 596627 PRIVMSG #esolangs :14[[07User:Lilchiky14]]4 10 02https://esolangs.org/w/index.php?diff=119630&oldid=118174 5* 03Lilchiky 5* (+384) 10proud
< 1700375409 508368 :callforjudgement!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
> 1700375439 514827 PRIVMSG #esolangs :14[[07User:Lilchiky14]]4 M10 02https://esolangs.org/w/index.php?diff=119631&oldid=119630 5* 03Lilchiky 5* (+12) 10/* See also -> External Resources*/
< 1700375547 864893 :ais523!~ais523@user/ais523 QUIT :Ping timeout: 256 seconds
< 1700375556 188204 :callforjudgement!~ais523@user/ais523 NICK :ais523
> 1700375726 564375 PRIVMSG #esolangs :14[[07Template talk:Cd14]]4 N10 02https://esolangs.org/w/index.php?oldid=119632 5* 03Lilchiky 5* (+421) 10/* THE COMPETITOR */ new section
< 1700379472 706315 :ais523!~ais523@user/ais523 QUIT :Quit: quit
< 1700379503 717834 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1700379544 922107 PRIVMSG #esolangs :14[[07Talk:Right14]]4 N10 02https://esolangs.org/w/index.php?oldid=119633 5* 03D 5* (+396) 10Created page with "== Markers == Just realized that you'll need two markers for the language to be Turing-complete, one isn't enough (due to the fact that the queue is circular, and you'll need some way to tell the two unary tapes apart from each other). Anyway, I'm not going to change the la
> 1700379587 872872 PRIVMSG #esolangs :14[[07Talk:Right14]]4 10 02https://esolangs.org/w/index.php?diff=119634&oldid=119633 5* 03D 5* (-93) 10
< 1700382865 799891 :qaziquza!~qaziquza@108-216-110-132.lightspeed.sndgca.sbcglobal.net JOIN #esolangs * :Anonymous User
< 1700384291 860929 :qaziquza!~qaziquza@108-216-110-132.lightspeed.sndgca.sbcglobal.net QUIT :Quit: qaziquza
< 1700385116 892951 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1700388007 48199 PRIVMSG #esolangs :14[[07Talk:C-Shop14]]4 N10 02https://esolangs.org/w/index.php?oldid=119635 5* 03Europe2048 5* (+199) 10Created page with "== 99 Bottles Of Beer == Can someone write a 99 Bottles of Beer in this language? I'm sure it's possible. -~~~~"
< 1700388287 331776 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 264 seconds
< 1700388549 407644 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1700388785 301534 :arseniiv!~arseniiv@193.29.105.187 JOIN #esolangs arseniiv :the chaotic arseniiv
< 1700390115 324144 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1700390192 17238 PRIVMSG #esolangs :14[[0714]]4 N10 02https://esolangs.org/w/index.php?oldid=119636 5* 03ChuckEsoteric08 5* (+2090) 10Created page with "'''''' is a programming language invented by [[User:ChuckEsoteric08]] inspired by [[Quiney]]. ==Specification== It uses infinite array of symbols as memory. It also uses two registers which point to symbols, Interpreter Pointer (IP) and Cell Pointer (CP). IP and CP beg
> 1700390267 547673 PRIVMSG #esolangs :14[[07User:ChuckEsoteric0814]]4 10 02https://esolangs.org/w/index.php?diff=119637&oldid=119572 5* 03ChuckEsoteric08 5* (+28) 10
< 1700391460 763371 :cpressey!~cpressey@host-92-7-220-37.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey
< 1700392086 834238 :Europe2048!~Europe204@partnerless.heel.volia.net JOIN #esolangs * :[https://web.libera.chat] Europe2048
< 1700392088 496236 :Europe2048!~Europe204@partnerless.heel.volia.net PRIVMSG #esolangs :Hi everyone!
< 1700392226 127207 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :Hi Europe2048!
< 1700393290 221121 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :So, here's what's on my mind today. Often, if I'm constructing an expression, I do it from the bottom upwards. I introduce "3", then I introduce "5", then I introduce "+" and in so doing, convert all that to "3+5".
< 1700393313 638125 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :But what about named things? I introduce "3", then I introduce "x", then "+" to get "3+x", and then I introduce "lambda x" to get "lambda x: 3+x".
< 1700393337 171916 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :At the point at which I introduce x I don't know very much about it, it's a so-called "free variable". Only when I introduce "lambda x" do I learn more about it, and that instance of x turns into a "bound variable".
< 1700393352 203143 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :My thought is: maybe if I did these things in a different, non-bottom-up order, I wouldn't have to consider x to be a "free variable" at *any* point. It could start out bound and stay bound.
< 1700393983 985877 :Europe2048!~Europe204@partnerless.heel.volia.net PRIVMSG #esolangs :What are free and bound variables?
< 1700394149 702277 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :Europe2048: In the expression "lambda x: x + y", x is a bound variable and y is a free variable.
< 1700394150 235470 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :x is a bound variable because we can see in the expression where it gets its value from (it's an argument to the lambda function).
< 1700394150 703169 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :y is a free variable because we can't see where it gets its value from.
< 1700394196 737478 :Europe2048!~Europe204@partnerless.heel.volia.net PRIVMSG #esolangs :So for example, in lambda a: a * b, a is a bound variable and y is a free variable, right?
< 1700394204 208135 :Europe2048!~Europe204@partnerless.heel.volia.net PRIVMSG #esolangs :b is a free variable*
< 1700394225 260100 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :Europe2048: Yes.
< 1700394240 373792 :Europe2048!~Europe204@partnerless.heel.volia.net PRIVMSG #esolangs :Are both variables bound in this expression?
< 1700394243 802397 :Europe2048!~Europe204@partnerless.heel.volia.net PRIVMSG #esolangs :lambda ab: a + b
< 1700394298 286530 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :Python would want it to be "lambda a, b: a + b"... but yes.
< 1700394333 930551 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :Both variables are bound in this expression, too:
< 1700394334 482019 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :lambda a: lambda b: a + b
< 1700394342 773297 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :They're bound to different lambdas though.
< 1700394557 110064 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1700394747 961039 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :Anyway, I'm now pretty sure that my earlier thought is not very helpful. Expressions are trees, sometimes you want to traverse them bottom-up, other times you want to traverse them top-down, and either way there is usually some context that you need to keep track of when you do that.
> 1700395660 67558 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Pippoosh 5* 10New user account
> 1700395764 94944 PRIVMSG #esolangs :14[[07SchrderBernstein theorem14]]4 N10 02https://esolangs.org/w/index.php?oldid=119638 5* 03Hakerh400 5* (+2874) 10Publish the article once again. This time decided not to write full formal proof, since it is a waste of time. Instead, posted a proof sketch.
> 1700395824 222745 PRIVMSG #esolangs :14[[07SchrderBernstein theorem14]]4 M10 02https://esolangs.org/w/index.php?diff=119639&oldid=119638 5* 03Hakerh400 5* (-5) 10/* Proof sketch */
< 1700395986 976305 :int-e!~noone@int-e.eu PRIVMSG #esolangs :esolangs: such an odd venue, isn't it...
< 1700396068 238796 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :I do hope the Schroeder-Bernstein theorem has something to do with playing West Side Story on a toy piano.
> 1700396201 552923 PRIVMSG #esolangs :14[[07SchrderBernstein theorem14]]4 10 02https://esolangs.org/w/index.php?diff=119640&oldid=119639 5* 03Hakerh400 5* (+21) 10
< 1700396219 633250 :int-e!~noone@int-e.eu PRIVMSG #esolangs :That page isn't about a language though, it's about the theorem from set theory which apparently they formalized in a proof assistant (they're obviously not the first to do that either)
< 1700396259 816637 :int-e!~noone@int-e.eu PRIVMSG #esolangs :So... meh. Probably a bit better than the 10 millionth Brainfuck clone, but those are on topic.
> 1700396376 242499 PRIVMSG #esolangs :14[[07User:0ptr14]]4 N10 02https://esolangs.org/w/index.php?oldid=119641 5* 030ptr 5* (+893) 10me
> 1700396597 415486 PRIVMSG #esolangs :14[[07SchrderBernstein theorem14]]4 M10 02https://esolangs.org/w/index.php?diff=119642&oldid=119640 5* 03Hakerh400 5* (-200) 10
< 1700396653 369332 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1700396694 929171 PRIVMSG #esolangs :14[[07SchrderBernstein theorem14]]4 M10 02https://esolangs.org/w/index.php?diff=119643&oldid=119642 5* 03Hakerh400 5* (+1) 10
< 1700396948 773174 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1700398015 977699 :wpa!uid568065@id-568065.helmsley.irccloud.com QUIT :Quit: Connection closed for inactivity
< 1700398117 138653 :riv!river@tilde.team/user/river PRIVMSG #esolangs :cpressey: I think you address something very interesting with this
> 1700398930 383273 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Hakerh400 5* 10moved [[02SchrderBernstein theorem10]] to [[User:User:Hakerh400/SchrderBernstein theorem]]: Not directly related to esolangs, so moving to user namespace
> 1700398957 717395 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Hakerh400 5* 10moved [[02User:User:Hakerh400/SchrderBernstein theorem10]] to [[User:Hakerh400/SchrderBernstein theorem]]
> 1700398978 85436 PRIVMSG #esolangs :14[[07Template:Py14]]4 10 02https://esolangs.org/w/index.php?diff=119648&oldid=119629 5* 03Lilchiky 5* (+62) 10new
> 1700399086 553860 PRIVMSG #esolangs :14[[07User:Hakerh40014]]4 10 02https://esolangs.org/w/index.php?diff=119649&oldid=118683 5* 03Hakerh400 5* (+71) 10
> 1700399241 750484 PRIVMSG #esolangs :14[[07Template:Py14]]4 M10 02https://esolangs.org/w/index.php?diff=119650&oldid=119648 5* 03Lilchiky 5* (+267) 10Adding explanation
> 1700399263 360458 PRIVMSG #esolangs :14[[07SchrderBernstein theorem14]]4 10 02https://esolangs.org/w/index.php?diff=119651&oldid=119645 5* 03Hakerh400 5* (-63) 10Moved to user namespace
> 1700399275 840221 PRIVMSG #esolangs :14[[07User:User:Hakerh400/SchrderBernstein theorem14]]4 10 02https://esolangs.org/w/index.php?diff=119652&oldid=119647 5* 03Hakerh400 5* (-58) 10Moved to user namespace
> 1700399364 617105 PRIVMSG #esolangs :14[[07Template:Py14]]4 M10 02https://esolangs.org/w/index.php?diff=119653&oldid=119650 5* 03Lilchiky 5* (+70) 10small note
> 1700400331 82333 PRIVMSG #esolangs :14[[07Template talk:Py14]]4 10 02https://esolangs.org/w/index.php?diff=119654&oldid=119627 5* 03None1 5* (+241) 10/* ...this is already a thing though? */
> 1700400418 53781 PRIVMSG #esolangs :14[[07Talk:C-Shop14]]4 10 02https://esolangs.org/w/index.php?diff=119655&oldid=119635 5* 03None1 5* (+124) 10/* 99 Bottles Of Beer */
> 1700400578 644135 PRIVMSG #esolangs :14[[07In Your JSON14]]4 M10 02https://esolangs.org/w/index.php?diff=119656&oldid=119423 5* 03None1 5* (+1) 10Fixed example
< 1700400591 752769 :Europe2048!~Europe204@partnerless.heel.volia.net QUIT :Quit: Client closed
> 1700401110 823584 PRIVMSG #esolangs :14[[07DoWhileFuck14]]4 N10 02https://esolangs.org/w/index.php?oldid=119657 5* 03None1 5* (+1301) 10Created page with "{{lang|a=User:None1|i=[[brainfuck]]|actually [[brainfuck]] with do-while loops instead of while loops}} ==Commands== DoWhileFuck operates on an array of memory cells, each initially set to zero. There is a [[pointer]], initially pointing to the first memory cell. The
> 1700401129 323457 PRIVMSG #esolangs :14[[07DoWhileFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=119658&oldid=119657 5* 03None1 5* (+2) 10
> 1700401176 293640 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=119659&oldid=119584 5* 03None1 5* (+18) 10/* D */
> 1700401306 405434 PRIVMSG #esolangs :14[[07User:None114]]4 10 02https://esolangs.org/w/index.php?diff=119660&oldid=119527 5* 03None1 5* (+92) 10/* My Esolangs */
> 1700401600 301624 PRIVMSG #esolangs :14[[07Rickroll14]]4 N10 02https://esolangs.org/w/index.php?oldid=119661 5* 03None1 5* (+2098) 10Created page with "{{lang|a=User:None1|i=[[Nope.]]}} It is very simple: every program is a [[Never Gonna Give You Up]] program. ==Examples== ===[[Never Gonna Give You Up]]=== {{n}} ===[[Quine]]=== We're no strangers to love You know the rules and so do I (do I) A full commitment's w
> 1700401632 733563 PRIVMSG #esolangs :14[[07Template:N14]]4 M10 02https://esolangs.org/w/index.php?diff=119662&oldid=78408 5* 03None1 5* (+1) 10
> 1700401698 984628 PRIVMSG #esolangs :14[[07Never Gonna Give You Up14]]4 10 02https://esolangs.org/w/index.php?diff=119663&oldid=119269 5* 03None1 5* (+28) 10/* Implementations */
> 1700401784 436448 PRIVMSG #esolangs :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=119664&oldid=119426 5* 03None1 5* (+82) 10/* General languages */
> 1700401801 434865 PRIVMSG #esolangs :14[[07Rickroll14]]4 10 02https://esolangs.org/w/index.php?diff=119665&oldid=119661 5* 03None1 5* (+31) 10
> 1700401846 204205 PRIVMSG #esolangs :14[[07User:None114]]4 10 02https://esolangs.org/w/index.php?diff=119666&oldid=119660 5* 03None1 5* (+82) 10/* My Esolangs */
> 1700401952 782362 PRIVMSG #esolangs :14[[07Rickroll14]]4 10 02https://esolangs.org/w/index.php?diff=119667&oldid=119665 5* 03None1 5* (+29) 10/* Interpreters */
> 1700402040 931788 PRIVMSG #esolangs :14[[07Fizzbuzz14]]4 M10 02https://esolangs.org/w/index.php?diff=119668&oldid=115854 5* 03None1 5* (+1) 10/* Name */
> 1700402128 527921 PRIVMSG #esolangs :14[[07Never Gonna Give You Up14]]4 10 02https://esolangs.org/w/index.php?diff=119669&oldid=119663 5* 03None1 5* (+49) 10See also
> 1700402136 637638 PRIVMSG #esolangs :14[[07Never Gonna Give You Up14]]4 M10 02https://esolangs.org/w/index.php?diff=119670&oldid=119669 5* 03None1 5* (-1) 10/* See also = */
> 1700402166 891653 PRIVMSG #esolangs :14[[07Fizzbuzz14]]4 10 02https://esolangs.org/w/index.php?diff=119671&oldid=119668 5* 03None1 5* (+35) 10
> 1700402237 445986 PRIVMSG #esolangs :14[[07FizzBuzz14]]4 10 02https://esolangs.org/w/index.php?diff=119672&oldid=119064 5* 03None1 5* (+33) 10/* See also */
> 1700402480 138201 PRIVMSG #esolangs :14[[07Talk:EsoInterpreters14]]4 10 02https://esolangs.org/w/index.php?diff=119673&oldid=50542 5* 03None1 5* (+117) 10/* GraphViz */ new section
< 1700402487 912499 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :riv: I also think it's very interesting but I think the best I could do is to show that the situation can't really be helped.
< 1700403168 679772 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :You could have something that introduces a bound variable and its binder (like "lambda x: x") And then something that transforms an expression with bound variables into a different expression with bound variables. But the best way to do the latter seems to be to, well, use a lambda function.
> 1700403351 109774 PRIVMSG #esolangs :14[[07Right14]]4 M10 02https://esolangs.org/w/index.php?diff=119674&oldid=119628 5* 03D 5* (+11) 10
> 1700403352 263926 PRIVMSG #esolangs :14[[07Meow (None1)14]]4 N10 02https://esolangs.org/w/index.php?oldid=119675 5* 03None1 5* (+18348) 10Added my pre-2023 esolang
> 1700403369 392185 PRIVMSG #esolangs :14[[07Meow (None1)14]]4 M10 02https://esolangs.org/w/index.php?diff=119676&oldid=119675 5* 03None1 5* (-1) 10/* =Interpreter */
> 1700403386 684068 PRIVMSG #esolangs :14[[07Meow (None1)14]]4 M10 02https://esolangs.org/w/index.php?diff=119677&oldid=119676 5* 03None1 5* (-7) 10/* Fibonacci */
> 1700403416 939294 PRIVMSG #esolangs :14[[07Right14]]4 M10 02https://esolangs.org/w/index.php?diff=119678&oldid=119674 5* 03D 5* (-27) 10
> 1700403438 231045 PRIVMSG #esolangs :14[[07Pyline14]]4 10 02https://esolangs.org/w/index.php?diff=119679&oldid=97608 5* 03YufangTSTSU 5* (+2111) 10
< 1700403441 683868 :riv!river@tilde.team/user/river PRIVMSG #esolangs :well there are combinators, then you never have lambda binders
> 1700403452 32249 PRIVMSG #esolangs :14[[07User:None114]]4 10 02https://esolangs.org/w/index.php?diff=119680&oldid=119666 5* 03None1 5* (+181) 10/* My projects about esolangs */
> 1700403484 776811 PRIVMSG #esolangs :14[[07Right14]]4 10 02https://esolangs.org/w/index.php?diff=119681&oldid=119678 5* 03D 5* (+23) 10
> 1700403533 505310 PRIVMSG #esolangs :14[[07Right14]]4 M10 02https://esolangs.org/w/index.php?diff=119682&oldid=119681 5* 03D 5* (-2) 10/* Execution */
> 1700403579 376110 PRIVMSG #esolangs :14[[07Right14]]4 M10 02https://esolangs.org/w/index.php?diff=119683&oldid=119682 5* 03D 5* (-33) 10
> 1700403639 651033 PRIVMSG #esolangs :14[[07Right14]]4 M10 02https://esolangs.org/w/index.php?diff=119684&oldid=119683 5* 03D 5* (-23) 10
> 1700403875 836680 PRIVMSG #esolangs :14[[07Right14]]4 10 02https://esolangs.org/w/index.php?diff=119685&oldid=119684 5* 03D 5* (+7) 10Let's add another marker.
< 1700403949 59170 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :Sure, but with combinators, you've eliminated names entirely, which feels like bypassing the problem rather than addressing it directly (e.g. giving a system in which there are names but they're always bound variables and never free variables.)
> 1700404087 990168 PRIVMSG #esolangs :14[[07Talk:Right14]]4 M10 02https://esolangs.org/w/index.php?diff=119686&oldid=119634 5* 03D 5* (-303) 10/* Markers */
> 1700404134 462207 PRIVMSG #esolangs :14[[07Right14]]4 M10 02https://esolangs.org/w/index.php?diff=119687&oldid=119685 5* 03D 5* (+0) 10
> 1700404232 710818 PRIVMSG #esolangs :14[[07Right14]]4 M10 02https://esolangs.org/w/index.php?diff=119688&oldid=119687 5* 03D 5* (+3) 10/* Dequeue & Skip */
> 1700404468 715966 PRIVMSG #esolangs :14[[07Right14]]4 M10 02https://esolangs.org/w/index.php?diff=119689&oldid=119688 5* 03D 5* (-20) 10
> 1700404487 400115 PRIVMSG #esolangs :14[[07Right14]]4 M10 02https://esolangs.org/w/index.php?diff=119690&oldid=119689 5* 03D 5* (-9) 10/* Turn right */
< 1700404553 583971 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
> 1700404568 571770 PRIVMSG #esolangs :14[[07Right14]]4 10 02https://esolangs.org/w/index.php?diff=119691&oldid=119690 5* 03D 5* (+11) 10/* Turn right */
> 1700404629 136275 PRIVMSG #esolangs :14[[07Right14]]4 M10 02https://esolangs.org/w/index.php?diff=119692&oldid=119691 5* 03D 5* (-10) 10/* Dequeue & Skip */
< 1700407741 224354 :ais523!~ais523@user/ais523 QUIT :Remote host closed the connection
< 1700408071 507238 :callforjudgement!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1700408085 704921 :callforjudgement!~ais523@user/ais523 NICK :ais523
< 1700409046 364237 :A_Dragon!A_D@libera/staff/dragon JOIN #esolangs * :Roy Mustang, The Flame Alchemist
< 1700409415 258239 :A_Dragon!A_D@libera/staff/dragon QUIT :Quit: ZNC - https://znc.in
< 1700410180 822876 :ais523!~ais523@user/ais523 QUIT :Ping timeout: 255 seconds
< 1700410193 170193 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
> 1700410619 227443 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119693&oldid=119603 5* 03Quito0567 5* (+26) 10
> 1700410652 721370 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119694&oldid=119693 5* 03Quito0567 5* (+8) 10
> 1700410695 771245 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119695&oldid=119694 5* 03Quito0567 5* (+10) 10
> 1700410759 330341 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119696&oldid=119695 5* 03Quito0567 5* (+37) 10
> 1700410830 440158 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119697&oldid=119696 5* 03Quito0567 5* (+18) 10
> 1700410849 164281 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119698&oldid=119697 5* 03Quito0567 5* (-1) 10
> 1700410877 284413 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119699&oldid=119698 5* 03Quito0567 5* (+20) 10
> 1700410931 571313 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119700&oldid=119699 5* 03Quito0567 5* (+10) 10
> 1700411102 972256 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119701&oldid=119700 5* 03Quito0567 5* (+12) 10
< 1700411409 992268 :FreeFull!~freefull@46.205.214.241.nat.ftth.dynamic.t-mobile.pl QUIT :Ping timeout: 256 seconds
< 1700411759 91043 :ais523!~ais523@user/ais523 QUIT :Ping timeout: 264 seconds
< 1700411781 522017 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
> 1700411795 141422 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119702&oldid=119701 5* 03Quito0567 5* (+61) 10
< 1700411983 604375 :cpressey!~cpressey@host-92-7-220-37.as13285.net PRIVMSG #esolangs :"You've tried OCaml (Objective Caml), now try SCaml (Subjective Caml). The great thing about SCaml is that, at the end of the day, the meaning of a program is really up to you!"
> 1700413422 929743 PRIVMSG #esolangs :14[[07Incrementing machine14]]4 N10 02https://esolangs.org/w/index.php?oldid=119703 5* 03ChuckEsoteric08 5* (+1414) 10Created page with "'''Incrementing machine''' is a variation of Minsky machine discovered by [[User:ChuckEsoteric08]]. Unlike any other counter machines it can only increment registers, but not decrementing or setting them to 0. It was discovered while author was work
> 1700413629 829283 PRIVMSG #esolangs :14[[07Incrementing machine14]]4 10 02https://esolangs.org/w/index.php?diff=119704&oldid=119703 5* 03ChuckEsoteric08 5* (-2) 10
> 1700414048 33187 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Arshavir mirzakhani 5* 10New user account
< 1700416243 69137 :int-e!~noone@int-e.eu PRIVMSG #esolangs :cpressey: But I wanted a dromdary.
< 1700416402 869175 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :int-e: you'll have to ask the perl folks for one
< 1700416493 395037 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I think they have a full dromedary.
< 1700416525 573078 :ais523!~ais523@user/ais523 QUIT :Ping timeout: 255 seconds
< 1700417768 872165 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1700419679 855746 :ais523!~ais523@user/ais523 QUIT :Ping timeout: 256 seconds
< 1700419708 578602 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
> 1700421542 562440 PRIVMSG #esolangs :14[[07Grow Tree14]]4 10 02https://esolangs.org/w/index.php?diff=119705&oldid=111868 5* 03Squidmanescape 5* (+47) 10Is this Turing-complete?
< 1700422502 749170 :cpressey!~cpressey@host-92-7-220-37.as13285.net QUIT :Ping timeout: 250 seconds
< 1700423551 748988 :cpressey!~cpressey@host-92-21-196-138.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey
> 1700424370 567781 PRIVMSG #esolangs :14[[07Minitree14]]4 10 02https://esolangs.org/w/index.php?diff=119706&oldid=119358 5* 03Squidmanescape 5* (+106) 10
< 1700425673 767073 :Europe2048!~Europe204@partnerless.heel.volia.net JOIN #esolangs * :[https://web.libera.chat] Europe2048
< 1700428355 117886 :arseniiv!~arseniiv@193.29.105.187 QUIT :Ping timeout: 263 seconds
< 1700428382 515922 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1700433261 425145 :Europe2048!~Europe204@partnerless.heel.volia.net QUIT :Quit: Client closed
< 1700433572 406147 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1700435002 68037 PRIVMSG #esolangs :14[[07Incrementing machine14]]4 10 02https://esolangs.org/w/index.php?diff=119707&oldid=119704 5* 03None1 5* (+34) 10/* Computational class */
> 1700438081 388290 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Hi 5* 10New user account