< 1599696168 66232 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1599696847 528353 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :zzo38: wait, so which side are you on? are you trying to activate the tower more easily, or avoid the owner of the tower activiating it against you? < 1599698276 801485 :aaaaaa!~ArthurStr@host-91-90-11-12.soborka.net JOIN :#esoteric < 1599699174 796529 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :b_jonas: Trying to prevent them from activating it, possibly by damaging it instead. < 1599699561 232366 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(I don't know what is the effect of activating the tower, but I do not want to risk it.) < 1599699667 517531 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Also, the lord of this tower seems to be able to react to things faster than is possible, almost like he can predict them before it happens; e.g. if someone shoots a crossbow at him from behind, he will move out of the way just in time. < 1599700189 204355 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :hmm. so divination magic or, worse, Time Stop. < 1599700207 399026 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :or some even more powerful time travel magic < 1599700213 461023 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :that doesn't sound good < 1599700425 34506 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :if you find out that it is time travel, you might want to try to tell the Lord that every time he travels time to save someone, he dooms someone in the alternate universe he time traveled away from, as in https://www.youtube.com/watch?v=vBkBS4O3yvY or https://qntm.org/imperfect < 1599702774 671152 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I am not even sure that it is a spell (although it does seem to be a magic power, or maybe psychic; I doubt it is a scientific power). I would guess (although have not actually seen it yet, and just heard what has been reported), they could predict anything one second ahead of time, which is enough time to dodge any attack; explosions can only partally be dodged. < 1599702974 961646 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :GURPS does have rules for traveling to alternate universes/timelines, both with technology and with spells and psychic powers. < 1599703037 261191 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :zzo38: ooh! in that case you need the swerving stunner, a spell whose projectile that can change direction in the air once, and is disguised as an ordinary stunning spell, specifically used against opponents with lightning fast reflexes who normally dodge all attacks, since they have to commit to the dodge like a football goalie. (it's a plot point in Harry Potter and the Methods of Rationality) < 1599703269 51202 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :O, good point. (I don't know so much about football though, and neither of my characters, nor as far as I know anyone else in our party, has a Sports (Football) skill.) < 1599703789 850646 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I did have some other ideas too, though, such as tricking them into dodging so the attack hits something behind them on purpose, tricking them into dodging into some kind of trap, etc. < 1599703811 946909 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :somehow I think of < 1599703815 23221 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :`card-by-name trap runner < 1599703817 535391 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Trap Runner \ 2WW \ Creature -- Human Soldier \ 2/3 \ {T}: Target unblocked attacking creature becomes blocked. Activate this ability only during combat after blockers are declared. (This ability works on creatures that can't be blocked.) \ MM-U < 1599703869 293120 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :you said "next in GURPS game", does that confrontation has to happen in a few in-game days? because it might be hard to track down an obscure spell like that in that time. < 1599703938 33278 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Probably it does have to happen in a few in-game days (or maybe even in less than 24 hours); it certainly has to happen before we go back to England (or anywhere else in Europe). < 1599703970 984026 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :However, there may be solutions not involving magic, and I may be able to use a magic scroll (each of which is usable only once). < 1599704435 536434 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :These scrolls include: the ability to transform into an elemental creature (quadruped) for a minimum of 1 hour and a maximum of 12 hours; a precognition that is usable only once; an illusionary sound for up to three minutes; the ability to speak to plants for five minutes; an insubstantial projection for up to 10 hours; and the ability to summon up to three small items (which either you could reasonably own, or is inexpensive and widely < 1599704435 536501 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Read error: Connection reset by peer < 1599704979 734541 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :can you also speak with fungi? < 1599704991 799088 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :O, actually there are a few more: to mess up someone's magic powers for three minutes (the target must be touched); the ability to create nearly any item with a mass up to five pounds and lasting ten minutes; a wall lasting for ten seconds, created up to ten yards away; and two scrolls which themself can be used as melee weapons: one knocks back the target several yards if it hits; one causes significant damage with incendiary fragmenta < 1599705031 326165 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :kmc: I do not think so; fungi are not plants, but a separate classification. < 1599705086 867566 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :that's true < 1599705102 50039 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :a fungus could destroy a wood tower very well, although not quickly, but if it were a magic fungus it might be quick < 1599705141 376180 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6227805/ "We propose that fungi Basidiomycetes can be used as computing devices: --" < 1599705185 808306 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :I think the ability to talk to fungi would be a good magical power, since they can cover a large area underground, and could probably tell you useful things like the presence/absence of certain chemicals or creatures < 1599705238 495034 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Somehow, GURPS doesn't have a "Speak With Fungi" power. But, I think you are right it can be a useful power to have. < 1599705267 666418 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :fizzie: that is neat < 1599705292 64949 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: The "Application domains" section is almost what you just said. :) < 1599705304 406171 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Ran into that paper when trying to look up the Fungal Computers Inc. "Computers that grow on you" slogan, which I've got permanently bouncing around inside my head.) < 1599705319 81190 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric ::D < 1599706980 592568 :aaaaaa!~ArthurStr@host-91-90-11-12.soborka.net QUIT :Ping timeout: 258 seconds < 1599707254 265375 :aaaaaa!~ArthurStr@host-91-90-11-12.soborka.net JOIN :#esoteric < 1599707387 290345 :aaaaaa!~ArthurStr@host-91-90-11-12.soborka.net QUIT :Client Quit < 1599708208 921791 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1599713976 310123 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1599714110 718167 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 258 seconds < 1599714110 864473 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1599718369 906234 :Melvar!~melvar@dslb-178-007-125-010.178.007.pools.vodafone-ip.de QUIT :Ping timeout: 264 seconds < 1599718396 763063 :Melvar!~melvar@dslb-178-007-125-010.178.007.pools.vodafone-ip.de JOIN :#esoteric < 1599718500 553881 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :One idea is to make them some sort of zugzwang or halbzugzwang, rather than by using magic powers. < 1599718626 295793 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(Or to do that using magic powers.) < 1599719146 146982 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or use sorcery instead of magic, or perhaps witchcraft. < 1599719359 700035 :int-e!~noone@int-e.eu PRIVMSG #esoteric :which craft? < 1599719696 782337 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The craft with the power. < 1599720342 864720 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Depending what you mean by "sorcery" < 1599720531 697792 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean you have to cast it during a main phase when there's nothing on the stack. < 1599720670 643103 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Yes, in Magic: the Gathering (I thought of that too), but the game I was mentioning isn't Magic: the Gathering. < 1599720737 472085 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But doesn't sorcery work the same way in the real world? < 1599720878 804616 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Real world? I wasn't discussing the real world, though. < 1599721137 469624 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :i'm interested, how does sorcery work in the real world? < 1599721190 703249 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1599721266 637374 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Wikipedia just says "Sorcery may refer to: Magic (supernatural) [...] Witchcraft [...] Maleficium (sorcery), a form of evil magic [...] Magic in fiction [...]" < 1599721358 90746 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I must've meant maleficium. < 1599721381 831105 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The truth is that I didn't really mean anything. I was just naming synonyms for magic. < 1599721477 189042 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mmm conjuring up synonyms < 1599721498 270802 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Sometimes the term "sorcery" may refer to a specific convention of using magic, in some systems, for example. < 1599722242 475386 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For example the convention where you cast it during your main phase when the stack is empty? < 1599722618 256545 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :In Magic: the Gathering, yes. < 1599723050 975477 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1599723144 199140 :user24!~user24@2a02:810a:1440:7304:18ff:5fc0:aa5b:311c JOIN :#esoteric < 1599723144 344416 :user24!~user24@2a02:810a:1440:7304:18ff:5fc0:aa5b:311c QUIT :Client Quit < 1599723336 557365 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1599725405 874806 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1599725453 909968 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Remote host closed the connection < 1599725506 23794 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1599725543 852823 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds > 1599727043 160210 PRIVMSG #esoteric :14[[07DigitDigitJump14]]4 N10 02https://esolangs.org/w/index.php?oldid=77415 5* 03Zero 5* (+1235) 10Created page with "'''DigitDigitJump''' is a derivative of [[BitBitJump]]. The VM operates on a string which contains digits and space characters. Addresses are expressed in base 10, and space-..." < 1599727505 90407 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com JOIN :#esoteric < 1599727592 281227 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com PRIVMSG #esoteric :Good morning. > 1599727752 697995 PRIVMSG #esoteric :14[[07DigitDigitJump14]]4 10 02https://esolangs.org/w/index.php?diff=77416&oldid=77415 5* 03Zero 5* (+153) 10 < 1599727779 476115 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com PRIVMSG #esoteric :I'm writing a compiler in Haskell. Uncharacteristically, I'm willingly using monads in it. However, (a) the only monad I'm using (outside the parser) is Either, and (b) I'm avoiding do-notation as much as I can. > 1599727804 544408 PRIVMSG #esoteric :14[[07DigitDigitJump14]]4 10 02https://esolangs.org/w/index.php?diff=77417&oldid=77416 5* 03Zero 5* (+25) 10 < 1599727821 585036 :int-e!~noone@int-e.eu PRIVMSG #esoteric :odd. < 1599728841 60186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What about (r ->)? I bet you're using that one. > 1599728905 41671 PRIVMSG #esoteric :14[[07DigitDigitJump14]]4 10 02https://esolangs.org/w/index.php?diff=77418&oldid=77417 5* 03Zero 5* (+163) 10 < 1599728924 75734 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com PRIVMSG #esoteric :Yeah. I'm also using lists. I'm not using them as monads though. < 1599728939 6691 :arseniiv!~arseniiv@94.41.4.189.dynamic.ufanet.ru JOIN :#esoteric < 1599729163 838847 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com PRIVMSG #esoteric :Whereas with the Eithers I'm using >=> extensively. < 1599730271 902275 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :msolglu > 1599730443 212963 PRIVMSG #esoteric :14[[07DigitDigitJump14]]4 10 02https://esolangs.org/w/index.php?diff=77419&oldid=77418 5* 03Zero 5* (+155) 10 < 1599731805 195727 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1599734396 814841 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com PRIVMSG #esoteric :splay3 p1 p2 p3 f = p1 >>= (\a -> p2 >>= (\b -> p3 >>= (\c -> return $ f a b c))) -- see, isn't that so much nicer than do-notation? < 1599734432 514703 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com PRIVMSG #esoteric :Especially when f is just a type constructor or something. It's all pointfree and stuff. < 1599734522 154829 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@pl splay3 p1 p2 p3 f = p1 >>= (\a -> p2 >>= (\b -> p3 >>= (\c -> return $ f a b c))) < 1599734522 752679 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :splay3 = (. ((. ((. (((return .) .) .)) . (.) . (.) . (>>=))) . (.) . (.) . (>>=))) . (.) . (.) . (>>=) < 1599734528 283679 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Wouldn't that be much more elegant? < 1599734624 953115 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com PRIVMSG #esoteric :Admittedly yes < 1599734828 914191 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com PRIVMSG #esoteric :(For some value of "elegant") < 1599735285 630912 :arseniiv!~arseniiv@94.41.4.189.dynamic.ufanet.ru PRIVMSG #esoteric :a while ago, a friend suggested that in a mathematical conlang we had a few ideas about, an empty set should be pronounced [ø] < 1599735380 259420 :arseniiv!~arseniiv@94.41.4.189.dynamic.ufanet.ru PRIVMSG #esoteric :(though there were too few ideas to make a proof of concept, unfortunately, but this one idea is eso I think) < 1599735470 203254 :arseniiv!~arseniiv@94.41.4.189.dynamic.ufanet.ru PRIVMSG #esoteric :there is one downside as otherwise ø might have been used in much more contexts and this designation constrained it much < 1599736671 501100 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com PRIVMSG #esoteric :I think most mathematical formulae would end up being rather awkward to pronounce no matter what phonology you assign to the symbols < 1599738105 61794 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com PRIVMSG #esoteric :"minus bee, plus or minus square root of, bee squared minus four ay see, all over two ay" < 1599738290 473162 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com PRIVMSG #esoteric :@pl qf a b c = (-1 * b + sqrt(b * b - 4 * a * c)) / (2 * a) < 1599738291 319411 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :qf = ap (flip . ((flip . (((/) . negate) .)) .) . liftM2 (.) (+) . ((sqrt .) .) . flip ((.) . (-) . join (*)) . (*) . (4 *)) (2 *) < 1599738515 217725 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :hey < 1599738610 620540 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com PRIVMSG #esoteric :hi rain1 < 1599738639 263611 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I can explain the answer to my question < 1599738669 135697 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I was interested in "Tot" being harder than "Halt". Definitions: Halt is the ability to tell if a turing machine halts. Tot is the ability to tell if a turing machine halts on all inputs. < 1599738706 817870 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :Using Halting oracles you can construct an infinite sequence of classes of hardness. TMs, TMs + Halt oracle, TMs + Halt1 oracle (they can tell if the level below halts), ... < 1599738730 861272 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :Halt lives on the second level, Tot lives on the 3rd < 1599738754 870713 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursa1 < 1599738779 886925 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1599738828 19372 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :The thing we need to use to prove this is the arithmetic hierarchy < 1599738848 233188 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I don't fully get this stuff yet < 1599738855 578933 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :but Sigma_2 and Pi_2 are two parts of the 3rd level < 1599738898 713976 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :they corresponds to sets defined by computable relations phi, like this: x is in the set iff Pi_2 is forall y, exists z, phi(x,y,z) < 1599738916 5407 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :and Sigma_2 is sets x is in the set iff Sigma_2 is exists y, forall z, phi(x,y,z) < 1599738958 415051 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :Now we can show that O'' is Sigma_2 complete, O''-complement is Pi_2 complete < 1599738982 960809 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :and Tot is Pi_2 complete < 1599738993 491375 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :the proofs of these are quite neat but i wont get into the details < 1599739002 293380 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :O'' is something to do with level 3? < 1599739021 870923 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :So there are some aspects of this I need to clarify but roughly speaking that is how its done < 1599739055 298500 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I'm not sure how Sigma/Pi relate to decidable/semideciable/co-semidecidable sets < 1599739130 352841 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :also 2 interesting facts I picked up on this journey: there are partial computable functions that cannot be extended to total computable ones. There's degrees of undecidability between level0 (TMs) and TMs+Halt < 1599739137 211763 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :they are called "low degrees" < 1599739352 532609 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com QUIT :Quit: Lunch > 1599739747 246787 PRIVMSG #esoteric :14[[07DigitDigitJump14]]4 10 02https://esolangs.org/w/index.php?diff=77420&oldid=77419 5* 03Zero 5* (+257) 10 > 1599741625 252970 PRIVMSG #esoteric :14[[07Talk:LYaPAS14]]4 10 02https://esolangs.org/w/index.php?diff=77421&oldid=77197 5* 03Amakukha 5* (+280) 10/* What version of LYaPAS are these symbols from? */ new section < 1599742182 119685 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1599742856 13495 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com JOIN :#esoteric < 1599743038 772590 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com PRIVMSG #esoteric :rain1: That there are partial computable functions that cannot be extended to total computable functions seems intuitive to me at least (the "missing parts" are not computable so how would one possibly "fix" them computably) < 1599743324 68340 :cpressey!~cpressey@79-72-201-117.dynamic.dsl.as9105.com QUIT :Ping timeout: 260 seconds < 1599743331 476800 :cpressey!~cpressey@79-65-249-37.host.pobb.as13285.net JOIN :#esoteric < 1599743444 634057 :cpressey!~cpressey@79-65-249-37.host.pobb.as13285.net PRIVMSG #esoteric :The low degrees, I've heard of, but I don't remember anything about them < 1599743849 995712 :cpressey!~cpressey@79-65-249-37.host.pobb.as13285.net PRIVMSG #esoteric :Vague recollection that the halting problem itself is low. Briefly looking at "Low basis theorem" on Wikipedia suggests that is the case. < 1599744036 641272 :cpressey!~cpressey@79-65-249-37.host.pobb.as13285.net PRIVMSG #esoteric :And that there are "PA degrees" below the HP but it's unclear to me what they signify exactly. < 1599744905 541599 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :interesting stuffo n wiki > 1599745060 453093 PRIVMSG #esoteric :14[[07DigitDigitJump14]]4 10 02https://esolangs.org/w/index.php?diff=77422&oldid=77420 5* 03Zero 5* (-85) 10 > 1599745147 800307 PRIVMSG #esoteric :14[[07DigitDigitJump14]]4 10 02https://esolangs.org/w/index.php?diff=77423&oldid=77422 5* 03Zero 5* (+57) 10 < 1599745351 471690 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :cpressey: yes, any turing-complete function should be like that < 1599748785 824541 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1599748810 81459 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :rain1: what is O'' ? < 1599748837 920674 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1599748841 765880 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :i will need to go over definitions a bit more < 1599748856 317086 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :but i think it's the set of sets which are turing equivalent to the 2nd halting problem < 1599748909 596328 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :kritixilithos: Ő < 1599748959 950921 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :the proof isn't yours? where is it from then? < 1599748965 540360 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :as in a replacement for "Ő" when you can't type it for technical reasons back in the 2000s < 1599749039 96272 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :b_jonas: i can't tell if you are being facetious or not < 1599749160 795476 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :lI am facetious < 1599751173 476891 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :https://risingentropy.com/the-arithmetic-hierarchy-and-computability/ < 1599751364 975940 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :The Busy Beaver numbers are an example of a Δ2 set. < 1599751470 447248 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :In fact, the Busy Beaver numbers are even better than Δ2; they’re Π1, co-recursively enumerable < 1599751939 565208 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1599752250 905927 PRIVMSG #esoteric :14[[07DigitDigitJump14]]4 10 02https://esolangs.org/w/index.php?diff=77424&oldid=77423 5* 03Zero 5* (+6) 10 < 1599752432 652958 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1599752650 263864 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :"a complete inventory of some items is available" hehe > 1599752887 90965 PRIVMSG #esoteric :14[[07DigitDigitJump14]]4 10 02https://esolangs.org/w/index.php?diff=77425&oldid=77424 5* 03Zero 5* (+28) 10 < 1599753615 716158 :cpressey!~cpressey@79-65-249-37.host.pobb.as13285.net QUIT :Quit: WeeChat 1.9.1 < 1599754149 76198 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :looks like a cool blog, nice find > 1599754447 200061 PRIVMSG #esoteric :14[[07Talk:Lenta14]]4 N10 02https://esolangs.org/w/index.php?oldid=77426 5* 03Tetrapyronia 5* (+410) 10/* Brainf**k Translation */ new section > 1599755994 281197 PRIVMSG #esoteric :14[[0705AB1E14]]4 M10 02https://esolangs.org/w/index.php?diff=77427&oldid=77350 5* 03SunnyMoon 5* (-5) 10Wait, how? < 1599757188 799872 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1599757359 68036 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 260 seconds < 1599757359 553012 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life > 1599758319 990383 PRIVMSG #esoteric :14[[0705AB1E14]]4 M10 02https://esolangs.org/w/index.php?diff=77428&oldid=77427 5* 03SunnyMoon 5* (-5) 10There is an infinite stack of inputs! < 1599759798 244105 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1599763586 324860 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1599765753 544412 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :`ftoc 390 < 1599765755 113315 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :390.00°F = 198.89°C < 1599767228 58735 :aaaaaa!~ArthurStr@host-91-90-11-12.soborka.net JOIN :#esoteric < 1599767348 107818 :arseniiv_!~arseniiv@136.169.201.93 JOIN :#esoteric < 1599767439 10860 :arseniiv!~arseniiv@94.41.4.189.dynamic.ufanet.ru QUIT :Ping timeout: 260 seconds < 1599767755 123911 :aaaaaa!~ArthurStr@host-91-90-11-12.soborka.net PART :#esoteric < 1599767782 558056 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1599767859 897524 :arseniiv!~arseniiv@136.169.237.49 JOIN :#esoteric < 1599768034 87999 :arseniiv_!~arseniiv@136.169.201.93 QUIT :Ping timeout: 260 seconds < 1599770020 268946 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Off for the night > 1599771398 733907 PRIVMSG #esoteric :14[[07Pi Calculus14]]4 N10 02https://esolangs.org/w/index.php?oldid=77429 5* 03Woofmao 5* (+5384) 10Created page > 1599772124 122551 PRIVMSG #esoteric :14[[07Pi Calculus14]]4 M10 02https://esolangs.org/w/index.php?diff=77430&oldid=77429 5* 03Woofmao 5* (-3) 10typo < 1599773550 183261 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1599774611 152107 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric > 1599774741 207180 PRIVMSG #esoteric :14[[07Talk:Lenta14]]4 10 02https://esolangs.org/w/index.php?diff=77431&oldid=77426 5* 03Tetrapyronia 5* (-11) 10 < 1599775564 89707 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1599775752 878258 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :`card-by-name mana cylix < 1599775753 918154 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Mana Cylix \ 1 \ Artifact \ {1}, {T}: Add one mana of any color. \ PS-U, CON-C < 1599776833 883977 :arseniiv!~arseniiv@136.169.237.49 QUIT :Ping timeout: 264 seconds < 1599777891 25826 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1599777891 172407 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Client Quit < 1599779050 649515 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Heh. < 1599779065 27163 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :`card-by-name Teferi < 1599779065 911655 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Teferi's Care \ 2W \ Enchantment \ {W}, Sacrifice an enchantment: Destroy target enchantment. \ {3}{U}{U}: Counter target enchantment spell. \ IN-U \ \ Teferi's Curse \ 1U \ Enchantment -- Aura \ Enchant artifact or creature \ Enchanted permanent has phasing. (It phases in or out before its controller untaps during each of their untap steps. While it's phased out, it's treated as though it doesn't exist.) \ MI-C \ \ Teferi's Drake \ 2U \ Cre < 1599779102 729400 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :`card-by-name Shock < 1599779106 469033 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Shock \ R \ Instant \ Shock deals 2 damage to any target. \ ST-C, 6E-C, S00-C, 7E-C, ONS-C, 8ED-C, 9ED-C, 10E-C, M12-C, M14-C, AER-C, DDN-C \ \ Shock Troops \ 3R \ Creature -- Human Soldier \ 2/2 \ Sacrifice Shock Troops: It deals 2 damage to any target. \ MM-C, 8ED-C \ \ Shocker \ 1R \ Creature -- Insect \ 1/1 \ Whenever Shocker deals damage to a player, that player discards all the cards in their hand, then draws that many cards. \ TE-R \ < 1599779128 801367 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :`card-by-name Bolt < 1599779129 822101 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Bolt of Keranos \ 1RR \ Sorcery \ Bolt of Keranos deals 3 damage to any target. Scry 1. (Look at the top card of your library. You may put that card on the bottom of your library.) \ BNG-C \ \ Boltwing Marauder \ 3BR \ Creature -- Dragon \ 5/4 \ Flying \ Whenever another creature enters the battlefield under your control, target creature gets +2/+0 until end of turn. \ DTK-R < 1599779141 688927 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`card-by-name Blightning < 1599779142 654808 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Blightning \ 1BR \ Sorcery \ Blightning deals 3 damage to target player or planeswalker. That player or that planeswalker's controller discards two cards. \ ALA-C, A25-U, DDK-C < 1599779148 986219 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :`card-by-name Lightning Bolt < 1599779149 833065 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Lightning Bolt \ R \ Instant \ Lightning Bolt deals 3 damage to any target. \ A-C, B-C, U-C, RV-C, 4E-C, M10-C, M11-C, MM2-U, E01-U, A25-U, MED-C, PD2-C < 1599779249 612785 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Reading up on cmake. Unhappy. Did towers of Hanoi instead. https://github.com/egel-lang/egel/blob/master/examples/hanoi.eg < 1599779260 973037 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I'll get it right, somehow. < 1599779314 215211 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is cmake good? Every time I need to use it it seems pretty unpleasant. < 1599779340 164305 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I have no clue. I know I want weird things from it so, no idea. < 1599779366 163114 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But people don't seem to like my makefile solution, and I was hoping for something portable. < 1599779658 142640 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How portable? < 1599779709 439098 :b_jonas!~x@catv-176-63-11-175.catv.broadband.hu PRIVMSG #esoteric :spruit11: now you have two problems < 1599779712 120958 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Linuxes and maybe MacOs. < 1599779779 87271 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :FreeBSD too, I guess. < 1599779788 153857 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Or uh BSDs. < 1599779925 98293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not Windows? < 1599779952 546783 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That seems relatively easy because all those systems are nearly the same. < 1599779959 661323 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can use a shell script. < 1599779965 141586 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Nah. Not yet, anyway. If I magically somehow attract some users maybe. < 1599779981 355304 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I use make and two shell scripts at the moment. < 1599781428 78746 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric < 1599781914 634949 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :What I do is including the shell scripts for compiling at the top of each C code file. < 1599782324 605334 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :That is the one way to go!