< 1726185856 425976 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net QUIT :Ping timeout: 252 seconds < 1726185979 877889 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net JOIN #esolangs * :Textual User < 1726186142 147477 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Remote host closed the connection < 1726193795 318572 :Ae_!Ae@linux.touz.org QUIT :Quit: Bye < 1726193877 435944 :Ae!Ae@linux.touz.org JOIN #esolangs * :Ae > 1726195119 957817 PRIVMSG #esolangs :14[[07WC is a toilet but v, and c are Unlambda operators14]]4 M10 02https://esolangs.org/w/index.php?diff=138926&oldid=138907 5* 03PythonshellDebugwindow 5* (+143) 10Categories < 1726196718 529670 :X-Scale!~X-Scale@31.22.163.238 QUIT :Quit: Client closed < 1726197109 391697 :X-Scale!~X-Scale@31.22.163.238 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale > 1726197580 492361 PRIVMSG #esolangs :14[[07Bouncy Counters14]]4 M10 02https://esolangs.org/w/index.php?diff=138927&oldid=138923 5* 03Ais523 5* (+2) 10/* With five counters */ fix whitespace < 1726197617 111523 :ais523!~ais523@user/ais523 QUIT :Quit: quit > 1726197749 613620 PRIVMSG #esolangs :14[[07Bouncy Counters14]]4 10 02https://esolangs.org/w/index.php?diff=138928&oldid=138927 5* 03Ais523 5* (+146) 10/* Starting and stopping the program */ an important clarification which wasn't previously clear from the page < 1726198278 499479 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 246 seconds < 1726198620 409247 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1726200213 884689 :X-Scale!~X-Scale@31.22.163.238 QUIT :Quit: Client closed < 1726200392 319512 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW > 1726202094 101538 PRIVMSG #esolangs :14[[07Computational model14]]4 N10 02https://esolangs.org/w/index.php?oldid=138929 5* 03Yayimhere 5* (+43) 10Redirected page to [[Category:Computational models]] > 1726202507 23921 PRIVMSG #esolangs :14[[070x8007005014]]4 10 02https://esolangs.org/w/index.php?diff=138930&oldid=137957 5* 03Yayimhere 5* (-73) 10/* examples */ > 1726202556 523339 PRIVMSG #esolangs :14[[070x8007005014]]4 10 02https://esolangs.org/w/index.php?diff=138931&oldid=138930 5* 03Yayimhere 5* (+9) 10/* examples */ > 1726202592 320398 PRIVMSG #esolangs :14[[070x8007005014]]4 10 02https://esolangs.org/w/index.php?diff=138932&oldid=138931 5* 03Yayimhere 5* (+4) 10/* examples */ > 1726202598 990008 PRIVMSG #esolangs :14[[070x8007005014]]4 10 02https://esolangs.org/w/index.php?diff=138933&oldid=138932 5* 03Yayimhere 5* (+0) 10/* examples */ > 1726202646 97590 PRIVMSG #esolangs :14[[070x8007005014]]4 10 02https://esolangs.org/w/index.php?diff=138934&oldid=138933 5* 03Yayimhere 5* (+78) 10/* examples */ > 1726202677 70973 PRIVMSG #esolangs :14[[070x8007005014]]4 10 02https://esolangs.org/w/index.php?diff=138935&oldid=138934 5* 03Yayimhere 5* (+5) 10/* examples */ > 1726202704 257555 PRIVMSG #esolangs :14[[070x8007005014]]4 10 02https://esolangs.org/w/index.php?diff=138936&oldid=138935 5* 03Yayimhere 5* (+1) 10/* syntax */ > 1726202722 173002 PRIVMSG #esolangs :14[[070x8007005014]]4 10 02https://esolangs.org/w/index.php?diff=138937&oldid=138936 5* 03Yayimhere 5* (+2) 10/* examples */ > 1726202746 679382 PRIVMSG #esolangs :14[[070x8007005014]]4 10 02https://esolangs.org/w/index.php?diff=138938&oldid=138937 5* 03Yayimhere 5* (+5) 10/* examples */ < 1726203026 221691 :wWwwW!~wWwwW@94.147.203.75 QUIT :Quit: Client closed < 1726204998 282684 :Deepfriedice!~Deepfried@117-20-68-42.751444.bne.nbn.aussiebb.net JOIN #esolangs Deepfriedice :realname > 1726205233 669557 PRIVMSG #esolangs :14[[07One-Instruction Cyclic Tag14]]4 M10 02https://esolangs.org/w/index.php?diff=138939&oldid=137289 5* 03Ttulka 5* (+31) 10/* Debugging */ add Initial string > 1726205270 193932 PRIVMSG #esolangs :14[[07Final Word Of The Day14]]4 10 02https://esolangs.org/w/index.php?diff=138940&oldid=138916 5* 03Yayimhere 5* (+5) 10 > 1726205271 702007 PRIVMSG #esolangs :14[[07One-Instruction Cyclic Tag14]]4 M10 02https://esolangs.org/w/index.php?diff=138941&oldid=138939 5* 03Ttulka 5* (-2) 10/* Debugging */ phrasing > 1726205365 886968 PRIVMSG #esolangs :14[[07One-Instruction Cyclic Tag14]]4 M10 02https://esolangs.org/w/index.php?diff=138942&oldid=138941 5* 03Ttulka 5* (+16) 10/* Debugging */ add subtitle < 1726205402 747605 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer > 1726206651 478856 PRIVMSG #esolangs :14[[07User:Zzo38/Untitled 514]]4 10 02https://esolangs.org/w/index.php?diff=138943&oldid=137091 5* 03Zzo38 5* (+686) 10Backward variant > 1726206940 986567 PRIVMSG #esolangs :14[[07User:Zzo38/Untitled 514]]4 10 02https://esolangs.org/w/index.php?diff=138944&oldid=138943 5* 03Zzo38 5* (+5) 10 > 1726208772 394839 PRIVMSG #esolangs :14[[07One-Instruction Cyclic Tag14]]4 10 02https://esolangs.org/w/index.php?diff=138945&oldid=138942 5* 03Ractangle 5* (+18) 10/* External resources */ > 1726208785 828400 PRIVMSG #esolangs :14[[07One-Instruction Cyclic Tag14]]4 10 02https://esolangs.org/w/index.php?diff=138946&oldid=138945 5* 03Ractangle 5* (+0) 10/* External resources */ > 1726208972 450645 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=138947&oldid=138753 5* 03Yayimhere 5* (+56) 10 < 1726210318 425036 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname < 1726210643 687056 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1726215666 994995 PRIVMSG #esolangs :14[[07U (Ractangle)14]]4 10 02https://esolangs.org/w/index.php?diff=138948&oldid=137497 5* 03Ractangle 5* (-35) 10/* Commands */ > 1726215685 271500 PRIVMSG #esolangs :14[[07U (Ractangle)14]]4 10 02https://esolangs.org/w/index.php?diff=138949&oldid=138948 5* 03Ractangle 5* (-13) 10 > 1726216267 887195 PRIVMSG #esolangs :14[[07User:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=138950&oldid=138848 5* 03Ractangle 5* (+34) 10/* Esolangs */ > 1726216299 480626 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Ractangle 5* 10moved [[02User:Ractangle/TSYALFIC10]] to [[NRP]] > 1726216406 435328 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=138953&oldid=138951 5* 03Ractangle 5* (+77) 10 > 1726216587 816692 PRIVMSG #esolangs :14[[07Final Word Of The Day/PkmnQ14]]4 10 02https://esolangs.org/w/index.php?diff=138954&oldid=138839 5* 03PkmnQ 5* (+60) 10/* Execution */ < 1726217812 353083 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown > 1726222623 814768 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=138955&oldid=138953 5* 03Ractangle 5* (+133) 10 > 1726222887 696747 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=138956&oldid=138955 5* 03Ractangle 5* (+158) 10/* Syntax */ > 1726222936 405910 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=138957&oldid=138956 5* 03Ractangle 5* (+19) 10/* Syntax */ > 1726223572 852459 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=138958&oldid=138957 5* 03Ractangle 5* (+134) 10/* Syntax */ > 1726223592 600044 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=138959&oldid=138958 5* 03Ractangle 5* (+4) 10/* Syntax */ < 1726225661 319877 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW > 1726225955 398779 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=138960&oldid=138947 5* 03Yayimhere 5* (+39) 10/* turing completeness proof(WIP) */ > 1726226625 634043 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=138961&oldid=138960 5* 03Yayimhere 5* (+373) 10 < 1726226640 426388 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :does this proof work?: https://esolangs.org/wiki/X%E2%81%BFx%E2%82%99 > 1726226954 397493 PRIVMSG #esolangs :14[[07Yayimhere-like esolang14]]4 10 02https://esolangs.org/w/index.php?diff=138962&oldid=138908 5* 03Yayimhere 5* (+10) 10/* examples */ make all example's be title < 1726226964 805131 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname < 1726228728 178562 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1726228738 718534 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :plz help me < 1726230014 646239 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :idk if its correwct < 1726230028 149616 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*correct > 1726230791 2904 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=138963&oldid=138961 5* 03Yayimhere 5* (+24) 10/* turing completeness proof(WIP) */ < 1726230834 469194 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Ping timeout: 260 seconds > 1726230942 152271 PRIVMSG #esolangs :14[[0740114]]4 10 02https://esolangs.org/w/index.php?diff=138964&oldid=137076 5* 03Yayimhere 5* (+6) 10 > 1726231628 370656 PRIVMSG #esolangs :14[[07Talk:2KWLang14]]4 10 02https://esolangs.org/w/index.php?diff=138965&oldid=129369 5* 03None1 5* (+2292) 10/* Computational class */ Turing completeness proof? > 1726231799 678825 PRIVMSG #esolangs :14[[07Talk:2KWLang14]]4 M10 02https://esolangs.org/w/index.php?diff=138966&oldid=138965 5* 03None1 5* (+22) 10/* Computational class */ > 1726231834 329516 PRIVMSG #esolangs :14[[07List of quines14]]4 M10 02https://esolangs.org/w/index.php?diff=138967&oldid=132466 5* 03None1 5* (-71) 10/* 2KWLang */ Quine no longer work in 2KWLang > 1726231890 332374 PRIVMSG #esolangs :14[[072 Player14]]4 10 02https://esolangs.org/w/index.php?diff=138968&oldid=138904 5* 03Yayimhere 5* (+179) 10 > 1726231967 759076 PRIVMSG #esolangs :14[[072KWLang14]]4 10 02https://esolangs.org/w/index.php?diff=138969&oldid=124856 5* 03None1 5* (+217) 10 > 1726232068 934687 PRIVMSG #esolangs :14[[07Talk:2KWLang14]]4 M10 02https://esolangs.org/w/index.php?diff=138970&oldid=138966 5* 03None1 5* (+3) 10 < 1726232285 727392 :dcreager!a9e780c4d1@2a03:6000:1812:100::136b QUIT :Read error: Connection reset by peer < 1726233414 15630 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1726233521 568366 PRIVMSG #esolangs :14[[07Talk:Isomorphism14]]4 10 02https://esolangs.org/w/index.php?diff=138971&oldid=138599 5* 03PrySigneToFry 5* (+652) 10/* In fact, it isn't the real "Esolang". */ new section > 1726233639 901913 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Eugene 5* 10New user account > 1726233669 530350 PRIVMSG #esolangs :14[[07Talk:Isomorphism14]]4 10 02https://esolangs.org/w/index.php?diff=138972&oldid=138971 5* 03Yayimhere 5* (+111) 10/* In fact, it isn't the real "Esolang". */ > 1726233702 68835 PRIVMSG #esolangs :14[[07Minsky machine14]]4 10 02https://esolangs.org/w/index.php?diff=138973&oldid=136431 5* 03None1 5* (+13) 10/* External resources */ > 1726233725 447437 PRIVMSG #esolangs :14[[07User talk:Unname479814]]4 10 02https://esolangs.org/w/index.php?diff=138974&oldid=138750 5* 03PrySigneToFry 5* (+2) 10Warring > 1726233830 206223 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=138975&oldid=138672 5* 03Eugene 5* (+349) 10/* Introductions */ > 1726234174 65022 PRIVMSG #esolangs :14[[07Savage Operator14]]4 N10 02https://esolangs.org/w/index.php?oldid=138976 5* 03Yayimhere 5* (+785) 10Created 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 e: `e* == operators == some of these are represented with [[Lam > 1726234632 763442 PRIVMSG #esolangs :14[[07Talk:Gd auto level14]]4 N10 02https://esolangs.org/w/index.php?oldid=138977 5* 03PrySigneToFry 5* (+1553) 10Created page with "== Changed thing and added thing by PSTF == === Suggestion === In fact, trajectory can be marked with , but not "t". === Added commands === # " will let player to collect all characters to the stack that quoted. # 1726234951 581467 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03None1 5* 10uploaded "[[02File:Look.png10]]": [[Look!]] logo (cat program) > 1726234990 893643 PRIVMSG #esolangs :14[[07Look!14]]4 10 02https://esolangs.org/w/index.php?diff=138979&oldid=123652 5* 03None1 5* (+43) 10 > 1726235001 681063 PRIVMSG #esolangs :14[[07Look!14]]4 10 02https://esolangs.org/w/index.php?diff=138980&oldid=138979 5* 03None1 5* (+6) 10 < 1726235076 871863 :dcreager!a9e780c4d1@2a03:6000:1812:100::136b JOIN #esolangs dcreager :Douglas Creager < 1726235440 714390 :ManDeJan!3da94070ba@user/mandejan QUIT :Ping timeout: 252 seconds > 1726235495 296547 PRIVMSG #esolangs :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=138981&oldid=138572 5* 03Dylanbeattie 5* (+107) 10Add Rockstar with explanation. < 1726235498 859420 :dcreager!a9e780c4d1@2a03:6000:1812:100::136b QUIT :Ping timeout: 265 seconds < 1726235538 918726 :ursa-major!114efe6c39@2a03:6000:1812:100::11f3 QUIT :Ping timeout: 252 seconds > 1726235805 888442 PRIVMSG #esolangs :14[[07Istoriya14]]4 N10 02https://esolangs.org/w/index.php?oldid=138982 5* 03Eugene 5* (+24991) 10Created 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 > 1726236041 711458 PRIVMSG #esolangs :14[[07Istoriya14]]4 10 02https://esolangs.org/w/index.php?diff=138983&oldid=138982 5* 03Eugene 5* (+71) 10categories > 1726236203 391947 PRIVMSG #esolangs :14[[07Aheui14]]4 M10 02https://esolangs.org/w/index.php?diff=138984&oldid=135626 5* 03PrySigneToFry 5* (+139) 10If I did wrong, undo this. < 1726236332 946371 :ManDeJan!3da94070ba@user/mandejan JOIN #esolangs ManDeJan :ManDeJan < 1726236407 916478 :ursa-major!114efe6c39@2a03:6000:1812:100::11f3 JOIN #esolangs ursa-major :Bailey Bjornstad < 1726236521 873657 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1726236842 736124 PRIVMSG #esolangs :14[[07User:Yayimhere14]]4 10 02https://esolangs.org/w/index.php?diff=138985&oldid=138891 5* 03Yayimhere 5* (+22) 10 < 1726236936 955727 :dcreager!a9e780c4d1@2a03:6000:1812:100::136b JOIN #esolangs dcreager :Douglas Creager < 1726237555 424618 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs * :realname > 1726237849 401674 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=138986&oldid=138963 5* 03Yayimhere 5* (-5) 10/* turing completeness proof(WIP) */ < 1726237870 632733 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :sorry for asking agian but. is the proof correct?: https://esolangs.org/wiki/X%E2%81%BFx%E2%82%99#turing_completeness_proof < 1726240137 836370 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :looks like a reduction in the wrong direction to me < 1726240153 663321 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :why < 1726240154 662691 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wut < 1726240185 266417 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :you don't need to show underload can run your programs since we know that, it's TC < 1726240196 775145 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yea < 1726240202 995962 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im trying to show that it is esolang < 1726240206 301957 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :no < 1726240209 163334 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :that it is TC < 1726240218 912313 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :you need to show that your language can run underload, then it's TC, given that underload is TC < 1726240228 647569 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yes < 1726240231 480461 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :thats what i did < 1726240233 710873 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i think < 1726240234 298129 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :oh < 1726240240 825877 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i translated each underload command < 1726240249 444984 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :to Xⁿxₙ < 1726240252 316019 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :okay, then it's correct < 1726240252 943465 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but idk if its ok < 1726240257 536131 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok! < 1726240268 846011 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :well, the direction is < 1726240276 31077 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :didn't look at detail > 1726240296 12706 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=138987&oldid=138986 5* 03Yayimhere 5* (+1) 10/* turing completeness proof */ < 1726240298 565790 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726240333 794274 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :wiat! < 1726240344 639942 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :but it says 'translation to underload' < 1726240351 361618 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :that's the wrong direction < 1726240354 130474 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait < 1726240357 716956 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fuuuu > 1726240372 804542 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=138988&oldid=138987 5* 03Yayimhere 5* (+2) 10/* turing completeness proof */ < 1726240518 24086 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fixed it < 1726240562 556874 :Snufkin!~ismael@189.217.64.239 JOIN #esolangs * :ismael < 1726240701 3447 :wWwwW!~wWwwW@94.147.203.75 QUIT :Quit: Client closed < 1726241145 320425 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW < 1726241147 76081 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ooops disconnected < 1726241186 664836 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1726241237 875253 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :ah < 1726241258 570807 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :now you need to show the minimal subset of underload you translated is TC < 1726241281 960160 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :its...on the underlaod page < 1726241284 825339 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*load < 1726241399 593590 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :ah, you could repeat that < 1726241408 288647 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true < 1726241426 611521 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :anyway, gl. not going to check the argument < 1726241432 28042 :sprout!~sprout@84-80-106-227.fixed.kpn.net PRIVMSG #esolangs :maybe someone else will < 1726241439 704258 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k > 1726241443 841832 PRIVMSG #esolangs :14[[07User:Eugene14]]4 N10 02https://esolangs.org/w/index.php?oldid=138989 5* 03Eugene 5* (+363) 10Created 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 [[ > 1726241558 919066 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=138990&oldid=138988 5* 03Yayimhere 5* (+32) 10/* turing completeness proof */ > 1726241606 710973 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=138991&oldid=138990 5* 03Yayimhere 5* (+23) 10/* turing completeness proof */ > 1726241834 179995 PRIVMSG #esolangs :14[[07Istoriya14]]4 10 02https://esolangs.org/w/index.php?diff=138992&oldid=138983 5* 03Eugene 5* (+151) 10 < 1726241995 334215 :impomatic!~impomatic@host86-155-106-106.range86-155.btcentralplus.com JOIN #esolangs * :[https://web.libera.chat] impomatic > 1726242304 349935 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=138993&oldid=138959 5* 03Ractangle 5* (+92) 10 > 1726242450 838696 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=138994&oldid=138993 5* 03Ractangle 5* (+38) 10/* Syntax */ > 1726242508 957771 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=138995&oldid=138991 5* 03Yayimhere 5* (+73) 10/* turing completeness proof */ > 1726242549 966448 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=138996&oldid=138994 5* 03Ractangle 5* (+62) 10 > 1726242621 29687 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=138997&oldid=138995 5* 03Yayimhere 5* (+6) 10/* turing completeness proof */ > 1726243020 65834 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=138998&oldid=138996 5* 03Ractangle 5* (+6) 10/* Examples */ > 1726243028 359913 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=138999&oldid=138998 5* 03Ractangle 5* (-1) 10/* Examples */ > 1726243153 781838 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139000&oldid=138999 5* 03Ractangle 5* (+92) 10/* Syntax */ > 1726243244 93491 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139001&oldid=138997 5* 03Yayimhere 5* (-8) 10/* examples */ > 1726243357 905080 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139002&oldid=139001 5* 03Yayimhere 5* (+58) 10/* examples */ > 1726243371 657591 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139003&oldid=139002 5* 03Yayimhere 5* (-1) 10/* examples */ > 1726243425 10347 PRIVMSG #esolangs :14[[07Isomorphism14]]4 10 02https://esolangs.org/w/index.php?diff=139004&oldid=134850 5* 03Corbin 5* (+73) 10Add disambiguation here. We may also later want a page for languages which focus on isomorphisms, like Boomerang or Janus. > 1726243427 616889 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139005&oldid=139003 5* 03Yayimhere 5* (+24) 10/* turing completeness proof */ < 1726243745 156800 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :what computational class do you guys suspect dis to be?: https://esolangs.org/wiki/W) < 1726243892 863389 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :There's not enough information provided. Can the machine even halt? < 1726243910 158750 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait no < 1726243919 273249 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but i want to add that > 1726243959 31752 PRIVMSG #esolangs :14[[07W)14]]4 10 02https://esolangs.org/w/index.php?diff=139006&oldid=138883 5* 03Yayimhere 5* (+43) 10 < 1726243963 74883 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fixed it < 1726244020 277711 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I'm going to guess that it's decideable in doubly-exponential time. < 1726244034 545205 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :why? < 1726244044 62547 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i just want to know < 1726244066 614025 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I could say that I picked a class that isn't practical to test for but is still decidable in order to be infuriating~ < 1726244096 84294 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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. < 1726244134 266517 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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. < 1726244151 535660 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k < 1726244153 32294 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :This sounds a lot like Tarski's approach to the real numbers, which is also doubly-exponential. < 1726244205 171610 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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. < 1726244255 159943 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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. < 1726244283 713951 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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. < 1726244415 412712 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :they are concurrent < 1726244461 894327 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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? < 1726244475 796877 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :all > 1726244493 889161 PRIVMSG #esolangs :14[[07W)14]]4 10 02https://esolangs.org/w/index.php?diff=139007&oldid=139006 5* 03Yayimhere 5* (+31) 10 < 1726244505 322360 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fixed it i think < 1726244513 468939 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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. < 1726244541 702393 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait wut < 1726244554 351361 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i said all. all pointers are ran at one step < 1726244663 776368 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yes, and I'm saying that that means to please ignore the superfactorial guess and consider the doubly-exponential guess instead. < 1726244686 70270 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im still confsed but ok < 1726244688 759107 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*confused < 1726244714 104548 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, also, what happens if two IPs intersect? < 1726244728 212820 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i need to specify on page < 1726244729 712878 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but < 1726244751 622592 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :the one from left or bottom is moved to the upper left corner of program > 1726244811 825398 PRIVMSG #esolangs :14[[07W)14]]4 10 02https://esolangs.org/w/index.php?diff=139008&oldid=139007 5* 03Yayimhere 5* (+105) 10 < 1726244816 86497 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fixed it < 1726244863 839850 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1726244949 879645 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :It's progress. A lot of these questions will arise naturally if you try implementing your language. < 1726244960 529683 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true < 1726244962 793090 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but i cant < 1726244965 990322 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im stupid and tired < 1726244971 525675 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and i don want to tbh < 1726245153 389874 :wWwwW!~wWwwW@94.147.203.75 QUIT :Quit: Client closed > 1726245619 449736 PRIVMSG #esolangs :14[[07Larry14]]4 10 02https://esolangs.org/w/index.php?diff=139009&oldid=138838 5* 03ArsenicCatnip 5* (+538) 10Added implementation references. Gonna need to clean up the introduction < 1726245677 191217 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1726246152 924173 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1726246560 320339 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW > 1726246666 605664 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139010&oldid=139005 5* 03Yayimhere 5* (-8) 10/* turing completeness proof */ > 1726246676 780334 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139011&oldid=139010 5* 03Yayimhere 5* (+0) 10/* examples */ > 1726246734 336253 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139012&oldid=139011 5* 03Yayimhere 5* (+0) 10/* turing completeness proof */ > 1726246783 844903 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139013&oldid=139012 5* 03Yayimhere 5* (+14) 10 > 1726247072 828600 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=139014&oldid=138919 5* 03Eugene 5* (+15) 10/* I */ > 1726247110 152326 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139015&oldid=139013 5* 03Yayimhere 5* (+43) 10 > 1726247152 22216 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139016&oldid=139015 5* 03Yayimhere 5* (+39) 10/* syntax */ > 1726247244 173219 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Sashko875 5* 10New user account > 1726247252 913976 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139017&oldid=139016 5* 03Yayimhere 5* (-35) 10/* examples */ > 1726247339 686750 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139018&oldid=139017 5* 03Yayimhere 5* (-76) 10/* examples */ > 1726247356 264395 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139019&oldid=139018 5* 03Yayimhere 5* (+27) 10/* syntax */ < 1726247377 158340 :impomatic!~impomatic@host86-155-106-106.range86-155.btcentralplus.com QUIT :Quit: Client closed > 1726247440 85962 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139020&oldid=139019 5* 03Yayimhere 5* (-15) 10/* syntax */ < 1726247621 349992 :impomatic!~impomatic@host86-155-106-106.range86-155.btcentralplus.com JOIN #esolangs * :[https://web.libera.chat] impomatic > 1726247672 990046 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139021&oldid=139000 5* 03Ractangle 5* (+27) 10/* Syntax */ > 1726247710 142246 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139022&oldid=139021 5* 03Ractangle 5* (+11) 10/* Truth-machine without loop */ > 1726247759 595827 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139023&oldid=139022 5* 03Ractangle 5* (+27) 10/* Examples */ > 1726247871 427860 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139024&oldid=139023 5* 03Ractangle 5* (+10) 10/* Syntax */ > 1726247899 423373 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139025&oldid=139024 5* 03Ractangle 5* (+4) 10/* Truth-machine without loopCitation neded */ > 1726247933 288443 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139026&oldid=139025 5* 03Ractangle 5* (-22) 10/* Syntax */ > 1726247954 901148 PRIVMSG #esolangs :14[[07Xx14]]4 10 02https://esolangs.org/w/index.php?diff=139027&oldid=139020 5* 03Yayimhere 5* (+66) 10 > 1726247985 148867 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139028&oldid=139026 5* 03Ractangle 5* (-10) 10/* Examples */ > 1726248087 832595 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=139029&oldid=138975 5* 03Sashko875 5* (+119) 10 < 1726248270 144958 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1726248749 635373 :impomatic!~impomatic@host86-155-106-106.range86-155.btcentralplus.com QUIT :Quit: Client closed > 1726248939 566346 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139030&oldid=139028 5* 03Ractangle 5* (+27) 10/* Truth-machine[Citation needed] */ > 1726249040 420363 PRIVMSG #esolangs :14[[07Up down up up left14]]4 N10 02https://esolangs.org/w/index.php?oldid=139031 5* 03Yayimhere 5* (+244) 10Created page with "{{Lowercase}} '''Up down up up left''' is a esolang created by [[User:Yayimhere]]. its just [[Underload]] but with a single change: ^ will now just append the top of stack to program the append another ^ to the program" < 1726249125 252611 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1726249265 272834 :Deepfriedice!~Deepfried@117-20-68-42.751444.bne.nbn.aussiebb.net QUIT :Remote host closed the connection > 1726250026 240585 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139032&oldid=139030 5* 03Ractangle 5* (+42) 10/* Syntax */ > 1726250057 860867 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139033&oldid=139032 5* 03Ractangle 5* (+19) 10/* Syntax */ > 1726250090 842787 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139034&oldid=139033 5* 03Ractangle 5* (+3) 10/* Syntax */ < 1726250849 334073 :wWwwW!~wWwwW@94.147.203.75 QUIT :Ping timeout: 256 seconds < 1726254011 742719 :craigo!~craigo@user/craigo QUIT :Remote host closed the connection > 1726254327 238644 PRIVMSG #esolangs :14[[07User:Eugene14]]4 10 02https://esolangs.org/w/index.php?diff=139035&oldid=138989 5* 03Ractangle 5* (+5) 10 > 1726254468 250046 PRIVMSG #esolangs :14[[07User:Yayimhere14]]4 10 02https://esolangs.org/w/index.php?diff=139036&oldid=138985 5* 03Ractangle 5* (+25) 10 > 1726254618 474994 PRIVMSG #esolangs :14[[07NRP14]]4 10 02https://esolangs.org/w/index.php?diff=139037&oldid=139034 5* 03Ractangle 5* (-28) 10/* Examples */ < 1726254926 320276 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW < 1726255013 582883 :wWwwW!~wWwwW@94.147.203.75 QUIT :Client Quit > 1726258290 566997 PRIVMSG #esolangs :14[[07MEMORYLEEK14]]4 M10 02https://esolangs.org/w/index.php?diff=139038&oldid=132262 5* 03Aadenboy 5* (+0) 10/* Hello, World! Program */ fixed instruction > 1726258302 502031 PRIVMSG #esolangs :14[[07Minsky machine14]]4 M10 02https://esolangs.org/w/index.php?diff=139039&oldid=138973 5* 03PythonshellDebugwindow 5* (+13) 10/* External resources */ Wayback < 1726260845 195743 :molson!~molson@2001-48F8-704A-446-DD22-BAEE-64EB-30E6-dynamic.midco.net JOIN #esolangs molson :realname < 1726261073 153604 :molson_!~molson@2001-48F8-704A-446-8279-9F4D-13F3-127A-dynamic.midco.net QUIT :Ping timeout: 252 seconds < 1726263768 998551 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1726264197 473965 :Snufkin!~ismael@189.217.64.239 QUIT :Ping timeout: 276 seconds > 1726264854 331299 PRIVMSG #esolangs :14[[07Burroughs 5000 assembly language14]]4 N10 02https://esolangs.org/w/index.php?oldid=139040 5* 03Sgeo 5* (+52) 10It's esoteric that there exist computers for which there is no assembly language. < 1726264897 363531 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :That's... probably not actually suitable for the wiki unless "This language doesn't exist" is a language < 1726264926 713493 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Also the ALGOL variant it used did have a way to specify machine instructions, so... maybe that does count as an assembly language? < 1726265596 749257 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :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. < 1726265622 812301 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :(Plus there's of course the nonexistent https://esolangs.org/wiki/PL/MIX ) < 1726265662 121489 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :oh, and https://esolangs.org/wiki/Kvikkalkul might be nonexistent < 1726265726 209500 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Someone could in theory create a B5000 assembly language I think, it's just... designed for more high level languages > 1726265759 559996 PRIVMSG #esolangs :14[[07User:B jonas/List14]]4 10 02https://esolangs.org/w/index.php?diff=139041&oldid=137449 5* 03B jonas 5* (+87) 10+Kvikkalkul < 1726265806 960791 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :Sgeo: sure, and someone could create interpreters for many of the large number of boring languages with short articles here. < 1726265830 302231 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :most of them just have a short and often ambiguous description with no examples and no explanation for why it's interesting < 1726265852 821118 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :would you count those as nonexistant? < 1726265966 238916 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :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 < 1726265983 944278 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Maybe a part of the definition relies on an open math problem? < 1726266008 117064 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :I bet that already, ehm. Exists. though < 1726266056 681347 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :it does < 1726266064 744153 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :wait no < 1726266149 775837 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :but something close to it using fermat's last conjecture existed somewhere I think < 1726266283 866987 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :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 < 1726266452 13323 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :What's the largest twin prime pair we know? < 1726266472 638186 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :I... can't promise I'd actually come up with an interesting way of doing things < 1726266725 47281 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :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 < 1726266742 618247 :JAA!~JAA@user/meow/JAA PRIVMSG #esolangs :https://t5k.org/largest.html claims 2996863034895 * 2^1290000 +- 1. < 1726266755 299738 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :and they may or may not be able to test graph isomorphism in polynomial time < 1726266796 154495 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :(my guess is of course can't solve NP-complete and can solve grpah isomorphism) < 1726266960 299825 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :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 < 1726266973 852614 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :That feels a bit... trivial < 1726267307 738994 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :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). < 1726267373 385080 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :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 < 1726267439 43275 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :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 < 1726267480 645277 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :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 < 1726267483 189103 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1726267495 77174 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :I should look up Ramsey number < 1726267558 515939 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :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. < 1726267706 185566 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :I think you have a different idea of what this language should do than I had < 1726267792 896361 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :probably < 1726268154 811249 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1726271941 395449 :X-Scale!~X-Scale@31.22.161.233 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale