> 1775615251 747331 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03PrincessPandaLovelace 5* 10New user account > 1775615391 722708 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=179106&oldid=179102 5* 03PrincessPandaLovelace 5* (+451) 10/* Introductions */ > 1775615715 108358 PRIVMSG #esolangs :14[[07SonicSaga14]]4 N10 02https://esolangs.org/w/index.php?oldid=179107 5* 03PrincessPandaLovelace 5* (+428) 10Created page with "{{Stub}} {{WIP}} '''SonicSaga''' is an esoteric programming language created by [[User:PrincessPandaLovelace]]. It is themed after the ''[[Wikipedia:Sonic the Hedgehog|Sonic the Hedgehog]]'' video game series. The source code style is based on ''Sonic'' > 1775619796 482517 PRIVMSG #esolangs :14[[07E0ZACH-C+14]]4 10 02https://esolangs.org/w/index.php?diff=179108&oldid=179105 5* 03Dragoneater67mobile 5* (-2) 10esolang, not "estrolang" please > 1775619875 830153 PRIVMSG #esolangs :14[[07E0ZACH-C+14]]4 10 02https://esolangs.org/w/index.php?diff=179109&oldid=179108 5* 03Dragoneater67mobile 5* (+9) 10 < 1775623527 937705 :cactushead!~cactus_he@2403-580d-b040-0-1942-774d-f8a8-6392.ip6.aussiebb.net QUIT :Read error: Connection reset by peer < 1775623546 933387 :cactushead!~cactus_he@2403-580d-b040-0-1942-774d-f8a8-6392.ip6.aussiebb.net JOIN #esolangs cactushead :cactus head > 1775624294 247637 PRIVMSG #esolangs :14[[07NFOS14]]4 10 02https://esolangs.org/w/index.php?diff=179110&oldid=174689 5* 03Yayimhere2(school) 5* (-2) 10/* Memory */ > 1775624355 634926 PRIVMSG #esolangs :14[[07NFOS14]]4 10 02https://esolangs.org/w/index.php?diff=179111&oldid=179110 5* 03Yayimhere2(school) 5* (+41) 10 > 1775624556 89050 PRIVMSG #esolangs :14[[07Mention14]]4 10 02https://esolangs.org/w/index.php?diff=179112&oldid=165115 5* 03PKMN Trainer 5* (+8) 10 > 1775625068 736927 PRIVMSG #esolangs :14[[07SonicSaga14]]4 10 02https://esolangs.org/w/index.php?diff=179113&oldid=179107 5* 03PrincessPandaLovelace 5* (+18) 10 > 1775627382 423215 PRIVMSG #esolangs :14[[07User:RaiseAfloppaFan392514]]4 M10 02https://esolangs.org/w/index.php?diff=179114&oldid=178969 5* 03RaiseAfloppaFan3925 5* (+69) 10/* my esolangs */ metamorphosis > 1775629329 888321 PRIVMSG #esolangs :14[[07User:Dragoneater6714]]4 10 02https://esolangs.org/w/index.php?diff=179115&oldid=179056 5* 03Dragoneater67 5* (+31) 10/* uwu nyaaa :3 rawr */ > 1775629594 507332 PRIVMSG #esolangs :14[[07Dango14]]4 10 02https://esolangs.org/w/index.php?diff=179116&oldid=172980 5* 03RaiseAfloppaFan3925 5* (-4802) 10new dango > 1775630162 605441 PRIVMSG #esolangs :14[[07Dango14]]4 M10 02https://esolangs.org/w/index.php?diff=179117&oldid=179116 5* 03RaiseAfloppaFan3925 5* (+153) 10/* Syntax */ forgot to add labels < 1775630379 140395 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1775631055 114109 :tromp!~textual@2001:1c00:340e:2700:40b:fee9:5f81:6c1f JOIN #esolangs * :Textual User < 1775634046 678828 :tromp!~textual@2001:1c00:340e:2700:40b:fee9:5f81:6c1f QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1775634459 660855 :tromp!~textual@2001:1c00:340e:2700:40b:fee9:5f81:6c1f JOIN #esolangs * :Textual User > 1775635185 561700 PRIVMSG #esolangs :14[[07Functionable14]]4 10 02https://esolangs.org/w/index.php?diff=179118&oldid=179090 5* 03PKMN Trainer 5* (+142) 10 > 1775637226 850194 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Initys 5* 10New user account > 1775637526 255558 PRIVMSG #esolangs :14[[07User:Dragoneater67/wipwipwip14]]4 10 02https://esolangs.org/w/index.php?diff=179119&oldid=177426 5* 03Dragoneater67mobile 5* (+111) 10 > 1775637662 50003 PRIVMSG #esolangs :14[[07User:Dragoneater67/wipwipwip/Miracle14]]4 N10 02https://esolangs.org/w/index.php?oldid=179120 5* 03Dragoneater67mobile 5* (+98) 10Created page with "{{Stub}} {{WIP}} '''Miracle''' is an [[esoteric programming language]]. It does not exist ''yet''." > 1775638297 517776 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=179121&oldid=179095 5* 03PKMN Trainer 5* (+19) 10/* F */ > 1775639318 955335 PRIVMSG #esolangs :14[[07Functionable14]]4 10 02https://esolangs.org/w/index.php?diff=179122&oldid=179118 5* 03PKMN Trainer 5* (+47) 10 < 1775639840 101603 :tromp!~textual@2001:1c00:340e:2700:40b:fee9:5f81:6c1f QUIT :Read error: Connection reset by peer > 1775640298 841844 PRIVMSG #esolangs :14[[07Functionable14]]4 10 02https://esolangs.org/w/index.php?diff=179123&oldid=179122 5* 03PKMN Trainer 5* (-12) 10/* Computational class */ < 1775641187 919888 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1775641314 626998 :Yayimhere!~Yayimhere@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] Yayimhere < 1775641334 699669 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :hi! < 1775643791 84655 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :hi < 1775643811 570977 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :how are you doing? less tired or? < 1775643980 620969 :dragoneater68!~dragoneat@178.89.238.60 JOIN #esolangs * :[https://web.libera.chat] dragoneater68 < 1775643983 115055 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :hi < 1775644016 556002 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :hello dragoneater68' < 1775644024 263460 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :Yayimhere: I've been pretty busy recently < 1775644037 652120 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and it's probably made trying to concentrate on programming even harder < 1775644046 551977 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :this morning I opened up the computer to start programming and then just didn't < 1775644054 669901 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :im waiting for THE MIRACLE < 1775644089 420648 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :dragoneater68: I did in fact see < 1775644100 899173 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :ok < 1775644135 482696 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :also, what ended up happening with the FWoTD thing? < 1775644151 848624 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :regarding fwotd: i came to conclusion that my solution sucks, so i didnt publish it < 1775644156 172840 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :ill rework it < 1775644157 364203 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :maybe < 1775644179 745564 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :i think this is what ill do today since i dont have much else to do < 1775644183 499181 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :cool < 1775644189 599048 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :btw the TC requirement was removed < 1775644203 222266 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :i saw that < 1775644210 987242 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :nice < 1775644259 294359 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :btw < 1775644274 862426 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :whats the lowest computational class that can do looping counter? < 1775644309 382273 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :linear bounded atomaton I think? < 1775644320 462530 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :it makes sense for Otto be that, because looping counter is linear < 1775644394 341242 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :but it has bounds < 1775644414 52841 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :yea, but that bound grows by a linear function < 1775644429 566965 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :a linear function of the input < 1775644433 162642 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :atleast for what I know < 1775644479 555743 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :ok cool < 1775644522 323938 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :idk what the smallest comp class can do narrcicists and quibbles and such though < 1775644532 975341 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :quines* < 1775644540 362702 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :afaik quibbles are not a thing < 1775644552 418145 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :quibbles? < 1775644557 202930 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :ah < 1775644558 264688 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :lol < 1775644562 142557 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :autocorrect < 1775644571 982121 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :but it would be funny if quibbles were real < 1775644582 140104 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :true < 1775644602 245200 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :sounds like a qubit quine < 1775644608 957491 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :quantum quine? < 1775644611 903881 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :yea < 1775644656 821954 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :i cant imagine how that could work < 1775644688 11979 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :me neither < 1775644703 831711 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :thats for the quantum scientists to find out < 1775644821 713017 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :ive read some stuff abt quantum computers < 1775644825 901397 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :understood none of it < 1775644833 518339 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :i kinda get it I think < 1775644838 357551 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :maybe I dont though < 1775644848 484237 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :I think. I just kinda get quantum mechanics a little bit < 1775644872 310209 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :the most i could understand is cat in box thingy < 1775644879 143250 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :its not dead nor alive < 1775644886 783372 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :yea < 1775644893 671195 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :because we havent observed it yet < 1775644909 954371 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :I get to the point that functions on a particle applies to all the super positions < 1775644916 976234 :ais523!~ais523@user/ais523 PRIVMSG #esolangs : whats the lowest computational class that can do looping counter? ← the computational class "this language only has one command and it's a looping counter command" < 1775644917 210548 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :which seems a little ring-esque < 1775644968 669926 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :an LBA can't do a looping counter, incidentally, because looping counters have to be able to count up arbitrarily high and the distance an LBA can count is limited by the size of its input < 1775644992 20485 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :ah < 1775644999 966321 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :I seem to have misunderstood an LBA then < 1775645012 120229 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :I thought the linear function continued to be applied each iteration < 1775645021 122661 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :what is that class called? does it have a name < 1775645048 337557 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the looping counter class? I don't think we have a good name for classes that are specific to a single program or a few specific programs (like HQ9+'s computational class) < 1775645049 225632 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :no, it came into existence just 3 minutes ago < 1775645078 239210 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I studied quantum computers as coursework at school, but it was at a very basic level < 1775645088 651583 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :no I meant for the class where the memory size grows linearly with some linear function starting from the input < 1775645095 339173 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :Yayimhere: that's an LBA < 1775645096 852231 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :i think that the current computational claases are too narrow < 1775645100 549270 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :err, hmm < 1775645112 133557 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it's an LBA if the memory size is set at the start of the program, as a linear function of the input size < 1775645140 588588 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :if it can change during the program (and grow indefinitely) it isn't an LBA, but the "linear" restriction doesn't really matter at that point, because you could just run the program really slowly to give the memory more time to grow < 1775645143 375490 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :ais523: but ehat if it grows? < 1775645149 761704 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :true < 1775645160 982260 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :ais523: yea that makes sense < 1775645191 897479 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :wait so if the function is exponential it could be the same as one thats linear < 1775645239 230619 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :EBA? < 1775645240 952990 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :there are some TC languages where the memory grows linearly, like https://esolangs.org/wiki/2C and its variants < 1775645248 976314 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :true < 1775645250 653131 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :huh < 1775645290 620371 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :when 2C is simulating a function that requires exponential amounts of memory, it slows down exponentially to give the memory time to grow < 1775645335 89059 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :makes sense < 1775645380 543155 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :is there a formal way to describe, in general, that exponential slow down of the program < 1775645392 608177 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think there should be but I don't know what it is < 1775645404 770190 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :yea < 1775645414 243737 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :maybe thats undecidable for some programs though < 1775645415 933144 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :idk < 1775645545 902388 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :oh, hmm, there's some theorem about space complexity versus time complexity but I can't remember what it's called < 1775645565 972980 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think that might be what you're looking for, but I don't want to guess at the details because it is probably very sensitive to the exact way the theorem is worded < 1775645610 643999 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :yea true < 1775645637 43541 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :this one? < 1775645638 776626 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :https://en.wikipedia.org/wiki/Immerman%E2%80%93Szelepcs%C3%A9nyi_theorem < 1775645738 313203 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :dragoneater68: that's an interesting theorem but it isn't the one I was thinking of < 1775645787 234018 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :huh < 1775645939 5939 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :this one? < 1775645940 650236 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :https://en.wikipedia.org/wiki/Space_hierarchy_theorem < 1775646013 156804 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :huh, this isn't the one I wanted either, but it's really interesting: https://en.wikipedia.org/wiki/Blum%27s_speedup_theorem < 1775646029 438836 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :dragoneater68: I'm looking for a theorem that relates space complexities to time complexities < 1775646139 938239 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :i found this: https://arxiv.org/pdf/2311.01184v2 < 1775646242 614922 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :  that would seem like it, but idk < 1775646270 182161 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :huh, that paper claims that EXPTIME = PSPACE, which would IIRC be a major result if true? < 1775646292 690146 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :wow < 1775646312 166097 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it's also very recent (2024) < 1775646322 347761 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :yea < 1775646337 663777 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I would be suspicious of it until it's been reviewed, there has been a history of mistakes made in computational class equivalency proofs < 1775646363 321962 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :yea. but if its true, then I guess that could be. cool < 1775646395 462045 :dragoneater68!~dragoneat@178.89.238.60 PRIVMSG #esolangs :what does that imply? < 1775646414 705036 :dragoneater68!~dragoneat@178.89.238.60 QUIT :Quit: Client closed < 1775646478 157439 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so it's fairly obvious that anything that can be solved in polynomial space can be solved in exponential time, because there are only exponentially many possible states of a polynomially-sized memory < 1775646497 522943 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and so you can just run the program until it finishes or starts repeating states, and that takes exponential time < 1775646503 541638 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :yea true < 1775646505 395990 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the other way would be a bit surprising (but not obviously impossible) < 1775646558 747149 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I can't think of an obvious reason why finishing in exponential time would mean you only need polynomial amounts of memory < 1775646558 985173 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :yeah, that sounds very unlikely < 1775646594 174176 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :or… wait < 1775646623 77806 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :"finishing in exponential time would mean you only need polynomial amounts of memory" => note that to get the low amount of memory, you may need a different program that's much slower < 1775646653 236501 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :hold on, I think there was some recent surprising theorem like this, let me look up < 1775646686 645726 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: much slower but still only exponential, of course < 1775646881 317641 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :it's just that I don't think EXPTIME = PSPACE was the actual result, that's why I'm trying to look it up < 1775646895 136545 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :it was something surprising like that, but not quite that exactly > 1775647205 604616 PRIVMSG #esolangs :14[[07Works in progress14]]4 10 02https://esolangs.org/w/index.php?diff=179124&oldid=168746 5* 03PKMN Trainer 5* (-47) 10 < 1775647248 896045 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :https://logs.esolangs.org/libera-esolangs/2025-09.html#lsj https://scottaaronson.blog/?p=8680 every problem solvable in t time on a multi-tape Turing machine is also solvable in close to sqrt(t) space < 1775647255 254470 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :that was the surprising result < 1775647276 462598 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :it's certainly much weaker than EXPTIME = PSPACE would be < 1775647302 836629 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :paper is https://eccc.weizmann.ac.il/report/2025/017/ > 1775647336 404547 PRIVMSG #esolangs :14[[07Works in progress14]]4 10 02https://esolangs.org/w/index.php?diff=179125&oldid=179124 5* 03PKMN Trainer 5* (-57) 10 < 1775647376 928273 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: OK, I agree that that's surprising < 1775647423 417670 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(and is the sort of theorem I was trying to find in the conversation earlier, determining space required based on time required) < 1775647611 221635 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :the abstract for that article also says "any language recognized in polynomial time can be recognized in almost logarithmic space" which I'd find much harder to believe, so I'm not convinced that this is a real result < 1775647638 880114 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :I mean the article https://arxiv.org/abs/2311.01184 that you linked earlier < 1775647779 157900 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :was dragoneater68 who linked it, not me, but yes, it is making some very surprising claims and thus (to me) falls into the "extraordinary claims require extraordinary evidence" category < 1775647834 540722 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I am not entirely ruling out the possibility, but it would take a lot of convincing to convince me that it has actually been solved < 1775647869 65390 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(even if the result happens to be true, I think the odds of the proof being wrong are quite high) < 1775648002 623828 :dragoneater68!~dragoneat@95.57.182.154.dynamic.telecom.kz JOIN #esolangs * :[https://web.libera.chat] dragoneater68 < 1775648006 486820 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :that said, I can't quickly find counterexamples to "polytime recognition = logspace recognition", the first few languages I tried did have logspace recognition algorithms < 1775648043 297019 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(assuming that we're talking about logarithmic additional space) < 1775648056 69581 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :ais523: no, I think that's one of those relations that are actually really hard to disprove < 1775648059 182317 :dragoneater68!~dragoneat@95.57.182.154.dynamic.telecom.kz QUIT :Client Quit < 1775648078 781616 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: right, it isn't obviously etiher true or false < 1775648119 145701 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I assume this is talking about P and L rather than NP and NL? < 1775648146 560495 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :specifically https://complexityzoo.net/Complexity_Zoo:E#exp says that "if L = P then PSPACE = EXP, so the first claim of that article is almost a consequence of the second, except the second in the article might be a slightly weaker result, it's unclear to me < 1775648477 222716 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so NL is known to be contained in P, and L is obviously contained in NL < 1775648486 656519 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so L = P would also imply L = NL > 1775648601 96387 PRIVMSG #esolangs :14[[07NO WAY? NO WAY!14]]4 10 02https://esolangs.org/w/index.php?diff=179126&oldid=179092 5* 03PKMN Trainer 5* (+37) 10/* Instructions */ < 1775648655 14494 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(the existing result that NL = co-NL would be obviously trivial in this setting, so that's some suggestion that L = NL = P might be possible) > 1775648662 667223 PRIVMSG #esolangs :14[[07NO WAY? NO WAY!14]]4 10 02https://esolangs.org/w/index.php?diff=179127&oldid=179126 5* 03PKMN Trainer 5* (+0) 10/* Cat */ < 1775648791 592920 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :heh, Wikipedia says that it isn't even known whether or not L = NP – I guess in a way that's also evidence that P might equal L! < 1775648814 696496 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :yeah, absolute separation theorems are hard > 1775648832 239916 PRIVMSG #esolangs :14[[07NO WAY? NO WAY!14]]4 10 02https://esolangs.org/w/index.php?diff=179128&oldid=179127 5* 03PKMN Trainer 5* (+0) 10/* Cat */ < 1775648858 805677 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :and if there was a real result like this then Scott Aaronson's blog would mention it, and I think if it had actually said PSPACE = EXPTIME I'd even remember it < 1775648867 237157 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :also the Complexity zoo would mention it < 1775648889 902643 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :this one is new enough to potentially be correct but not reviewed yet (but it's also new enough that mistakes in it might not have been caught yet) < 1775648941 912980 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :it's from 2023-11. I know mathematics can be slow, but for something that's a really big breakthrough we'd hear about it, at the very least hear about uncertainty because they're still checking the proof < 1775648949 406906 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :I think it's old enough < 1775649541 328036 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yayimhere: Quantum mechanics is all about Hilbert space. We start with vector spaces over complex numbers. It's just a different way of working with numeric objects. < 1775649557 131019 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Our intuition is Cartesian closed: we can copy and delete thoughts. QM doesn't allow that. < 1775649622 662315 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :korvo: huh < 1775649656 850187 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Tangent to both conversations, Feynman's way of summing path integrals is in PSPACE. There is kind of a mystery about how that interacts with Holevo's theorem and Hardy's theorem, but it's a good example of EXPTIME intuitions turning into PSPACE algorithms. < 1775649855 833070 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yayimhere: Well, think about chemistry. If you have one beaker of water, there's no chemical reaction that will duplicate it into two beakers of water, right? < 1775649887 456956 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Some quantities in QM are conserved; they don't change over time. This means no copying or deletion of stuff. < 1775649933 874458 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the reversibiliity of quantum computing is interesting but I don't think it's the main point < 1775650006 550608 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :quantum computing is primarily weird because it's sort-of massively multithreaded with exponential threads (in the sense of a mathematically-nondeterministic system), but unlike typical nondeterminism, you don't get the "best result" or "least halting result" or "most halting result", instead each of the threads gets to influence the probability of a particular result being visible in a somewhat complex way < 1775650023 881657 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and programming it is about trying to make the probability influences combine in such a way that they maximise the probability of getting the answer you wanted < 1775650040 131241 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :korvo: yea that makes sense. < 1775650041 189036 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :ais523: if you want a plausible candidate for decision problems that are in P but probably not L, we're hoping that password hashing functions do this. This is technically not quite right, because it could be possible that there's a logarithmic space algorithm whose time complexity, though polynomial, is too slow to be practically usable, but I think close enough. < 1775650042 5980 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but you only get one result and it's random, in most cases all possible results have some probability > 1775650413 448461 PRIVMSG #esolangs :14[[07Rhombitrihexagonal14]]4 10 02https://esolangs.org/w/index.php?diff=179129&oldid=155343 5* 035anz 5* (+84) 10/* Triangles */ < 1775650523 435274 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I don't want to say that the exponentially-many-superpositions model is wrong per se, but it's got a lot of metaphysical issues. The biggest one is the preferred-basis problem: whether something is in superposition is often conditioned on how one *rotates* their laboratory. < 1775650579 9153 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I find myself pinned between theorems. Hardy's theorem requires exponentially-large state spaces but Holevo's theorem says that we can only read one bit of information per measured qubit, a linear amount. So most of the state is inaccessible. < 1775650665 650043 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :The Pusey-Barrett-Rudolph (PBR) theorem says that the wavefunction is ontic, so that exponentially-large state space isn't just a mathematical artifact; it also forces Everettians to deal with preferred bases. < 1775650738 341119 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :So we're left with a situation where the wavefunction is real but particles aren't real. (If you really insist that particles are real despite this then the Kochen-Specker theorem (and its consequence, Bell's theorem) will force you to accept something undesirable, either non-locality or superdeterminism.) > 1775650776 663226 PRIVMSG #esolangs :14[[07Esolang:Be bold in editing pages14]]4 10 02https://esolangs.org/w/index.php?diff=179130&oldid=146110 5* 03Qazwsxplm 5* (+6) 10 > 1775650921 512543 PRIVMSG #esolangs :14[[07Esolang talk:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=179131&oldid=146187 5* 03Qazwsxplm 5* (+134) 10/* ??? */ new section < 1775650968 117550 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: so my interest is more in "how this is programmed" rather than "how this actually works, physically" < 1775650984 706604 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I don't mind if the model is physically inaccurate as long as it allows you to understand how the programming language would work > 1775650990 894102 PRIVMSG #esolangs :14[[07Esolang talk:Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=179132&oldid=179131 5* 03Qazwsxplm 5* (+224) 10 < 1775651022 980615 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Sure. They dovetail, though; we've proven that there's *one* semantic model for QM: the category of complex-valued Hilbert spaces. So there's really only one starting point. < 1775651096 238996 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :This might not be obvious, given how many physicists try to introduce toy models. But whether it's Spekkens or Wolfram, toy models are known to not be able to reproduce QM in 3D thanks to Kochen-Specker. > 1775651139 302038 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=179133&oldid=168201 5* 03Qazwsxplm 5* (+377) 10 > 1775651163 908642 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=179134&oldid=179133 5* 03Qazwsxplm 5* (-377) 10 < 1775651299 883283 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: I guess that, zooming out, my view is that if I know which category to use for programming a system then I already have a half-decent syntax for expressing programs. Cammy is built on Cartesian-closed categories but it's not self-hosting, so I can always create a Hilbert-flavored Cammy, a relational Cammy, etc. just by switching the constructions used to build the category. > 1775651310 896712 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=179135&oldid=179134 5* 03Qazwsxplm 5* (+239) 10/* Sandbox */ < 1775651333 380794 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: that's a respectable view but I suspect you're in an extreme minority among programmers < 1775651361 393782 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :But other than that, I'm not sure that our intuition for how things are programmed can be transferred. Lambda-binders *are* Cartesian-closedness; they're two ways of looking at the same phenomenon. There's no lambda calculus for QM. < 1775651368 197844 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :syntax the computer-science concept and syntax the programming concept are clearly connected and yet many people prefer to disregard the connection < 1775651389 170744 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Yeah, but most programmers are conservative know-nothing blowhards. (Most humans, really.) I will accept the tradeoff of actually knowing a little foundational physics. > 1775651407 44632 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=179136&oldid=179135 5* 03Qazwsxplm 5* (-239) 10 < 1775651436 484738 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :meanwhile, I'm the sort of person who acknowledges the connection exists, but prefers to only actively use it when talking to computer scientists because when talking to other people, it's not good for communicating < 1775651443 161510 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :anyway, /away for a bit < 1775651449 496600 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Sure. Take it easy. < 1775651450 963731 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :bye! > 1775652077 979657 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=179137&oldid=179136 5* 03Qazwsxplm 5* (+3996) 10 < 1775652122 463843 :svm!~msv@user/msv QUIT :Remote host closed the connection > 1775652125 248 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=179138&oldid=179137 5* 03Qazwsxplm 5* (-3996) 10 < 1775652146 164205 :svm!~msv@user/msv JOIN #esolangs msv :msv > 1775652170 787632 PRIVMSG #esolangs :14[[07Free Esolang14]]4 10 02https://esolangs.org/w/index.php?diff=179139&oldid=172594 5* 035anz 5* (+488) 10/* Additions */ < 1775652276 930465 :msv!~msv@user/msv JOIN #esolangs msv :msv > 1775652280 508049 PRIVMSG #esolangs :14[[07User:Qazwsxplm/Sandbox14]]4 N10 02https://esolangs.org/w/index.php?oldid=179140 5* 03Qazwsxplm 5* (+777) 10Created page with "==Sandbox== 
 BEGIN:VCALENDAR VERSION:2.0 PRODID:Events CALSCALE:GREGORIAN METHOD:PUBLISH  BEGIN:VEVENT UID:FEB343D7-85FB-46F0-9EC1-E3E80D08E366 LOCATION:https://www.apple.com/apple-events/ DTSTAMP:20250609T100000 CREATED:20250609T100000 SUMMARY:WWDC
