< 1500508860 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Since we're only considering finite limit theories, every theory also has a "free model", which is the initial object of Mod(T). < 1500509262 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Now, given any arrow T -> U, we're essentially saying every axiom in T can also be found in U, which means that every model of U will also work as a model of T... < 1500509294 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :In other words, arrows T -> U produce functors Mod(U) -> Mod(T). < 1500510003 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :So lemme consider an example! < 1500510035 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Let G be the theory of groups, and let PG be the theory of pointed groups (groups with a distinguished element). < 1500510061 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :There's an arrow G -> PG (everything that can be done within a group can be done within a pointed group). < 1500510077 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :And the resulting functor Mod(PG) -> Mod(G) (every pointed group is a group). < 1500510109 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :All these model categories have "initial objects" or "trivial models". There is a trivial group, and there is a trivial pointed group. < 1500510115 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :The trivial pointed group is also a group, of course. < 1500510122 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :But it's not the trivial group; it's the infinite cyclic group. < 1500510279 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1500510525 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Now, I (essentially) said earlier that not only is there a functor Mod(PG) -> Mod(G), but Mod(PG) is actually a coslice category of Mod(G). < 1500510557 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Not all theory extensions have that property. < 1500510590 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :For example, if AbG is the theory of abelian groups, then we have the inclusion arrow G -> AbG, which generates the "forgetful" functor Mod(AbG) -> Mod(G). < 1500510619 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :But that's not a coslice category, because the trivial abelian group is the trivial group. < 1500510628 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :So... < 1500510677 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :A pointed group is just a group equipped with a homomorphism out of the trivial pointed group. < 1500510693 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :It is *not* the case that an abelian group is just a group equipped with a homomorphism out of the trivial abelian group. < 1500510858 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Oooooooh. I get it. < 1500510867 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :I get why certain axioms are allowed in a presentation, and certain ones are not. < 1500510906 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :How come a group presentation is allowed to contain the axiom "there exists an element a with a^2 = e", but it is not allowed to contain the axiom "for all elements a and b, ab = ba"? < 1500510923 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Only the first axiom is preserved by homomorphisms. < 1500511814 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1500511822 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :I suspect because the latter doesn't provide a real quotient group < 1500511953 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :What do you mean, doesn't provide a real quotient group? < 1500512016 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :A presentation defines a group by quotient on the free group in however many generators < 1500512032 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Right. < 1500512056 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :so in order for an equation to be allowed, you have to be able to meaningfully turn it into a normal subgroup to quotient by < 1500512069 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Yup. < 1500512081 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :The thing about the axiom "for all elements a and b, ab = ba" is that it's sensitive to what the elements are. < 1500512094 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :but what subgroup is that even defining? < 1500512107 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Umm, good question. < 1500512129 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Is it the... subgroup of all commutators? < 1500512157 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :ATWP: "The commutator subgroup is important because it is the smallest normal subgroup such that the quotient group of the original group by this subgroup is abelian." < 1500512189 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :? atwp < 1500512190 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :According to Wikipedia, ATWP means nothing. < 1500512207 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :le/rn atwp/According to Wikipedia, ATWP means "Air Transport White Paper". < 1500512208 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Usage: le/[/]rn // < 1500512216 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :le/rn atwp//According to Wikipedia, ATWP means "Air Transport White Paper". < 1500512218 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Relearned 'atwp': According to Wikipedia, ATWP means "Air Transport White Paper". < 1500512262 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :tswett: huh so I checked, ab = ba is allowed < 1500512278 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :on two generators it generates Z \times Z < 1500512294 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :that makes sense, ab = ba ~ a^-1b^-1ab < 1500512298 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :* = 1 < 1500512309 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :so not quite sure why I let you trick me into thinking it wasn't < 1500512320 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :oh wait, "for all elements" < 1500512335 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :uh let me think if I can come up with a good explanation < 1500512412 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :I can't think of a trivial one, but if you look up the definition, it doesn't make sense < 1500512423 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :The definition of "presentation of a group"? < 1500512467 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :yeah < 1500512479 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :you can have an infinite set of equations < 1500512487 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Right. < 1500512487 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :so you can just include every equation of the form xy = yx < 1500512499 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Yup. < 1500512523 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :But the definition of a group presentation doesn't allow you to do anything with universal quantifiers. < 1500512743 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Now here's the next big thing I'm wondering. < 1500512759 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Consider the concept of a category. < 1500512778 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :What would you have to add to it, piece by piece, in order to bring it up to being equivalent to second-order logic? < 1500512795 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :If you add a terminal object, now you have the equivalent of a "true" proposition. < 1500512804 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Add products, now you've got conjunction, too. < 1500512829 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Add an initial object and coproducts, that's "false" and disjunction. < 1500512856 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Make it cartesian closed, and now you've got implication. < 1500512866 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :it allows an infinite set of words though < 1500512879 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :so you can just use quantifiers to build the set < 1500512890 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Right. < 1500512904 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Or, if you want to just write a presentation of some specific abelian group, it suffices to just say all the generators commute with each other. < 1500512963 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :yeah < 1500513046 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :So lemme seeeeeee. < 1500513096 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :A cartesian closed category with finite sums is enough for propositional logic. < 1500513137 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :What if I want predicate logic? < 1500513178 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :If you want to do propositional logic in a category, you're probably seeing the objects as propositions. < 1500513225 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :For predicate logic, now you need to look at objects as propositions *and* as domains that can be quantified over. < 1500513258 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :And then a predicate is a morphism from a "domain" to a "proposition". < 1500513425 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :No, that's not right. < 1500513430 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :A predicate is a morphism *into* a domain. < 1500513483 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Now, in predicate logic, you can do conjunction, disjunction, and implication between predicates, not just propositions. < 1500513587 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :This means the category needs to have sums, products, and exponentials for morphisms, not just objects. < 1500513825 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :For the initial object and coproducts, this is automatic. < 1500513872 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :To have a cat satisfying an impossible property is impossible. To have a blue-or-green cat is to either have a blue cat or have a green cat. < 1500513898 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :To have a cat satisfying a trivial property is not trivial; you must actually have a cat. < 1500513917 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :And to have a blue-and-green cat is not to both have a blue cat and have a green cat; they must be the same cat. < 1500514044 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Anyway, this ends up meaning that for predicate, you need a *locally* cartesian closed category with finite sums. < 1500514112 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :And, um, does quantification automatically end up working? < 1500514473 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :is this the curry-howard-lambek correspondence of system F < 1500514526 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Ummmmm, might be? < 1500514532 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :I'm referencing this: https://ncatlab.org/nlab/show/relation+between+type+theory+and+category+theory < 1500514839 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :So lemme see. There's this idea where a predicate is "encoded" as three things: its "total space" (a proposition which is considered equivalent to "exists x, P(x)"), its domain, and the proof of the implication from the former to the latter. < 1500514867 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION sidles away carefully < 1500514872 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :So the predicate "the integer x is even" is encoded as... < 1500514896 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :1. a proposition considered equivalent to "exists x, x is even"--in other words, the set of even integers < 1500514902 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :2. the domain, which is the set of integers < 1500514913 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :3. the inclusion function from the set of even integers to the set of integers < 1500514917 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :hellørjan! sidling toward me? :D < 1500514927 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Yeeeeeeeeeeah. < 1500514935 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Don't mind me, I'm just using this channel as my personal notepad. < 1500514951 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :It's great because my notepad automatically contains funny things other people say. < 1500515063 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boheily! anywhere nowhere near a category vortex twh < 1500515093 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :categories are nice. I don't understand them, but they make nice graphs ^^ < 1500515096 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :So, sums are easy. How do you write "exists x, P(x) or Q(x)" in terms of "exists x, P(x)" and "exists x, Q(x)"? < 1500515098 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :It's just... < 1500515109 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :"(exists x, P(x)) or (exists x, Q(x))". < 1500515118 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Likewise, "exists x, false" is just "false". < 1500515168 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :"exists x, P(x) and Q(x)" is the pullback of "exists x, P(x)" and "exists x, Q(x)". < 1500515177 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :tswellott. probably some manipulations involving sums-of-products or products-of-sums. < 1500515203 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswett: i really don't think you want "exists x," in there < 1500515220 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Note that I'm using "exists" to mean "dependent sum"... < 1500515244 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tswelliott would be an odd individual < 1500515248 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1500515263 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :So "there exists a 0-tuple" isn't equivalent to "there exists an integer", since the latter has infinitely many proofs and the former only has one. < 1500515281 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :AAAAAAA < 1500515293 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :You seem upset about this. < 1500515293 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION cuddles a five lemma < 1500515295 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :AAAAAAA? < 1500515373 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :five lemma?! < 1500515387 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :"The five lemma can be thought of as a combination of two other theorems, the four lemmas, which are dual to each other." < 1500515397 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: that's about as much category theory as i understand. < 1500515404 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :without glazing over. < 1500515420 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :at least i used to. < 1500515473 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :So what the heck is "exists x, P(x) -> Q(x)" in terms of "exists x, P(x)" and "exists x, Q(x)"... < 1500515504 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :I'm going to skip that one. < 1500515555 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Let's just go straight to the fun part. < 1500515563 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Ly14]]4 10 02https://esolangs.org/w/index.php?diff=52475&oldid=52465 5* 03LyricLy 5* (+2521) 10 < 1500515563 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :What's "exists x, forall y, P(x,y)"? < 1500515563 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, start with what is exists x. not(P(x)) in terms of exists x. P(x) < 1500515563 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :? fun fact < 1500515564 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :fun fact 0 = 1 | fact n = n * fact (n - 1) < 1500515580 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :I love the fun fact. < 1500515672 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Of course exists x. not(P(x)) is not(forall x. P(x)) < 1500515678 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i had a near-pun experience after posting that on agora and someone responded they preferred fact x = foldl (*) 1 [1..x] < 1500515714 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :unfortunately, the obvious response did not appear to me until after i'd made a worse one. < 1500515719 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*occur < 1500515722 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the obvious response? < 1500515730 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"Where's the fun in that?" < 1500515762 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But now you get your revenge. < 1500515781 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? diagram chasing < 1500515782 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :diagram chasing? ¯°​_o)/¯ < 1500515783 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well i don't think they're on this channel. < 1500515828 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :le/rn diagram chasing//Diagram chasing is a technique used to prove integer lemmas. Taneb invented it. < 1500515830 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'diagram chasing': Diagram chasing is a technique used to prove integer lemmas. Taneb invented it. < 1500515903 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :grWp chasing < 1500515904 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :diagram chasing:Diagram chasing is a technique used to prove integer lemmas. Taneb invented it. < 1500515913 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :grWp chase < 1500515914 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :abstract nonsense:We would have an explanation of abstract nonsense here, but it fled into a diagram and we haven't been able to chase it. We will try again once we find an abstract machete. \ scotland: it's that place where they all wear kilts and chase haggises around whilst warding off the loch ness monster with bagpipes \ wumpus < 1500515929 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :2 grWp chase < 1500515930 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2/2:mpus:Wumpus the Hunted is an early 70s action game in which the Wumpus is trapped in a dodecahedral labyrinth where it's chased by bats. It has to avoid traps and evade magical arrows that are guided by a nefarious AI. < 1500515946 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :cwlprits wumpus < 1500515952 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :oerjän < 1500516018 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :dowg wumpus < 1500516022 0 :MDude!~MDude@pa-67-234-94-147.dhcp.embarqhsd.net JOIN :#esoteric < 1500516025 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :8060:2016-05-14  mv wisdom/wumpu{,s} < 1500516028 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :I'm just gonna say... < 1500516029 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, right. < 1500516029 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :thought so < 1500516033 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dowg wumpu < 1500516041 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :8060:2016-05-14  mv wisdom/wumpu{,s} \ 8059:2016-05-14 learn Wumpus the Hunted is an early 70s action game in which the Wumpus is trapped in a dodecahedral labyrinth where it\'s chased by bats. It has to avoid traps and evade magical arrows that are guided by a nefarious AI. < 1500516052 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Apparently the two four lemmas put together make the five lemma. And these people call themselves mathematicians. < 1500516056 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :I'm pretty sure that a locally cartesian closed category with finite sums is enough for predicate logic. < 1500516073 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :slwd wumpus//s,labyrinth,diagram, < 1500516075 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wumpus//Wumpus the Hunted is an early 70s action game in which the Wumpus is trapped in a dodecahedral diagram where it's chased by bats. It has to avoid traps and evade magical arrows that are guided by a nefarious AI. < 1500516092 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Well, yeah. Four plus four plus paths from three of the four to three of the other four equals five. < 1500516105 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i guess that's a categorical improvement. < 1500516834 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1500516834 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ENVA 200050Z 13007KT CAVOK 07/06 Q1018 RMK WIND 670FT 12008KT < 1500517127 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1500517366 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1500517375 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1500517378 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :unidecode éêè < 1500517379 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+00E9 LATIN SMALL LETTER E WITH ACUTE] [U+00EA LATIN SMALL LETTER E WITH CIRCUMFLEX] [U+00E8 LATIN SMALL LETTER E WITH GRAVE] < 1500519284 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net QUIT :Quit: FUNK CHICKEN < 1500519461 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :5 w < 1500519465 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/1:dynamic-unwind//dynamic-unwind is just like dynamic-wind except that it's a different sort of weather. \ ⊥//⊥ is a bottom tack, useful for annoying teachers. \ cafreine//Cafreine is the favorite drug of category theorists. \ yeeesh//See yeesh. \ 6 random numbers//4 8 15 16 23 42 < 1500519487 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dow cafreine < 1500519488 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: dow: not found < 1500519493 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dowg cafreine < 1500519500 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :8775:2016-07-10 learn Cafreine is the favorite drug of category theorists. < 1500519502 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dowg 6 random numbers < 1500519508 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :8061:2016-05-15  echo 4 8 15 16 23 42 > "wisdom/6 random numbers" < 1500519958 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :how could we make the wisdom database Turing-complete? < 1500520785 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I've often wondered about using some sort of language for wisdom entries, rather than just plaintext. < 1500520798 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For example to allow referencing/including other wisdom entries, and other things. < 1500520812 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Maybe it can allow running arbitrary commands, to implement ? ngevd) < 1500520987 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's kind of boring, though. < 1500521010 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: Can you patch up HackEgo to get access to the nick of the user running the command? < 1500521016 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That would twh. < 1500521046 0 :Warriga_l!~tswett@unaffiliated/tswett JOIN :#esoteric < 1500521774 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i would play wumpus the hunted. it sounds fire < 1500522332 0 :Warriga_l!~tswett@unaffiliated/tswett PRIVMSG #esoteric :That sentence reminded me that I heard a song once that seemed to contain the words "they went fire". < 1500522342 0 :Warriga_l!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So I did a Google search for "they went fire" and was surprised to actually find the song. < 1500522354 0 :Warriga_l!~tswett@unaffiliated/tswett PRIVMSG #esoteric :https://www.youtube.com/watch?v=CSPker14VVY - "Clash", Caravan Palace. < 1500522811 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net JOIN :#esoteric < 1500523063 0 :Warriga_l!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Dang, I feel like there was something I wanted to do. < 1500523077 0 :Warriga_l!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Something about math. < 1500523082 0 :Warriga_l!?@? NICK :tswet_t < 1500523121 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net QUIT :Ping timeout: 248 seconds < 1500525775 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1500527897 0 :tswett!~tswett@167.73.32.65 QUIT :Read error: Connection reset by peer < 1500527922 0 :tswett!~tswett@167.73.32.65 JOIN :#esoteric < 1500527976 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1500529713 0 :idris-bot!~idris-bot@dslb-178-004-083-030.178.004.pools.vodafone-ip.de QUIT :Quit: Terminated < 1500529818 0 :Melvar!~melvar@dslb-178-004-083-030.178.004.pools.vodafone-ip.de QUIT :Quit: thunderstorm < 1500530921 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1500531632 0 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1500531874 0 :Melvar!~melvar@dslb-178-004-083-030.178.004.pools.vodafone-ip.de JOIN :#esoteric < 1500533431 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1500533483 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1500533748 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 260 seconds < 1500534078 0 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1500534946 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net JOIN :#esoteric < 1500535011 0 :augur!~augur@c-73-189-251-68.hsd1.ca.comcast.net JOIN :#esoteric < 1500535265 0 :augur!~augur@c-73-189-251-68.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1500535451 0 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1500537140 0 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying... < 1500537761 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 255 seconds < 1500538967 0 :tswett!~tswett@167.73.32.65 QUIT :Read error: Connection reset by peer < 1500538992 0 :tswett!~tswett@167.73.32.65 JOIN :#esoteric < 1500540788 0 :AnotherTest!~turingcom@134.58.253.56 JOIN :#esoteric < 1500541057 0 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1500541656 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Hm x86 and x86-64 has variable length instructions. This presumably means that the suffix of one instruction could be another valid instruction. < 1500541681 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I wonder if you construct any useful programs where you jump into the middle of another instruction to execute different code < 1500541705 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :possibly the suffix of one instruction and part or all of the next instruction could form a valid instruction as well < 1500541955 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What do you count as a useful program? < 1500541977 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This sort of thing is often used to write various exploits. < 1500541984 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Oh, interesting < 1500541993 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :so it can be used for non-trivial purposes then < 1500541995 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think I've also seen it in other contexts but I can't remember where. < 1500542032 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Apparently it's also used for obfuscation. I don't consider that useful. < 1500542034 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I imagine it might have been useful back in the day when the computers had much more limited memory, say 286 or older < 1500542080 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There are probably some golfing situations where it's useful, but I doubt there are that many? < 1500542090 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I bet it can come up a lot when looking for ROP gadgets. < 1500542101 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And https://en.wikipedia.org/wiki/JIT_spraying < 1500542160 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That page says you can jump into the middle of an instruction on ARM. That's interesting because I thought ARM had a fixed-length encoding. Do they not require instructions to be aligned? < 1500542171 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Then again ARM has multiple different encodings. < 1500542234 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I was just about to comment on that < 1500542266 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :iirc on arm, if LSB is set in the target address of a jump, then it switches to thumb mode < 1500542273 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :so maybe that is what they mean? < 1500542378 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ROP is too good < 1500542421 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://blogs.msdn.microsoft.com/oldnewthing/20090128-00/?p=19353/ talks about using this for golf < 1500542589 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :interesting < 1500542672 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Man, this generated password is annoying. It's perfectly interleaved between characters that need shift pressed and characters that don't. < 1500542698 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf: I use a password manager with auto-typing for such passwords < 1500542720 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :C++11 has auto-typing too. < 1500542730 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :not that sort of auto-typing < 1500542747 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :also the C++11 one is rudimentary compared to something like haskell for example < 1500542771 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I know, I learned Haskell before I learned C++11. < 1500542783 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :heh < 1500542821 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf: though I guess guessing template parameters may be closer < 1500542983 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, it's silly to generate a password of a fixed length for typing and not consider shift a keypress. < 1500542999 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Really I should generate all my passwords to be of the for /[a-z]{n}/ < 1500543002 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :form < 1500543043 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Permitting uppercase letters adds only one bit of entropy per character, and is much harder to remember. < 1500543052 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> logBase 2 (26^15) < 1500543054 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 70.50659577211638 < 1500543058 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> logBase 2 (52^15) < 1500543061 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 85.50659577211638 < 1500543063 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no surprise < 1500543079 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> logBase 2 (26^18) < 1500543081 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 84.60791492653966 < 1500543096 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So you could permit uppercase letters, or you could add 3-4 more lowercase letters. < 1500543191 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> map (logBase 2) [64^15, 26^19] < 1500543193 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [90.0,89.30835464468075] < 1500545457 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :unfortunately it's not up to you whether to use uppercase letters, but up to the login provider < 1500545496 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I can always add an uppercase letter, a digit, and a "special character" to satisfy the login provider. < 1500545505 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What are special characters? < 1500545517 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :unidecode ㈵ < 1500545518 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+3235 PARENTHESIZED IDEOGRAPH SPECIAL] < 1500545523 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :unidecode ㊕ < 1500545524 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+3295 CIRCLED IDEOGRAPH SPECIAL] < 1500545528 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess I should use more of those. < 1500546071 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :apparently on cortex-m chips, the only available encoding is a mix of 16-bit and 32-bit instructions < 1500546188 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net QUIT :Ping timeout: 260 seconds < 1500546254 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :“According to the Japanese, the index finger is connected to the urinary bladder and the kidney. However, in other cultures the index finger is thought to be connected to the hand.” < 1500546321 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That is a clever vandalism. < 1500547720 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :unicode 特 < 1500547725 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+7279 CJK UNIFIED IDEOGRAPH-7279 \ UTF-8: e7 89 b9 UTF-16BE: 7279 Decimal: 特 \ 特 (特) \ Uppercase: U+7279 \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) < 1500547831 0 :fizzie!?@? PRIVMSG #esoteric :shachaf: There are some ARMs (around the ARMv4, ARMv5 generations) where an unaligned word read actually returns the word rotated, i.e., if the memory contents are |00 01 02 03|04 05 06 07| and you read a word at offset 2, you get back the bytes 02 03 00 01. (Approximately so, anyway.) < 1500547836 0 :fizzie!?@? PRIVMSG #esoteric :I don't know if you could use that for instruction reads. < 1500547875 0 :fizzie!?@? PRIVMSG #esoteric :shachaf: I think you mentioned the nick thing before, and I was going to do it, but then forgot. Will try to remember at some point. < 1500548401 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa whoa whoa < 1500549793 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: do you understand goodwillie functor calculus twh < 1500550591 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net JOIN :#esoteric < 1500550986 0 :Slereah!~Slereah@ALille-651-1-100-182.w2-5.abo.wanadoo.fr JOIN :#esoteric < 1500550996 0 :Slereah__!~Slereah@ALille-651-1-122-90.w90-1.abo.wanadoo.fr QUIT :Ping timeout: 255 seconds < 1500551065 0 :joast!~rick@cpe-98-146-188-96.natnow.res.rr.com QUIT :Ping timeout: 246 seconds < 1500551402 0 :Slereah__!~Slereah@ALille-651-1-100-182.w2-5.abo.wanadoo.fr JOIN :#esoteric < 1500551500 0 :Slereah!~Slereah@ALille-651-1-100-182.w2-5.abo.wanadoo.fr QUIT :Ping timeout: 260 seconds < 1500551773 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :Arachne, Asterion, Jorgrun, a misplaced balrog, a bunch o' spiders and a few electric eels for decoration. < 1500551779 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :what the fungot is going on... < 1500551779 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: hey my name is christie)) disabled or handicapped so i started collecting things with angels um yeah that's probably it)) < 1500551789 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :fungot: no, you're Sir Fungellot. < 1500551789 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: i never believed it i thought once you were tried for like murder and you couldn't be tried again < 1500552689 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: but have you ever been tried for murder? also I rather suspect that you could be tried for a different murder in any case, as long as you're still alive. < 1500552689 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: the idea i think that they < 1500552765 0 :erkin!~erkin@unaffiliated/erkin QUIT :Read error: Connection reset by peer < 1500553842 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net QUIT :Quit: NEARBY CHICKEN < 1500554152 0 :AnotherTest!~turingcom@134.58.253.56 QUIT :Ping timeout: 246 seconds < 1500554464 0 :AnotherTest!~turingcom@134.58.253.56 JOIN :#esoteric < 1500555539 0 :Slereah!~Slereah@ALille-651-1-163-128.w90-1.abo.wanadoo.fr JOIN :#esoteric < 1500555635 0 :Slereah__!~Slereah@ALille-651-1-100-182.w2-5.abo.wanadoo.fr QUIT :Ping timeout: 240 seconds < 1500555805 0 :deltab_!~deltab@fpc110397-king13-2-0-cust25.19-1.static.cable.virginm.net JOIN :#esoteric < 1500555867 0 :deltab_!~deltab@fpc110397-king13-2-0-cust25.19-1.static.cable.virginm.net QUIT :Client Quit < 1500556331 0 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1500556334 0 :idris-bot!~idris-bot@dslb-178-004-083-030.178.004.pools.vodafone-ip.de JOIN :#esoteric < 1500556553 0 :Cale!~cale@2607:fea8:98df:ec9f:98ea:f8dc:27b7:a7ae QUIT :Quit: Leaving < 1500556570 0 :Cale!~cale@2607:fea8:98df:ec9f:8469:f6bf:edcf:88a0 JOIN :#esoteric < 1500559230 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1500560936 0 :\a\a\a!~ai@96.44.147.131 PRIVMSG #esoteric :https://ghostbin.com/paste/azx76 is it theoretically possible to prove a program using this can end with n being any (positive, real) number < 1500561816 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :what does n.to_s.to_i(8) do with 119? Does it result in 11o = 9? < 1500561867 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :irb < 1500561868 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: irb: not found < 1500561956 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(yes it does) < 1500562047 0 :Slereah!~Slereah@ALille-651-1-163-128.w90-1.abo.wanadoo.fr QUIT :Ping timeout: 240 seconds < 1500562095 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So I expect you can get all natural numbers without too much trouble, using just the reinterpretations as hex and octal. But I have no proof nor time to attempt one. (Intuitively, iterating the reinterpretation as hex will produce a pseudo-random string of initial digits, so to produce n, just wait until the number starts with n in octal, followed by 8 or 9) < 1500562160 0 :Slereah!~Slereah@ALille-651-1-167-4.w90-1.abo.wanadoo.fr JOIN :#esoteric < 1500562318 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(and getting big numbers this way may turn out to be highly impractical) < 1500562417 0 :\a\a\a!~ai@96.44.147.131 PRIVMSG #esoteric :yeah, i just intended for it to be hard to actually work with numbers but still possible to do < 1500562578 0 :^_^v!~nycs@cpe-98-14-70-190.nyc.res.rr.com JOIN :#esoteric < 1500563142 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1500564912 0 :Slereah!~Slereah@ALille-651-1-167-4.w90-1.abo.wanadoo.fr QUIT :Ping timeout: 260 seconds < 1500564955 0 :Slereah!~Slereah@ALille-651-1-66-50.w2-5.abo.wanadoo.fr JOIN :#esoteric < 1500564975 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :note that ⁹ is equivalent to ܋ᾗᾚᾗῃᾗᾗ < 1500565022 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :also note that this paste site doesn't actually support copying code < 1500565042 0 :\a\a\a!~ai@96.44.147.131 PRIVMSG #esoteric :yeah this took a while to put together so i slowly realized things i could do over the course of writing it < 1500565102 0 :\a\a\a!~ai@96.44.147.131 PRIVMSG #esoteric :that's why you have both ⁹܋ᾚᾚᾚᾚᾚᾗ܋ and ⁹ᾗ܋ < 1500565113 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( can we have an ASCII version of this? ) < 1500565154 0 :\a\a\a!~ai@96.44.147.131 PRIVMSG #esoteric :i like having it be unrelated, weird unicode characters. it makes the code look interesting < 1500565166 0 :\a\a\a!~ai@96.44.147.131 PRIVMSG #esoteric :but it also does confuse geany so uh, hold on < 1500565265 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :say: 6 (from 16) 8 (from 8) 7 (less than 8) 5 (String) 2 (Zeichen) 1 (change by 1) 9 (9) < 1500565290 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :("Zeichen" means "character" in German :P) < 1500565299 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :also "sign" < 1500565404 0 :\a\a\a!~ai@96.44.147.131 PRIVMSG #esoteric :here's an ascii version https://paste.ee/p/hupOT < 1500565561 0 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying... < 1500566784 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Apparently getting 14063 using H and n, starting from 10, is fairly hard. < 1500566813 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(10 is the result of 9T, the first number where H has a useful effect) < 1500567037 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :TnnHHHnHHHnHHHnHHHnTHnT seems no harder than other numbers of the same size < 1500567066 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm not using T < 1500567084 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(after reaching 10 first one) < 1500567254 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm also not actually searching for 14063 specifically; I'm enumerating numbers, and 14063 is the smallest one missing at this time. < 1500567854 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and indeed adding T helps it get past this point easily. < 1500568166 0 :Slereah__!~Slereah@ALille-651-1-94-47.w2-5.abo.wanadoo.fr JOIN :#esoteric < 1500568209 0 :Slereah!~Slereah@ALille-651-1-66-50.w2-5.abo.wanadoo.fr QUIT :Ping timeout: 248 seconds < 1500568478 0 :augur!~augur@73.189.251.68 JOIN :#esoteric < 1500568643 0 :contrapumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1500568826 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :well, the question of whether 9TH*n is enough is probably a hard number theory problem < 1500569832 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Hey yo. < 1500569916 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Is there a 2-player board game with reasonably simple rules, such that one player always has a winning strategy, and such that any statement about the integers can be transformed into a board position, such that the first player has a winning strategy if and only if the statement is true? < 1500569994 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Inb4 "yeah, there's no board, no pieces, and no moves; the win condition is to be the first player if and only if the statement is true." < 1500570198 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :2-player peanos? https://www.youtube.com/watch?v=MzxZ8qtdun0 < 1500570418 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Jafet: I'm doing 9T[Hn]* ... H* is likely to be terribly slow < 1500570421 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> 8^6 < 1500570424 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 262144 < 1500570435 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> 8^5 < 1500570438 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 32768 < 1500570441 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :olist 1084 < 1500570441 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :olist 1084: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1500570460 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :err, H*n < 1500570554 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(and yay, I made my laptop unusable, had to reboot) < 1500570717 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> 10^length "14063" * 10 div length "89" < 1500570720 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 500000 < 1500570778 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :I guess you could have a "board game" where the players take turns assigning specific numbers to all the quantifiers. < 1500570792 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> let n = 500000 in n * (log n + 0.57) < 1500570794 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 6846181.688702164 < 1500570942 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(it should really be length "33357", which is the precursor to 14063) < 1500570969 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :tswett: does that work for all quantifiers? (namely, forall quantifiers?) < 1500571023 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :If all the quantifiers are at the very front of the statement, then player 1 picks the values for the existential quantifiers and player 2 picks the values for the universal quantifiers. < 1500571099 0 :AnotherTest!~turingcom@134.58.253.56 QUIT :Ping timeout: 246 seconds < 1500571135 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Jafet: what does your [HTn]* program say for 36105? < 1500571268 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(hah, 8m30s into the enumeration it found a solution for that one... well, it doesn't actually record the solutions) < 1500571330 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1500571330 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(37587 is the next one) < 1500571495 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :See y'all later. Hth. < 1500571499 0 :tswett!~tswett@167.73.32.65 QUIT :Quit: Leaving < 1500571522 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hate the hater ... not the hate < 1500571623 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :therefore do not hate < 1500571645 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :? hth < 1500571646 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hth ([ʰtʰh̩]) is help received from a hairy toe. It is not at all hambiguitous. < 1500571658 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hug the hater < 1500571666 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hassle the hassler < 1500571686 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I can't seem to get past 6995 for [Hn]*, probably because this program is limited to 64-bit numbers < 1500571944 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :http://lpaste.net/5694671569826086912 is what I've produced... throwaway code quality :P < 1500572078 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and it's gobbling up tons of memory too < 1500572097 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :hm, prenex normal form (all quantifiers at the front) in fact exists for first-order arithmetic < 1500573779 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1500573892 0 :augur!~augur@73.189.251.68 QUIT :Remote host closed the connection < 1500574380 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :well, the 9T[Hn]* search finished without even getting to 6995 < 1500574497 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :it found 3287481 numbers reachable without overflow, and then spun on an empty queue for half an hour < 1500574714 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> 2^64 div 3287481 < 1500574716 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:11: error: parse error on input ‘3287481’ < 1500574720 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> 2^64 div 3287481 < 1500574723 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 5611209334353 < 1500575198 0 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1500575287 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :what'cha doin', Jafet. < 1500575458 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :wasting time on the language given by https://paste.ee/p/hupOT < 1500575479 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :"written by trial and error". hah. < 1500575484 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I'm not sure why this is worth the time. it's not even on the esowiki < 1500575507 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :why not spend the time? < 1500575536 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :if it's fun, why not? :P < 1500575590 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :well, it's almost certain that every number is reachable by those operations and it is equally almost certain that trying to prove this will be futile < 1500575653 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :it's mildly surprising that so few numbers are reachable with a 64-bit state, though < 1500576433 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1500576799 0 :LKoen!~LKoen@2a01:e35:2eed:a430:789f:bf2d:d3a4:c754 JOIN :#esoteric < 1500577060 0 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1500577777 0 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1500577807 0 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 255 seconds < 1500578489 0 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1500578538 0 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 255 seconds < 1500578912 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1500579887 0 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1500579981 0 :sebbu3!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1500580003 0 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 246 seconds < 1500580156 0 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 255 seconds < 1500580259 0 :sebbu3!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 255 seconds < 1500580686 0 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1500581024 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Totallyhuman 5* 10New user account < 1500581472 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Stevoisiak 5* 10New user account < 1500581867 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 JOIN :#esoteric < 1500581870 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.tmz.com/2017/07/20/linkin-park-singer-chester-bennington-dead-commits-suicide/ < 1500581882 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :Hi guys. Can I ask stupid off-topic questions? < 1500581958 0 :LKoen!~LKoen@2a01:e35:2eed:a430:789f:bf2d:d3a4:c754 QUIT :Remote host closed the connection < 1500582029 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :I just installed a new carbon-monoxide alarm. The old alarm is of type Honeywell SF-450-EN, and is at its end of lifetime. How do I turn off (shut down) the old alarm before I dispose of it as used electrics? < 1500582054 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :If someone happens to know the proper way, that would make my life simpler. If not, I'll call their customer service number tomorrow and ask them. < 1500582078 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :take batteries out I assume? < 1500582089 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :(The new alarm is of a different model, and I know how to turn that one of, but that knowledge is of no use to me.) < 1500582118 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I have some sort of batteryless alarm that has a thing in the back you can poke to permanently turn it off. < 1500582176 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :shachaf: hmm, that might be under this X mark on the back < 1500582248 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :I don't understand why the manual for that device doesn't tell how this works. I've downloaded an English language manual, and it doesn't say anything. < 1500582333 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"When the unit has come to the end of its life, dispose of it inaccordance with local regulations." < 1500582380 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :shachaf: right. that tells me I have to dispose it as electric waste, not together with household waste. I know how to do that. < 1500582386 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :But that's after I turn if off. < 1500582394 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe the local regulations tell you how to turn it off. < 1500582424 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :Hmm. < 1500582489 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://www.youtube.com/watch?v=ED31RlJASZE outlines one method. < 1500582520 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :shachaf: isn't that a different brand? < 1500582532 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a different model but I suspet it can be adapted pretty easily. < 1500583099 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 JOIN :#esoteric < 1500583221 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :Hello. I just created an account on Esolangs and have already managed to lock myself out. Is there a way to reset my password? < 1500583316 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :Stevoisiak: someone in here might be able to help, but if you only created the account now, it might be simpler to create another account < 1500583341 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :wob_jonas: I created it using my primary username and email, Stevoisiak < 1500583351 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :I'd like to keep that username if possible < 1500583489 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :fizzie: who can help in that? < 1500583520 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :Stevoisiak: one thing you might want to try is to remove cookies then login only on the http interface or only on the https interface, sometimes one of those don't work < 1500583542 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :I don't recall the details of which one works < 1500583595 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :Stevoisiak: also try the automatic password reset form which sends you an email http://esolangs.org/wiki/Special:PasswordReset , I'm not sure if that works for this wiki but it's worth a try < 1500583623 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :@wob_jonas: I'm still waiting on my initial confirmation email < 1500583623 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1500583658 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :wob_jonas: I'm still waiting on my initial confrimation email < 1500583695 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :Also, I'm currently logged into the account. I just don't know what the password is. (LastPass didn't save my password for some reason) < 1500583700 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :Stevoisiak: fizzie will probably be able to help < 1500583819 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :or oerjan, I'm not sure which one of them < 1500584208 0 :fizzie!?@? PRIVMSG #esoteric :I probably can, if I can figure out how. < 1500584233 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :fizzie: does the automatic email-based password recovery work? < 1500584246 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :if so, then Stevo just has to request that and wait for the email < 1500584255 0 :fizzie!?@? PRIVMSG #esoteric :In theory yes, but there's a bit of an issue with the email setup on the wiki, which may result in emails never getting there. < 1500584274 0 :fizzie!?@? PRIVMSG #esoteric :(The server doesn't have a valid reverse DNS entry, thanks to Cloud at Cost, and many mail servers don't like that at all.) < 1500584288 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :ok < 1500584325 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :well, if Stevo is still logged in, he can prove that by editing, and then at worst you can rename his account and he can create a new one with this name < 1500584407 0 :fizzie!?@? PRIVMSG #esoteric :Looks like there's an administration script that can set the password of any user, I can just reset it manually. < 1500584421 0 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1500584436 0 :fizzie!?@? PRIVMSG #esoteric :And then mail it to the associated email address. < 1500584444 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :Sure. I'll make an edit nw < 1500584447 0 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1500584480 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :Editing the page for http://esolangs.org/wiki/HQ9%2B < 1500584525 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :Oh wait, I have to do an intro first < 1500584695 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=52476&oldid=52470 5* 03Stevoisiak 5* (+288) 10/* Introductions */ < 1500584705 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :There we go < 1500584713 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07HQ9+14]]4 M10 02https://esolangs.org/w/index.php?diff=52477&oldid=52067 5* 03Stevoisiak 5* (+8) 10Add creation year < 1500584879 0 :fizzie!?@? PRIVMSG #esoteric :Resolved. Though I should really try to get the emails to work. < 1500585130 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :On an unrelated note: The Befunge CAPTCHA had me so confused < 1500585179 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :I ended up turning the CAPTCHA into a StackOverflow question. < 1500585198 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :haha, the base 9 to base 10 conversion. gets everyone. < 1500585209 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :Wait, that's the reason? < 1500585211 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :https://stackoverflow.com/questions/45223117/why-does-the-befunge-code-9332682811-9-output-52256370 < 1500585272 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :I think it turns base 9 to base 10, but I'm not quite sure < 1500585365 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :it's not quite that, but something close\ < 1500585370 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :I don't know the exact rule < 1500585372 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :I forgot < 1500585426 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :Doesn't seem to be base 9. 9332682811 in base 9 is 26072072027 < 1500585663 0 :nulquen!~ae@unaffiliated/nulquen JOIN :#esoteric < 1500585669 0 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric < 1500585784 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :118286233 in base 9 is 52256370 < 1500585815 0 :fizzie!?@? PRIVMSG #esoteric :It's base 9 and reversed, and the 9 is a terminator. < 1500585826 0 :fizzie!?@? PRIVMSG #esoteric :Oh, int-e said it already. < 1500585842 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yeah but without understanding the code :P < 1500585877 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :oh, the 9- acts on a duplicate to test for the terminator, it's not used in adding to the number? < 1500585879 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(well, I have bits and pieces. in particular the multiplication by 9 suggests a conversion *from* base 9) < 1500585902 0 :fizzie!?@? PRIVMSG #esoteric :FWIW, "stick it into an online Befunge interpreter" *is* the intended way of passing it. < 1500586039 0 :fizzie!?@? PRIVMSG #esoteric :It's not so much an in-joke but a response to some rather nasty bouts of spammers. So's the introduction requirement. < 1500586151 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :fizzie: Honestly, I didn't think of using an interpreter for a good 30 minutes < 1500586188 0 :fizzie!?@? PRIVMSG #esoteric :If you want to work through it, it may be helpful to de-onelinerify it into http://sprunge.us/cMVA < 1500586238 0 :fizzie!?@? PRIVMSG #esoteric :(In the original the 9 is used for two slightly different things when going in different directions, which I think was a nice touch.) < 1500586313 0 :deltab!~deltab@94.136.34.47 QUIT :Quit: Lost terminal < 1500586387 0 :fizzie!?@? PRIVMSG #esoteric :...sorry, I dropped a \ when converting it... < 1500586424 0 :fizzie!?@? PRIVMSG #esoteric :http://sprunge.us/bEJj should be more like it. < 1500586469 0 :fizzie!?@? PRIVMSG #esoteric :At the start of the loop (the >) the top of stack is basically an accumulator, so it pulls the next number under it (, tests if it is the terminating 9 (:9- and _), and if not, multiplies the accumulator by 9 and adds the new number to it (\9*+). < 1500586532 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :Hi. < 1500586678 0 :nulquen!~ae@unaffiliated/nulquen QUIT : < 1500586747 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 PRIVMSG #esoteric :fizzie: The Captcha help page should mention that an interpreter is the intended solution http://esolangs.org/wiki/Special:Captcha/help < 1500587063 0 :fizzie!?@? PRIVMSG #esoteric :Yeah, probably. I'm guessing that's a stock help text we've never customized. < 1500587347 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1500588043 0 :Stevoisiak!08199da0@gateway/web/freenode/ip.8.25.157.160 QUIT :Quit: Page closed < 1500589603 0 :Cale!~cale@2607:fea8:98df:ec9f:8469:f6bf:edcf:88a0 QUIT :Ping timeout: 276 seconds < 1500589665 0 :LKoen!~LKoen@2a01:e35:2eed:a430:ae29:3aff:fee8:b414 JOIN :#esoteric < 1500590013 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 255 seconds < 1500590274 0 :Cale!~cale@2607:fea8:98df:ec9f:4cea:682e:59ab:bf02 JOIN :#esoteric < 1500590839 0 :^_^v!~nycs@cpe-98-14-70-190.nyc.res.rr.com QUIT :Quit: This computer has gone to sleep < 1500591519 0 :LKoen!~LKoen@2a01:e35:2eed:a430:ae29:3aff:fee8:b414 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.” < 1500591635 0 :joast!~rick@2606:6000:44c5:f1f0:4cc8:b4ff:fedd:f8d5 JOIN :#esoteric < 1500591879 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net JOIN :#esoteric < 1500591892 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :5 w < 1500591896 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/2:gaspatsjo//gaspatsjo is a norwegian soup, which died out due to a lack of hot summer days \ supermarioperator//supermarioperator is one of many confusing operators as defined in Control.Plumbers.Monad. Your sanity is in another castle. \ brain//Brains are just receptacles for bricks. \ rules of wisdom//unless essential for the entry‘s humor, < 1500591916 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : < 1500591916 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found < 1500591919 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :n < 1500591919 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2/2:should: be understandable without the lookup key, be single spaced and end in a newline with no space before that, and use proper capitalization and punctuation jander//Jander was murdered, or deactivated permanently, depending on which side you ask. < 1500592060 0 :AnotherTest!~turingcom@d51A46C74.access.telenet.be QUIT :Ping timeout: 276 seconds < 1500592231 0 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric < 1500592720 0 :tswett!~tswett@167.73.32.65 JOIN :#esoteric < 1500592735 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloily < 1500592773 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :QUINTHELLOPIA! < 1500592778 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :Sunday. < 1500592788 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :did you see there is a free game on humble store today < 1500592798 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i've not heard of it before but i can't argue with the price < 1500592808 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :huh? < 1500592827 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :shadow warrior < 1500592852 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 PRIVMSG #esoteric :boily: huh what? it's not sunday < 1500592864 0 :wob_jonas!b03f1af1@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.26.241 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1500592877 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :lel < 1500592944 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :of course we aren't. Sunday is happening on Sunday, tsé. < 1500592971 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :just like a bjonas to object and flee < 1500593150 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :? bjonas < 1500593151 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bjonas? ¯\(°​_o)/¯ < 1500593156 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :? b_jonas < 1500593157 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :b_jonas egy nagyon titokzatos személy. Hollétéről egyelőre nem ismertek. < 1500593168 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :? wob_jonas < 1500593168 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wob_jonas is b_jonas in disguise, so that he can do magic tricks. < 1500593657 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :such as suddenly disappearing < 1500593920 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :ACTION throws a fungot at wob_jonas' scent. “go! let's find him!” < 1500593920 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: it's the same principle or whatever yeah < 1500594265 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? shachaf < 1500594266 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Queen Shachaf of the Dawn sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion. He doesn't know when to stop asking questions. < 1500594309 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :fresh salt and pepper pepper pepper. < 1500594322 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: whoa whoa whoa < 1500594324 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :YSAC is TG < 1500594348 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric ::D < 1500594351 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :unpack those acronyms twh would help < 1500594381 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The videos at the YouTube channel named "You Suck At Cooking" are too good. < 1500594456 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :thachaf tdh did help < 1500594499 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://www.youtube.com/channel/UCekQr9znsk2vWxBo3YiLq2w/videos < 1500594902 0 :deltab!~deltab@ds6266.dedicated.turbodns.co.uk JOIN :#esoteric