00:04:16 -!- mtm has quit (Ping timeout: 252 seconds).
00:06:19 -!- mtm has joined.
00:09:02 -!- amby has quit (Remote host closed the connection).
02:16:35 -!- Ae_ has quit (Quit: Bye).
02:17:57 -!- Ae has joined.
02:38:39 <esolangs> [[WC is a toilet but v, and c are Unlambda operators]] M https://esolangs.org/w/index.php?diff=138926&oldid=138907 * PythonshellDebugwindow * (+143) Categories
03:05:18 -!- X-Scale has quit (Quit: Client closed).
03:11:49 -!- X-Scale has joined.
03:19:40 <esolangs> [[Bouncy Counters]] M https://esolangs.org/w/index.php?diff=138927&oldid=138923 * Ais523 * (+2) /* With five counters */ fix whitespace
03:20:17 -!- ais523 has quit (Quit: quit).
03:22:29 <esolangs> [[Bouncy Counters]] https://esolangs.org/w/index.php?diff=138928&oldid=138927 * Ais523 * (+146) /* Starting and stopping the program */ an important clarification which wasn't previously clear from the page
03:31:18 -!- Lord_of_Life has quit (Ping timeout: 246 seconds).
03:37:00 -!- Lord_of_Life has joined.
04:03:33 -!- X-Scale has quit (Quit: Client closed).
04:06:32 -!- wWwwW has joined.
04:34:54 <esolangs> [[Computational model]] N https://esolangs.org/w/index.php?oldid=138929 * Yayimhere * (+43) Redirected page to [[Category:Computational models]]
04:41:47 <esolangs> [[0x80070050]] https://esolangs.org/w/index.php?diff=138930&oldid=137957 * Yayimhere * (-73) /* examples */
04:42:36 <esolangs> [[0x80070050]] https://esolangs.org/w/index.php?diff=138931&oldid=138930 * Yayimhere * (+9) /* examples */
04:43:12 <esolangs> [[0x80070050]] https://esolangs.org/w/index.php?diff=138932&oldid=138931 * Yayimhere * (+4) /* examples */
04:43:18 <esolangs> [[0x80070050]] https://esolangs.org/w/index.php?diff=138933&oldid=138932 * Yayimhere * (+0) /* examples */
04:44:06 <esolangs> [[0x80070050]] https://esolangs.org/w/index.php?diff=138934&oldid=138933 * Yayimhere * (+78) /* examples */
04:44:37 <esolangs> [[0x80070050]] https://esolangs.org/w/index.php?diff=138935&oldid=138934 * Yayimhere * (+5) /* examples */
04:45:04 <esolangs> [[0x80070050]] https://esolangs.org/w/index.php?diff=138936&oldid=138935 * Yayimhere * (+1) /* syntax */
04:45:22 <esolangs> [[0x80070050]] https://esolangs.org/w/index.php?diff=138937&oldid=138936 * Yayimhere * (+2) /* examples */
04:45:46 <esolangs> [[0x80070050]] https://esolangs.org/w/index.php?diff=138938&oldid=138937 * Yayimhere * (+5) /* examples */
04:50:26 -!- wWwwW has quit (Quit: Client closed).
05:23:18 -!- Deepfriedice has joined.
05:27:13 <esolangs> [[One-Instruction Cyclic Tag]] M https://esolangs.org/w/index.php?diff=138939&oldid=137289 * Ttulka * (+31) /* Debugging */ add Initial string
05:27:50 <esolangs> [[Final Word Of The Day]] https://esolangs.org/w/index.php?diff=138940&oldid=138916 * Yayimhere * (+5)
05:27:51 <esolangs> [[One-Instruction Cyclic Tag]] M https://esolangs.org/w/index.php?diff=138941&oldid=138939 * Ttulka * (-2) /* Debugging */ phrasing
05:29:25 <esolangs> [[One-Instruction Cyclic Tag]] M https://esolangs.org/w/index.php?diff=138942&oldid=138941 * Ttulka * (+16) /* Debugging */ add subtitle
05:30:02 -!- Sgeo has quit (Read error: Connection reset by peer).
05:50:51 <esolangs> [[User:Zzo38/Untitled 5]] https://esolangs.org/w/index.php?diff=138943&oldid=137091 * Zzo38 * (+686) Backward variant
05:55:40 <esolangs> [[User:Zzo38/Untitled 5]] https://esolangs.org/w/index.php?diff=138944&oldid=138943 * Zzo38 * (+5)
06:26:12 <esolangs> [[One-Instruction Cyclic Tag]] https://esolangs.org/w/index.php?diff=138945&oldid=138942 * Ractangle * (+18) /* External resources */
06:26:25 <esolangs> [[One-Instruction Cyclic Tag]] https://esolangs.org/w/index.php?diff=138946&oldid=138945 * Ractangle * (+0) /* External resources */
06:29:32 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=138947&oldid=138753 * Yayimhere * (+56)
06:51:58 -!- craigo has joined.
06:57:23 -!- tromp has joined.
08:21:06 <esolangs> [[U (Ractangle)]] https://esolangs.org/w/index.php?diff=138948&oldid=137497 * Ractangle * (-35) /* Commands */
08:21:25 <esolangs> [[U (Ractangle)]] https://esolangs.org/w/index.php?diff=138949&oldid=138948 * Ractangle * (-13)
08:31:07 <esolangs> [[User:Ractangle]] https://esolangs.org/w/index.php?diff=138950&oldid=138848 * Ractangle * (+34) /* Esolangs */
08:31:39 <esolangs> [[Special:Log/move]] move * Ractangle * moved [[User:Ractangle/TSYALFIC]] to [[NRP]]
08:33:26 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=138953&oldid=138951 * Ractangle * (+77)
08:36:27 <esolangs> [[Final Word Of The Day/PkmnQ]] https://esolangs.org/w/index.php?diff=138954&oldid=138839 * PkmnQ * (+60) /* Execution */
08:56:52 -!- __monty__ has joined.
10:17:03 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=138955&oldid=138953 * Ractangle * (+133)
10:21:27 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=138956&oldid=138955 * Ractangle * (+158) /* Syntax */
10:22:16 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=138957&oldid=138956 * Ractangle * (+19) /* Syntax */
10:32:52 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=138958&oldid=138957 * Ractangle * (+134) /* Syntax */
10:33:12 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=138959&oldid=138958 * Ractangle * (+4) /* Syntax */
11:07:41 -!- wWwwW has joined.
11:12:35 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=138960&oldid=138947 * Yayimhere * (+39) /* turing completeness proof(WIP) */
11:23:45 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=138961&oldid=138960 * Yayimhere * (+373)
11:24:00 <wWwwW> does this proof work?: https://esolangs.org/wiki/X%E2%81%BFx%E2%82%99
11:29:14 <esolangs> [[Yayimhere-like esolang]] https://esolangs.org/w/index.php?diff=138962&oldid=138908 * Yayimhere * (+10) /* examples */ make all example's be title
11:29:24 -!- amby has joined.
11:58:48 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
12:20:14 <wWwwW> idk if its correwct
12:33:11 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=138963&oldid=138961 * Yayimhere * (+24) /* turing completeness proof(WIP) */
12:33:54 -!- amby has quit (Ping timeout: 260 seconds).
12:35:42 <esolangs> [[401]] https://esolangs.org/w/index.php?diff=138964&oldid=137076 * Yayimhere * (+6)
12:47:08 <esolangs> [[Talk:2KWLang]] https://esolangs.org/w/index.php?diff=138965&oldid=129369 * None1 * (+2292) /* Computational class */ Turing completeness proof?
12:49:59 <esolangs> [[Talk:2KWLang]] M https://esolangs.org/w/index.php?diff=138966&oldid=138965 * None1 * (+22) /* Computational class */
12:50:34 <esolangs> [[List of quines]] M https://esolangs.org/w/index.php?diff=138967&oldid=132466 * None1 * (-71) /* 2KWLang */ Quine no longer work in 2KWLang
12:51:30 <esolangs> [[2 Player]] https://esolangs.org/w/index.php?diff=138968&oldid=138904 * Yayimhere * (+179)
12:52:47 <esolangs> [[2KWLang]] https://esolangs.org/w/index.php?diff=138969&oldid=124856 * None1 * (+217)
12:54:28 <esolangs> [[Talk:2KWLang]] M https://esolangs.org/w/index.php?diff=138970&oldid=138966 * None1 * (+3)
12:58:05 -!- dcreager has quit (Read error: Connection reset by peer).
13:16:54 -!- tromp has joined.
13:18:41 <esolangs> [[Talk:Isomorphism]] https://esolangs.org/w/index.php?diff=138971&oldid=138599 * PrySigneToFry * (+652) /* In fact, it isn't the real "Esolang". */ new section
13:20:39 <esolangs> [[Special:Log/newusers]] create * Eugene * New user account
13:21:09 <esolangs> [[Talk:Isomorphism]] https://esolangs.org/w/index.php?diff=138972&oldid=138971 * Yayimhere * (+111) /* In fact, it isn't the real "Esolang". */
13:21:42 <esolangs> [[Minsky machine]] https://esolangs.org/w/index.php?diff=138973&oldid=136431 * None1 * (+13) /* External resources */
13:22:05 <esolangs> [[User talk:Unname4798]] https://esolangs.org/w/index.php?diff=138974&oldid=138750 * PrySigneToFry * (+2) Warring
13:23:50 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=138975&oldid=138672 * Eugene * (+349) /* Introductions */
13:29:34 <esolangs> [[Savage Operator]] N https://esolangs.org/w/index.php?oldid=138976 * Yayimhere * (+785) Created page with "'''Savage Operator''' is a esolang created by [[User:Yayimhere]] inspired by [[Unlambda]] == syntax form == a operator is applied with [[Prefix Notation]] and brackets around a string <code>e</code>: `e* == operators == some of these are represented with [[Lam
13:37:12 <esolangs> [[Talk:Gd auto level]] N https://esolangs.org/w/index.php?oldid=138977 * PrySigneToFry * (+1553) Created page with "== Changed thing and added thing by PSTF == === Suggestion === In fact, trajectory can be marked with , but not "t". === Added commands === # <code><nowiki>"</nowiki></code> will let player to collect all characters to the stack that quoted. # <code><no
13:42:31 <esolangs> [[Special:Log/upload]] upload * None1 * uploaded "[[File:Look.png]]": [[Look!]] logo (cat program)
13:43:10 <esolangs> [[Look!]] https://esolangs.org/w/index.php?diff=138979&oldid=123652 * None1 * (+43)
13:43:21 <esolangs> [[Look!]] https://esolangs.org/w/index.php?diff=138980&oldid=138979 * None1 * (+6)
13:44:36 -!- dcreager has joined.
13:50:40 -!- ManDeJan has quit (Ping timeout: 252 seconds).
13:51:35 <esolangs> [[Joke language list]] https://esolangs.org/w/index.php?diff=138981&oldid=138572 * Dylanbeattie * (+107) Add Rockstar with explanation.
13:51:38 -!- dcreager has quit (Ping timeout: 265 seconds).
13:52:18 -!- ursa-major has quit (Ping timeout: 252 seconds).
13:56:45 <esolangs> [[Istoriya]] N https://esolangs.org/w/index.php?oldid=138982 * Eugene * (+24991) Created page with "'''Istoriya''' is a language based on Ukrainian history lines from External independent evaluation for Ukrainian schools. The language is not [[Turing-complete]]. == Principles == A line is a single command or a single character. First line of a program in Istoriya m
14:00:41 <esolangs> [[Istoriya]] https://esolangs.org/w/index.php?diff=138983&oldid=138982 * Eugene * (+71) categories
14:03:23 <esolangs> [[Aheui]] M https://esolangs.org/w/index.php?diff=138984&oldid=135626 * PrySigneToFry * (+139) If I did wrong, undo this.
14:05:32 -!- ManDeJan has joined.
14:06:47 -!- ursa-major has joined.
14:08:41 -!- Sgeo has joined.
14:14:02 <esolangs> [[User:Yayimhere]] https://esolangs.org/w/index.php?diff=138985&oldid=138891 * Yayimhere * (+22)
14:15:36 -!- dcreager has joined.
14:25:55 -!- amby has joined.
14:30:49 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=138986&oldid=138963 * Yayimhere * (-5) /* turing completeness proof(WIP) */
14:31:10 <wWwwW> sorry for asking agian but. is the proof correct?: https://esolangs.org/wiki/X%E2%81%BFx%E2%82%99#turing_completeness_proof
15:08:57 <sprout> looks like a reduction in the wrong direction to me
15:09:45 <sprout> you don't need to show underload can run your programs since we know that, it's TC
15:10:02 <wWwwW> im trying to show that it is esolang
15:10:18 <sprout> you need to show that your language can run underload, then it's TC, given that underload is TC
15:10:40 <wWwwW> i translated each underload command
15:10:52 <sprout> okay, then it's correct
15:11:08 <sprout> well, the direction is
15:11:36 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=138987&oldid=138986 * Yayimhere * (+1) /* turing completeness proof */
15:12:24 <sprout> but it says 'translation to underload'
15:12:31 <sprout> that's the wrong direction
15:12:52 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=138988&oldid=138987 * Yayimhere * (+2) /* turing completeness proof */
15:16:02 -!- Snufkin has joined.
15:18:21 -!- wWwwW has quit (Quit: Client closed).
15:25:45 -!- wWwwW has joined.
15:25:47 <wWwwW> ooops disconnected
15:26:26 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
15:27:38 <sprout> now you need to show the minimal subset of underload you translated is TC
15:28:01 <wWwwW> its...on the underlaod page
15:29:59 <sprout> ah, you could repeat that
15:30:26 <sprout> anyway, gl. not going to check the argument
15:30:32 <sprout> maybe someone else will
15:30:43 <esolangs> [[User:Eugene]] N https://esolangs.org/w/index.php?oldid=138989 * Eugene * (+363) Created page with "Hello from Ukraine. My interest in esoteric programming is that it can be a nice pun to use a program in such a language in literature or art. Ideally, in Ukrainian one, thus I search languages that use Ukrainian or are verbal language neutral. So far I found only [[
15:32:38 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=138990&oldid=138988 * Yayimhere * (+32) /* turing completeness proof */
15:33:26 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=138991&oldid=138990 * Yayimhere * (+23) /* turing completeness proof */
15:37:14 <esolangs> [[Istoriya]] https://esolangs.org/w/index.php?diff=138992&oldid=138983 * Eugene * (+151)
15:39:55 -!- impomatic has joined.
15:45:04 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=138993&oldid=138959 * Ractangle * (+92)
15:47:30 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=138994&oldid=138993 * Ractangle * (+38) /* Syntax */
15:48:28 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=138995&oldid=138991 * Yayimhere * (+73) /* turing completeness proof */
15:49:09 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=138996&oldid=138994 * Ractangle * (+62)
15:50:21 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=138997&oldid=138995 * Yayimhere * (+6) /* turing completeness proof */
15:57:00 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=138998&oldid=138996 * Ractangle * (+6) /* Examples */
15:57:08 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=138999&oldid=138998 * Ractangle * (-1) /* Examples */
15:59:13 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=139000&oldid=138999 * Ractangle * (+92) /* Syntax */
16:00:44 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=139001&oldid=138997 * Yayimhere * (-8) /* examples */
16:02:37 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=139002&oldid=139001 * Yayimhere * (+58) /* examples */
16:02:51 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=139003&oldid=139002 * Yayimhere * (-1) /* examples */
16:03:45 <esolangs> [[Isomorphism]] https://esolangs.org/w/index.php?diff=139004&oldid=134850 * Corbin * (+73) Add disambiguation here. We may also later want a page for languages which focus on isomorphisms, like Boomerang or Janus.
16:03:47 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=139005&oldid=139003 * Yayimhere * (+24) /* turing completeness proof */
16:09:05 <wWwwW> what computational class do you guys suspect dis to be?: https://esolangs.org/wiki/W)
16:11:32 <korvo> There's not enough information provided. Can the machine even halt?
16:11:59 <wWwwW> but i want to add that
16:12:39 <esolangs> [[W)]] https://esolangs.org/w/index.php?diff=139006&oldid=138883 * Yayimhere * (+43)
16:13:40 <korvo> I'm going to guess that it's decideable in doubly-exponential time.
16:14:04 <wWwwW> i just want to know
16:14:26 <korvo> I could say that I picked a class that isn't practical to test for but is still decidable in order to be infuriating~
16:14:56 <korvo> I think that we can first slide all of the IPs off the board except for those which potentially go infinite, akin to Tarski's quantifier elimination.
16:15:34 <korvo> And then we can use cycle-counting to determine where any infinite loops might happen and then do a sort of exponential boost to force them to converge to a single behavior.
16:15:53 <korvo> This sounds a lot like Tarski's approach to the real numbers, which is also doubly-exponential.
16:16:45 <korvo> Having multiple IPs fundamentally doesn't make this harder, because we can simulate all IPs at once. If they were concurrent then we'd have issues.
16:17:35 <korvo> It might be worth knowing that in the presence of *true* threads, the number of possible orderings of execution is superfactorial in the number of instructions being threaded.
16:18:03 <korvo> It's kind of a jawdropping bound and I don't know anything else quite like it. In that case, I still think it'd be decidable but I have no clue how to quantify the time taken.
16:20:15 <wWwwW> they are concurrent
16:21:01 <korvo> The page doesn't make the small-step behavior clear. On a single step of an emulator, do we handle one IP or all IPs?
16:21:33 <esolangs> [[W)]] https://esolangs.org/w/index.php?diff=139007&oldid=139006 * Yayimhere * (+31)
16:21:53 <korvo> Okay. Then I'm sticking with my first story. That's definitely simpler than if only one IP can run. Threading is very hard to reason about.
16:22:34 <wWwwW> i said all. all pointers are ran at one step
16:24:23 <korvo> Yes, and I'm saying that that means to please ignore the superfactorial guess and consider the doubly-exponential guess instead.
16:24:46 <wWwwW> im still confsed but ok
16:25:14 <korvo> Oh, also, what happens if two IPs intersect?
16:25:28 <wWwwW> i need to specify on page
16:25:51 <wWwwW> the one from left or bottom is moved to the upper left corner of program
16:26:51 <esolangs> [[W)]] https://esolangs.org/w/index.php?diff=139008&oldid=139007 * Yayimhere * (+105)
16:27:43 -!- tromp has joined.
16:29:09 <korvo> It's progress. A lot of these questions will arise naturally if you try implementing your language.
16:29:25 <wWwwW> im stupid and tired
16:29:31 <wWwwW> and i don want to tbh
16:32:33 -!- wWwwW has quit (Quit: Client closed).
16:40:19 <esolangs> [[Larry]] https://esolangs.org/w/index.php?diff=139009&oldid=138838 * ArsenicCatnip * (+538) Added implementation references. Gonna need to clean up the introduction
16:41:17 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
16:49:12 -!- tromp has joined.
16:56:00 -!- wWwwW has joined.
16:57:46 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=139010&oldid=139005 * Yayimhere * (-8) /* turing completeness proof */
16:57:56 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=139011&oldid=139010 * Yayimhere * (+0) /* examples */
16:58:54 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=139012&oldid=139011 * Yayimhere * (+0) /* turing completeness proof */
16:59:43 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=139013&oldid=139012 * Yayimhere * (+14)
17:04:32 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=139014&oldid=138919 * Eugene * (+15) /* I */
17:05:10 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=139015&oldid=139013 * Yayimhere * (+43)
17:05:52 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=139016&oldid=139015 * Yayimhere * (+39) /* syntax */
17:07:24 <esolangs> [[Special:Log/newusers]] create * Sashko875 * New user account
17:07:32 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=139017&oldid=139016 * Yayimhere * (-35) /* examples */
17:08:59 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=139018&oldid=139017 * Yayimhere * (-76) /* examples */
17:09:16 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=139019&oldid=139018 * Yayimhere * (+27) /* syntax */
17:09:37 -!- impomatic has quit (Quit: Client closed).
17:10:40 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=139020&oldid=139019 * Yayimhere * (-15) /* syntax */
17:13:41 -!- impomatic has joined.
17:14:32 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=139021&oldid=139000 * Ractangle * (+27) /* Syntax */
17:15:10 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=139022&oldid=139021 * Ractangle * (+11) /* Truth-machine without loop */
17:15:59 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=139023&oldid=139022 * Ractangle * (+27) /* Examples */
17:17:51 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=139024&oldid=139023 * Ractangle * (+10) /* Syntax */
17:18:19 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=139025&oldid=139024 * Ractangle * (+4) /* Truth-machine without loopCitation neded */
17:18:53 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=139026&oldid=139025 * Ractangle * (-22) /* Syntax */
17:19:14 <esolangs> [[Xx]] https://esolangs.org/w/index.php?diff=139027&oldid=139020 * Yayimhere * (+66)
17:19:45 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=139028&oldid=139026 * Ractangle * (-10) /* Examples */
17:21:27 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=139029&oldid=138975 * Sashko875 * (+119)
17:24:30 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:32:29 -!- impomatic has quit (Quit: Client closed).
17:35:39 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=139030&oldid=139028 * Ractangle * (+27) /* Truth-machine[Citation needed] */
17:37:20 <esolangs> [[Up down up up left]] N https://esolangs.org/w/index.php?oldid=139031 * Yayimhere * (+244) Created page with "{{Lowercase}} '''Up down up up left''' is a esolang created by [[User:Yayimhere]]. its just [[Underload]] but with a single change: <code>^</code> will now just append the top of stack to program the append another <code>^</code> to the program"
17:38:45 -!- tromp has joined.
17:41:05 -!- Deepfriedice has quit (Remote host closed the connection).
17:53:46 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=139032&oldid=139030 * Ractangle * (+42) /* Syntax */
17:54:17 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=139033&oldid=139032 * Ractangle * (+19) /* Syntax */
17:54:50 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=139034&oldid=139033 * Ractangle * (+3) /* Syntax */
18:07:29 -!- wWwwW has quit (Ping timeout: 256 seconds).
19:00:11 -!- craigo has quit (Remote host closed the connection).
19:05:27 <esolangs> [[User:Eugene]] https://esolangs.org/w/index.php?diff=139035&oldid=138989 * Ractangle * (+5)
19:07:48 <esolangs> [[User:Yayimhere]] https://esolangs.org/w/index.php?diff=139036&oldid=138985 * Ractangle * (+25)
19:10:18 <esolangs> [[NRP]] https://esolangs.org/w/index.php?diff=139037&oldid=139034 * Ractangle * (-28) /* Examples */
19:15:26 -!- wWwwW has joined.
19:16:53 -!- wWwwW has quit (Client Quit).
20:11:30 <esolangs> [[MEMORYLEEK]] M https://esolangs.org/w/index.php?diff=139038&oldid=132262 * Aadenboy * (+0) /* Hello, World! Program */ fixed instruction
20:11:42 <esolangs> [[Minsky machine]] M https://esolangs.org/w/index.php?diff=139039&oldid=138973 * PythonshellDebugwindow * (+13) /* External resources */ Wayback
20:54:05 -!- molson has joined.
20:57:53 -!- molson_ has quit (Ping timeout: 252 seconds).
21:42:48 -!- ais523 has joined.
21:49:57 -!- Snufkin has quit (Ping timeout: 276 seconds).
22:00:54 <esolangs> [[Burroughs 5000 assembly language]] N https://esolangs.org/w/index.php?oldid=139040 * Sgeo * (+52) It's esoteric that there exist computers for which there is no assembly language.
22:01:37 <Sgeo> That's... probably not actually suitable for the wiki unless "This language doesn't exist" is a language
22:02:06 <Sgeo> Also the ALGOL variant it used did have a way to specify machine instructions, so... maybe that does count as an assembly language?
22:13:16 <b_jonas> I don't see why there could be articles for nonexistant or even theoretically impossible languages. There are already some joke pages like that, and a proof or even conjecture that some properties can't be combined in a language could be interesting.
22:13:42 <b_jonas> (Plus there's of course the nonexistent https://esolangs.org/wiki/PL/MIX )
22:14:22 <b_jonas> oh, and https://esolangs.org/wiki/Kvikkalkul might be nonexistent
22:15:26 <Sgeo> Someone could in theory create a B5000 assembly language I think, it's just... designed for more high level languages
22:15:59 <esolangs> [[User:B jonas/List]] https://esolangs.org/w/index.php?diff=139041&oldid=137449 * B jonas * (+87) +Kvikkalkul
22:16:46 <b_jonas> Sgeo: sure, and someone could create interpreters for many of the large number of boring languages with short articles here.
22:17:10 <b_jonas> most of them just have a short and often ambiguous description with no examples and no explanation for why it's interesting
22:17:32 <b_jonas> would you count those as nonexistant?
22:19:26 <Sgeo> I want to draw the "existence" line at whether or not there's an unambiguous definition. But I'd guess some real languages have ambiguous definitions. And also someone would try to make a language whose existence is ambiguous, by potentially but not necessarily being well specified
22:19:43 <Sgeo> Maybe a part of the definition relies on an open math problem?
22:20:08 <Sgeo> I bet that already, ehm. Exists. though
22:22:29 <b_jonas> but something close to it using fermat's last conjecture existed somewhere I think
22:24:43 <b_jonas> I can't find it, and I don't think it was done in an interesting way either, so something like that may have potential
22:27:32 <Sgeo> What's the largest twin prime pair we know?
22:27:52 <Sgeo> I... can't promise I'd actually come up with an interesting way of doing things
22:32:05 <b_jonas> I mean, if you want an open math problem, then we have ordinary languages like unlambda that may or may not be able to solve NP-complete problems in polynomial time
22:32:22 <JAA> https://t5k.org/largest.html claims 2996863034895 * 2^1290000 +- 1.
22:32:35 <b_jonas> and they may or may not be able to test graph isomorphism in polynomial time
22:33:16 <b_jonas> (my guess is of course can't solve NP-complete and can solve grpah isomorphism)
22:36:00 <Sgeo> I could do something like say it's a brainfuck derivative where the symbol for "+" for example is log_2 of the largest twin prime center, "-" is log_2 of the second largest
22:36:13 <Sgeo> That feels a bit... trivial
22:41:47 <b_jonas> how I think one language does it is that the source code must contain the solution for a hard problem. how you could do that properly is to require that the source code contains a proof for a hard Ramsey number, because you can validate that quickly, and it's at least guaranteed that a proof exists (though only an exponential-sized proof is guaranteed admittedly).
22:42:53 <b_jonas> and unlike your example, the meaning of the program won't depend on what we have computed so far, the semantics is well-defined in an absolute sense
22:43:59 <b_jonas> btw Sgeo the problem with that brainfuck derivative is that brainfuck is known to be Turing-complete if you can only increment each cell once an never decrement it, so you can program it that way
22:44:40 <Sgeo> I meant "largest that exists". It's an open question if there are a finite number of twin primes. So if there's an infinite number there is no usable language, but there's a possibility to program in it but not known how
22:44:43 -!- __monty__ has quit (Quit: leaving).
22:44:55 <Sgeo> I should look up Ramsey number
22:45:58 <b_jonas> Sgeo: what matters here is that it's something we know how to compute in bounded time in theory, but that bounded time is exponentially large and large enough that it's not feasable on current computers. substitute the proof of who has winning or drawing strategy in chess if you prefer.
22:48:26 <Sgeo> I think you have a different idea of what this language should do than I had
22:55:54 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:59:01 -!- X-Scale has joined.