< 1599610185 57195 :olsner!~salparot@c80-217-180-83.bredband.comhem.se JOIN :#esoteric < 1599611083 88166 :b_jonas!~x@catv-176-63-11-126.catv.broadband.hu QUIT :Remote host closed the connection < 1599611279 546056 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :'Do something with format specifiers' they told. 'It'll be fun they' they told me. < 1599611289 35197 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Down another rabbit hole. < 1599612131 995849 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I don't see how rule-based programming can be anywhere as fast as imperative programming. the hot loop of searching for which rule to match alone is going to take more time than a single instruction. < 1599612271 457684 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Depending on the programming language, it might be possible to make it fast after the program has been compiled. < 1599612407 223499 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I don't see how. my base case is rewrite rules over strings. the matcher logic for a given ruleset can be compiled down to a trie or a DFA, and that can be turned into native code, but in my tests, that's still too slow. < 1599612504 133360 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Well, I just made the suggestion. < 1599612609 433469 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :yeah... it'd thrash the branch predictor. < 1599613142 205812 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :if you're lucky and there's some pattern to it, you might be able to get a Zen (AMD Ryzen/Threadripper/EPYC lines) CPU to cooperate with the branches, but I think that's really it < 1599613601 383300 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :That's just correct. Usually, rule-based languages or rewriters are slower than imperative programming. But they're still useful. < 1599613673 612690 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :With Herculean effort you can sometimes compile programs down to their imperative counterpart, though. But usually not. < 1599614013 725330 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :doubtful that it's possible with string rewriting. < 1599614101 65148 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Depends on the rules and what you think is the imperative counterpart to those rules. But in general, impossible. < 1599614301 218331 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :it's sad because there's so many useful things about the paradigm. your state is just the current "fact store" (the string in the case of string rewriting) and the rules that are run against the fact store. how in the hell is prolog performant. < 1599614524 722859 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Haskell can do it sometimes. Something like: Take 'fac', analyze it as better strict, compile the matches to conditions, translate the recursion to a loop. Presto, same microcode as the C equivalent. < 1599614595 781678 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But that's a whole lot of compiler voodoo. I guess something like 40 manyears to arrive in that state. < 1599614646 655919 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :The same effort as writing a compiler for a lazy functional language and then attach a normal C compiler with optimizations to it. < 1599614754 303350 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :rule based programming is just full of conditions, though. the core loop is just if/else if/else if/else if/else if/else if/... unless you have a reasonable way of shortcutting that linear search. < 1599614813 948867 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :even if you compiled that down to assembly, the basis would just be a bunch of branches. < 1599615052 528298 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :There's a lot of additional voodoo in term rewriters to try and compile most of that out. Mostly -whatsitscalled- deforestation. Just preven intermediate things you match against from ever existing by clever fusion rules. < 1599615067 353127 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :*prevent < 1599615760 824436 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :hm, I should look into that. < 1599615850 30853 :salpynx!794954f8@121.73.84.248 JOIN :#esoteric < 1599616328 892997 :olsner!~salparot@c80-217-180-83.bredband.comhem.se QUIT :Ping timeout: 256 seconds < 1599616538 907053 :MDude!~MDude@71.50.47.112 JOIN :#esoteric < 1599618213 973326 :olsner!~salparot@c80-217-180-83.bredband.comhem.se JOIN :#esoteric < 1599620242 98572 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1599620284 576148 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: format "{} {}" "hello" "world" < 1599620284 576219 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"hello world" < 1599621802 830575 :MDude!~MDude@71.50.47.112 QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1599622158 600324 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1599622176 674683 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1599622223 933473 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: format "{} {:#06x}" "a number" 42 < 1599622224 53998 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"a number 0x002a" < 1599622232 273707 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :By popular request. < 1599623271 49008 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :'Verazol, Parter of Currents' was leaked. Looks interesting. > 1599627492 142286 PRIVMSG #esoteric :14[[07Talk:Emoji14]]4 N10 02https://esolangs.org/w/index.php?oldid=77383 5* 03Tetrapyronia 5* (+235) 10Created page with "Do the commands that take input pop the items they use? Ex. Does (add top 2) on the stack (1,2) turn the stack into (1,2,3) or (3)? ~~~~" < 1599627524 33058 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1599627626 416383 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 265 seconds < 1599627626 416448 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1599631016 13214 :clog!~nef@bespin.org QUIT :Ping timeout: 240 seconds < 1599634153 71034 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1599635966 837934 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :hi < 1599637964 97107 :clog!~nef@bespin.org JOIN :#esoteric < 1599638463 62635 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric : Theorem. There are Turing computable partial functions that have no extension to a total Turing computable function. In particular, the partial function f defined so that f(n) = m if and only if the Turing machine with index n halts on input 0 with output m has no extension to a total computable function. < 1599638561 943086 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru JOIN :#esoteric < 1599638584 969546 :Melvar!~melvar@dslb-178-007-125-010.178.007.pools.vodafone-ip.de QUIT :Ping timeout: 246 seconds < 1599638778 84127 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 256 seconds < 1599639224 285536 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1599639363 820282 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds < 1599639379 577116 :Melvar!~melvar@dslb-178-007-125-010.178.007.pools.vodafone-ip.de JOIN :#esoteric < 1599641753 939771 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( M(T) := if f(T(T)) = 1 then 0 else 1 ) < 1599642544 754670 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :so f is just eval([N(0)]) < 1599642562 211810 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :M is taking in T and evaling [T(T)(0)] ? < 1599642568 685182 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :and not'ing its result < 1599642852 126471 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Since f is passing an argument, I guess M should take two arguments, M(T,x) = if f([\x. `T`(`T`,x)]) = 1 then 0 else 1 ) < 1599642875 528643 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And as usual there's a substitution step involved. < 1599642885 7383 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(as usual in those diagonalization constructions) < 1599642899 839266 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :oh and what properties is this M going to have? < 1599642958 236203 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Then you look at f([\x. M([M],x)]). < 1599643013 265521 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Meh, my notation isn't good enough. < 1599643091 4815 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :notationally, this stuff can be pretty awkward < 1599643092 255198 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But the point is that M is supposed to reconstruct \x. M([M],x) from [M]. < 1599643101 938848 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :maybe quasiquotes like in lisp would be good < 1599643103 890503 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And pass the result to f. < 1599643152 139533 :int-e!~noone@int-e.eu PRIVMSG #esoteric :so that f([\x. M([M],x)]) = 1 <--> f([\x. M([M],x)]) = 0 < 1599644099 897978 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1599644397 495544 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :rain1: what's meant by 'extension'? < 1599646343 930655 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1599647305 57751 :salpynx!794954f8@121.73.84.248 QUIT :Remote host closed the connection < 1599651022 601962 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :kritixilithos < 1599651037 795900 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :f(x) is defined for some values and the turing machine does not halt so it is not defined for other values < 1599651058 181912 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :an extension is a function that matches it on defined values, and may terminate and produce values on f's undefineds < 1599651072 813213 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :i was thinking how nice it would be to assign types to turing machise < 1599651080 969677 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :just like ::= N | -> < 1599651160 302605 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :but you can't really do this < 1599651184 990514 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :the liar program essentially depends on you putting T(T(T(T(...))) basically an infinite type/non well founded type < 1599651238 435124 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :intuitive concepts are matched up with formal things on the arithmetic heierearchy < 1599651268 77400 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :decidable set: t.m. halts with 1 if element is in the set, 0 if element is not in the set -- this is a Delta_0^1 set < 1599651272 895390 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1599651288 164616 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :semidecidable set: t.m. halts with 1 if element is in the set, diverges if not -- this is a Sigma_0^1 set < 1599651332 589585 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :the set of all total computable functions: every element of this set is a t.m. that halts on all inputs - this is suppose to be Pi_2 < 1599651346 775360 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I don't really know why yet < 1599651353 965131 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I need to study posts theorem < 1599651365 866926 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :and I need to know about turing jumps (?) < 1599652083 22160 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :rain1: thanks for the definition. curious, what resources are you using to learn about this? < 1599652308 80353 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursa1 < 1599652331 887856 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1599653903 800751 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1599654511 69001 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :wikipedia.. :< < 1599654515 802803 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :i need a better resource < 1599656334 684394 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1599657003 660346 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com QUIT :Quit: Leaving. < 1599657087 796917 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I think the halting problem proof can be done at any level < 1599657093 202980 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :so lets call normal one level 0 < 1599657098 468724 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :we showed Halt does not exist at level 0 < 1599657116 342576 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :but assume Halt exists at level 1 (i.e. level 1 is turing machines with a halting oracle) < 1599657131 57659 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :it can be < 1599657138 596829 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :there is an esolang with that premise iirc < 1599657140 629149 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :we can't implement Halt_1 at this level < 1599657150 865182 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :Halt_1 being a decision procedure that tells you if a level 1 machine halts < 1599657166 5367 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :and we just use the same proof as the normal halting problem proof? < 1599657183 420962 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :yes < 1599657197 102362 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :for each halting problem level you can solve, you will create a new one < 1599657204 905663 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :this is good < 1599657690 58298 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :how does this relate to arithmetic heierarchy < 1599657740 645158 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com JOIN :#esoteric < 1599657750 329450 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :" i need a better resource" i had started https://www.comp.nus.edu.sg/~fstephan/recursiontheory-pdflatex.pdf a while back < 1599657765 365345 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :oh yeah i remember this < 1599657770 730452 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :thanks! < 1599657936 485957 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :some proofs however aren't shown in full, so i took a break from it to start reading another book < 1599658210 393611 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :but then again, asking for a proof that diophantine sets are r.e. might be a bit too much < 1599658365 175707 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :there is a good book on that, hilberts 10th problem < 1599658379 757674 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :the hardest part was finding a way to express exponentiation < 1599658518 205603 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :thanks, might take a look into that later < 1599659344 576755 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1599659763 784152 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1599660067 97841 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1599660495 784483 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1599661025 39482 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1599661947 86450 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru QUIT :Quit: gone too far > 1599662128 916050 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 N10 02https://esolangs.org/w/index.php?oldid=77384 5* 03Zero 5* (+2184) 10Created page with " = THE_LAST_ACTION_LANGUAGE = == overview == * natural-language agnostic (all keywords are 1 special character) so you can program in Toki Pona * values are mutabl..." < 1599662163 794013 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds < 1599662238 170088 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric > 1599662422 712042 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77385&oldid=77384 5* 03Zero 5* (+3) 10 > 1599662571 29204 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77386&oldid=77385 5* 03Zero 5* (+93) 10 > 1599662601 592238 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77387&oldid=77386 5* 03Zero 5* (+12) 10 > 1599662888 893115 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77388&oldid=77387 5* 03Zero 5* (+57) 10 > 1599662962 518507 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77389&oldid=77388 5* 03Zero 5* (+23) 10 > 1599663434 935251 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77390&oldid=77389 5* 03Zero 5* (+55) 10 < 1599664215 340000 :MDude!~MDude@71.50.47.112 JOIN :#esoteric < 1599664606 968985 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :the terminology is so slippery < 1599664617 655858 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :i feel like any source uses a slightly different set of terms < 1599664683 374743 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :which ones do you specifically mean? < 1599664725 286190 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :just stuff like recursive, semidecidable, recursively enumerable, etc. < 1599664778 36655 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :huh i haven't yet seen another source mean something different for any of those < 1599664842 553560 :oshaboy!~oshaboy@77.138.190.250 JOIN :#esoteric < 1599665003 955398 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru JOIN :#esoteric < 1599665007 244530 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1599665590 941397 :grumble!~Thunderbi@freenode/staff/grumble QUIT :Ping timeout: 606 seconds < 1599665620 549980 :grumble!~Thunderbi@freenode/staff/grumble JOIN :#esoteric < 1599665686 871526 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I am homing in on the result I was interested in < 1599665700 458430 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :https://imgur.com/a/ZuvsRyf < 1599665854 598991 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :where is that from? < 1599665870 206911 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :R.E. sets and degrees - Robert Soare < 1599665953 374589 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :i dont know if id recommend it < 1599665968 370038 :S_Gautam!uid286066@gateway/web/irccloud.com/x-jquslyutbhhtgarg JOIN :#esoteric < 1599665971 397883 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :i just want to know this one thing < 1599665979 494208 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :but it seems to depend on a lot of theory < 1599666064 451110 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :what is it that you want to know? < 1599666068 11553 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :its hard to untangle the notation < 1599666090 645003 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I want a proof that the "uniform halting problem" is harder than the halting problem < 1599666103 609794 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :by UHP i mean: Deciding whether a turing machine halts on all inputs < 1599666126 316527 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :determining if a turing machine halts on N inputs (for any finite N) is equivalent to the halting problem < 1599666134 6216 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :but for all inputs it seems to be harder < 1599666153 101750 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :okay, i haven't yet learnt about "hardness" < 1599666179 490562 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :oh you mean to prove they're not equivalent < 1599666181 598716 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :by harder I mean that we can't compute it even if we have a halting oracle < 1599666205 282213 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :yeah < 1599666545 943336 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The Mohs scale of computational hardness. < 1599666600 128490 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric ::| < 1599666802 126438 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric : I would like a self contained proof of Posts theorem < 1599666814 622475 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :it's annoying to have to read 3 chapters of a book just to have the notation for this theorem > 1599666954 156487 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77391&oldid=77390 5* 03Zero 5* (+20) 10 > 1599667069 207531 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77392&oldid=77391 5* 03Zero 5* (+9) 10 < 1599667136 34529 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I think I can ask a really good question now < 1599667169 97975 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :How does a Turing machine with a Halt_1 oracle decide if a Turing machine halts on all inputs? < 1599667186 83359 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :A Halt_1 oracle means that we have the ability to decide if any Turing Machine with a halting oracle halts or not < 1599667242 315087 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :ah, so the first level halting oracle is Halt_0? < 1599667371 865366 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :yeah < 1599667390 546944 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :so we have 3 levels here: Basic TMs, TMs with a halting oracle (halt0), TMs with a halt1 oracle < 1599667432 168507 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :level0 1 and 2 < 1599667450 275086 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :So we can implement some kind of level1 TM and ask if it halts to decide something about a level0 machine < 1599667505 198274 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :did you figure it out yet? < 1599667516 274264 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu JOIN :#esoteric < 1599667589 555945 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :no I just managed to ask this question which crystalizes exactly what I want to know < 1599667671 465241 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :although I need to prove 2 things actually: That the problem is not solvable on level 1 and it is solvable on level 2 < 1599667787 366523 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I think this works < 1599667800 772694 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :def X(T : TM_0): < 1599667807 434714 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric : for n = 0 and up: < 1599667826 814777 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric : if !Halt0('T(n)'): return < 1599667854 497207 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :now when we ask Halt1(X(T)) we get an answer to whether T halts on all inputs or not > 1599667893 727386 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77393&oldid=77392 5* 03Zero 5* (+1393) 10 < 1599667977 205118 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :sounds like it, now for the first part < 1599668025 442442 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :the first part may be harder < 1599668035 23535 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :hopefully it is solvable < 1599668097 430322 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :So assume for contradiction that we can decide if a TM halts on all inputs or not, at level 1 < 1599668127 150558 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :Then we have a total procedure Tot(T : TM0) which returns 0 if it's input is not total and 1 if it is < 1599668143 71381 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :we also have access to a halting oracle (Tot will have been implemented using this) < 1599668160 611224 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :so now it would be nice to perform some kind of diagonalization/liar construction to show this cannot happen > 1599668243 7122 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77394&oldid=77393 5* 03Zero 5* (+249) 10 < 1599668423 606926 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :" 'Do something with format specifiers' they told." => I'm sorry, you must have misunderstood me. I did mention formatted numeric output, but I didn't specifically mention format specifiers, it could have been raw format primitives too, and I would certainly never suggest new python style braced format specifiers, I HATE those, they're ruining the whole purpose of format specifiers that C and < 1599668429 557315 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :python perfected and making a mocking parody from them. If anyone told me they want to do a format parser, I'd suggest them to use C-like percent escapes (or common lisp-like tilde escapes if they prefer) < 1599668500 473343 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :nor would I ever suggest you to use a vararg formatting function in a curried language < 1599668558 52971 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :I program python, and I use the C-like formatting function, which is still there and supported and works *almost* well, except that for some reason they haven't added hex float output format to it yet, but that shouldn't be hard to fix < 1599668584 300835 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :one thing I would say is that it seems very hard to do a simple diagonalization proof < 1599668594 938671 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :because our primitive can only be applied to stuff at the level below < 1599668605 254266 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :whereas with turings proof: we assume halt can be applied to our own levle < 1599668615 750920 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :but even if you have a format parser, I'd suggest to add the underlying primitives to the public API too, so people can write their own format parser, and format afloating-point numbers in decimal without having to make a format pattern from it > 1599668679 49962 PRIVMSG #esoteric :14[[07Modulous14]]4 M10 02https://esolangs.org/w/index.php?diff=77395&oldid=76969 5* 03Abyxlrz 5* (+1) 10 < 1599668701 31299 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :spruit11: ^ < 1599668721 722934 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :on the other hand, this might still be more useful than nothing. > 1599668761 522937 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77396&oldid=77394 5* 03Zero 5* (+353) 10 < 1599668765 239552 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: (format "{:c}" 67) < 1599668773 891432 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :oh yeah < 1599668786 995106 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh, right. < 1599668807 139625 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1599668814 764123 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :There you go. < 1599668835 228516 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :could we use a relative rice theorem? < 1599668939 214581 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: (format "{:c}" 67) < 1599668939 360721 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"C" < 1599669009 261922 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: def box = [ 0 -> nil | N -> cons (N-1) (box (N-1)) ];; def map = [ F nil -> nil | F (cons X XX) -> cons (F X) (map F XX) ];; map [ X -> format "{:#04x}" X ] (box 16) < 1599669009 385891 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{"0x0f", "0x0e", "0x0d", "0x0c", "0x0b", "0x0a", "0x09", "0x08", "0x07", "0x06", "0x05", "0x04", "0x03", "0x02", "0x01", "0x00"} < 1599669254 996599 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection > 1599669285 569074 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77397&oldid=77396 5* 03Zero 5* (+387) 10 < 1599669354 855934 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :b_jonas: No worries. It wasn't actually yours or mine decision in the end. I either a) drop to C internally, which is awkward, b) use C++ stream specifiers, which is hard to work with/a lot of work, or c) use C++20 braced format. I didn't really have a choice except choose the last one. < 1599669385 911004 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1599669410 120583 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I like them. Good enough. < 1599669451 134580 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I just wish I coud use them in the reverse direction too. To read input. < 1599669454 907933 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :*could < 1599669535 387876 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :https://cs.stackexchange.com/q/129977 :) < 1599669606 538458 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :And I like the variadic stuff too. So we just disagree on that. < 1599669643 543206 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: format "{1} {0} {1}" 1 2 < 1599669643 543262 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"2 1 2" < 1599669686 263646 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :spruit11: yes, to some extent the interfaces in the C and C++ standard library are awkward too. But formatting floating point numbers correctly is so hard that I don't recommend anyone to reimplement it. Even if you make a whole format library, you often want to do those, there are countless precedents of programs that do that even if on windows you have to work around the weird float printer of windows < 1599669692 164806 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :libc (which always prints three digits for the exponent and prints infs and nans weirdly) and have to work around libc on linux (in which the formatter works fine, but the scanner has some weird behavior that is probably correct and can't be changed now but nobody really knows what the correct behavior of fscanf should be and how to fix problems when you have to be compatible with old programs). < 1599669698 483849 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: (format "{:c}" 67) < 1599669698 607506 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"C" < 1599669702 205614 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: (format "{:c}" 65) < 1599669702 205666 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"A" < 1599669711 295187 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :great, so we have an easier way to chr now < 1599669727 835693 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I am sure C++40 will once get format right. Seems a good bet. < 1599669729 75740 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: (format "{:c}-{:c}" 0xE1 0x151) < 1599669729 199147 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:24:lexical:error in hexadecimal int < 1599669736 91043 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :lowercase < 1599669742 729372 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :I refuse < 1599669753 588305 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I'll add then once. < 1599669759 147423 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: (format "{:c}-{:c}" 225 337) < 1599669759 147487 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"�-Q" < 1599669766 407146 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :nope < 1599669767 275616 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It's still in alpha! < 1599669804 367042 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :ok, so how do I make utf-8 formatted characters from their ucs code point, is there a different formatter for that? < 1599669810 748068 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: (format "{:C}-{:C}" 225 337) < 1599669810 851270 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:format invalid arguments") < 1599669814 723405 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: (format "{:lc}-{:lc}" 225 337) < 1599669814 723458 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:format invalid arguments") < 1599669822 959676 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Dunno. I hardly tested. < 1599669866 901352 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :https://en.cppreference.com/w/cpp/utility/format/format < 1599669870 399173 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: (format "{:c}{:c}-{:c}{:c}" 195 161 197 145) < 1599669870 524824 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"á-ő" < 1599669873 463293 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :that's better > 1599669882 568418 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77398&oldid=77397 5* 03Zero 5* (+228) 10 < 1599669894 571523 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :that means I can output arbitrary bytes < 1599669902 971021 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :well, I hope < 1599669921 144457 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: String:append (format "{:c}" 195) (format "{:c}" 161) < 1599669921 144511 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"��" < 1599669923 170688 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :nope < 1599669935 495158 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :apparently only valid utf-8, it gets decoded from utf-8 right after format < 1599669939 624583 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :oh well < 1599669969 987266 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :it's not like I really care about this part < 1599669975 998976 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :let me see what else you did < 1599670020 559438 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I feel really happy because this question has made me realize just how little I know about turing machines an < 1599670080 622121 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :That's about it. I spend a day or two making the interpreter a bit faster. But you won't notice that. < 1599670136 821221 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :are you going to ask your other question? < 1599670175 439368 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [v->format "{.2f} {.8f} {.2g} {.8g} {.2e} {.8e}" v v v v v v] -8862.395521078714 < 1599670175 439439 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:3:semantical:undeclared v < 1599670186 956240 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Uppercase. < 1599670188 568329 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{.2f} {.8f} {.2g} {.8g} {.2e} {.8e}" V V V V V V] -8862.395521078714 < 1599670188 692304 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:- bad arguments") < 1599670208 667987 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:.2f} {:.8f} {:.2g} {:.8g} {:.2e} {:.8e}" V V V V V V] -8862.395521078714 < 1599670208 668048 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:- bad arguments") < 1599670213 582914 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh, darn. I forgot to add a rewrite rule for monadic minus. < 1599670221 570842 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :That's a bug. < 1599670222 807319 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:.2f} {:.8f} {:.2g} {:.8g} {:.2e} {:.8e}" V V V V V V] (-8862.395521078714) < 1599670222 807359 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"-8862.40 -8862.39552108 -8.9e+03 -8862.3955 -8.86e+03 -8.86239552e+03" < 1599670238 263333 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :that looks correct < 1599670240 188444 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I didn't forget? < 1599670242 794694 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:.2f} {:.8f} {:.2g} {:.8g} {:.2e} {:.8e}" V V V V V V] (-8862.395) < 1599670242 917959 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"-8862.40 -8862.39500000 -8.9e+03 -8862.395 -8.86e+03 -8.86239500e+03" < 1599670261 17566 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh, it interpreted that as a dyadic minus expression. < 1599670298 926555 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :[X->X] -2 = [X->X] - 2. < 1599670300 787514 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:#.2f} {:#.8f} {:.2f} {:.8f} {:.2g} {:.8g} {:.2e} {:.8e}" V V V V V V V V] (-8862) < 1599670300 787566 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:format invalid arguments") < 1599670309 41412 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:.2#f} {:.8#f} {:.2f} {:.8f} {:.2g} {:.8g} {:.2e} {:.8e}" V V V V V V V V] (-8862) < 1599670309 210186 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:format invalid arguments") < 1599670320 134329 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :hmm < 1599670360 169650 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:.2f} {:.8f} {:.2g} {:.8g} {:.2e} {:.8e}" V V V V V V] (-8862) < 1599670360 169703 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:format invalid arguments") < 1599670362 146028 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It's still a bit rough around the edges. The C++ format throws an error on that of which I don't propagate the message. < 1599670376 603951 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :? < 1599670398 973504 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:.2f} {:.8f}" V V] (-8862) < 1599670398 973570 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:format invalid arguments") < 1599670411 410156 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It only says 'invalid arguments' whereas I probably could give a more descriptive error. < 1599670414 746954 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:.2f}" V] (-8862) < 1599670414 871087 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:format invalid arguments") < 1599670435 731783 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:.2f} {:.8f} {:.2g} {:.8g} {:.2e} {:.8e}" V V V V V V] (-8862.395) < 1599670435 731860 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"-8862.40 -8862.39500000 -8.9e+03 -8862.395 -8.86e+03 -8.86239500e+03" < 1599670455 335714 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:.2f}" V] (-8862.395) < 1599670455 480657 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"-8862.40" < 1599670464 67446 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:.2f}" V] (-8862.0) < 1599670464 170537 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"-8862.00" < 1599670465 348458 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :oh < 1599670468 82934 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:.2#f}" V] (-8862.0) < 1599670468 82983 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:format invalid arguments") < 1599670471 459848 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:#.2f}" V] (-8862.0) < 1599670471 459899 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"-8862.00" < 1599670474 191577 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :that's better < 1599670480 871130 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:#f}" V] (-8862.0) < 1599670480 871186 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"-8862.000000" < 1599670484 366422 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:#g}" V] (-8862.0) < 1599670484 490479 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"-8862.00" < 1599670499 463688 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:#g}" V] (-8862449.0) < 1599670499 590875 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"-8.86245e+06" < 1599670502 464675 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:#g}" V] (-886244.0) < 1599670502 464723 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"-886244.0" < 1599670505 883530 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:#g}" V] (-886244.2) < 1599670506 7777 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"-886244.0" < 1599670511 70855 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :perfect < 1599670514 109547 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:g}" V] (-886244.2) < 1599670514 109595 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"-886244" < 1599670550 931792 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Well, it's not my doing. It's the `fmt` library they're adding to C++20 once. < 1599670569 323539 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Okay, it's my doing in that I want to leverage C++. < 1599670575 96215 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: [V->format "{:d} {:X}" V V] 2769927127 < 1599670575 220159 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"2769927127 A519BBD7" > 1599670581 843696 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77399&oldid=77398 5* 03Zero 5* (+384) 10 < 1599670590 964251 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :correct < 1599670593 901209 :V!v@anomalous.eu PRIVMSG #esoteric :ACTION makes a pained face < 1599670692 555882 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? spam < 1599670694 577683 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Spam is a delicious meat product. See http://www.spamjamhawaii.com/ < 1599670698 199511 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: format "{0} {0}" "∀" < 1599670698 323032 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"∀ ∀" < 1599670708 913194 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1599670778 166995 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: format "%X" 15898557144921403118 < 1599670778 313363 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"%X" < 1599670784 28114 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: format "{:X}" 15898557144921403118 < 1599670784 151776 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"7FFFFFFFFFFFFFFF" < 1599670792 529607 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: 15898557144921403118 < 1599670792 652564 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :9223372036854775807 < 1599670801 28450 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: 1<<63 < 1599670801 28502 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :-9223372036854775808 < 1599670821 442879 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :it just saturates integer literals that are too large? interesting < 1599670833 244944 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :64 bit ints yeah. < 1599670853 53453 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I could replace that with bigints once but I won't. > 1599670856 216498 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77400&oldid=77399 5* 03Zero 5* (+249) 10 < 1599670886 33679 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 264 seconds < 1599670886 404816 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1599670892 540917 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: (-9223372036854775808) < 1599670892 540967 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :-9223372036854775808 < 1599670900 553087 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: 9223372036854775808 < 1599670900 658680 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :9223372036854775807 < 1599670911 580135 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: format "{:X}" -1538786743794826979 < 1599670911 704152 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:format invalid arguments") < 1599670917 249675 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :egelbot: format "{:X}" (-1538786743794826979) < 1599670917 371887 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"-155ADE6400F87EE3" < 1599670921 327179 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :? < 1599670925 243865 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :definitely not < 1599670949 340723 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :ok, maybe < 1599670982 587932 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :so it formats a signed 64-bit value, not an unsigned one < 1599670989 287827 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :how you would get libc to do that I have no idea < 1599670995 356244 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :oh well < 1599671034 283816 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :I mean it doesn't even have format specifiers that format a signed integer as hex, if you try the number just gets interpreted as an unsigned number < 1599671129 415134 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Heh? Not sure what you asking but `fmt` defines the handlers for a large number of basic C types. So this is the handler which formats signed 64 bit integers. < 1599671153 643410 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Well, according to the system you're on. < 1599671178 409449 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: format "{}" {1} < 1599671178 533531 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"{1}" < 1599671184 600456 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :spruit11: which fmt? I mean libc's printf doesn't define such formatters. other formatting libraries might. < 1599671217 245688 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :`fmt` is the library they're adding to C++20 as `std::format`. < 1599671217 989840 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :fmt`? No such file or directory < 1599671223 451971 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It's what I use. > 1599671323 926251 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77401&oldid=77400 5* 03Zero 5* (+773) 10 < 1599671499 698765 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :oh yeah, another of those < 1599671690 799919 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hey, I think I used fmt for something. It seemed sane. < 1599671715 675525 :aaaaaa!~ArthurStr@host-91-90-11-12.soborka.net JOIN :#esoteric < 1599671743 103816 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :The compilers are a bit slacking in adoption of it. But it's fine. I just ship with `fmt` for the moment. < 1599671813 910547 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Most of the work was looking whether it was implemented and then incorperating `fmt` instead. < 1599671848 4521 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Pretty sure by C++40 you'll have all the format specifiers you want. > 1599672150 912079 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77402&oldid=77401 5* 03Zero 5* (+513) 10 < 1599672163 858680 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :spruit11: you can probably use an implementation that's not in libstdc++ but elsewhere, such as in boost, that is close enough < 1599672180 436278 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :possibly with a namespace alias so it's easy to switch it over to a different implementation < 1599672204 112706 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I want to keep my dependencies to a minimum. I am already getting unsatisfied with libicu. < 1599672210 850597 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Near the end of the century, it's going to get seriously confusing how the 2096 C++96 actually post-dates C++98. The same with C standards. < 1599672213 996209 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :IMO, they should've called C11 -> C111, C18 -> C118, C2x -> C12x. If it's good enough for tm_year, it should be good enough for standard abbreviations as well. < 1599672249 242503 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That would have also meant that publishing a new C standard in 2028 could've given us a C128. < 1599672303 202542 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :that said, I like C printf < 1599672317 51459 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :it's not perfect, but it's usually good enough < 1599672317 423809 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Makes two of us. < 1599672325 980095 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :better than most of the nonsense that they put in newer languages < 1599672361 663688 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Heh, I just assume there's some sanity behind it. < 1599672366 544918 :aaaaaa!~ArthurStr@host-91-90-11-12.soborka.net PRIVMSG #esoteric :fizzie: upvote < 1599672675 259974 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1599672789 982644 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :SQLite has its own printf, which can be called from C codes and from SQL codes. It is mostly like the C printf. > 1599672942 946764 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77403&oldid=77402 5* 03Zero 5* (+698) 10 > 1599672994 615653 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77404&oldid=77403 5* 03Zero 5* (+13) 10 < 1599673092 371552 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric > 1599673468 330965 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77405&oldid=77404 5* 03Zero 5* (+451) 10 > 1599673612 988304 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77406&oldid=77405 5* 03Zero 5* (-14) 10 > 1599673722 30721 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77407&oldid=77406 5* 03Zero 5* (+1) 10 > 1599674198 803406 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 M10 02https://esolangs.org/w/index.php?diff=77408&oldid=77407 5* 03Zero 5* (-1) 10 < 1599674303 809150 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds < 1599674330 47045 :S_Gautam!uid286066@gateway/web/irccloud.com/x-jquslyutbhhtgarg QUIT :Quit: Connection closed for inactivity > 1599674453 660597 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 M10 02https://esolangs.org/w/index.php?diff=77409&oldid=77408 5* 03Zero 5* (+10) 10 < 1599674463 851182 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1599674876 786297 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :fizzie: bold of you to assume that human civilization will survive to 2096 < 1599674960 828422 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :right now the sky outside my window is a dark orange color < 1599674966 926532 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :light level comparable to an hour or more before sunrise < 1599674971 255016 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :it is 11 AM < 1599674976 458413 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :see also every photo on https://www.reddit.com/r/bayarea/ < 1599675007 930787 :int-e!~noone@int-e.eu PRIVMSG #esoteric :nice scifi book cover < 1599675030 188760 :int-e!~noone@int-e.eu PRIVMSG #esoteric :just add a few flying cars > 1599675038 869971 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77410&oldid=77409 5* 03Zero 5* (+189) 10 < 1599675042 310050 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Reminds me of Beneath A Steel Sky for some reason. < 1599675072 586015 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I don't even think it has any scene quite like that.) < 1599675203 824245 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :my friend texted me this morning "Is there life on Mars?" < 1599675206 985249 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oh... Joey. < 1599675549 826325 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :this is why I'm learning to grow mushrooms. < 1599675552 587498 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :they don't require sunlight < 1599675554 550496 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :not much, anyway < 1599675581 161640 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fizzie: well, there's this in the intro: https://int-e.eu/~bf3/tmp/bass1.png < 1599675649 453857 :int-e!~noone@int-e.eu PRIVMSG #esoteric :somehow, I don't remember all that much of this game < 1599675742 706940 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, maybe I subconsciously remembered that or something. < 1599675845 706841 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I sort of remember it had that thing where lower-class people live on the lower levels of the city, and you needed to work your way up (via puzzles, naturally). < 1599675876 318378 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ah yes. < 1599675896 758241 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but most of it takes place indoors in steel blue decor < 1599675957 806625 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, they've got a sequel out, like, just recently? Didn't know that at all. < 1599676113 733188 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm, could be interesting. < 1599676268 198731 :int-e!~noone@int-e.eu PRIVMSG #esoteric :In a couple of years, I guess. < 1599678114 898385 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection < 1599678137 873660 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric > 1599679245 500649 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77411&oldid=77410 5* 03Zero 5* (-1) 10 > 1599680833 920943 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77412&oldid=77411 5* 03Zero 5* (+1) 10 < 1599680979 153065 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1599681386 317692 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1599682266 395819 :oshaboy!~oshaboy@77.138.190.250 QUIT :Quit: Leaving > 1599682529 366566 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77413&oldid=77412 5* 03Zero 5* (+361) 10 > 1599682728 509454 PRIVMSG #esoteric :14[[07THE LAST ACTION LANGUAGE14]]4 10 02https://esolangs.org/w/index.php?diff=77414&oldid=77413 5* 03Zero 5* (+35) 10 < 1599686509 916082 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru QUIT :Ping timeout: 264 seconds < 1599686974 846034 :aaaaaa!~ArthurStr@host-91-90-11-12.soborka.net QUIT :Quit: leaving < 1599688188 902415 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Next in GURPS game, we have to stop some kind of operation in a black tower; apparently with enough power, the tower will "activate". One of my ideas was to damage the tower itself to create structural weaknesses, but what do you think is the best way to try to do that? < 1599689251 128099 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :depends on what the tower is made from < 1599689312 811991 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Yes, I thought that too, and unfortunately I don't know, but I know that it is black. < 1599690005 272912 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1599690975 44365 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric < 1599691035 525800 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Remote host closed the connection < 1599691060 46517 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric < 1599691843 686442 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1599692412 215091 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1599692574 85998 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1599692645 997416 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1599695296 928090 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh, "platform security" = "vendor lock-in"? Nobody could foresee that... https://www.servethehome.com/amd-psb-vendor-locks-epyc-cpus-for-enhanced-security-at-a-cost/ < 1599695638 94210 :LKoen!~LKoen@81.255.219.130 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.”