< 1705018048 79616 :Koen_!~Koen@2a01:e34:ec7c:30:d8ef:7eda:5a26:14d8 QUIT :Quit: Leaving... < 1705022837 654382 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 240 seconds < 1705022841 959131 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1705022924 415791 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life > 1705023297 651963 PRIVMSG #esolangs :14[[07Spider solitaire14]]4 M10 02https://esolangs.org/w/index.php?diff=121883&oldid=96975 5* 03PythonshellDebugwindow 5* (+9) 10Category > 1705026475 602673 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Loganz 5* 10New user account > 1705026634 530743 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=121884&oldid=121877 5* 03Loganz 5* (+125) 10/* Introductions */ > 1705026757 572721 PRIVMSG #esolangs :14[[07Befunge14]]4 10 02https://esolangs.org/w/index.php?diff=121885&oldid=121048 5* 03Loganz 5* (+57) 10Add a shorter non-reversed hello world example > 1705028508 779734 PRIVMSG #esolangs :14[[07User:PinkysWorld/14]]4 N10 02https://esolangs.org/w/index.php?oldid=121886 5* 03PinkysWorld 5* (+95) 10Created page with "You decided to type a slash in front of my username to see if anything would happen.
Why?" > 1705028529 962121 PRIVMSG #esolangs :14[[07User:PinkysWorld14]]4 M10 02https://esolangs.org/w/index.php?diff=121887&oldid=96254 5* 03PinkysWorld 5* (-4) 10 < 1705044290 786141 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`le//rn schwartzian//In 1987, Yogurt introduced a better way to rank Schwartz users: Rather than holding an annual tournament, users would take a series of standardized tests adminstered by official Schwartz centers, and would then be ranked according to the results. This lead to the Schwartzian transform because it allowed many more users to be ranked. < 1705044295 496431 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Learned 'schwartzian': In 1987, Yogurt introduced a better way to rank Schwartz users: Rather than holding an annual tournament, users would take a series of standardized tests adminstered by official Schwartz centers, and would then be ranked according to the results. This lead to the Schwartzian transform because it allowed many more users to be ranked. < 1705044483 497853 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`" < 1705044485 237738 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :1/1:1028) I'm glad I quit programming to take up listening to numbers stations \ 19) so i can only conclude that it is flawed, or the world is utterly bonkers < 1705046137 69668 :slavfox!~slavfox@93.158.232.111 QUIT :Quit: ZNC 1.8.2 - https://znc.in < 1705046247 770711 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1705046383 764542 :slavfox!~slavfox@93.158.232.111 JOIN #esolangs slavfox :slavfox < 1705050987 606631 :cpressey!~cpressey@host-92-10-144-227.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey < 1705051310 716465 :Koen_!~Koen@2a01:e34:ec7c:30:9d8d:95ee:1381:4d36 JOIN #esolangs * :Koen < 1705051313 43909 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1705051430 73874 :Swyrl!sid553797@user/wryl QUIT : > 1705051543 274525 PRIVMSG #esolangs :14[[07Strelnokoff14]]4 M10 02https://esolangs.org/w/index.php?diff=121888&oldid=121858 5* 03Chris Pressey 5* (+4) 10Update links < 1705051715 861856 :Swyrl!sid553797@user/wryl JOIN #esolangs Wryl :Wryl > 1705052352 919153 PRIVMSG #esolangs :14[[07Strelnokoff14]]4 10 02https://esolangs.org/w/index.php?diff=121889&oldid=121888 5* 03Chris Pressey 5* (+730) 10Add "interlock flag" idea, giving more hope that a Minsky machine could be built in Strelnokoff > 1705053515 454671 PRIVMSG #esolangs :14[[07Strelnokoff14]]4 10 02https://esolangs.org/w/index.php?diff=121890&oldid=121889 5* 03Chris Pressey 5* (+144) 10Better info on division and relational operators. > 1705053563 458466 PRIVMSG #esolangs :14[[07Braindrunk14]]4 M10 02https://esolangs.org/w/index.php?diff=121891&oldid=121864 5* 03None1 5* (+13) 10/* Python interpreter */ > 1705053572 11992 PRIVMSG #esolangs :14[[07Braindrunk14]]4 M10 02https://esolangs.org/w/index.php?diff=121892&oldid=121891 5* 03None1 5* (+1) 10/* Python interpreter */ < 1705055352 600447 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( Brainduck is like Ook! but with s/oOk/Quack/g ) < 1705055380 778076 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Ook, not oOk. > 1705055970 348302 PRIVMSG #esolangs :14[[07Strelnokoff14]]4 10 02https://esolangs.org/w/index.php?diff=121893&oldid=121890 5* 03Chris Pressey 5* (-165) 10Re-explain the complications of building a Minsky machine now that I'm more optimistic about it > 1705056263 718460 PRIVMSG #esolangs :14[[07Impossible Script14]]4 10 02https://esolangs.org/w/index.php?diff=121894&oldid=121882 5* 03LEOMOK 5* (+6) 10Fixed mistakes < 1705056290 247856 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1705056293 759063 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1705057024 957379 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown > 1705061254 131202 PRIVMSG #esolangs :14[[07EA Script, It's in the code.14]]4 M10 02https://esolangs.org/w/index.php?diff=121895&oldid=121833 5* 03None1 5* (+20) 10/* Computational class */ < 1705061477 93276 :cpressey!~cpressey@host-92-10-144-227.as13285.net QUIT :Quit: Client closed < 1705067918 605727 :cpressey!~cpressey@host-80-47-1-148.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey > 1705069449 94148 PRIVMSG #esolangs :14[[07Implicit loop brainfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=121896&oldid=111179 5* 03PythonshellDebugwindow 5* (+133) 10Categories < 1705070652 606446 :cpressey!~cpressey@host-80-47-1-148.as13285.net QUIT :Ping timeout: 250 seconds < 1705070774 606217 :cpressey!~cpressey@host-80-47-1-148.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey > 1705071366 88568 PRIVMSG #esolangs :14[[07User talk:Graue14]]4 10 02https://esolangs.org/w/index.php?diff=121897&oldid=86306 5* 03None1 5* (+283) 10/* The Esoteric File Archive */ new section < 1705072784 611953 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1705072785 822706 :cpressey!~cpressey@host-80-47-1-148.as13285.net QUIT :Quit: Client closed < 1705073526 607313 :cpressey!~cpressey@host-80-47-1-148.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey < 1705074247 689497 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :Ah hmm, I just found out about a complexity class I hadn't heard of before - TOWER < 1705074306 262912 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :Normalizing a term in STLC is TOWER-complete < 1705074319 293057 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :and, ELEMENTARY ⊊ TOWER ⊊ PR < 1705074399 821116 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :reference: https://cstheory.stackexchange.com/a/52113 < 1705074681 158700 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas < 1705074691 665792 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :cpressey: is that the same as https://complexityzoo.net/Complexity_Zoo:T#tower ? > 1705075015 938997 PRIVMSG #esolangs :14[[07User:Language14]]4 10 02https://esolangs.org/w/index.php?diff=121898&oldid=80199 5* 03PaxtonPenguin 5* (+25) 10 < 1705075067 688351 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :wib_jonas: They look like they're referring to the same thing to me > 1705075122 108378 PRIVMSG #esolangs :14[[07EA Script, It's in the code.14]]4 10 02https://esolangs.org/w/index.php?diff=121899&oldid=121895 5* 03LEOMOK 5* (+0) 10 < 1705075194 284845 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :"Unlike ELEMENTARY and PR, which have no complete problems..." wait what?  How is evaluating a primitive recursive function not PR-complete? < 1705075323 199413 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :Ehhmm... "technical reasons that make my brain hurt". < 1705075330 819603 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :crpessey: a primitive recursive function has a runtime of O(n↑↑c) for some constant c where n is the input length. if you want to evaluate any primitive recursive function then you need to handle arbitrarily high c, which no primitive recursive program can do, so evaulating a primitive recursive program isn't primitive recursive. < 1705075387 791363 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :mind you, you would think the same about P, since a program in P has runtime bounded by O(n↑c) for some constant c, so that's not a valid argument < 1705075389 618625 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :OK, but, a polynomial time function has a runtime of O(n^c) for some constant c, which can also be arbitrarily high -- but there IS such a thing as P-completeness. < 1705075397 85853 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :jinx. < 1705075406 310393 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :yeah, I don't know < 1705075418 623913 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :guess you'll have to ask ais523, he knows how this works > 1705075426 577899 PRIVMSG #esolangs :14[[07User talk:PaxtonPenguin14]]4 10 02https://esolangs.org/w/index.php?diff=121900&oldid=121852 5* 03PaxtonPenguin 5* (+6019) 10 < 1705075521 912611 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :I think it has something more to do with the fact that completeness relies on reductions and what kind of reductions are allowable depends on the class you're targetting.  (e.g. logspace reductions for P, polytime reductions for NP).  I'm given to understand that PR is "closed under reductions that belong to ELEMENTARY" and the absence of < 1705075522 411653 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :completeness has something to do with that. < 1705075795 130371 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I don't really know how P-complete is defined as in what reductions are allowed < 1705075834 494084 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :NP-completeness just works out very fortunate with the definition where you always reduce one boolean output problem to one boolean output problem with the output not processed < 1705075886 1267 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :but multiple kind of reductions could make sense for some class and it might not be clear which one you want < 1705075927 425894 :Koen_!~Koen@2a01:e34:ec7c:30:9d8d:95ee:1381:4d36 QUIT :Remote host closed the connection < 1705076135 424989 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :More complexity fun: instead of scoffing at the thought that P=NP, you can (thanks to descriptive complexity theory) scoff at the thought that first-order logic with a least fixed point operator can express just as many provable statements as existential second-order logic can. < 1705076512 752738 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :what < 1705076543 274951 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :is that like express if you can choose any language, or express with some specific underlying language like integers with addition and multiplication and exponentiation or something like that < 1705076553 822023 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :also that statement is more opaque and so less scoffworthy < 1705077029 689829 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I mean the question isn't just about what language, but about express as in have an axiom system and what to decide if it's consistent, or just express as in whether the statement is true for the natural numbers with those operations < 1705077231 914633 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :https://en.wikipedia.org/wiki/Descriptive_complexity_theory can probably explain it better than I can.  And yes, the logic version is harder to think about and thus less scoffworthy, but I think the more you're used to logic the easier it is to see it that way.  It's not hard to see that plain SO logic is much more expressive than plain FO logic, < 1705077232 414514 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :for example. And then it's just trying to figure out what those add-ons add. < 1705077488 646852 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :Also, the difficult-to-see-the-scoffworthiness was supposed to be humourous. < 1705077602 402746 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :yeah, in reality neither is scuffworthy because P!=NP is hard to prove < 1705077667 822677 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :also scuffing at it would mean you scuff at the work of cryptographers who try to come up with trap functions that are hard to reverse, at least the part of their work that isn't about side-channels < 1705077680 295486 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :(easy to compute forward and hard to reverse, obviously) < 1705077786 576886 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :P!=NP may be hard to prove, but it's easy to rely on, apparently. < 1705077944 337137 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :ok, I think that's technically not equivalent, the implication only goes backwards, if you scoff at the cryptographers then you scoff at P!=NP too, but not backwards, because the cryptographers want better bounds on how slow the function is to revers than just asymptotic non-polynomial < 1705078333 249592 :Koen_!~Koen@2a01:e34:ec7c:30:74d5:9fdb:483e:ac84 JOIN #esolangs * :Koen > 1705079337 324311 PRIVMSG #esolangs :14[[07Category:No set computational class14]]4 10 02https://esolangs.org/w/index.php?diff=121901&oldid=121826 5* 03LEOMOK 5* (+12) 10 > 1705079361 411249 PRIVMSG #esolangs :14[[07Category:Usability not set14]]4 10 02https://esolangs.org/w/index.php?diff=121902&oldid=121825 5* 03LEOMOK 5* (+12) 10 < 1705079491 277883 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs : How is evaluating a primitive recursive function not PR-complete?  <--- bahhhh!!!  Evaluating a PR function isn't even in PR, so how could it be PR-complete? < 1705079503 618851 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :My brain, it is out of practice on this stuff < 1705079550 702513 :cpressey!~cpressey@host-80-47-1-148.as13285.net PRIVMSG #esolangs :I'm not even sure what I'm interested in anymore. > 1705079583 89296 PRIVMSG #esolangs :14[[07Impossible Script14]]4 10 02https://esolangs.org/w/index.php?diff=121903&oldid=121894 5* 03LEOMOK 5* (-2) 10 < 1705079870 575450 :cpressey!~cpressey@host-80-47-1-148.as13285.net QUIT :Quit: Client closed < 1705080235 123309 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed < 1705080343 39555 :FreeFull!~freefull@46.205.204.193.nat.ftth.dynamic.t-mobile.pl QUIT :Remote host closed the connection < 1705080374 726428 :FreeFull!~freefull@46.205.204.193.nat.ftth.dynamic.t-mobile.pl JOIN #esolangs FreeFull :FreeFull < 1705080976 434785 :FreeFull!~freefull@46.205.204.193.nat.ftth.dynamic.t-mobile.pl QUIT :Quit: rebooting < 1705081052 727462 :FreeFull!~freefull@46.205.204.193.nat.ftth.dynamic.t-mobile.pl JOIN #esolangs FreeFull :FreeFull > 1705082894 773843 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03MaksPV 5* 10New user account < 1705083989 148016 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1705085370 626703 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1705085864 917530 :__monty__!~toonn@user/toonn QUIT :Ping timeout: 252 seconds < 1705086187 709072 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1705086596 985004 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :cpressey: "Evaluating a PR function isn't even in PR" => yes, that's what I said, but also evaluating a polynomial time function isn't even in polynomial time < 1705086614 455023 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :no matter how you encode the functions < 1705086653 66592 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :and yet there is such a thing as P-complete > 1705093232 722333 PRIVMSG #esolangs :14[[07!!14]]4 10 02https://esolangs.org/w/index.php?diff=121904&oldid=120983 5* 03BoundedBeans 5* (+0) 10FIXED TABLE HEADERS TO BE UPPERCASE < 1705093910 25720 :Koen_!~Koen@2a01:e34:ec7c:30:74d5:9fdb:483e:ac84 QUIT :Quit: Leaving... < 1705094171 382602 :__monty__!~toonn@user/toonn QUIT :Quit: leaving > 1705095612 305941 PRIVMSG #esolangs :14[[07Freestajlo14]]4 N10 02https://esolangs.org/w/index.php?oldid=121905 5* 03LEOMOK 5* (+5330) 10Created page with "'''Freestajlo''' is a Turing-complete programming language made by [[User:LEOMOK]]. Its name comes from https://www.youtube.com/watch?v=EygTFFhVBf8, which is the first video uploaded by the music YouTuber Waterflame. It is inspired by other stack-based programming lan > 1705095637 733670 PRIVMSG #esolangs :14[[07Freestajlo14]]4 10 02https://esolangs.org/w/index.php?diff=121906&oldid=121905 5* 03LEOMOK 5* (+1) 10Fixed category section > 1705095655 220061 PRIVMSG #esolangs :14[[07Freestajlo14]]4 10 02https://esolangs.org/w/index.php?diff=121907&oldid=121906 5* 03LEOMOK 5* (+1) 10Another > 1705096006 968677 PRIVMSG #esolangs :14[[07Freestajlo14]]4 10 02https://esolangs.org/w/index.php?diff=121908&oldid=121907 5* 03LEOMOK 5* (+1) 10 > 1705096062 613554 PRIVMSG #esolangs :14[[07Freestajlo14]]4 10 02https://esolangs.org/w/index.php?diff=121909&oldid=121908 5* 03LEOMOK 5* (+52) 10 > 1705096083 778155 PRIVMSG #esolangs :14[[07Threi14]]4 10 02https://esolangs.org/w/index.php?diff=121910&oldid=120676 5* 03Kaveh Yousefi 5* (+325) 10Completed the Hello, World! example in order to replicate the respective message in binary form. > 1705096107 714610 PRIVMSG #esolangs :14[[07Freestajlo14]]4 10 02https://esolangs.org/w/index.php?diff=121911&oldid=121909 5* 03LEOMOK 5* (+30) 10 > 1705096193 345133 PRIVMSG #esolangs :14[[07Threi14]]4 10 02https://esolangs.org/w/index.php?diff=121912&oldid=121910 5* 03Kaveh Yousefi 5* (+6681) 10Added an interpreter implementation in Common Lisp. > 1705096597 452649 PRIVMSG #esolangs :14[[07Threi14]]4 10 02https://esolangs.org/w/index.php?diff=121913&oldid=121912 5* 03Kaveh Yousefi 5* (+289) 10Supplemented an apostille concerning the deviation from Smallfuck on its memory boundaries, as suggested by the truth-machine example, and reformatted the command table. < 1705098425 262754 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1705098728 248470 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1705101087 33384 :A_Dragon!A_D@libera/staff/dragon QUIT :Killed (Stx (We're slaying Dragons. Blame it on the KindOne)) < 1705101101 348418 :A_Dragon!A_D@libera/staff/dragon JOIN #esolangs ad :Roy Mustang, The Flame Alchemist < 1705101468 359156 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…