00:01:27 -!- qaziquza has quit (Ping timeout: 256 seconds). 00:56:59 -!- qaziquza has joined. 01:20:25 -!- qaziquza has quit (Quit: qaziquza). 01:57:33 -!- callforjudgement has joined. 01:57:37 -!- ais523 has quit (Killed (NickServ (GHOST command used by callforjudgement))). 01:57:40 -!- callforjudgement has changed nick to ais523. 02:17:43 -!- callforjudgement has joined. 02:19:25 -!- ais523 has quit (Ping timeout: 255 seconds). 02:25:46 -!- callforjudgement has changed nick to ais523. 03:08:48 -!- tromp has joined. 03:11:00 -!- tromp has quit (Client Quit). 03:16:24 -!- wpa has joined. 03:46:32 [[User talk:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=119602&oldid=104808 * Aadenboy * (+287) thanks 03:46:46 [[GotoScript]] https://esolangs.org/w/index.php?diff=119603&oldid=119555 * Quito0567 * (+1) 03:46:59 [[Factorial]] https://esolangs.org/w/index.php?diff=119604&oldid=119081 * Quito0567 * (+0) /* GotoScript */ 03:47:08 [[User:Aadenboy]] https://esolangs.org/w/index.php?diff=119605&oldid=118531 * Aadenboy * (-12) 03:47:23 [[User:Aadenboy]] https://esolangs.org/w/index.php?diff=119606&oldid=119605 * Aadenboy * (+0) 03:47:40 [[User:Aadenboy]] https://esolangs.org/w/index.php?diff=119607&oldid=119606 * Aadenboy * (-4) 03:48:42 [[User:Aadenboy]] https://esolangs.org/w/index.php?diff=119608&oldid=119607 * Aadenboy * (+24) 03:51:16 [[User talk:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=119609&oldid=119602 * Aadenboy * (+32) /* thanks */ link separation + non breaking spaces... 03:51:34 [[User talk:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=119610&oldid=119609 * Aadenboy * (+5) /* thanks */ forgot one 03:52:00 [[User talk:PythonshellDebugwindow]] https://esolangs.org/w/index.php?diff=119611&oldid=119610 * Aadenboy * (+14) /* thanks */ 04:05:24 [[Template:Py]] N https://esolangs.org/w/index.php?oldid=119612 * Lilchiky * (+189) Created page with "
{{{1}}}
{{py| hello world yoyoyo }}" 04:06:00 [[Template:Py]] https://esolangs.org/w/index.php?diff=119613&oldid=119612 * Lilchiky * (+20) 04:09:19 [[Template talk:Py]] N https://esolangs.org/w/index.php?oldid=119614 * Aadenboy * (+326) /* ...this is already a thing though? */ new section 04:58:15 -!- callforjudgement has joined. 04:58:45 -!- ais523 has quit (Killed (NickServ (GHOST command used by callforjudgement))). 04:58:47 -!- callforjudgement has changed nick to ais523. 05:13:09 [[Template talk:Py]] https://esolangs.org/w/index.php?diff=119615&oldid=119614 * Quito0567 * (+123) 05:13:21 [[Template talk:Py]] https://esolangs.org/w/index.php?diff=119616&oldid=119615 * Quito0567 * (+6) 05:37:00 [[Right]] N https://esolangs.org/w/index.php?oldid=119617 * D * (+1254) I'll elaborate later 05:41:12 -!- tromp has joined. 05:43:38 [[Right]] https://esolangs.org/w/index.php?diff=119618&oldid=119617 * D * (+434) 05:45:50 -!- tromp has quit (Client Quit). 05:48:12 [[SFIN]] N https://esolangs.org/w/index.php?oldid=119619 * Pugalotl * (+3807) Made a new page for an Esolang 05:59:02 [[Template:Py]] https://esolangs.org/w/index.php?diff=119620&oldid=119613 * Lilchiky * (+772) 05:59:50 [[Template:Py]] M https://esolangs.org/w/index.php?diff=119621&oldid=119620 * Lilchiky * (-4) code -> pre 06:05:00 [[Template:Py]] M https://esolangs.org/w/index.php?diff=119622&oldid=119621 * Lilchiky * (+0) bigger text 06:05:52 [[Template:Py]] M https://esolangs.org/w/index.php?diff=119623&oldid=119622 * Lilchiky * (-61) 06:07:42 [[Template talk:Py]] https://esolangs.org/w/index.php?diff=119624&oldid=119616 * Lilchiky * (+120) 06:08:30 [[Template talk:Py]] https://esolangs.org/w/index.php?diff=119625&oldid=119624 * Lilchiky * (+26) 06:10:05 [[Template talk:Py]] https://esolangs.org/w/index.php?diff=119626&oldid=119625 * Lilchiky * (-9) 06:10:22 -!- callforjudgement has joined. 06:10:27 -!- ais523 has quit (Killed (NickServ (GHOST command used by callforjudgement))). 06:10:30 -!- callforjudgement has changed nick to ais523. 06:10:48 [[Template talk:Py]] https://esolangs.org/w/index.php?diff=119627&oldid=119626 * Lilchiky * (+110) /* ...this is already a thing though? */ 06:11:46 [[Right]] M https://esolangs.org/w/index.php?diff=119628&oldid=119618 * D * (-3) Forgot that wiki syntax is different 06:13:47 -!- callforjudgement has joined. 06:14:26 -!- ais523 has changed nick to Guest3017. 06:14:26 -!- Guest3017 has quit (Killed (sodium.libera.chat (Nickname regained by services))). 06:14:26 -!- callforjudgement has changed nick to ais523. 06:24:40 -!- ais523 has quit (Ping timeout: 255 seconds). 06:25:07 -!- ais523 has joined. 06:25:46 [[Template:Py]] https://esolangs.org/w/index.php?diff=119629&oldid=119623 * Lilchiky * (+107) 06:26:32 [[User:Lilchiky]] https://esolangs.org/w/index.php?diff=119630&oldid=118174 * Lilchiky * (+384) proud 06:30:09 -!- callforjudgement has joined. 06:30:39 [[User:Lilchiky]] M https://esolangs.org/w/index.php?diff=119631&oldid=119630 * Lilchiky * (+12) /* See also -> External Resources*/ 06:32:27 -!- ais523 has quit (Ping timeout: 256 seconds). 06:32:36 -!- callforjudgement has changed nick to ais523. 06:35:26 [[Template talk:Cd]] N https://esolangs.org/w/index.php?oldid=119632 * Lilchiky * (+421) /* THE COMPETITOR */ new section 07:37:52 -!- ais523 has quit (Quit: quit). 07:38:23 -!- tromp has joined. 07:39:04 [[Talk:Right]] N https://esolangs.org/w/index.php?oldid=119633 * D * (+396) Created 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 07:39:47 [[Talk:Right]] https://esolangs.org/w/index.php?diff=119634&oldid=119633 * D * (-93) 08:34:25 -!- qaziquza has joined. 08:58:11 -!- qaziquza has quit (Quit: qaziquza). 09:11:56 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 10:00:07 [[Talk:C-Shop]] N https://esolangs.org/w/index.php?oldid=119635 * Europe2048 * (+199) Created page with "== 99 Bottles Of Beer == Can someone write a 99 Bottles of Beer in this language? I'm sure it's possible. -~~~~" 10:04:47 -!- Lord_of_Life has quit (Ping timeout: 264 seconds). 10:09:09 -!- Lord_of_Life has joined. 10:13:05 -!- arseniiv has joined. 10:35:15 -!- tromp has joined. 10:36:32 [[]] N https://esolangs.org/w/index.php?oldid=119636 * ChuckEsoteric08 * (+2090) Created 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 10:37:47 [[User:ChuckEsoteric08]] https://esolangs.org/w/index.php?diff=119637&oldid=119572 * ChuckEsoteric08 * (+28) 10:57:40 -!- cpressey has joined. 11:08:06 -!- Europe2048 has joined. 11:08:08 Hi everyone! 11:10:26 Hi Europe2048! 11:28:10 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". 11:28:33 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". 11:28:57 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". 11:29:12 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. 11:39:43 What are free and bound variables? 11:42:29 Europe2048: In the expression "lambda x: x + y", x is a bound variable and y is a free variable. 11:42:30 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). 11:42:30 y is a free variable because we can't see where it gets its value from. 11:43:16 So for example, in lambda a: a * b, a is a bound variable and y is a free variable, right? 11:43:24 b is a free variable* 11:43:45 Europe2048: Yes. 11:44:00 Are both variables bound in this expression? 11:44:03 lambda ab: a + b 11:44:58 Python would want it to be "lambda a, b: a + b"... but yes. 11:45:33 Both variables are bound in this expression, too: 11:45:34 lambda a: lambda b: a + b 11:45:42 They're bound to different lambdas though. 11:49:17 -!- Sgeo has quit (Read error: Connection reset by peer). 11:52:27 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. 12:07:40 [[Special:Log/newusers]] create * Pippoosh * New user account 12:09:24 [[SchrderBernstein theorem]] N https://esolangs.org/w/index.php?oldid=119638 * Hakerh400 * (+2874) Publish 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. 12:10:24 [[SchrderBernstein theorem]] M https://esolangs.org/w/index.php?diff=119639&oldid=119638 * Hakerh400 * (-5) /* Proof sketch */ 12:13:06 esolangs: such an odd venue, isn't it... 12:14:28 I do hope the Schroeder-Bernstein theorem has something to do with playing West Side Story on a toy piano. 12:16:41 [[SchrderBernstein theorem]] https://esolangs.org/w/index.php?diff=119640&oldid=119639 * Hakerh400 * (+21) 12:16:59 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) 12:17:39 So... meh. Probably a bit better than the 10 millionth Brainfuck clone, but those are on topic. 12:19:36 [[User:0ptr]] N https://esolangs.org/w/index.php?oldid=119641 * 0ptr * (+893) me 12:23:17 [[SchrderBernstein theorem]] M https://esolangs.org/w/index.php?diff=119642&oldid=119640 * Hakerh400 * (-200) 12:24:13 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 12:24:54 [[SchrderBernstein theorem]] M https://esolangs.org/w/index.php?diff=119643&oldid=119642 * Hakerh400 * (+1) 12:29:08 -!- tromp has joined. 12:46:55 -!- wpa has quit (Quit: Connection closed for inactivity). 12:48:37 cpressey: I think you address something very interesting with this 13:02:10 [[Special:Log/move]] move * Hakerh400 * moved [[SchrderBernstein theorem]] to [[User:User:Hakerh400/SchrderBernstein theorem]]: Not directly related to esolangs, so moving to user namespace 13:02:37 [[Special:Log/move]] move * Hakerh400 * moved [[User:User:Hakerh400/SchrderBernstein theorem]] to [[User:Hakerh400/SchrderBernstein theorem]] 13:02:58 [[Template:Py]] https://esolangs.org/w/index.php?diff=119648&oldid=119629 * Lilchiky * (+62) new 13:04:46 [[User:Hakerh400]] https://esolangs.org/w/index.php?diff=119649&oldid=118683 * Hakerh400 * (+71) 13:07:21 [[Template:Py]] M https://esolangs.org/w/index.php?diff=119650&oldid=119648 * Lilchiky * (+267) Adding explanation 13:07:43 [[SchrderBernstein theorem]] https://esolangs.org/w/index.php?diff=119651&oldid=119645 * Hakerh400 * (-63) Moved to user namespace 13:07:55 [[User:User:Hakerh400/SchrderBernstein theorem]] https://esolangs.org/w/index.php?diff=119652&oldid=119647 * Hakerh400 * (-58) Moved to user namespace 13:09:24 [[Template:Py]] M https://esolangs.org/w/index.php?diff=119653&oldid=119650 * Lilchiky * (+70) small note 13:25:31 [[Template talk:Py]] https://esolangs.org/w/index.php?diff=119654&oldid=119627 * None1 * (+241) /* ...this is already a thing though? */ 13:26:58 [[Talk:C-Shop]] https://esolangs.org/w/index.php?diff=119655&oldid=119635 * None1 * (+124) /* 99 Bottles Of Beer */ 13:29:38 [[In Your JSON]] M https://esolangs.org/w/index.php?diff=119656&oldid=119423 * None1 * (+1) Fixed example 13:29:51 -!- Europe2048 has quit (Quit: Client closed). 13:38:30 [[DoWhileFuck]] N https://esolangs.org/w/index.php?oldid=119657 * None1 * (+1301) Created 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 13:38:49 [[DoWhileFuck]] M https://esolangs.org/w/index.php?diff=119658&oldid=119657 * None1 * (+2) 13:39:36 [[Language list]] https://esolangs.org/w/index.php?diff=119659&oldid=119584 * None1 * (+18) /* D */ 13:41:46 [[User:None1]] https://esolangs.org/w/index.php?diff=119660&oldid=119527 * None1 * (+92) /* My Esolangs */ 13:46:40 [[Rickroll]] N https://esolangs.org/w/index.php?oldid=119661 * None1 * (+2098) Created 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
13:47:12  [[Template:N]] M https://esolangs.org/w/index.php?diff=119662&oldid=78408 * None1 * (+1) 
13:48:18  [[Never Gonna Give You Up]]  https://esolangs.org/w/index.php?diff=119663&oldid=119269 * None1 * (+28) /* Implementations */
13:49:44  [[Joke language list]]  https://esolangs.org/w/index.php?diff=119664&oldid=119426 * None1 * (+82) /* General languages */
13:50:01  [[Rickroll]]  https://esolangs.org/w/index.php?diff=119665&oldid=119661 * None1 * (+31) 
13:50:46  [[User:None1]]  https://esolangs.org/w/index.php?diff=119666&oldid=119660 * None1 * (+82) /* My Esolangs */
13:52:32  [[Rickroll]]  https://esolangs.org/w/index.php?diff=119667&oldid=119665 * None1 * (+29) /* Interpreters */
13:54:00  [[Fizzbuzz]] M https://esolangs.org/w/index.php?diff=119668&oldid=115854 * None1 * (+1) /* Name */
13:55:28  [[Never Gonna Give You Up]]  https://esolangs.org/w/index.php?diff=119669&oldid=119663 * None1 * (+49) See also
13:55:36  [[Never Gonna Give You Up]] M https://esolangs.org/w/index.php?diff=119670&oldid=119669 * None1 * (-1) /* See also = */
13:56:06  [[Fizzbuzz]]  https://esolangs.org/w/index.php?diff=119671&oldid=119668 * None1 * (+35) 
13:57:17  [[FizzBuzz]]  https://esolangs.org/w/index.php?diff=119672&oldid=119064 * None1 * (+33) /* See also */
14:01:20  [[Talk:EsoInterpreters]]  https://esolangs.org/w/index.php?diff=119673&oldid=50542 * None1 * (+117) /* GraphViz */ new section
14:01:27  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.
14:12:48  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.
14:15:51  [[Right]] M https://esolangs.org/w/index.php?diff=119674&oldid=119628 * D * (+11) 
14:15:52  [[Meow (None1)]] N https://esolangs.org/w/index.php?oldid=119675 * None1 * (+18348) Added my pre-2023 esolang
14:16:09  [[Meow (None1)]] M https://esolangs.org/w/index.php?diff=119676&oldid=119675 * None1 * (-1) /* =Interpreter */
14:16:26  [[Meow (None1)]] M https://esolangs.org/w/index.php?diff=119677&oldid=119676 * None1 * (-7) /* Fibonacci */
14:16:56  [[Right]] M https://esolangs.org/w/index.php?diff=119678&oldid=119674 * D * (-27) 
14:17:18  [[Pyline]]  https://esolangs.org/w/index.php?diff=119679&oldid=97608 * YufangTSTSU * (+2111) 
14:17:21  well there are combinators, then you never have lambda binders
14:17:32  [[User:None1]]  https://esolangs.org/w/index.php?diff=119680&oldid=119666 * None1 * (+181) /* My projects about esolangs */
14:18:04  [[Right]]  https://esolangs.org/w/index.php?diff=119681&oldid=119678 * D * (+23) 
14:18:53  [[Right]] M https://esolangs.org/w/index.php?diff=119682&oldid=119681 * D * (-2) /* Execution */
14:19:39  [[Right]] M https://esolangs.org/w/index.php?diff=119683&oldid=119682 * D * (-33) 
14:20:39  [[Right]] M https://esolangs.org/w/index.php?diff=119684&oldid=119683 * D * (-23) 
14:24:35  [[Right]]  https://esolangs.org/w/index.php?diff=119685&oldid=119684 * D * (+7) Let's add another marker.
14:25:49  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.)
14:28:07  [[Talk:Right]] M https://esolangs.org/w/index.php?diff=119686&oldid=119634 * D * (-303) /* Markers */
14:28:54  [[Right]] M https://esolangs.org/w/index.php?diff=119687&oldid=119685 * D * (+0) 
14:30:32  [[Right]] M https://esolangs.org/w/index.php?diff=119688&oldid=119687 * D * (+3) /* Dequeue & Skip */
14:34:28  [[Right]] M https://esolangs.org/w/index.php?diff=119689&oldid=119688 * D * (-20) 
14:34:47  [[Right]] M https://esolangs.org/w/index.php?diff=119690&oldid=119689 * D * (-9) /* Turn right */
14:35:53 -!- ais523 has joined.
14:36:08  [[Right]]  https://esolangs.org/w/index.php?diff=119691&oldid=119690 * D * (+11) /* Turn right */
14:37:09  [[Right]] M https://esolangs.org/w/index.php?diff=119692&oldid=119691 * D * (-10) /* Dequeue & Skip */
15:29:01 -!- ais523 has quit (Remote host closed the connection).
15:34:31 -!- callforjudgement has joined.
15:34:45 -!- callforjudgement has changed nick to ais523.
15:50:46 -!- A_Dragon has joined.
15:56:55 -!- A_Dragon has quit (Quit: ZNC - https://znc.in).
16:09:40 -!- ais523 has quit (Ping timeout: 255 seconds).
16:09:53 -!- ais523 has joined.
16:16:59  [[GotoScript]]  https://esolangs.org/w/index.php?diff=119693&oldid=119603 * Quito0567 * (+26) 
16:17:32  [[GotoScript]]  https://esolangs.org/w/index.php?diff=119694&oldid=119693 * Quito0567 * (+8) 
16:18:15  [[GotoScript]]  https://esolangs.org/w/index.php?diff=119695&oldid=119694 * Quito0567 * (+10) 
16:19:19  [[GotoScript]]  https://esolangs.org/w/index.php?diff=119696&oldid=119695 * Quito0567 * (+37) 
16:20:30  [[GotoScript]]  https://esolangs.org/w/index.php?diff=119697&oldid=119696 * Quito0567 * (+18) 
16:20:49  [[GotoScript]]  https://esolangs.org/w/index.php?diff=119698&oldid=119697 * Quito0567 * (-1) 
16:21:17  [[GotoScript]]  https://esolangs.org/w/index.php?diff=119699&oldid=119698 * Quito0567 * (+20) 
16:22:11  [[GotoScript]]  https://esolangs.org/w/index.php?diff=119700&oldid=119699 * Quito0567 * (+10) 
16:25:02  [[GotoScript]]  https://esolangs.org/w/index.php?diff=119701&oldid=119700 * Quito0567 * (+12) 
16:30:09 -!- FreeFull has quit (Ping timeout: 256 seconds).
16:35:59 -!- ais523 has quit (Ping timeout: 264 seconds).
16:36:21 -!- ais523 has joined.
16:36:35  [[GotoScript]]  https://esolangs.org/w/index.php?diff=119702&oldid=119701 * Quito0567 * (+61) 
16:39:43  "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!"
17:03:42  [[Incrementing machine]] N https://esolangs.org/w/index.php?oldid=119703 * ChuckEsoteric08 * (+1414) Created 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
17:07:09  [[Incrementing machine]]  https://esolangs.org/w/index.php?diff=119704&oldid=119703 * ChuckEsoteric08 * (-2) 
17:14:08  [[Special:Log/newusers]] create  * Arshavir mirzakhani *  New user account
17:50:43  cpressey: But I wanted a dromdary.
17:53:22  int-e: you'll have to ask the perl folks for one
17:54:53  I think they have a full dromedary.
17:55:25 -!- ais523 has quit (Ping timeout: 255 seconds).
18:16:08 -!- ais523 has joined.
18:47:59 -!- ais523 has quit (Ping timeout: 256 seconds).
18:48:28 -!- ais523 has joined.
19:19:02  [[Grow Tree]]  https://esolangs.org/w/index.php?diff=119705&oldid=111868 * Squidmanescape * (+47) Is this Turing-complete?
19:35:02 -!- cpressey has quit (Ping timeout: 250 seconds).
19:52:31 -!- cpressey has joined.
20:06:10  [[Minitree]]  https://esolangs.org/w/index.php?diff=119706&oldid=119358 * Squidmanescape * (+106) 
20:27:53 -!- Europe2048 has joined.
21:12:35 -!- arseniiv has quit (Ping timeout: 263 seconds).
21:13:02 -!- Sgeo has joined.
22:34:21 -!- Europe2048 has quit (Quit: Client closed).
22:39:32 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:03:22  [[Incrementing machine]]  https://esolangs.org/w/index.php?diff=119707&oldid=119704 * None1 * (+34) /* Computational class */
23:54:41  [[Special:Log/newusers]] create  * Hi *  New user account