< 1741393815 113558 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( typedef double Int; ) < 1741394223 909838 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Is it the attempt to be confusing, or something else, or both? < 1741394240 127608 :int-e!~noone@int-e.eu PRIVMSG #esolangs :just a line of code I just wrote unironically < 1741394273 52846 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :O, OK, but why is it written like that? < 1741394344 956665 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(doubles work as 54 bit signed integers if all your divisions are exact) < 1741394368 197628 :int-e!~noone@int-e.eu PRIVMSG #esolangs :it's written like that because I was switching between 32 and 64 bit ints before < 1741394428 780805 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :OK < 1741394958 363411 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement > 1741395219 636595 PRIVMSG #esolangs :14[[07Universal machine14]]4 10 02https://esolangs.org/w/index.php?diff=153517&oldid=128366 5* 03Stkptr 5* (+3613) 10Weak universal > 1741396206 263340 PRIVMSG #esolangs :14[[07User talk:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=153518&oldid=153498 5* 03I am islptng 5* (+566) 10/* */ new section > 1741404168 652248 PRIVMSG #esolangs :14[[07Universal machine14]]4 10 02https://esolangs.org/w/index.php?diff=153519&oldid=153517 5* 03Stkptr 5* (+72) 10/* Weak universal machines */ Error about the 2,3 machine > 1741404728 371740 PRIVMSG #esolangs :14[[07User talk:ColorfulGalaxy's CA discoveries14]]4 10 02https://esolangs.org/w/index.php?diff=153520&oldid=153424 5* 03PrySigneToFry 5* (+455) 10 > 1741404886 666243 PRIVMSG #esolangs :14[[07User:Trump Bot14]]4 N10 02https://esolangs.org/w/index.php?oldid=153521 5* 03PrySigneToFry 5* (+10) 10Created page with "{{Banned}}" < 1741405675 63383 :craigo!~craigo@user/craigo QUIT :Quit: Leaving > 1741408904 458706 PRIVMSG #esolangs :14[[07Universal machine14]]4 10 02https://esolangs.org/w/index.php?diff=153522&oldid=153519 5* 03Ais523 5* (+22) 10/* Example universal machines */ fix misleading language, which made it easy to confuse the implementing and implemented languages > 1741413592 494476 PRIVMSG #esolangs :14[[07User talk:ColorfulGalaxy's CA discoveries14]]4 10 02https://esolangs.org/w/index.php?diff=153523&oldid=153520 5* 03I am islptng 5* (+160) 10 > 1741413819 288869 PRIVMSG #esolangs :14[[07User talk:14]]4 10 02https://esolangs.org/w/index.php?diff=153524&oldid=147681 5* 03PrySigneToFry 5* (+216) 10/* Bad news */ new section > 1741414928 595653 PRIVMSG #esolangs :14[[07User talk:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=153525&oldid=153518 5* 03PrySigneToFry 5* (+923) 10/* EternalGolf */ new section > 1741415663 762491 PRIVMSG #esolangs :14[[07MazeLang14]]4 10 02https://esolangs.org/w/index.php?diff=153526&oldid=153493 5* 03PrySigneToFry 5* (+606) 10 < 1741417902 488747 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 246 seconds < 1741417919 384033 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1741418003 146446 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1741418509 938018 :tromp!~textual@2a02:a210:cba:8500:b97d:6786:7e63:884f JOIN #esolangs * :Textual User < 1741420863 7090 :sprock!~sprock@user/sprock QUIT :Quit: brb < 1741421244 428205 :sprock!~sprock@user/sprock JOIN #esolangs sprock :maeve (she/her) > 1741421728 180417 PRIVMSG #esolangs :14[[07User talk:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=153527&oldid=153525 5* 03PrySigneToFry 5* (+10) 10Fixed festival < 1741422726 429160 :sprock!~sprock@user/sprock QUIT :Ping timeout: 252 seconds < 1741422776 877581 :sprock!~sprock@user/sprock JOIN #esolangs sprock :maeve (she/her) < 1741422780 830295 :tromp!~textual@2a02:a210:cba:8500:b97d:6786:7e63:884f QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1741423214 849650 :sprock!~sprock@user/sprock QUIT :Ping timeout: 272 seconds < 1741423428 991394 :sprock!~sprock@user/sprock JOIN #esolangs sprock :maeve (she/her) > 1741424310 595137 PRIVMSG #esolangs :14[[07Reflecto14]]4 M10 02https://esolangs.org/w/index.php?diff=153528&oldid=153504 5* 03QuantumV 5* (+95) 10fixonacci > 1741426982 290790 PRIVMSG #esolangs :14[[07Abacus Computer14]]4 10 02https://esolangs.org/w/index.php?diff=153529&oldid=153495 5* 03TomosCode 5* (+27) 10 > 1741427029 449436 PRIVMSG #esolangs :14[[07Beta14]]4 10 02https://esolangs.org/w/index.php?diff=153530&oldid=141251 5* 03PkmnQ 5* (-26) 10category was added because of ambiguity, but [[Vague]] isn't categorized as uncomputable > 1741427306 667377 PRIVMSG #esolangs :14[[07Reflecto14]]4 M10 02https://esolangs.org/w/index.php?diff=153531&oldid=153528 5* 03QuantumV 5* (-83) 10 < 1741429293 435818 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer > 1741430933 337613 PRIVMSG #esolangs :14[[07Brain:D14]]4 10 02https://esolangs.org/w/index.php?diff=153532&oldid=80678 5* 03PkmnQ 5* (-26) 10should ambiguity make a language uncomputable? > 1741434756 513146 PRIVMSG #esolangs :14[[07Subst14]]4 N10 02https://esolangs.org/w/index.php?oldid=153533 5* 03Hakerh400 5* (+14360) 10+[[Subst]] (part 1 due to filter rules) > 1741434788 850772 PRIVMSG #esolangs :14[[07Subst14]]4 10 02https://esolangs.org/w/index.php?diff=153534&oldid=153533 5* 03Hakerh400 5* (+37460) 10(part 2) > 1741434801 952628 PRIVMSG #esolangs :14[[07Subst14]]4 10 02https://esolangs.org/w/index.php?diff=153535&oldid=153534 5* 03Hakerh400 5* (+2288) 10(part 3) > 1741434865 601267 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=153536&oldid=153513 5* 03Hakerh400 5* (+12) 10+[[Subst]] > 1741434878 178910 PRIVMSG #esolangs :14[[07User:Hakerh40014]]4 10 02https://esolangs.org/w/index.php?diff=153537&oldid=151549 5* 03Hakerh400 5* (+12) 10+[[Subst]] > 1741435028 538799 PRIVMSG #esolangs :14[[07Subst14]]4 M10 02https://esolangs.org/w/index.php?diff=153538&oldid=153535 5* 03Hakerh400 5* (+498) 10 > 1741435050 485364 PRIVMSG #esolangs :14[[07Subst14]]4 M10 02https://esolangs.org/w/index.php?diff=153539&oldid=153538 5* 03Hakerh400 5* (-497) 10 < 1741435488 911550 :mtm!~textual@47.202.75.129 QUIT :Ping timeout: 272 seconds < 1741435564 439562 :mtm!~textual@47.202.75.129 JOIN #esolangs * :Textual User > 1741435733 972760 PRIVMSG #esolangs :14[[07User talk:Hakerh40014]]4 10 02https://esolangs.org/w/index.php?diff=153540&oldid=152728 5* 03Hakerh400 5* (+359) 10/* Afth Language */ > 1741435882 418813 PRIVMSG #esolangs :14[[07Subst14]]4 10 02https://esolangs.org/w/index.php?diff=153541&oldid=153539 5* 03Hakerh400 5* (+23) 10 < 1741436633 876539 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname > 1741441214 766040 PRIVMSG #esolangs :14[[07User talk:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=153542&oldid=153527 5* 03Hotcrystal0 5* (+184) 10 > 1741441406 137148 PRIVMSG #esolangs :14[[07User:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=153543&oldid=153516 5* 03Hotcrystal0 5* (+33) 10 > 1741441738 212865 PRIVMSG #esolangs :14[[07User talk:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=153544&oldid=153542 5* 03Hotcrystal0 5* (+166) 10 > 1741441896 454475 PRIVMSG #esolangs :14[[07User talk:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=153545&oldid=153544 5* 03Hotcrystal0 5* (+243) 10 > 1741442331 813607 PRIVMSG #esolangs :14[[07User:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=153546&oldid=153543 5* 03Hotcrystal0 5* (+21) 10 < 1741443833 882270 :alec3660!~quassel@user/alec3660 QUIT :Quit: https://quassel-irc.org - Chat comfortably. Anywhere. < 1741443870 272733 :alec3660!~quassel@user/alec3660 JOIN #esolangs alec3660 :alec > 1741443882 310980 PRIVMSG #esolangs :14[[07User talk:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=153547&oldid=153545 5* 03I am islptng 5* (+576) 10/* How well can you speak Chinese? */ new section > 1741444398 385945 PRIVMSG #esolangs :14[[07User talk:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=153548&oldid=153547 5* 03Hotcrystal0 5* (+250) 10 > 1741444406 542211 PRIVMSG #esolangs :14[[07User talk:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=153549&oldid=153548 5* 03Hotcrystal0 5* (+1) 10 > 1741447699 416458 PRIVMSG #esolangs :14[[07Category talk:Unknown-based14]]4 N10 02https://esolangs.org/w/index.php?oldid=153550 5* 03Leomok2009 5* (+155) 10Created page with "What does this category mean? Does it mean that the user does not know if the esolang is stack-based, cell-based etc because it is difficult to categorise?" > 1741447829 466503 PRIVMSG #esolangs :14[[07Category talk:Unknown-based14]]4 10 02https://esolangs.org/w/index.php?diff=153551&oldid=153550 5* 03Leomok2009 5* (+54) 10 > 1741448248 534844 PRIVMSG #esolangs :14[[07Category:Unknown-based14]]4 10 02https://esolangs.org/w/index.php?diff=153552&oldid=153342 5* 03Leomok2009 5* (+284) 10 > 1741448262 516807 PRIVMSG #esolangs :14[[07Category:Unknown-based14]]4 10 02https://esolangs.org/w/index.php?diff=153553&oldid=153552 5* 03Leomok2009 5* (+0) 10 > 1741448301 347723 PRIVMSG #esolangs :14[[07Category:Unknown-based14]]4 10 02https://esolangs.org/w/index.php?diff=153554&oldid=153553 5* 03Leomok2009 5* (+33) 10 < 1741451890 284511 :int-e_!~noone@213162081219.public.telering.at JOIN #esolangs int-e :Bertram < 1741451920 285864 :int-e_!~noone@213162081219.public.telering.at QUIT :Client Quit < 1741451970 305622 :int-e!~noone@int-e.eu PRIVMSG #esolangs :well, meh. < 1741454778 553153 :tromp!~textual@2a02:a210:cba:8500:1c51:23bb:8be4:b3b8 JOIN #esolangs * :Textual User > 1741454796 915742 PRIVMSG #esolangs :14[[07Subst14]]4 M10 02https://esolangs.org/w/index.php?diff=153555&oldid=153541 5* 03Hakerh400 5* (+0) 10/* Terms */ > 1741454847 802472 PRIVMSG #esolangs :14[[07Subst14]]4 M10 02https://esolangs.org/w/index.php?diff=153556&oldid=153555 5* 03Hakerh400 5* (-1) 10/* Terms */ > 1741454920 291651 PRIVMSG #esolangs :14[[07Subst14]]4 M10 02https://esolangs.org/w/index.php?diff=153557&oldid=153556 5* 03Hakerh400 5* (+28) 10/* Terms */ < 1741459624 6654 :tromp!~textual@2a02:a210:cba:8500:1c51:23bb:8be4:b3b8 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1741459699 884814 :tromp!~textual@2a02:a210:cba:8500:1c51:23bb:8be4:b3b8 JOIN #esolangs * :Textual User > 1741460437 877712 PRIVMSG #esolangs :14[[07Uncomputable14]]4 N10 02https://esolangs.org/w/index.php?oldid=153558 5* 03Stkptr 5* (+24) 10Redirect to computable, this is an important concept so it should be easily accessible > 1741460761 636099 PRIVMSG #esolangs :14[[07Computable14]]4 M10 02https://esolangs.org/w/index.php?diff=153559&oldid=147930 5* 03Corbin 5* (+148) 10Not "simulated", but "recognized". Very important nuance. > 1741461033 844238 PRIVMSG #esolangs :14[[07Brain:D14]]4 10 02https://esolangs.org/w/index.php?diff=153560&oldid=153532 5* 03Corbin 5* (+184) 10A second reason that this one isn't TC: it's trivial to recognize. > 1741461688 69241 PRIVMSG #esolangs :14[[07Computational class14]]4 10 02https://esolangs.org/w/index.php?diff=153561&oldid=90249 5* 03Stkptr 5* (-1) 10/* Turing-completeness */ Constant function bounded storage machines are FSMs > 1741461832 574965 PRIVMSG #esolangs :14[[07BitChanger Busy beaver/Proof14]]4 10 02https://esolangs.org/w/index.php?diff=153562&oldid=153450 5* 03Int-e 5* (+3624) 10/* Using Timbuk */ new section > 1741462004 931635 PRIVMSG #esolangs :14[[07BitChanger Busy beaver14]]4 10 02https://esolangs.org/w/index.php?diff=153563&oldid=152858 5* 03Int-e 5* (+85) 10/* Confirmed optimal */ 15 is done > 1741462103 963392 PRIVMSG #esolangs :14[[07BitChanger Busy beaver/Proof14]]4 M10 02https://esolangs.org/w/index.php?diff=153564&oldid=153562 5* 03Int-e 5* (+11) 10/* Size 14 holdouts */ wordify > 1741462344 337004 PRIVMSG #esolangs :14[[07BitChanger Busy beaver14]]4 M10 02https://esolangs.org/w/index.php?diff=153565&oldid=153563 5* 03Int-e 5* (+0) 10/* Confirmed optimal */ count > 1741462383 180942 PRIVMSG #esolangs :14[[07BitChanger Busy beaver14]]4 M10 02https://esolangs.org/w/index.php?diff=153566&oldid=153565 5* 03Int-e 5* (+0) 10/* Confirmed optimal */ tnuoc > 1741462628 295182 PRIVMSG #esolangs :14[[07BitChanger Busy beaver/Proof14]]4 10 02https://esolangs.org/w/index.php?diff=153567&oldid=153564 5* 03Int-e 5* (+65) 10Add links for context. < 1741463012 797574 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(That was fun, but surely there's a better tool than Timbuk for this... ideally one that can guess its own approximations for constructing automata.) < 1741463050 812716 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(That = https://esolangs.org/wiki/Bitchanger_Busy_beaver/Proof#Using_Timbuk for those that ignore the esolangs bot) > 1741463598 54698 PRIVMSG #esolangs :14[[07Oracle machine14]]4 N10 02https://esolangs.org/w/index.php?oldid=153568 5* 03Stkptr 5* (+5055) 10Create page > 1741463785 654339 PRIVMSG #esolangs :14[[07BitChanger Busy beaver/Proof14]]4 10 02https://esolangs.org/w/index.php?diff=153569&oldid=153567 5* 03Int-e 5* (+31) 10/* Using Timbuk */ fix typo, clarify where the current cell is < 1741464440 126110 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :TIL about Timbuk. > 1741464894 306683 PRIVMSG #esolangs :14[[07Brain:D14]]4 10 02https://esolangs.org/w/index.php?diff=153570&oldid=153560 5* 03Corbin 5* (+1528) 10Compute the partition function. > 1741465005 444508 PRIVMSG #esolangs :14[[07List of complexity classes14]]4 M10 02https://esolangs.org/w/index.php?diff=153571&oldid=153076 5* 03Corbin 5* (+4) 10/* R */ Bluelink. > 1741465448 377995 PRIVMSG #esolangs :14[[07User:Buckets14]]4 M10 02https://esolangs.org/w/index.php?diff=153572&oldid=153512 5* 03Buckets 5* (+235) 10 < 1741465512 536479 :int-e!~noone@int-e.eu PRIVMSG #esolangs :korvo: I've worked in term rewriting and Thomas Genet is a big name there, so I couldn't help being aware... heck I even worked with tree automata. But this is the first time I've actually used that tool. > 1741465519 678958 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=153573&oldid=153536 5* 03Buckets 5* (+236) 10 > 1741465527 980024 PRIVMSG #esolangs :14[[07Oracle14]]4 10 02https://esolangs.org/w/index.php?diff=153574&oldid=51332 5* 03Stkptr 5* (+64) 10Link to oracle machine > 1741465556 634564 PRIVMSG #esolangs :14[[07Fe14]]4 N10 02https://esolangs.org/w/index.php?oldid=153575 5* 03Buckets 5* (+2854) 10Created page with "{{wrongtitle|title=
Fe
}}
< 1741465596 356794 :int-e!~noone@int-e.eu PRIVMSG #esolangs :But there's plenty I don't know. Do people have automata based nontermination checkers for Turing machines (in the context of searching for busy beavers)? Because that's basically what's happening here... the BitChanger program is treated as a Turing machine. > 1741465665 319928 PRIVMSG #esolangs :14[[07Fe14]]4 M10 02https://esolangs.org/w/index.php?diff=153576&oldid=153575 5* 03Buckets 5* (+74) 10 > 1741465708 647099 PRIVMSG #esolangs :14[[07Oracle machine14]]4 10 02https://esolangs.org/w/index.php?diff=153577&oldid=153568 5* 03Stkptr 5* (+64) 10/* Computational class of machines with a halting oracle */ > 1741465772 667575 PRIVMSG #esolangs :14[[07BitChanger Busy beaver/Proof14]]4 10 02https://esolangs.org/w/index.php?diff=153578&oldid=153569 5* 03Int-e 5* (+4) 10/* Using Timbuk */ specify version used > 1741466521 279440 PRIVMSG #esolangs :14[[07List of complexity classes14]]4 10 02https://esolangs.org/w/index.php?diff=153579&oldid=153571 5* 03Corbin 5* (+785) 10/* EXP */ NP ranges over polynomial amounts of random bits, not exponential. Also, explain why P is a subclass of EXP with a couple examples. > 1741467364 569160 PRIVMSG #esolangs :14[[07List of complexity classes14]]4 10 02https://esolangs.org/w/index.php?diff=153580&oldid=153579 5* 03Corbin 5* (+504) 10/* PSPACE */ List out some specific useful examples for us. < 1741467606 910105 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1741468771 592339 :tromp!~textual@2a02:a210:cba:8500:1c51:23bb:8be4:b3b8 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1741469128 645918 :tromp!~textual@2a02:a210:cba:8500:d904:ecda:6ce1:ab96 JOIN #esolangs * :Textual User > 1741469335 358902 PRIVMSG #esolangs :14[[07Fontmess14]]4 M10 02https://esolangs.org/w/index.php?diff=153581&oldid=153436 5* 03Buckets 5* (+512) 10 > 1741469507 278676 PRIVMSG #esolangs :14[[07Computable14]]4 10 02https://esolangs.org/w/index.php?diff=153582&oldid=153559 5* 03Stkptr 5* (+838) 10expound < 1741470384 430139 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname > 1741470445 474469 PRIVMSG #esolangs :14[[07Brain:D14]]4 10 02https://esolangs.org/w/index.php?diff=153583&oldid=153570 5* 03Stkptr 5* (+647) 10/* Computational complexity */ > 1741470482 970768 PRIVMSG #esolangs :14[[07Brain:D14]]4 10 02https://esolangs.org/w/index.php?diff=153584&oldid=153583 5* 03Stkptr 5* (+41) 10The class is unknown due to ill-defined execution > 1741471587 37879 PRIVMSG #esolangs :14[[07User:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=153585&oldid=153546 5* 03Hotcrystal0 5* (+55) 10 < 1741472482 29707 :Hoolootwo!~Hooloovoo@hax0rbana.org QUIT :Quit: ZNC 1.8.2+deb2+deb11u1 - https://znc.in < 1741472564 445395 :Hooloovoo!~Hooloovoo@hax0rbana.org JOIN #esolangs hooloovoo :Hooloovoo > 1741473763 428493 PRIVMSG #esolangs :14[[07Brain:D14]]4 10 02https://esolangs.org/w/index.php?diff=153586&oldid=153584 5* 03Corbin 5* (+192) 10/* Computational complexity */ Don't remove a claim just because you don't grok it. < 1741475371 610448 :tromp!~textual@2a02:a210:cba:8500:d904:ecda:6ce1:ab96 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1741478056 91460 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02Category:Unknown-based10]]": undiscussed category