> 1775652302 346499 PRIVMSG #esolangs :14[[07User:Qazwsxplm/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=179141&oldid=179140 5* 03Qazwsxplm 5* (-766) 10Replaced content with "==Sandbox=="
> 1775652390 41550 PRIVMSG #esolangs :14[[07Free Esolang14]]4 10 02https://esolangs.org/w/index.php?diff=179142&oldid=179139 5* 035anz 5* (-488) 10/* Additions */
< 1775652463 160449 :svm!~msv@user/msv QUIT :Ping timeout: 264 seconds
> 1775652516 190141 PRIVMSG #esolangs :14[[07Esolang talk:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=179143&oldid=179132 5* 03Qazwsxplm 5* (+144) 10/* Revisions before december 19 2024 unviewable */ new section
< 1775652644 25023 :Yayimhere!~Yayimhere@94.147.203.75 QUIT :Quit: Client closed
> 1775652829 679207 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=179144&oldid=179138 5* 03Qazwsxplm 5* (+6621) 10ALL HIEROGLYPHS FROM UNICODE (EGYPT AND ANATOLIAN, HARMONY OS SANS DISPLAYABLE CHARACTERS ONLY)
> 1775652869 293326 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=179145&oldid=179144 5* 03Qazwsxplm 5* (-6621) 10/* Sandbox */
< 1775653513 931506 :ais523!~ais523@user/ais523 QUIT :Ping timeout: 248 seconds
> 1775654089 50088 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=179146&oldid=179145 5* 03Qazwsxplm 5* (+891) 10
> 1775654123 18775 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=179147&oldid=179146 5* 03Qazwsxplm 5* (+10) 10
> 1775654156 54479 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=179148&oldid=179147 5* 03Qazwsxplm 5* (-901) 10
> 1775654577 670227 PRIVMSG #esolangs :14[[07Esolang talk:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=179149&oldid=179143 5* 03Ais523 5* (+519) 10/* Revisions before december 19 2024 unviewable */ AI scraper bots
< 1775654632 48693 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
> 1775654774 3380 PRIVMSG #esolangs :14[[07Esolang:Policy14]]4 M10 02https://esolangs.org/w/index.php?diff=179150&oldid=174609 5* 03Qazwsxplm 5* (+179) 10
> 1775655150 167278 PRIVMSG #esolangs :14[[07Template:Archived14]]4 10 02https://esolangs.org/w/index.php?diff=179151&oldid=125464 5* 03Qazwsxplm 5* (+0) 10
> 1775655490 609031 PRIVMSG #esolangs :14[[07Esolang:Policy14]]4 10 02https://esolangs.org/w/index.php?diff=179152&oldid=179150 5* 03Ais523 5* (-179) 10Undo revision [[Special:Diff/179150|179150]] by [[Special:Contributions/Qazwsxplm|Qazwsxplm]] ([[User talk:Qazwsxplm|talk]])  although accurate, we shouldn't really need to state the obvious; if someone gets banned without a warning then they were likely doing something fo
> 1775655627 706153 PRIVMSG #esolangs :14[[07Esolang talk:Community portal14]]4 M10 02https://esolangs.org/w/index.php?diff=179153&oldid=178875 5* 03Qazwsxplm 5* (+6) 10/* Add a logo on Vector 2022 */
< 1775655708 632771 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I will think about how to phrase it, but I think qazwsxplm points out something important. We don't explain the remedies for policy violations. Some stuff is spilt milk; we say "please don't do that" and clean it up without punishing anybody.
> 1775655749 58943 PRIVMSG #esolangs :14[[07Esolang talk:Community portal14]]4 10 02https://esolangs.org/w/index.php?diff=179154&oldid=179153 5* 03Qazwsxplm 5* (+1) 10/* Translate to other languages */
> 1775655896 343211 PRIVMSG #esolangs :14[[07List of esolang file extensions14]]4 M10 02https://esolangs.org/w/index.php?diff=179155&oldid=178844 5* 03Qazwsxplm 5* (+29) 10
> 1775656010 784703 PRIVMSG #esolangs :14[[07User talk:Qazwsxplm14]]4 M10 02https://esolangs.org/w/index.php?diff=179156&oldid=178576 5* 03Qazwsxplm 5* (+185) 10/* THANK YOU  */
< 1775656231 302180 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :well, I'm mostly following the usual "if someone breaks the rules then tell them about it, if someone is actively disruptive give a ban" – I don't expect everyone to have read the Policy page
< 1775656238 66323 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it would be nice if they did, but unrealisitc
> 1775656253 839226 PRIVMSG #esolangs :14[[07Talk:Septem Lingua14]]4 10 02https://esolangs.org/w/index.php?diff=179157&oldid=176564 5* 03Qazwsxplm 5* (+196) 10/* Coincidentally this title has seven English words */ new section
< 1775656276 977992 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :in general it is best to tell people about rules only in the situation where they might break them, beause otherwise it's too hard for a new user to remember all of them
< 1775656305 671850 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :that's why, e.g., the rules for creating a page are primarily on the "create new page" page
> 1775656391 725055 PRIVMSG #esolangs :14[[07Talk:Septem Lingua14]]4 M10 02https://esolangs.org/w/index.php?diff=179158&oldid=179157 5* 03Qazwsxplm 5* (+26) 10
< 1775656410 94341 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :still a bit busy, anyway, will be offline for a bit longer
< 1775656412 159371 :ais523!~ais523@user/ais523 QUIT :Quit: quit
> 1775656422 381157 PRIVMSG #esolangs :14[[07Talk:Septem Lingua14]]4 M10 02https://esolangs.org/w/index.php?diff=179159&oldid=179158 5* 03Qazwsxplm 5* (+15) 10
> 1775656838 85850 PRIVMSG #esolangs :14[[07PocketFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=179160&oldid=132421 5* 03Qazwsxplm 5* (+46) 10
< 1775656937 626730 :impomatic!~impomatic@lock-04-b2-v4wan-171175-cust377.vm10.cable.virginm.net JOIN #esolangs * :[https://web.libera.chat] impomatic
> 1775657291 442981 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Ultraslayyy 5*  10New user account
> 1775657297 430045 PRIVMSG #esolangs :14[[07Talk:DateTri14]]4 N10 02https://esolangs.org/w/index.php?oldid=179161 5* 03Qazwsxplm 5* (+185) 10Created page with "a calendar date, a romantic night out, and fruit... Three meanings of "date"... Hmm... Interesting. ~~~~"
> 1775658178 310570 PRIVMSG #esolangs :14[[07User talk:Qazwsxplm14]]4 10 02https://esolangs.org/w/index.php?diff=179162&oldid=179156 5* 03PrySigneToFry 5* (+123) 10
> 1775660957 489377 PRIVMSG #esolangs :14[[07User:Yayimhere/iLGwMLS14]]4 N10 02https://esolangs.org/w/index.php?oldid=179163 5* 03Yayimhere2(school) 5* (+1289) 10Created page with "iLGwMLS is a class of problems. Lets get these definitions: * K is a program. * Mi is the memory of K at iteration. * |x| is the length of x. * A is the in
< 1775661128 886578 :amby!~ambylastn@host-81-178-153-130.as13285.net JOIN #esolangs amby :realname
< 1775661927 622053 :Yayimhere!~Yayimhere@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] Yayimhere
< 1775661935 809597 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :hello again!
< 1775662200 699813 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Hi.
< 1775662397 675922 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :how are you doing
< 1775662401 613084 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :forgot to ask earlier
> 1775662485 446811 PRIVMSG #esolangs :14[[07User:Yayimhere/iLGwMLS14]]4 10 02https://esolangs.org/w/index.php?diff=179164&oldid=179163 5* 03Yayimhere2(school) 5* (+15) 10
< 1775662575 379439 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Mental health is on an uptick. I repotted some Aloe vera and put out four trays of Capsicum annuum (bell pepper) seeds.
< 1775662598 661400 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :nice!
< 1775662615 217361 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :(i assume mental health being on an uptick is a good thing?
< 1775662737 629497 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Sure.
< 1775662754 493190 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :great
< 1775664809 12790 :impomatic!~impomatic@lock-04-b2-v4wan-171175-cust377.vm10.cable.virginm.net QUIT :Quit: Client closed
> 1775664971 903697 PRIVMSG #esolangs :14[[07Talk:Nine14]]4 N10 02https://esolangs.org/w/index.php?oldid=179165 5* 03Meh2 5* (+74) 10Created page with "9 --~~~~"
< 1775666194 965487 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :@metar EGLL
< 1775666195 797305 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :METAR EGLL 081620Z COR AUTO 19009KT 150V240 9999 NCD 25/10 Q1020 NOSIG
< 1775666207 212041 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :This is just ridiculous for early April.
< 1775666300 800430 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :@metar KPDX
< 1775666301 484556 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :METAR KPDX 081553Z 00000KT 10SM SCT250 07/03 A3010 RMK AO2 SLP192 T00720033 $
< 1775666328 851438 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :It's basically summer already.
< 1775667119 969681 :Yayimhere!~Yayimhere@94.147.203.75 QUIT :Quit: Client closed
< 1775667308 597900 :dragoneater67!~dragoneat@user/dragoneater67 JOIN #esolangs dragoneater67 :dragoneater67
< 1775667312 64132 :dragoneater67!~dragoneat@user/dragoneater67 PRIVMSG #esolangs :hi again!
< 1775667331 491408 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Hi.
< 1775667965 633190 :Yayimhere!~Yayimhere@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] Yayimhere
> 1775668009 896359 PRIVMSG #esolangs :14[[07Talk:Dd14]]4 N10 02https://esolangs.org/w/index.php?oldid=179166 5* 03Yayimhere2(school) 5* (+232) 10Created page with "I struggle to see how this in any way could be an FSA. FSA's, a the least, takes input. its much weaker than an FSA.  --~~~~"
> 1775670336 930461 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=179167&oldid=179106 5* 03Ultraslayyy 5* (+153) 10Yay my name's in here
> 1775670351 745109 PRIVMSG #esolangs :14[[07Penis14]]4 N10 02https://esolangs.org/w/index.php?oldid=179168 5* 03Ultraslayyy 5* (+3097) 10Created the Penis page
< 1775670406 905273 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1775670491 895024 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :hello again ais523
< 1775670497 350371 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :hi Yayimhere
< 1775670532 439127 :Yayimhere!~Yayimhere@94.147.203.75 PRIVMSG #esolangs :i made a (user subpage) for the class of problems I was talking about earlier while you were gone(if that interest you)
< 1775670555 412400 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :fizzie: I assume you're commenting on the 25/10?
< 1775670571 488762 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but yes, in England that would be an outlier even for summer
> 1775670666 650597 PRIVMSG #esolangs :14[[07User:Ultraslayyy14]]4 N10 02https://esolangs.org/w/index.php?oldid=179169 5* 03Ultraslayyy 5* (+186) 10Created page
> 1775670886 438971 PRIVMSG #esolangs :14[[07User:Ultraslayyy14]]4 M10 02https://esolangs.org/w/index.php?diff=179170&oldid=179169 5* 03Ultraslayyy 5* (+14) 10Fix smiley face :)
< 1775671068 694525 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :Yes. Well, it's not supposed to last long.
< 1775671656 190327 :msv!~msv@user/msv QUIT :Remote host closed the connection
> 1775671982 688973 PRIVMSG #esolangs :14[[07Stactal14]]4 10 02https://esolangs.org/w/index.php?diff=179171&oldid=157283 5* 03 5* (+89) 10/* Programs */
> 1775672295 203486 PRIVMSG #esolangs :14[[07Stactal14]]4 10 02https://esolangs.org/w/index.php?diff=179172&oldid=179171 5* 03 5* (+198) 10
> 1775672486 39056 PRIVMSG #esolangs :14[[07Joke language list14]]4 M10 02https://esolangs.org/w/index.php?diff=179173&oldid=178473 5* 03Ultraslayyy 5* (+48) 10Added Penis
< 1775674670 622939 :impomatic!~impomatic@lock-04-b2-v4wan-171175-cust377.vm10.cable.virginm.net JOIN #esolangs * :[https://web.libera.chat] impomatic
> 1775674738 371507 PRIVMSG #esolangs :14[[07Talk:Finite-state automaton14]]4 10 02https://esolangs.org/w/index.php?diff=179174&oldid=10396 5* 03Yayimhere2(school) 5* (+380) 10/* Two kinds of FSA language */
> 1775675013 363321 PRIVMSG #esolangs :14[[07Reuts14]]4 N10 02https://esolangs.org/w/index.php?oldid=179175 5* 03 5* (+1577) 10Started page
> 1775675572 366998 PRIVMSG #esolangs :14[[07Reuts14]]4 10 02https://esolangs.org/w/index.php?diff=179176&oldid=179175 5* 03 5* (+288) 10
> 1775675861 655105 PRIVMSG #esolangs :14[[07User talk:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=179177&oldid=174484 5* 03 5* (+340) 10/* So I made a language */ new section
> 1775675914 581735 PRIVMSG #esolangs :14[[07User talk:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=179178&oldid=179177 5* 03Yayimhere2(school) 5* (+192) 10/* So I made a language */
> 1775676322 866007 PRIVMSG #esolangs :14[[07Reuts14]]4 10 02https://esolangs.org/w/index.php?diff=179179&oldid=179176 5* 03 5* (+179) 10/* Commands */
> 1775676368 306501 PRIVMSG #esolangs :14[[07User talk:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=179180&oldid=179178 5* 03 5* (+53) 10/* So I made a language */
> 1775676451 911445 PRIVMSG #esolangs :14[[07User talk:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=179181&oldid=179180 5* 03Yayimhere2(school) 5* (+408) 10/* So I made a language */
> 1775676827 811102 PRIVMSG #esolangs :14[[07Mention14]]4 10 02https://esolangs.org/w/index.php?diff=179182&oldid=179112 5* 03PKMN Trainer 5* (+18) 10/* Computational class */
< 1775676862 621357 :Yayimhere!~Yayimhere@94.147.203.75 QUIT :Ping timeout: 245 seconds
> 1775677073 363698 PRIVMSG #esolangs :14[[07User:PKMN Trainer/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=179183&oldid=176266 5* 03PKMN Trainer 5* (-26) 10Blanked the page
> 1775677278 476084 PRIVMSG #esolangs :14[[07Reuts14]]4 10 02https://esolangs.org/w/index.php?diff=179184&oldid=179179 5* 03 5* (+894) 10Added explanation of Shasavic theory
> 1775677351 974786 PRIVMSG #esolangs :14[[07User talk:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=179185&oldid=179181 5* 03 5* (+145) 10/* So I made a language */
> 1775678134 859756 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Epzen 5*  10New user account
< 1775678162 880150 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 248 seconds
< 1775678176 648687 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1775678349 869545 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
> 1775679143 950632 PRIVMSG #esolangs :14[[07User talk:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=179186&oldid=179185 5* 03Aadenboy 5* (+566) 10/* So I made a language */
< 1775681279 108694 :impomatic!~impomatic@lock-04-b2-v4wan-171175-cust377.vm10.cable.virginm.net QUIT :Quit: Client closed
> 1775681400 483771 PRIVMSG #esolangs :14[[07Talk:99 bottles of pain14]]4 N10 02https://esolangs.org/w/index.php?oldid=179187 5* 03MinekPo1 5* (+2261) 10Created page with "Hi! I've decided to implement 99BoPa, and my implementation does not lead to your example hello world program outputting hello world, but "$!((+T106\n3+.( ". As you acknowledged that program is possibly incorrect, can you check my program, which should 
< 1775683145 756499 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Huh, I hadn't heard of https://esolangs.org/wiki/%CE%A3%E2%88%9E
< 1775683158 365690 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :I was given a description of the language and "construct 1" as a puzzle.
< 1775684188 286136 :int-e!~noone@int-e.eu PRIVMSG #esolangs :That is a cute puzzle.
< 1775684544 900452 :int-e!~noone@int-e.eu PRIVMSG #esolangs :shachaf: is it too evil to write it like this: https://paste.debian.net/hidden/db68af75
> 1775684570 523969 PRIVMSG #esolangs :14[[07Talk:99 bottles of pain14]]4 M10 02https://esolangs.org/w/index.php?diff=179188&oldid=179187 5* 03MinekPo1 5* (+67) 10
< 1775684793 152051 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :int-e: how does that work? it seems to have a free variable
< 1775684860 227403 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: No, each x is bound by some Σ[P≤x