< 1628727521 51059 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Ping timeout: 248 seconds < 1628727524 351875 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Ping timeout: 252 seconds < 1628727938 293710 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in < 1628728029 88232 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1628732944 516406 :hendursaga!~weechat@user/hendursaga QUIT :Quit: hendursaga < 1628732977 634903 :hendursaga!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1628733139 192011 :sprock!~sprocklem@user/sprock QUIT :Remote host closed the connection < 1628733168 97483 :sprock!~sprocklem@user/sprock JOIN #esolangs sprock :Maeve Sproule < 1628734096 171491 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1628735269 574565 :imode!~imode@user/imode JOIN #esolangs imode :imode < 1628736836 118820 :delta23!~delta23@user/delta23 QUIT :Remote host closed the connection < 1628736860 87570 :delta23!~delta23@user/delta23 JOIN #esolangs delta23 :delta23__ < 1628736947 358583 :delta23!~delta23@user/delta23 QUIT :Client Quit < 1628738662 46241 :teaml!~teaml@ip68-228-22-25.pn.at.cox.net JOIN #esolangs * :TeamLightning < 1628738734 46293 :teaml_!~teaml@ip68-228-22-25.pn.at.cox.net JOIN #esolangs * :TeamLightning < 1628738945 46903 :teaml!~teaml@ip68-228-22-25.pn.at.cox.net QUIT :Ping timeout: 248 seconds < 1628743359 61594 :dyeplexer!~dyeplexer@user/dyeplexer JOIN #esolangs dyeplexer :t b k ky jt h bc < 1628744563 957747 :Hooloovoo!Hooloovoo@sorunome.de QUIT :Quit: Temporarily refracted into a free-standing prism. < 1628744732 922007 :Hooloovoo!Hooloovoo@hooloovoo.blue JOIN #esolangs hooloovoo :Hooloovoo > 1628747447 610793 PRIVMSG #esolangs :14[[07PL2 vCPU14]]4 M10 02https://esolangs.org/w/index.php?diff=87172&oldid=87104 5* 03TeamLightning 5* (+22) 10/* Implementations */ changed GitHub link to point to main branch specifically < 1628747538 285501 :teaml_!~teaml@ip68-228-22-25.pn.at.cox.net QUIT :Quit: Leaving < 1628749681 288055 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1628749783 861344 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 258 seconds < 1628749783 969359 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1628751182 577442 :imode!~imode@user/imode QUIT :Ping timeout: 245 seconds < 1628753486 958513 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1628754412 956528 :river!uid512128@tilde.team/user/river PRIVMSG #esolangs :https://www.scottaaronson.com/blog/?p=5661 < 1628754489 418067 :river!uid512128@tilde.team/user/river PRIVMSG #esolangs :> I noted that the BBB function grows uncomputably even given an oracle for the ordinary BB function. In fact, computing anything that grows as quickly as BBB is equivalent to solving any problem in the second level of the arithmetical hierarchy (where the computable functions are in the zeroth level, and the halting problem is in the first level) < 1628754490 849729 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs : :1:108: error: parse error on input ‘,’ < 1628754785 57637 :river!uid512128@tilde.team/user/river PRIVMSG #esolangs :the beeping busy beaver is very interesting < 1628754803 682309 :river!uid512128@tilde.team/user/river PRIVMSG #esolangs :how could 2nd level of the arithmetic hierarchy have influence on a function that gives finite numbers... < 1628754911 746380 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esolangs :Why shouldn't it? < 1628755561 690238 :hendursa1!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1628755769 631829 :hendursaga!~weechat@user/hendursaga QUIT :Ping timeout: 244 seconds < 1628757009 555201 :Trieste_!T@user/pilgrim NICK :Trieste < 1628758145 97675 :dermato!~dermatobr@154.21.23.75 QUIT :Ping timeout: 248 seconds < 1628760084 268421 :dermato!~dermatobr@154.21.23.75 JOIN #esolangs dermato :dermato < 1628760968 322393 :int-e!~noone@int-e.eu PRIVMSG #esolangs :first level: phi(n) = exists k. psi(n, k), where psi is a sigma-0 sentence. second level: phi(n) = forall k. exists l. psi(n, k, l), again with a sigma-0 formula for psi... the latter is strictly more expressive... < 1628761049 979188 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(The former is \Sigma_0^1; k can be viewed as a number of steps; the latter is \Pi_0^2, k can be viewed as the number of beeps, and l as the number of steps needed to reach the next beep.) < 1628761132 89415 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(This is simplified though; in reality the variables need to encode whole TM runs with intermediate states.) < 1628761234 289083 :int-e!~noone@int-e.eu PRIVMSG #esolangs :hmmm < 1628761274 697715 :int-e!~noone@int-e.eu PRIVMSG #esolangs :that's just the corresponding halting problem < 1628761718 465367 :int-e!~noone@int-e.eu PRIVMSG #esolangs :The function version of these are phi(n,v) = exists k. psi(n, v, k) encoding f(n) = v; k is the encoding of a run of the TM (so potentially much larger than v) that produces v as an output, and phi(n, v) = forall k. exists l. psi(n, v, k, l), where for example, k is a partial run of the TM, and l extends it to the point where the TM beeps again. < 1628761786 957026 :int-e!~noone@int-e.eu PRIVMSG #esolangs :s/, and/. For the second level,/ < 1628762797 863485 :river!uid512128@tilde.team/user/river PRIVMSG #esolangs :so it's kinda like halting but you count how many times it halts? < 1628762810 792002 :river!uid512128@tilde.team/user/river PRIVMSG #esolangs :but generalized so its not 'halting' but some arbitrary state < 1628763822 852968 :sprock!~sprocklem@user/sprock QUIT :Quit: brb < 1628763844 958212 :sprock!~sprocklem@user/sprock JOIN #esolangs sprock :Maeve Sproule < 1628773953 648884 :hendursa1!~weechat@user/hendursaga QUIT :Quit: hendursa1 < 1628773979 644419 :hendursaga!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat > 1628775241 542865 PRIVMSG #esolangs :14[[07User talk:A14]]4 10 02https://esolangs.org/w/index.php?diff=87173&oldid=70359 5* 03Lyxal 5* (+64) 10/* A Question */ new section > 1628775270 507024 PRIVMSG #esolangs :14[[07User talk:A14]]4 M10 02https://esolangs.org/w/index.php?diff=87174&oldid=87173 5* 03Lyxal 5* (+108) 10 > 1628775330 471697 PRIVMSG #esolangs :14[[07User talk:A14]]4 M10 02https://esolangs.org/w/index.php?diff=87175&oldid=87174 5* 03Lyxal 5* (+8) 10 < 1628779006 85340 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1628785006 235647 :dermato!~dermatobr@154.21.23.75 QUIT :Ping timeout: 272 seconds < 1628785713 384581 :dermato!~dermatobr@154.21.23.75 JOIN #esolangs dermato :dermato < 1628786118 219701 :imode!~imode@user/imode JOIN #esolangs imode :imode < 1628786726 405968 :Hooloovoo!Hooloovoo@hooloovoo.blue QUIT :Quit: Temporarily refracted into a free-standing prism. < 1628788337 988315 :ircseeker3!~nodebot@185.187.243.123 JOIN #esolangs * :ircseeker2 < 1628790664 759206 :Hooloovoo!Hooloovoo@hooloovoo.blue JOIN #esolangs hooloovoo :Hooloovoo > 1628791635 127556 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Corbin 5* 10New user account < 1628792168 55099 :kspalaiologos!~kspalaiol@user/kspalaiologos JOIN #esolangs kspalaiologos :Kamila > 1628792178 673055 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=87176&oldid=87088 5* 03Corbin 5* (+171) 10Introduce myself. It took a lot of effort to not use some variation of the Yoshikage Kira copypasta. < 1628792545 71310 :dyeplexer!~dyeplexer@user/dyeplexer QUIT :Ping timeout: 248 seconds < 1628794936 441023 :hendursaga!~weechat@user/hendursaga QUIT :Remote host closed the connection < 1628795007 555059 :kspalaiologos!~kspalaiol@user/kspalaiologos QUIT :Quit: Leaving < 1628795106 645770 :hendursaga!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat > 1628797257 599082 PRIVMSG #esolangs :14[[07NoCode14]]4 N10 02https://esolangs.org/w/index.php?oldid=87177 5* 03Dominicentek 5* (+2149) 10Created page with "NoCode is an esoteric programming language written by [[User:Dominicentek]]. It doesn't have any source code. == How it works == This programming language has no syntax. It de..." > 1628797305 338110 PRIVMSG #esolangs :14[[07User:Dominicentek14]]4 10 02https://esolangs.org/w/index.php?diff=87178&oldid=87080 5* 03Dominicentek 5* (+24) 10 > 1628797830 343761 PRIVMSG #esolangs :14[[07User:Dominicentek14]]4 10 02https://esolangs.org/w/index.php?diff=87179&oldid=87178 5* 03Dominicentek 5* (+4) 10 > 1628797896 52560 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=87180&oldid=87157 5* 03Dominicentek 5* (+12) 10/* N */ > 1628797929 883710 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=87181&oldid=87180 5* 03Dominicentek 5* (+0) 10/* N */ > 1628797984 991256 PRIVMSG #esolangs :14[[07NoCode14]]4 M10 02https://esolangs.org/w/index.php?diff=87182&oldid=87177 5* 03Dominicentek 5* (-13) 10 < 1628801374 363246 :ecs!ecs@user/ecs QUIT :Read error: Connection reset by peer < 1628801383 590450 :ecs!~ecs@d2evs.net JOIN #esolangs * :ecs < 1628801407 823856 :ecs!~ecs@d2evs.net NICK :Guest780 < 1628801519 578512 :Guest780!~ecs@d2evs.net NICK :ecs < 1628801538 405794 :ecs!~ecs@d2evs.net CHGHOST ~ecs :user/ecs < 1628802732 516175 :dutch!~DutchIngr@user/dutch QUIT :Quit: WeeChat 3.2 < 1628803231 69863 :dutch!~DutchIngr@user/dutch JOIN #esolangs DutchIngraham :dutch < 1628804772 264404 :Hooloovoo!Hooloovoo@hooloovoo.blue QUIT :Ping timeout: 256 seconds < 1628805490 809117 :dutch!~DutchIngr@user/dutch QUIT :Quit: WeeChat 3.2 < 1628806227 918155 :ircseeker3!~nodebot@185.187.243.123 QUIT :Remote host closed the connection < 1628806733 64221 :dutch!~DutchIngr@user/dutch JOIN #esolangs DutchIngraham :dutch < 1628810490 574248 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen > 1628812059 788668 PRIVMSG #esolangs :14[[07NoCode14]]4 M10 02https://esolangs.org/w/index.php?diff=87183&oldid=87182 5* 03PythonshellDebugwindow 5* (+117) 10/* Interpreter */ sum(map(lambda x: Cat, "Cats")) < 1628812514 94288 :craigoverend[m]!~craigover@2001:470:69fc:105::12bc QUIT :Ping timeout: 268 seconds < 1628812518 516858 :daggy1234[m]!~daggy1234@2001:470:69fc:105::d315 QUIT :Ping timeout: 272 seconds < 1628812547 992854 :jryans!~jryans@2001:470:69fc:105::1d QUIT :Ping timeout: 268 seconds < 1628812548 713325 :Deewiant!~deewiant@2001:470:69fc:105::2fd3 QUIT :Ping timeout: 268 seconds < 1628812554 940227 :fizzie[m]!~fizzie@2001:470:69fc:105::3727 QUIT :Ping timeout: 276 seconds < 1628812621 978003 :FireFly!firefly@glowbum/gluehwuermchen/firefly QUIT :Ping timeout: 267 seconds < 1628812734 522693 :FireFly!firefly@glowbum/gluehwuermchen/firefly JOIN #esolangs FireFly :firefly