< 1599782836 26771 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But how do you run the code? < 1599782854 116264 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Including shell scripts at the top seems very Unix-centric. < 1599782859 736938 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I want my programs to be cross-platform. < 1599782914 112619 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Well, you could still compile it without running the shell script at top too I suppose, just using whatever compiler it is; or you can use WSL < 1599783089 11931 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection < 1599783110 522460 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1599783194 134926 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How do you write a shell script at the top? < 1599783202 33377 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess you can start a C program with #if 0 < 1599783208 973062 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you can't have a #! line. < 1599783232 711365 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Yes, although you can still run it by writing "bash main.c" or whatever < 1599786331 538084 :tux_!~tux@cpe-72-224-244-240.maine.res.rr.com JOIN :#esoteric < 1599786356 422971 :tux_!~tux@cpe-72-224-244-240.maine.res.rr.com PRIVMSG #esoteric :woot < 1599786404 167392 :tux_!~tux@cpe-72-224-244-240.maine.res.rr.com QUIT :Client Quit < 1599790647 612907 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1599792879 141717 :MDude!~MDude@71.50.47.112 QUIT :Read error: No route to host < 1599793761 378037 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1599795204 922202 :xelxebar_!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1599795223 924328 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds < 1599795819 149433 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Here is a implementation of Unnecessary in PostScript: ARGUMENTS 0{get(r)file}stopped{[}if] Like the one I wrote in JavaScript, the error message is strange. > 1599795943 953377 PRIVMSG #esoteric :14[[07Talk:Unnecessary14]]4 10 02https://esolangs.org/w/index.php?diff=77432&oldid=57536 5* 03Zzo38 5* (+363) 10Implementation in PostScript (which is also a bit strange) < 1599795962 218858 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Hopefully, both of these implementations, you could see how it is working. < 1599796086 584364 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Do you like this? > 1599796854 762994 PRIVMSG #esoteric :14[[07Talk:Unnecessary14]]4 10 02https://esolangs.org/w/index.php?diff=77433&oldid=77432 5* 03Zzo38 5* (+59) 10 < 1599796945 951105 :xelxebar_!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection < 1599796967 855065 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1599797547 710870 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Is there a short way to write googol with roman numbers? < 1599798347 657191 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :Ping timeout: 240 seconds < 1599798349 446831 :trn!jhj@prone.ws QUIT :Ping timeout: 265 seconds < 1599798527 587233 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1599799127 963456 :trn!jhj@prone.ws JOIN :#esoteric < 1599799162 393412 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net PRIVMSG #esoteric :An X with 33 bars over it might work < 1599799488 377169 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net PRIVMSG #esoteric :The other option is something like CCC...CCC|ↃↃↃ...ↃↃↃ (see also Wikipedia: https://en.wikipedia.org/wiki/Roman_numerals#Large_numbers) < 1599799505 740197 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net PRIVMSG #esoteric :where there are 98 Cs and backwards Cs < 1599799740 149930 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :How many bars was the largest number of bars the Romans used? < 1599799909 147946 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net PRIVMSG #esoteric :I don't know of any historical cases where more than one was used < 1599800092 366991 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I think in modern use, most things with roman numbers are not going to use any bars, nor any fractions, although I have occasionally used fractions < 1599800393 905741 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net PRIVMSG #esoteric :(That pipe should be an I by the way) < 1599800501 22274 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1599800584 73380 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 260 seconds < 1599800584 336744 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1599801083 677451 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Ping timeout: 240 seconds < 1599801682 55827 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN :#esoteric < 1599803297 187838 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I think the rules for Cryptography skill in GURPS isn't very good. And for other reasons, there are also problems with Fortune-Telling skill. And actually, also Brawling skill; you might be better or worse at bites, horns, claws, etc, but the skill level for them is not distinguished (although the attacks themself are distinguished). > 1599804154 313782 PRIVMSG #esoteric :14[[07DigitDigitJump14]]4 10 02https://esolangs.org/w/index.php?diff=77434&oldid=77425 5* 03Zero 5* (-24) 10 < 1599805916 747406 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Woah, there's a World Standards Day? < 1599805965 92213 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Which is on October 14th every year. Boring so far... but the reason I'm reading about this now is this: 'The U.S. Celebration of World Standards Day (WSD), an event intended to raise awareness of the importance of global standardization to the world economy and to promote its role in helping meet the needs of business, industry, government, and consumers worldwide, will be held on Thursday,... < 1599805971 179710 :int-e!~noone@int-e.eu PRIVMSG #esoteric :...October 22.' < 1599806439 743610 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net PRIVMSG #esoteric :Wait, where is this? < 1599806478 878558 :int-e!~noone@int-e.eu PRIVMSG #esoteric :https://www.ansi.org/news_publications/news_story?menuid=7&articleid=fa8379c4-3024-4970-b782-9446aadaf805 < 1599806516 898228 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( ANSI adaptation of international standards always takes a while. ) < 1599807705 784068 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net PRIVMSG #esoteric :According to Wikipedia they've been doing this since 2014 < 1599807887 639536 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net PRIVMSG #esoteric :https://www.ansi.org/meetings_events/WSWEEK/WSW2020/World-Standards-Day <-- by the way, this year's was cancelled < 1599808270 279952 :int-e!~noone@int-e.eu PRIVMSG #esoteric :October 28th! < 1599808286 773103 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Sorry, I somehow find this funny. < 1599808327 558951 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(The datas. The cancellation is just good practice right now.) < 1599808358 696626 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Though many events go virtual instead. < 1599809039 644749 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1599811022 916207 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Remote host closed the connection < 1599811072 832397 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1599811819 957566 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1599811943 885620 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds < 1599812219 931664 :cpressey!~cpressey@79-65-249-126.host.pobb.as13285.net JOIN :#esoteric < 1599813635 584348 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1599814214 540792 :arseniiv!~arseniiv@136.169.237.49 JOIN :#esoteric < 1599817298 764951 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1599819066 308787 :^[_!sid43445@gateway/web/irccloud.com/x-uqfdrhmdjrcekkxs QUIT :*.net *.split < 1599819066 856162 :ornxka!~ornxka@unaffiliated/ornx QUIT :*.net *.split < 1599819066 959617 :laerling!~laerling@unaffiliated/laerling QUIT :*.net *.split < 1599819067 62579 :paul2520!~paul2520@unaffiliated/paul2520 QUIT :*.net *.split < 1599819079 454328 :laerling!~laerling@static.235.77.203.116.clients.your-server.de JOIN :#esoteric < 1599819419 634274 :^[_!sid43445@gateway/web/irccloud.com/session JOIN :#esoteric < 1599819419 634359 :ornxka!~ornxka@unaffiliated/ornx JOIN :#esoteric < 1599819419 634373 :paul2520!~paul2520@unaffiliated/paul2520 JOIN :#esoteric < 1599819422 4786 :^[_!sid43445@gateway/web/irccloud.com/session QUIT :Changing host < 1599819422 4839 :^[_!sid43445@gateway/web/irccloud.com/x-jqgsrnowfujwlgxj JOIN :#esoteric < 1599819435 41354 :ornxka!~ornxka@unaffiliated/ornx QUIT :Max SendQ exceeded < 1599819452 49860 :ornxka!~ornxka@unaffiliated/ornx JOIN :#esoteric < 1599820617 423938 :cpressey!~cpressey@79-65-249-126.host.pobb.as13285.net PRIVMSG #esoteric :The PA degrees are interesting. The WP article doesn't do a good job defining what a "completion of PA" is, but I take it that a completion of PA is not (necessarily) Turing-complete. Which raises the interesting question of what computability class (or classes) they do represent. < 1599820663 815574 :cpressey!~cpressey@79-65-249-126.host.pobb.as13285.net PRIVMSG #esoteric :rain1: ^ < 1599820826 939750 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :ok! < 1599820831 397087 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :PA?? < 1599820838 111485 :cpressey!~cpressey@79-65-249-126.host.pobb.as13285.net PRIVMSG #esoteric :"A completion of Peano arithmetic is a set of formulas in the language of Peano arithmetic, such that the set is consistent in first-order logic and such that, for each formula, either that formula or its negation is included in the set." < 1599820839 195753 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :peano arithmetic? < 1599820841 286568 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :hm < 1599820854 532879 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :wow < 1599820864 46857 :cpressey!~cpressey@79-65-249-126.host.pobb.as13285.net PRIVMSG #esoteric :That sentence sounds like a tautology to me -- they must mean something by "for each formula" that I don't get < 1599820884 84242 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :i suppose we have to assign a truth value to everything < 1599820890 921160 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :as opposed to leaving undecidable sentences < 1599821202 995027 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :so we can actually write a real computer program that lists out the truth values of PA sentences in an order such that everything is mentioned eventually? < 1599821639 656695 :cpressey!~cpressey@79-65-249-126.host.pobb.as13285.net PRIVMSG #esoteric :What truth value would you expect it to eventually print out for the PA sentence that says "This sentence is false"? < 1599821707 676412 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :i am not sure < 1599821715 643070 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :is it impossible to assign it a truth value? < 1599821789 623184 :bizzz!5aa1fa92@90.161.250.146 JOIN :#esoteric < 1599821842 811648 :bizzz!5aa1fa92@90.161.250.146 PART :#esoteric < 1599822523 559867 :cpressey!~cpressey@79-65-249-126.host.pobb.as13285.net PRIVMSG #esoteric :I think so. < 1599822618 395038 :cpressey!~cpressey@79-65-249-126.host.pobb.as13285.net PRIVMSG #esoteric :The PA degree article does seem to say that the PA degrees are uncomputable, and it doesn't actually refer to any proof that there is a PA degree strictly lower than the HP - it only says "There are also PA degrees that are not above 0‘". < 1599822641 901505 :cpressey!~cpressey@79-65-249-126.host.pobb.as13285.net PRIVMSG #esoteric :So maybe 0' is the lowest PA degree, it doesn't seem to rule that out. < 1599822754 40063 :cpressey!~cpressey@79-65-249-126.host.pobb.as13285.net PRIVMSG #esoteric :A set that is uncomputable but "not as uncomputable as the halting problem" is very, very hard to imagine. < 1599822774 506454 :cpressey!~cpressey@79-65-249-126.host.pobb.as13285.net QUIT :Quit: Lunch < 1599822816 177679 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :yes it is < 1599822856 289577 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :especially with rices theorem?? < 1599822860 164375 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :doesn't rices theorem rule that out > 1599823972 949160 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03HerzogDietrich 5* 10New user account < 1599824728 727181 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” > 1599826091 608567 PRIVMSG #esoteric :14[[07DigitDigitJump14]]4 10 02https://esolangs.org/w/index.php?diff=77435&oldid=77434 5* 03Zero 5* (-30) 10 > 1599826819 174209 PRIVMSG #esoteric :14[[07SpaghettiScript14]]4 10 02https://esolangs.org/w/index.php?diff=77436&oldid=73071 5* 03UltimateProGrammer 5* (+134) 10Outputs letter > 1599827301 161366 PRIVMSG #esoteric :14[[07SpaghettiScript14]]4 M10 02https://esolangs.org/w/index.php?diff=77437&oldid=77436 5* 03UltimateProGrammer 5* (+11) 10 > 1599827564 527391 PRIVMSG #esoteric :14[[07SpaghettiScript14]]4 10 02https://esolangs.org/w/index.php?diff=77438&oldid=77437 5* 03UltimateProGrammer 5* (+46) 10Get FizzBuzz to work > 1599828033 349183 PRIVMSG #esoteric :14[[07DigitDigitJump14]]4 10 02https://esolangs.org/w/index.php?diff=77439&oldid=77435 5* 03Zero 5* (+129) 10Undo revision 77435 by [[Special:Contributions/Zero|Zero]] ([[User talk:Zero|talk]]) > 1599828357 451789 PRIVMSG #esoteric :14[[07SpaghettiScript14]]4 M10 02https://esolangs.org/w/index.php?diff=77440&oldid=77438 5* 03UltimateProGrammer 5* (+768) 10Say Fizz instead of F and the same with buzz > 1599828403 508088 PRIVMSG #esoteric :14[[07DigitDigitJump14]]4 10 02https://esolangs.org/w/index.php?diff=77441&oldid=77439 5* 03Zero 5* (+91) 10 < 1599828623 173426 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursa1 < 1599828641 856594 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric > 1599828705 824299 PRIVMSG #esoteric :14[[07DigitDigitJump14]]4 10 02https://esolangs.org/w/index.php?diff=77442&oldid=77441 5* 03Zero 5* (+229) 10 < 1599832614 416647 :tromp!~tromp@2a02:a210:ca3:2800:ed67:c2ab:d0b5:2413 JOIN :#esoteric < 1599832788 59191 :tromp_!~tromp@2a02:a210:ca3:2800:8d3f:64d1:78b3:7501 QUIT :Ping timeout: 246 seconds < 1599833140 574726 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric > 1599835844 759760 PRIVMSG #esoteric :14[[07DigitDigitJump14]]4 10 02https://esolangs.org/w/index.php?diff=77443&oldid=77442 5* 03Zero 5* (-30) 10 < 1599836017 798158 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1599836108 841241 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :bwah what a cliff-hanger (https://risingentropy.com/the-arithmetic-hierarchy-and-computability/) < 1599838352 153502 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1599839873 698886 :izabera!izabera@unaffiliated/izabera QUIT :Quit: WeeChat 2.8 < 1599839970 371620 :izabera!izabera@unaffiliated/izabera JOIN :#esoteric > 1599841497 141330 PRIVMSG #esoteric :14[[07Snake Script14]]4 N10 02https://esolangs.org/w/index.php?oldid=77444 5* 03BlueOkiris 5* (+4065) 10Created page with "= Snake Script = Snake Script is a language created by Dylan Turner aka ~~~~ == Description == The goal was to make a language that fits nicely in a traditional terminal. I..." > 1599841549 835070 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=77445&oldid=77377 5* 03BlueOkiris 5* (+19) 10/* S */ < 1599841956 399739 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :https://cs.stackexchange.com/questions/130030/incomputable-sets-of-low-degree-vs-rices-theorem/130035#130035 < 1599841960 760009 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I asked about low degree < 1599843697 101381 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1599843822 971430 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds < 1599843823 116583 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1599846561 765970 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1599847017 917938 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1599848609 243099 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`olist 1214 < 1599848610 864805 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :olist https://www.giantitp.com/comics/oots1214.html: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1599848638 443682 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :I keep forgetting about `olist even when I'm on IRC and see the update before it's been done > 1599849071 943173 PRIVMSG #esoteric :14[[07Talk:Lenta14]]4 M10 02https://esolangs.org/w/index.php?diff=77446&oldid=77431 5* 03Tetrapyronia 5* (-1) 10 < 1599854824 922896 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I started to implement a "safe interactive mode" in TeXnicard, for use when you are making it available as a remote service (such as with SSH), and are not using other mechanisms to improve security (e.g. separate user accounts, sandboxing, etc). > 1599856662 402337 PRIVMSG #esoteric :14[[0705AB1E14]]4 M10 02https://esolangs.org/w/index.php?diff=77447&oldid=77428 5* 03SunnyMoon 5* (+81) 10Stack of STRINGS > 1599856694 371996 PRIVMSG #esoteric :14[[0705AB1E14]]4 M10 02https://esolangs.org/w/index.php?diff=77448&oldid=77447 5* 03SunnyMoon 5* (+1) 10uh oh < 1599860850 523356 :arseniiv!~arseniiv@136.169.237.49 QUIT :Ping timeout: 258 seconds