< 1473812274 0 :Zarutian_!?@? NICK :Zarutian < 1473813130 0 :copumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1473814109 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Quit: Zarutian < 1473814534 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1473814590 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1473814776 0 :copumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1473814996 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :...why does the Vatican even HAVE an age of consent? < 1473815024 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Shouldn't it be, like, "age of the oldest living person, plus 1 day"? < 1473815044 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: not all people living in the vatican are ordained priests hth < 1473815064 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I think they are < 1473815069 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :As in, people who can LIVE there < 1473815077 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm < 1473815172 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: nope. "Women obtain Vatican City citizenship by marriage (as a baptized Catholic) to their husbands; however such citizenship "lasts only for the duration of their stay" in Vatican City." < 1473815186 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Wait, what? < 1473815211 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Why have actual citizenship that you lose when you leave the country when you can just have traditional visas? < 1473815211 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloerjan < 1473815216 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :According to the Herald Sun in March 2011, there were "only 32 female citizens" residing in the "smallest state in the world". < 1473815225 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*+"" < 1473815228 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hellopia < 1473815236 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i realized something < 1473815251 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :p-adic numbers are more limited than what i was thinking for 10's complement < 1473815289 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is it a field if i take a: Z->Z/10Z and represent real numbers as sum from -infty to infty of a(i)*10^i < 1473815299 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: people who lose vatican citizenship automatically gain italian by default (and treaty) < 1473815300 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :To define what a "Country" is, your criteria has to include Vatican City: The Least Country-Like Country That's Still A Country and EXCLUDE the anti-Vatican City, Hong Kong: The Most Country-Like Country That Isn't A Country < 1473815310 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is that a field < 1473815310 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Interesting... < 1473815325 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=49721&oldid=49717 5* 03Kenrube 5* (-7) 10 < 1473815326 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :quintopia: There was a nice field near my old house < 1473815361 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :quintopia: the only p-adic fields are the ones from p a prime hth < 1473815379 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :otherwise, you can easily find a zero divisor < 1473815390 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :"in some countries in order to be legally defined as a new sex people must first undergo sterilization." < 1473815397 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Apparently that's controversial < 1473815462 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :quintopia: also, p-adic numbers are not reals hth < 1473815470 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Doesn't being transgender defeat the possibility of having children? Like, even if you're a trans man (female anatomy) who is ALSO gay, you probably aren't going to be planning on having children the usual way) < 1473815532 0 :carado!~carado@2a01:e34:ec1e:2390:8341:b3f5:2d6:41fa QUIT :Ping timeout: 265 seconds < 1473815560 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :quintopia: the problem with defining multiplication when the number is infinite both ways is that the sum for each resulting digit also gets infinite. < 1473815592 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :when it's only finite leftwards, each digit only gets a finite sum of possibilities. < 1473815614 0 :izalove!~izabera@unaffiliated/izabera QUIT :Ping timeout: 265 seconds < 1473815643 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: have you considered asking these questions in a forum where people are actually interested in discussing them twh < 1473815680 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Nope < 1473815692 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1473815915 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :quintopia: in particular, for any a,b where a is a 2-adic integer and b is a 5-adic integer, there is a unique 10-adic integer that is equal to a (mod 2^n) and equal to b (mod 5^n) for all n (using the chinese remainder theorem and taking limits) < 1473816010 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and if you choose a1=0, b1/=0, a2/=0, b2=0, then the corresponding c1 and c2 become non-zero 10-adics with zero product. < 1473816029 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i thought the p in p-adic stood for "pooch" tdnh < 1473816031 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(maybe i'm not telling you anything you don't know here) < 1473816073 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( shachaf does not get to overuse the word "pooch" any longer ) < 1473816118 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i think many people who are interested in discussing those questions would be too irritated by the phrasing and implications of the way they're put to answer anyway hth < 1473816120 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :"Race is a social ruler-and-compass construction" < 1473816208 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you should get a twitter account and post your jokes there instead of here. < 1473816257 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: that is possible. < 1473816426 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: I did. It got locked because I looked like a bot. < 1473816439 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :aha < 1473816503 0 :digin4!~digin4@unaffiliated/digin4 JOIN :#esoteric < 1473816530 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: ? < 1473816598 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :hppavilion[1]: Being trans is orthogonal to getting medical treatment for being trans. *Additionally*, what those countries require includes destruction of any frozen sperm or eggs. < 1473816622 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Ah, yes, that's overdoing it < 1473816644 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :pikhq: Yes, but my point is that if you ARE trans, you probably aren't going to go using the equipment for cisgendery things < 1473816659 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :If you're a trans-man, you probably aren't going to go around using your uterus < 1473816663 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Likely, but why should the state mandate it? < 1473816670 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :pikhq: I was getting there < 1473816671 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I mean, requiring that is stupid < 1473816677 0 :izabera!~izabera@109.112.123.30 JOIN :#esoteric < 1473816681 0 :izabera!~izabera@109.112.123.30 PRIVMSG #esoteric :my server died < 1473816700 0 :izabera!~izabera@109.112.123.30 PRIVMSG #esoteric :actually no because apache is alive < 1473816712 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :It probably makes clerical stuff easier (so you don't have to note that the mother is a man), but if your clerications are set up so you can't do that via compartmentalization, you're doing it wrong. < 1473816732 0 :izabera!~izabera@109.112.123.30 PRIVMSG #esoteric :but irc died, ssh is dead, cloudatcost's control panel is dead < 1473816777 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :hppavilion[1]: Additionally, it is *shockingly* difficult to get medical treatment for being trans in many different cases. And sterilization can be part of those medical treatments... < 1473816858 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :And again, we are talking about legally enforcing a potentially-unnecessary medical treatment just to have your gender identity recognized. < 1473816862 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Which is pretty shitty. < 1473817014 0 :izabera!~izabera@109.112.123.30 PRIVMSG #esoteric :don't say just.. < 1473817260 0 :izalove!~izabera@64.137.202.202 JOIN :#esoteric < 1473817329 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :IT'S ALIVE < 1473817474 0 :izabera!~izabera@109.112.123.30 PRIVMSG #esoteric :i did nothing... < 1473817478 0 :izabera!~izabera@109.112.123.30 PRIVMSG #esoteric :still can't access it < 1473817503 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :we'll be fine as long as it doesn't start shouting BRAINS < 1473817579 0 :izalove!~izabera@64.137.202.202 PRIVMSG #esoteric :BRAINS < 1473817581 0 :izalove!~izabera@64.137.202.202 PRIVMSG #esoteric :BRAAAAINS < 1473817589 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :AAAAAAAAAA < 1473817599 0 :_46bit!~fortysix@pdpc/supporter/student/mmokrysz PRIVMSG #esoteric :hppavilion[1]: I'd like to point out that when you say "Yes, but my point is that if you ARE trans, you probably aren't going to go using the equipment for cisgendery things" in reference to reproduction, it feels like you're forgetting non-straight relationships altogether < 1473817631 0 :_46bit!~fortysix@pdpc/supporter/student/mmokrysz PRIVMSG #esoteric :and that's all I'll say about that. it's too late and this is a wrong venue for this conversation. < 1473817680 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :_46bit: No, I covered that earlier; it's just that even if you're a trans man AND gay, you probably aren't going to want to carry a baby because that's pretty much 100% womanly < 1473817680 0 :_46bit!~fortysix@pdpc/supporter/student/mmokrysz PRIVMSG #esoteric :there was a time I created a Linux container with lxc and the hosts /dev devices all vanished < 1473817749 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :If people can be trans-gender, can I be trans-race? < 1473817767 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I'm sure I could get the SJWs to support it, but only if I wasn't white as-is < 1473817791 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :("I /identify/ as Pakistani") < 1473817791 0 :_46bit!~fortysix@pdpc/supporter/student/mmokrysz PRIVMSG #esoteric :figures you had that agenda < 1473817801 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :_46bit: That just occurred to me now < 1473817809 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :It wasn't part of my agenda < 1473817833 0 :izalove!~izabera@64.137.202.202 QUIT :Changing host < 1473817833 0 :izalove!~izabera@unaffiliated/izabera JOIN :#esoteric < 1473817872 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Hm, if trans people need to legally change their gender, I think that's already a sign of your society doing something wrong- the law incorporates gender into it. Unless it's just changing whether they say "Mr." or "Ms." on notices) < 1473817876 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :hppavilion[1]: You'd think that, but there are trans men who have actually gone off hormones in order to carry a baby. < 1473817888 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :pikhq: Huh, that's interesting < 1473817892 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :And a tiny bit bizarre < 1473817896 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :People are complicated. < 1473817900 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(More so than transgenderism in general, that is) < 1473817908 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :pikhq: Oh, really? This changes everything! < 1473817914 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric ::) < 1473817916 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :What's the computational complexity of people? < 1473817922 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :O(???) < 1473817984 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :O(nermous) < 1473818072 0 :digin4!~digin4@unaffiliated/digin4 QUIT :Quit: Leaving < 1473818140 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 244 seconds < 1473818148 0 :Slereah!~Slereah@LFbn-1-3085-42.w90-79.abo.wanadoo.fr PRIVMSG #esoteric :O(1) < 1473818239 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :O(1/0) < 1473818398 0 :heroux!sandroco@gateway/shell/insomnia247/x-arsyudhfyantakdq QUIT :Ping timeout: 244 seconds < 1473818408 0 :heroux!sandroco@gateway/shell/insomnia247/x-iflfmvgqworpocis JOIN :#esoteric < 1473818508 0 :Slereah!~Slereah@LFbn-1-3085-42.w90-79.abo.wanadoo.fr PRIVMSG #esoteric :The worst complexity I've ever seen was Worst Sort < 1473818519 0 :Slereah!~Slereah@LFbn-1-3085-42.w90-79.abo.wanadoo.fr PRIVMSG #esoteric :Which is O(n!!!!!...) < 1473818528 0 :Slereah!~Slereah@LFbn-1-3085-42.w90-79.abo.wanadoo.fr PRIVMSG #esoteric :The number of factorials depend on the exact implementation < 1473818611 0 :_46bit!~fortysix@pdpc/supporter/student/mmokrysz PRIVMSG #esoteric ::D < 1473818654 0 :_46bit!~fortysix@pdpc/supporter/student/mmokrysz PRIVMSG #esoteric :I got a couple of factorials in something the other week, then wondered why n=154000 took so long < 1473819174 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Unless your name actually is "Mr." or "Ms." then they should omit that < 1473819203 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Slereah: bah factorials are insignificant compared to the power of ackermann. < 1473819239 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1473819254 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :zzo38: now i'm wondering if there are any languages where any of those are names. < 1473819271 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well, probably without the period, anyway. < 1473819412 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :apparently Mr. is the artist name of a japanese guy < 1473819562 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: i was onbviously not talking about p-adics < 1473819578 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i dont know why you said so much about them < 1473819592 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :quintopia: because you didn't have the dignity to stop me hth < 1473819607 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i wasnt able to. i was at work < 1473819620 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :anyway, i think the infinite sum for one digit thing i mentioned is what makes it break down to have it twosided. < 1473819636 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but abt the infinite sum thing: why is it a problem as long as the sums converge? < 1473819645 0 :Frooxius!~Frooxius@194.108.5.201 QUIT :Ping timeout: 265 seconds < 1473819680 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :how do make them converge? especially in the reals. < 1473819711 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*do you < 1473819733 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :for general Z -> Z/10Z, there's no reason to expect them to. < 1473819741 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :why wouldnt they converge? as long as we assume that all finite numbers have an infinite string of 0s or 9s on the left... < 1473819809 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ok but then you're basically just using a strange way of writing ordinary decimal. < 1473819845 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which gives a field (the reals), but not a unique representation. < 1473819858 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(strange for negatives, that is.) < 1473819943 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :The infinite product 2*2*2*2*2*2*2*2*... converges in the 2-adics < 1473819968 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :to 0, even. < 1473820012 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :"§ (lower case: ſ) is the 19.5þ letter of ðe Eŋgliʃ alphabet" < 1473820134 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: yes a strange representation for ordinary decimal is exactly what i meant when the other day i said "10's complement" < 1473820149 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :one where addition works for subtraction < 1473820192 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the fun bit is that ...999.999... is negative zero < 1473820199 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OUCH < 1473820233 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :food -> < 1473820248 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(okay technically it's just an alternative representation for zero, but it's more fun to call it negative zero) < 1473820285 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1473820292 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :I should probably learn about p-adics < 1473820306 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :quintopia: It's -1 + 1 < 1473820316 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :FireFly: I prefer the vc-adics < 1473820320 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I don't think there is a distinct negative zero < 1473820380 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what about the drug-adics < 1473820448 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I like how the ackermann function grows faster than any primitive-recursive function < 1473820468 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :And any stack of factorials is primitive-recursive < 1473821152 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1473821621 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :did you know that 4^(4^4)cm is wider than the observable universe? < 1473821706 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :x^(x^x) goes 0, 1, 16, 7.6*10^12, wider than the observable universe < 1473822331 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1473822990 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :quintopia: 0^0 != 0 unless explicitly stated to be < 1473823024 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Also, that's 3^(3^3) presumably < 1473823198 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :quintopia: pft, TREE() grows much faster < 1473823841 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> 3^(3^3) < 1473823844 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 7625597484987 < 1473823904 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> length "625597484987" < 1473823906 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 12 < 1473823908 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :confirmed < 1473824674 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 255 seconds < 1473826630 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> exp 3 < 1473826636 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 20.085536923187668 < 1473826675 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> 4*(log (4^4)) / log 10 < 1473826680 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 9.632959861247397 < 1473826701 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :4^(4^4) is a 9 digit number then? < 1473826705 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Or rather 10 digit < 1473826773 0 :izabera!~izabera@109.112.123.30 QUIT :Quit: WeeChat 1.5 < 1473826958 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> 4^(4^4) < 1473826965 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 1340780792994259709957402499820584612747936582059239337772356144372176403007... < 1473826968 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Oh, no < 1473826975 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :My calculation was clearly wrong =P < 1473826988 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> log(4^(4^4)) / log 10 < 1473826995 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 154.12735777995834 < 1473826999 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :spam < 1473827004 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Sorry < 1473827526 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :rebooted my computer now my blutoth mouse is working < 1473827560 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1473827624 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :why is blutoth such an unreliable thing < 1473827995 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 255 seconds < 1473828076 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 255 seconds < 1473828302 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th JOIN :#esoteric < 1473828323 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1473828336 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I'm a tad unclear on the exact rules of ± < 1473828392 0 :copumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1473828396 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :±1 is {-1, 1} < 1473828418 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :and 5±2 is {3, 7} < 1473828428 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :But then things start to break down < 1473828452 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Is (1±i)^2 {2i, -2i} or {2i, -2i, 1-i}? < 1473828500 0 :copumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Client Quit < 1473828538 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :s/1-i/2/ < 1473828552 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(2i = (i+1)^2, -2i = (i-1)^2, 2 = (1+i)(1-i)) < 1473828773 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: the former. < 1473828802 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :But if you just make it normal numbers, (2±3)^2 feels like it should be 5^2 = 25 or (-1)^2 = 1, but if you try it the fun way you get those two AND 13 < 1473828804 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Oh < 1473828829 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you don't get to expand ^2 like a macro when the content is multivalued. < 1473828833 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Why? Is there a fixed reason, or is it just because everything is nicer? < 1473828844 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Ah, right < 1473828891 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: So you have to solve&separate the inside first, THEN macronize it on each separate result? < 1473828899 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> let a +- b = [a+b,a-b] in (^2) <$> (x +- y) < 1473828904 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [(x + y) * (x + y),(x - y) * (x - y)] < 1473828913 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1473828924 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> let a +- b = [a+b,a-b] in (*) <$> (x +- y) <*> (x +- y) < 1473828930 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [(x + y) * (x + y),(x + y) * (x - y),(x - y) * (x + y),(x - y) * (x - y)] < 1473828978 0 :izalove!~izabera@unaffiliated/izabera QUIT :Read error: Connection reset by peer < 1473829117 0 :izabera1!~izabera@64.137.202.202 JOIN :#esoteric < 1473829139 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Argument of the day: If there's more than one ± (e.g. a±b±c) do you have to treat them all the same (so a+b+c OR a-b-c), or can they mix (So a+b+c, a+b-c, a-b+c, OR a-b-c) < 1473829255 0 :izabera1!~izabera@64.137.202.202 QUIT :Changing host < 1473829255 0 :izabera1!~izabera@unaffiliated/izabera JOIN :#esoteric < 1473829267 0 :izabera1!?@? NICK :izalove < 1473829355 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: mixing is allowed. < 1473829367 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: OK < 1473829391 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: what about the thing where you use +- in one place and -+ in the other place < 1473829396 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :So then WTF is ∓‽ < 1473829399 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh right < 1473829402 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :to indicate that the same choice is used respectively in both < 1473829407 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :s/WTF/WÐF/ < 1473829412 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: yeah hm < 1473829424 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: ok there's exceptions, darn < 1473829429 0 :bibibi!~bibibi@64.137.202.202 JOIN :#esoteric < 1473829443 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :>:) < 1473829450 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ∓ < 1473829451 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2213 MINUS-OR-PLUS SIGN] < 1473829494 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think we're heading into "if you do this you get to explain your notation" territory. < 1473829513 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :agreerjan < 1473829588 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Ah, yes < 1473829597 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :agreerjan^2 < 1473829669 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th QUIT :Quit: This computer has gone to sleep < 1473829741 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION suddenly envisions putting indices on the signs < 1473829772 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: now write a monad for it hth < 1473829872 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: There's also ⋇ btw < 1473829875 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no, i don't think so. < 1473829878 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Huh, that actually works < 1473829888 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ⋇ < 1473829890 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+22C7 DIVISION TIMES] < 1473829906 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1473829925 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ж < 1473829951 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :write a subscript after a ± or ∓ to link it to all others with that sign; all ±s with the same index are + and - at the same time, all ∓s with the same index are + and - at the same time and never the same as ±s with the same index < 1473829960 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`unidecode ж < 1473829963 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+0436 CYRILLIC SMALL LETTER ZHE] < 1473829984 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: but of course. although at this point multiplying by {-1,1} valued variables s_i is probably more standard. < 1473830022 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Well yeah, but that's no fun < 1473830040 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Is there an operator set, like Sigma and Pi? < 1473830049 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which would give you the set of a bunch of things. < 1473830055 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Oh, and what if we need "only 2 out of these 3 can be + at once; the other has to be -, but it doesn't matter which 2 are +" < 1473830072 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess that's just an alternative way to write set comprehensions. < 1473830076 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :>:D < 1473830082 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ℝ is the set of real numbers < 1473830095 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: just use a big union sign and braces. < 1473830099 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ℝ^k is a k-dimensional space, because a set S to a power k means a k-tuple of items from S < 1473830126 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(presumably, all sets work like this, where multiplication of sets is just a tuple of the values- nothing more than Cartesian product) < 1473830139 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i,i {}_{(i,j) \in {1,2,3} x {5,6,7}} { i+j } < 1473830152 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :k is, generally, a natural number < 1473830210 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :But are there definitions for k < 0 &| k ∉ ℕ? < 1473830222 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ℝ < 1473830223 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+211D DOUBLE-STRUCK CAPITAL R] < 1473830240 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Your font is terrible hth < 1473830284 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Wait, wðf does ðat notaʃon mean‽ < 1473830305 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Please stop being annoying. < 1473830306 0 :shachaf!~shachaf@unaffiliated/shachaf PART #esoteric : < 1473830314 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :wait, what? < 1473830321 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Did I do something? < 1473830329 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: it's putty, it doesn't support using more than one font. < 1473830335 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Oh? < 1473830366 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :@tell shachaf I'm sorry, though I'm not exactly sure what in particular I did. :( < 1473830370 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1473830389 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i can paste it into my browser and it shows fine. < 1473830443 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: shachaf's irc client has even bigger problems with unicode than mine hth < 1473830449 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Oh < 1473830478 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also, i don't know generalization for k < 0. < 1473830487 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :So is ℝ^k defined for anything other than k ∈ ℕ < 1473830488 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :OK < 1473830500 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Anything for k ∉ ℕ? < 1473830521 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i recommend not using those fancy chars as i've already pointed out i cannot read them easily. < 1473830562 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Ah, right < 1473830571 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Anything for k \nin |N? < 1473830574 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but assuming you're asking about complexes, that seems as hard as negatives. < 1473830624 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you can do infinite cardinals, obviously :) < 1473830652 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: No, I mean like 2.5. Is there any generalization that /somehow/ supports something that looks like a 2.5-tuple? < 1473830698 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :not that i know of. now if you were just asking about any set with that dimension, i'd point you to fractals. < 1473830703 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Preserving the generic properties that doing types like this has; (S^n, S^m) is pretty much equivalent to S^(n+m) < 1473830707 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :) < 1473830737 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I have a feeling no, but you never know < 1473830874 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :me too < 1473830930 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hppavilion[1]: well, if you had a S = R^2.5, then the tuple (x,y) where x and y are in S would be a member of R^5 < 1473830943 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Yes, they would, wouldn't they? < 1473830953 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's a little bit like those fractional bits in TURKEY BOMB, i suspect - they don't really exist individually. < 1473831011 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(and trits) < 1473831046 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Wait, I suppose R^(-1) (aka "anti-R" and typically written Я (the Cyrillic backwards-R, of course)) would basically be a quotient type of the Unit Type and the Reals (Quo[Unit,Real]) < 1473831068 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :But I still don't really know WTF a quotient type is < 1473831077 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :quotient types of singleton sets tend to still be singleton sets hth < 1473831088 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*quotients of < 1473831164 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :so you need a set R^0.5 such that to specify a member of R, two members can be used. < 1473831165 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :now i'm reminded about those people who said they could define a reversible computation system where the types were a field. but they never explained how they avoided the obvious contradictions, so they probably didn't. < 1473831237 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Oh? Including where we're assuming the singleton is the (pardon my arithmetic) numerator? < 1473831251 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: Yeah, basically < 1473831267 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(R^0.5, R^0.5) has to pretty much directly correspond with R < 1473831295 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(I suppose I could make it... no, that won't work) < 1473831309 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well there were units, i think 1 may have been just the computation that makes input and output equal < 1473831325 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Q can be represented by (Z, W) ips < 1473831452 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(I suppose (R^(-1), R) would have to be the unit type, and that doesn't seem right- if all else fails, you just always use the same value in the first place every time and the second place can be any real number, so the limit being 1 possibility seems impossible) < 1473831462 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :now come to think of it there may be an obvious way to cheat based on R being the same cardinality as R^2. it probably won't give something very nice. < 1473831495 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Yeah, true < 1473831504 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and it'll still break for getting R^0 = R^a x R^(-a) < 1473831506 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Quotient type of R and R^2 or somesuch? < 1473831519 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Yep < 1473831545 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :R^0 has to be the unit type (or empty tuple, or whatever. Are those all the same in whatever type theory we're using?) < 1473831576 0 :Sgeo_!~Sgeo@ool-43500d4c.dyn.optonline.net JOIN :#esoteric < 1473831635 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Sgello < 1473831648 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i dunno, i don't know all type theories. < 1473831655 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Sgeo_: I'm trying to figure out if -1-space is a reasonable thing < 1473831719 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :for some kinds of dimension measures, there is _one_ reasonable -1-space, the empty set. < 1473831772 0 :Sgeo!~Sgeo@ool-43500d4c.dyn.optonline.net QUIT :Ping timeout: 265 seconds < 1473831845 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(e.g. the measures where you define the dimension to be n if a space can be split up with subspaces of dimension n-1) < 1473832486 0 :MoALTz!~no@78-11-247-26.static.ip.netia.com.pl JOIN :#esoteric < 1473832893 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I suppose negative time dimensions would be measured in hertz? < 1473833016 0 :copumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1473833090 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well the idea certainly does. < 1473833385 0 :copumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1473833395 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 255 seconds < 1473833396 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 JOIN :#esoteric < 1473836646 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1473837573 0 :clog!~nef@bespin.org QUIT :Ping timeout: 240 seconds < 1473837849 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :% is a stupid symbol < 1473837875 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :It basically indicates "Hey, the previous number is a proportion of a whole, not a count. Oh, and we multiplied it by 100 for no apparent reason at all" < 1473837943 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :no no, that symbol indicates the following number is a job number, not a pid, and also, if this appears as the command, then there's an implicit fg command before it < 1473838049 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :wob_jonas: I'm trying to remember if there's a way to express logarithms using exponentiation and division alone < 1473838061 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :% is obviously the division remainder operator < 1473838065 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I seemed to remember it being (1/b)**x, but then I realized that's stupid < 1473838069 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :FreeFull: Yes, it's that too. < 1473838110 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :FreeFull: And log*_b(x) is the iterated logarithm remainder operator < 1473838196 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(an easy way similar to how roots are x**(1/k)) < 1473838223 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :hppavilion[1]: Let's just regard % to mean "divided by 100". The population of the US is 318.9%%% < 1473838257 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :er, that was wrong < 1473838259 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Cale: Isn't it usually multiplied? < 1473838277 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Cale: Use antipercent (a mirrored percent sign) for that < 1473838279 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :The population of the US %%% is 318.9 < 1473838281 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :yeah < 1473838287 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(or just put a percent at the beginning) < 1473838292 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :yeah < 1473838308 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Cale: Do you know of an easy way to logarithmicate? < 1473838351 0 :carado!~carado@2a01:e34:ec1e:2390:8341:b3f5:2d6:41fa JOIN :#esoteric < 1473838375 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I also created the constant u (the Deranged Euler Constant) today < 1473838375 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1473838386 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Well, log_b x = log_a x / log_a b < 1473838408 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :So if you know the right constant to multiply by, you can do it roughly by counting digits < 1473838448 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Yes, I've got that < 1473838462 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :The problem is I want to do it simply < 1473838466 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(I might just import log) < 1473838491 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Oh, simply in terms of what? < 1473838530 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :no % is the modulo operator, duh < 1473838564 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :i wish c++ had made % and ^ work the right way with floats < 1473838592 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: Yeah, Cale said that < 1473838594 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(roughly) < 1473838613 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :I didn't say that :) < 1473838652 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Logarithm#Arithmetic.E2.80.93geometric_mean_approximation -- this method might be good < 1473838659 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :If you're implementing an algorithm < 1473838703 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Yeah, I just gave up and imported it < 1473838716 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I was hoping to avoid it as a dependency, but oh well < 1473838746 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ln(x) = log_e(x), lb(x) = log_2(x), lg(x) = log_10(x), ld(x) = log_u(x) < 1473838996 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :huh? < 1473839004 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i know ld as log_2 < 1473839009 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what is u? < 1473839050 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :myname: ISO recommends lb for log_2 < 1473839062 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :meaning what < 1473839064 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(not sure where that 'd' came from anyway...) < 1473839072 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :But u is the Deranged Euler Constant < 1473839072 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :dualis < 1473839080 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Oh < 1473839104 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :e is defined as (or at least can be calculated with) the sum of the reciprocals of all factorials from 0 to infinity < 1473839130 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what does the b in lb stands for? < 1473839131 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :u is the same, but with subfactorials instead (and we just ignore subfact(1) because that causes divide-by-zeroes) < 1473839135 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :myname: 'binary' < 1473839153 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :that's horrible < 1473839164 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :@let agm x y = head [u | (u,v) <- iterate (\(u,v) -> ((u+v)/2, sqrt (u*v))) (x,y), abs (v - u) < 1e-10] < 1473839168 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1473839181 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :myname: It's the only name Wikipedia even knows < 1473839187 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Binary_logarithm < 1473839362 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :the german entry has lb also listed as ld for logarithmus dualis < 1473839373 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :> pi / (2 * agm 1 (2^^(2-16) / exp 1)) - 16 * log 2 < 1473839376 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 1.0000000011791865 < 1473839404 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :myname: ISO 80000 recommends base 2 is lb and base 10 is lg. If we're going to have an ld other than the Deranged Logarithm, ld should be base 10 and lg base 2 < 1473839444 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :I find it kind of weird that log bases are even a thing. < 1473839470 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Cale: they aren't. base e, base 2, and base 10 are the only useful ones. < 1473839470 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :how so < 1473839477 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Cale: Why? < 1473839479 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :We usually don't bother giving special names or indices to scalar multiples of a function. < 1473839489 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Cale: sqrt(2) < 1473839516 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ah, so it's weird for the bases to have special names, not the existence of the bases as such < 1473839530 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Well, even the bases are pretty weird < 1473839533 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :wob_jonas: I don't think base 10 is even very useful outside of the fact that we all count that way < 1473839543 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :not really < 1473839546 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(When not in computers, you can just drop the index entirely for roots for square roots) < 1473839551 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hpp: it's useful for calculating in my hand because the numbers are in base 10 < 1473839551 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Cale: How? < 1473839555 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :we do have the same for roots < 1473839556 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Like, whenever you would have written log_10 x, you could have just done away with the concept of log bases altogether and written log x / log 10 < 1473839561 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :which is really not so much worse < 1473839569 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I know base 10 logarithms, not base e ones < 1473839569 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :wob_jonas: I forget, how does one do log 10 in one's head? < 1473839593 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Cale: It's cleaner and less confusing < 1473839599 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :Cale: it does make the concept less understanding imho < 1473839615 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :While equivalent, it's confusing < 1473839627 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :yeah < 1473839635 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Because defining log_b x as k s.t. b^k = x is understandable < 1473839641 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hpp: you learn the exponential sequence 1, 1.25, 1.6, 2, 2.5, 3.15, 4, 5, 6.3, 7.9, 10 to compute approximate base 10 logarithms and exponentials, and you use them to compute approximate multiples of large numbers when you want to do approximate calculations < 1473839644 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I do it all the time < 1473839645 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :try explaining kids why you divide by the stuff you have as your basis < 1473839654 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Defining it as however the hell base change works is impossible to understand < 1473839669 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :hppavilion[1]: That works if you can define b^k appropriately, but how do you want to do that? :) < 1473839696 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Usually we define b^k as exp(k log b) < 1473839706 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Cale: Tell them how exponents work, then tell them how it works if they're negative, then explain square roots, then general roots, then rational powers < 1473839718 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :s/how exponents/how natural exponents/ < 1473839726 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :So what does 2^sqrt(2) mean? < 1473839758 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Cale: If you want a meaningful representation, you just round it off as with all other irrational numbers < 1473839763 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :it's very useful when I only want approximate magnitudes < 1473839766 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Round it off and pretend it's a rational < 1473839792 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :obviously if I want a more precise calculation, I use a computer < 1473839838 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Well, how do we know that rounding it off is okay at all? < 1473839857 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :The same way you find the circumference of a circle given its diameter; you don't find an infinite series that yields the answer when completed, you just say pi is 3.14159, multiply by that, and say "close enough" with a little footnote < 1473839870 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :If we don't know how x^y is defined for irrational y in the first place, we can't justify any means of approximating it < 1473839990 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Cale: We hold off the actual proper definition for irrational y until they've taken some calculus < 1473840020 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Oh, I highly recommend not talking about logarithms at all until one has had some calculus. < 1473840062 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Of course, the highschools don't do that because they're big fans of confusing people and making them think they're "bad at math" by introducing things with circular definitions :) < 1473840091 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and leaving out all the content of mathematics, which is the proofs < 1473840103 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hpp: no, we don't. we give one of the two definitions for exponentiating reals _before_ calculus, < 1473840120 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :wob_jonas: That works too < 1473840121 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :You need some sort of limit < 1473840134 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Cale: I'm not even in Calculus yet and I get logarithms fairly well. I couldn't tell you the exact rule for irrational powers, but otherwise I get it. < 1473840143 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :If you really want to scrape by, you can use the least upper bound property directly. < 1473840145 0 :diginet!~diginet@107.170.146.29 QUIT :Quit: diginet has quit! < 1473840157 0 :diginet!~diginet@107.170.146.29 JOIN :#esoteric < 1473840159 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :the definition where you extend exponentiation from rational exponents to real exponents such that it's monotonous in the exponent < 1473840196 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :wob_jonas: How do you know that extension is unique? < 1473840219 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :and even without calculus, it's possible to prove that on rational exponents it's monotonous, so an extension exists, and with a bit more work, it's even possible to prove that the extension is unique < 1473840245 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Cale: without calculus, you do stuff with inequations to effectively prove that it's continuous on rationals < 1473840261 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :and prove that way that the extension at any point is unique < 1473840286 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :or you just take it at faith at that point and prove it later after you've done some basic calculus, which is still not circular < 1473840287 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :I've never seen a highschool introduce enough concepts to actually make the thing work. < 1473840309 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Well, some presentations aren't circular, but just leave out details, those are the better ones < 1473840312 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Cale: I could recommend a good textbook, but all the good books at highschool level I know are in Hungarian < 1473840332 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :I'm sure in some parts of the world, they do a better job than in the US and Canada < 1473840337 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :how much mathematics do you read in Hungarian? < 1473840340 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :none < 1473840349 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :then I won't recommend textbooks < 1473840397 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Unfortunately, schools in the US *seem* to like introducing logarithms quite quickly. I think this is for historical reasons, though. < 1473840401 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :The best way to do it, imo, is just to wait until you have the integral < 1473840409 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and/or power series < 1473840414 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :one or the other will do well enough < 1473840424 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Logarithms used to be a practical requirement for a lot of calculation, after all. < 1473840444 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Yeah, it's sort of a silly hold-over from the times when people actually used log tables < 1473840467 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Note that you also need to know that exponentiation is continuous to be able to define logarithms < 1473840469 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and so you'd need some sort of hazy idea of what they were about in order to use them to multiply numbers faster < 1473840485 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :so it's definitely needed, but it's still possible to just leave the proof for later in a high school < 1473840496 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :wob_jonas: You need to know that the integral of a continuous function is continuous :) < 1473840509 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and the integral of a positive function is monotone < 1473840509 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Even if you didn't really get them, it was worth at least having the directly relevant properties shoved in your head. < 1473840515 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Cale: no, the power series is the other definition, and you need to know both in any case, and prove them equivalent < 1473840527 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Well, depends on how you go about things < 1473840532 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Cale: what integral? < 1473840541 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :integral from 1 to x of 1/t dt < 1473840559 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :You can take that as the definition of log x < 1473840567 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :um... yes, but I don't think that really helps you < 1473840567 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and work everything out from there < 1473840593 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :You need a bunch of properties about integrals which get proven using the least upper bound property of the reals < 1473840598 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :well, I don't really sure what all the possible ways are and which work and which don't, I just know one way I think it should be done, but whatever < 1473840644 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :i.e. that any nonempty set of real numbers which is bounded above has a least upper bound (or supremum) < 1473840716 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :You can use that directly to define the logarithm, but you end up doing a lot of low level work to prove the rest of its properties then < 1473840745 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :It's better to put that low level work toward proving some general facts about integrals, and then just use those < 1473840943 0 :augur!~augur@c-67-160-198-240.hsd1.ca.comcast.net JOIN :#esoteric < 1473841424 0 :Alcest!~alcest@69.64.40.177 QUIT :Ping timeout: 265 seconds < 1473841599 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Trump said that, because Hillary insulted millions of decent Americans, she should either apologize or drop out. < 1473841600 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :... < 1473842444 0 :Yurume_!23f9939a@121.78.85.35 QUIT :Ping timeout: 265 seconds < 1473842522 0 :Yurume_!23f9939a@121.78.85.35 JOIN :#esoteric < 1473842851 0 :clog!~nef@bespin.org JOIN :#esoteric < 1473843050 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I kind of want to start using the ⸮ for sarcasm, but there's no inverted version for spanishization :( < 1473843665 0 :AnotherTest!~turingcom@d51A4BF3B.access.telenet.be JOIN :#esoteric < 1473844097 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, it looks like it's more common for rhetorical questinos < 1473844099 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :*questions < 1473844133 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ⸮ < 1473844134 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2E2E REVERSED QUESTION MARK] < 1473844425 0 :fizzie!?@? PRIVMSG #esoteric :They probably couldn't tell whether to call it the REVERSED INVERTED QUESTION MARK or the INVERTED REVERSED QUESTION MARK, and therefore omitted it completely. < 1473844472 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :maybe they just accidentally inverted its existence. < 1473844497 0 :fizzie!?@? PRIVMSG #esoteric :≟ is useful, should replace all other uses of = with it. Because you can just never be sure. < 1473844499 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :fizzie: I don't think unicode omits any character just because they can't decide on a good name. they have tons of characters with bad official names. < 1473844516 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ≟ < 1473844517 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+225F QUESTIONED EQUAL TO] < 1473844640 0 :fizzie!?@? PRIVMSG #esoteric :* ⁑ ⁂ < 1473844963 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1473845248 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 255 seconds < 1473846155 0 :`^_^v!~nycs@183.89.34.135 JOIN :#esoteric < 1473849101 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1473849119 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :In order to have a machine in the style of The Time Machine (one which makes you experience time differently) < 1473849187 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :You would have to adjust your temporal speed (s/s). You'd likely have to adjust it continuously (rather than a clean jump), so you'd have to know how much your temporal speed can change in 1 second (presumably on your side)- how many s/s/s. This is, of course, s/s^2, or 1/s < 1473849200 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Therefor, how good your time machine is is measured in Hertz < 1473849506 0 :`^_^v!~nycs@183.89.34.135 QUIT :Quit: This computer has gone to sleep < 1473850214 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-taijjlcweqkjrwmg QUIT :Quit: Connection closed for inactivity < 1473850351 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 255 seconds < 1473850389 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :"i am a floobicratican! we stand for more freedom unless it's not a freedom we like, in which case we refer to its restriction as patriotism" < 1473851299 0 :iconmaster!~iconmaste@2604:6000:b182:2400:912:4125:e1dd:a25c JOIN :#esoteric < 1473851307 0 :iconmaster!~iconmaste@2604:6000:b182:2400:912:4125:e1dd:a25c QUIT :Client Quit < 1473851797 0 :teuchter!choochter@nat/ibm/x-vwgsqnwralirdnwf QUIT :Read error: Connection reset by peer < 1473851824 0 :teuchter!choochter@nat/ibm/x-clvmxriliczfkhpi JOIN :#esoteric < 1473852268 0 :`^_^v!~nycs@183.89.34.135 JOIN :#esoteric < 1473852268 0 :`^_^v!~nycs@183.89.34.135 QUIT :Client Quit < 1473852297 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`bobadventureslist < 1473852298 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bobadventureslist: not found < 1473852299 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`boblist < 1473852300 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: boblist: not found < 1473852307 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :whatever is it called? < 1473852311 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :``` echo bin/*list < 1473852313 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/FireFlist bin/aglist bin/bardsworthlist bin/danddreclist bin/don'taskdon'ttelllist bin/dontaskdonttelllist bin/ehlist bin/emptylist bin/erflist bin/flist bin/idealist bin/ioccclist bin/keenlist bin/list bin/listlist bin/llist bin/makelist bin/makelistlist bin/minimalist bin/mlist bin/olist bin/pbflist bin/slist bin/smlist bin/stylist bin/testli < 1473852320 0 :`^_^v!~nycs@183.89.34.135 JOIN :#esoteric < 1473852321 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :no list for that yet? < 1473852361 0 :`^_^v!~nycs@183.89.34.135 QUIT :Client Quit < 1473852655 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`? FireFlist < 1473852657 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :FireFlist? ¯\(°​_o)/¯ < 1473852666 0 :`^_^v!~nycs@183.89.34.135 JOIN :#esoteric < 1473854917 0 :`^_^v!~nycs@183.89.34.135 QUIT :Quit: This computer has gone to sleep < 1473856487 0 :MoALTz!~no@78-11-247-26.static.ip.netia.com.pl QUIT :Ping timeout: 244 seconds < 1473857747 0 :carado!~carado@2a01:e34:ec1e:2390:8341:b3f5:2d6:41fa QUIT :Ping timeout: 248 seconds < 1473858459 0 :carado!~carado@bea44-1-78-193-226-57.fbxo.proxad.net JOIN :#esoteric < 1473858815 0 :Frooxius!~Frooxius@194.108.5.201 JOIN :#esoteric < 1473859553 0 :Frooxius!~Frooxius@194.108.5.201 QUIT :Quit: *bubbles away* < 1473859997 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1473861096 0 :byteflame!~byteflame@70-89-65-45-little-rock-ar.hfc.comcastbusiness.net JOIN :#esoteric < 1473861713 0 :augur!~augur@c-67-160-198-240.hsd1.ca.comcast.net QUIT :Remote host closed the connection < 1473861971 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-dabbctkfsflclbpl JOIN :#esoteric < 1473862410 0 :Sgeo_!~Sgeo@ool-43500d4c.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1473863544 0 :Caesura!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1473863592 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 250 seconds < 1473863676 0 :byteflame!~byteflame@70-89-65-45-little-rock-ar.hfc.comcastbusiness.net QUIT :Remote host closed the connection < 1473866127 0 :Sgeo_!~Sgeo@ool-43500d4c.dyn.optonline.net JOIN :#esoteric < 1473866785 0 :Caesura!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 260 seconds < 1473867071 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1473868327 0 :`^_^v!~nycs@183.89.34.135 JOIN :#esoteric < 1473868479 0 :`^_^v!~nycs@183.89.34.135 QUIT :Client Quit < 1473870014 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-dabbctkfsflclbpl QUIT :Quit: Connection closed for inactivity < 1473871010 0 :Kaynato!~Aedile@casewireless09.CWRU.Edu JOIN :#esoteric < 1473871259 0 :Caesura!~Aedile@casewireless09.cwru.edu JOIN :#esoteric < 1473871274 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1473871305 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1473871443 0 :Kaynato!~Aedile@casewireless09.CWRU.Edu QUIT :Ping timeout: 240 seconds < 1473872284 0 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1473872889 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Gah, is the middle of septemeber hiring season or something? < 1473872919 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :suddenly four firms have emailed me in 24 hours < 1473873097 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :\oren\, I think it's to get fresh graduates < 1473873465 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :are you a recent graduate < 1473873471 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :*taneb < 1473873482 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Phantom_Hoover, I've got a year left < 1473875199 0 :AnotherTest1!~AnotherTe@ptr-2hj4tbos9tbg7spqqstaf13yo.ip6.access.telenet.be JOIN :#esoteric < 1473875348 0 :AnotherTest1!~AnotherTe@ptr-2hj4tbos9tbg7spqqstaf13yo.ip6.access.telenet.be PART #esoteric : < 1473876216 0 :MoALTz!~no@78-11-247-26.static.ip.netia.com.pl JOIN :#esoteric < 1473876603 0 :Caesura!~Aedile@casewireless09.cwru.edu QUIT :Ping timeout: 240 seconds < 1473876690 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org JOIN :#esoteric < 1473877136 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :ACTION . o O ( I've been wanting a letter for the Eŋgliʃ Reformed Alphabet that makes the english-equivalent 'ch' sound. I've been using 'ĉ/Ĉ' so far, but I just realized I could just use 'q/Q' ) < 1473877364 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@ping < 1473877364 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :pong < 1473879046 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :(Many ſtores are named as a poſſeſſive- "Smith's". If a ſtore is named for a group ſharing a laſt name, it's "Smiths'". If you want to refer to more than one Smiths', you ſay "Smith's's" or ſomething weird like that.) < 1473879229 0 :nortti!nortti@ayu.smar.moe PRIVMSG #esoteric :hm, wasn't the convention to use 'ſs' for two consecutive ones? < 1473879289 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :nortti, I believe so, iirc that's where ß comes from < 1473879334 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 244 seconds < 1473880825 0 :Caesura!~Aedile@129.22.1.19 JOIN :#esoteric < 1473881049 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :nortti: Was it? < 1473881070 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :Taneb: I thought ß was ſz and only allowed at the end of words < 1473881106 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :no < 1473881111 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :just not at the beginning < 1473881120 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :straße is pretty valid < 1473881136 0 :nortti!nortti@ayu.smar.moe PRIVMSG #esoteric :hppavilion[1]: I seem to remember some kind of rule about having two 'ſ's in a row, but checking wikipedia it doesn't speak of that < 1473881155 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :also, the convention was to put s on the start of a syllable and the other thing at the end < 1473881169 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :nortti: It has the word "ſucceſsful" < 1473881169 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :so it would've been stra|-se < 1473881203 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :(Haviŋ boþ 'ſ' and "ʃ" iſ kind of confuſiŋ, as ðey look ſimilar in many fonts) < 1473881228 0 :nortti!nortti@ayu.smar.moe PRIVMSG #esoteric :oh, great < 1473881244 0 :nortti!nortti@ayu.smar.moe PRIVMSG #esoteric :wikipedia page 'ſ' redirects to 's', not 'long s' < 1473881401 0 :nortti!nortti@ayu.smar.moe PRIVMSG #esoteric :hppavilion[1]: why use 'ſ', tho, you don't seem to be using it for any distinct phoneme? < 1473881437 0 :nortti!nortti@ayu.smar.moe PRIVMSG #esoteric :and your approach seems to be mostly to do away with legacy complications, why reintroduce one that has already fallen out of use? < 1473881444 0 :Zoroaster!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1473881463 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1473881669 0 :Caesura!~Aedile@129.22.1.19 QUIT :Ping timeout: 244 seconds < 1473881727 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org JOIN :#esoteric < 1473882784 0 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Ping timeout: 244 seconds < 1473882791 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1473882850 0 :carado!~carado@bea44-1-78-193-226-57.fbxo.proxad.net QUIT :Ping timeout: 260 seconds < 1473883143 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 240 seconds < 1473883181 0 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1473883208 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-otfcfmktfnohsyus JOIN :#esoteric < 1473883234 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :What would the office of Copresident of the United States of America (POTUS*) be? < 1473883607 0 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1473883644 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :I believe that Alexander Hamilton lost the dual to establish it < 1473883701 0 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Ping timeout: 276 seconds < 1473883721 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1473883807 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@messages-lousy < 1473883807 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :hppavilion[1] said 14h 50m 41s ago: I'm sorry, though I'm not exactly sure what in particular I did. :( < 1473883865 0 :Zoroaster!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 260 seconds < 1473883964 0 :MoALTz!~no@78-11-247-26.static.ip.netia.com.pl QUIT :Quit: Leaving < 1473884325 0 :Zoroaster!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1473884498 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-otfcfmktfnohsyus QUIT :Excess Flood < 1473884558 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-xhvnyddaiwfovuas JOIN :#esoteric < 1473884780 0 :carado!~carado@2a01:e34:ec1e:2390:8341:b3f5:2d6:41fa JOIN :#esoteric < 1473884800 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 244 seconds < 1473884807 0 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1473884876 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :what if instead of just reforming english spelling, we just agreed to pronounce everything in a japanese accent and use katakana! < 1473884936 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ヲウド < 1473885090 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :or skip the entire issue and write every word with a different character < 1473885108 0 :Tiktalik!~tiktalik@unaffiliated/tiktalik QUIT :Quit: kilakit < 1473885439 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :\oren\, you can't transliterate my name into Japanese characters < 1473885482 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(hurrah for the voiceless dental fricative) < 1473885523 0 :carado!~carado@2a01:e34:ec1e:2390:8341:b3f5:2d6:41fa QUIT :Ping timeout: 248 seconds < 1473885566 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Tanepu < 1473885672 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :アイ フォア ワン ライク ジッス アイディア。 イツ ソ シンプル! < 1473885721 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, there's a bu, never mind. < 1473885901 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, it was "Nathan" I was referring to < 1473885939 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :half-width katakana, eh < 1473885943 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: that's transliaterated from the hebrew which has no fricatives hth < 1473885960 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :The standard way of transcribing the voiceless dental fricative would be with "s". < 1473885991 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :So just nickname Taneb 'Na', and call him Na-san < 1473886032 0 :carado!~carado@2a01:e34:ec1e:2390:8341:b3f5:2d6:41fa JOIN :#esoteric < 1473886132 0 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Ping timeout: 244 seconds < 1473886185 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1473886361 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Taneb: So yeah. ネイサン is a perfectly fine transcription. < 1473886428 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pikapooch < 1473886562 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :私haveも書ten英語と漢字為嘘s&笑s.It's楽. < 1473886603 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"I have ten pooches. It's great." < 1473886643 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 248 seconds < 1473886692 0 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1473886694 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :No, that would be "私有十犬.It's大良." or some such. < 1473886712 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Na-ten < 1473886739 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :I do not have ten pooches. < 1473886744 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :But I am soon moving somewhere with three! < 1473886749 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :It will be poochtastic. < 1473886946 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There are three pooches in Colorado?! < 1473886962 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :There are three pooches at the place I'm moving to *in* Colorado. < 1473886970 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Three pooches in Denver? < 1473886986 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Three pooches in the house! < 1473887000 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Well, except when they're outside. < 1473887016 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cats are too good. < 1473887020 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They don't even need to go outside. < 1473887039 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :I'm used to cats that go outside often though. < 1473887043 0 :Zoroaster!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 240 seconds < 1473887458 0 :Zoroaster!~Aedile@casewireless09.CWRU.Edu JOIN :#esoteric < 1473887728 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :Are there any traditional, ſimple methods for graphing functions in 3-D? < 1473887737 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :Something I could implement myſelf? < 1473887768 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1473887847 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is this ſ thing an attempt to be as annoying as possible? < 1473887856 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :izalove: Yes hth < 1473887862 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :*hðh < 1473887871 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it's working fine < 1473887881 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :izalove: Alſo, I rebound my 's' key to 'ſ' by default < 1473887998 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 JOIN :#esoteric < 1473888186 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org QUIT :Ping timeout: 276 seconds < 1473888357 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :that's not even correct < 1473888367 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :say 'pessimistic' < 1473888549 0 :Zoroaster!~Aedile@casewireless09.CWRU.Edu QUIT :Read error: Connection reset by peer < 1473888566 0 :Zoroaster!~Aedile@casewireless09.cwru.edu JOIN :#esoteric < 1473889005 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org JOIN :#esoteric < 1473889455 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1473889481 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1473889577 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :`hi < 1473889586 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hi veratin. Heratin. < 1473889598 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :Oh, there's a default. OK. < 1473889622 0 :fizzie!?@? PRIVMSG #esoteric :There's a random default. < 1473889623 0 :fizzie!?@? PRIVMSG #esoteric :`hi < 1473889625 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hi laste. Haste. < 1473889636 0 :fizzie!?@? PRIVMSG #esoteric :It comes from 'words'. < 1473889648 0 :fizzie!?@? PRIVMSG #esoteric :It's p. silly. < 1473889693 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`hello < 1473889694 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hello, world < 1473889703 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oh right, I defined that one < 1473889705 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`hello c < 1473889706 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hello world < 1473889713 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :it takes a hexadecimal number argument < 1473889824 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`hello world < 1473889825 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hello World! < 1473889994 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-xhvnyddaiwfovuas QUIT :Excess Flood < 1473890013 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1473890025 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :`hi hppavilion[1] < 1473890026 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hi hppavilion[1]. Havilion[1]. < 1473890030 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :Woooow < 1473890036 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :That's completely wrong < 1473890258 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-bmvvjaqsnjylcqzb JOIN :#esoteric < 1473890534 0 :augur!~augur@2601:640:8001:4222:c4fb:c647:3f86:9f23 JOIN :#esoteric < 1473890656 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :exact quote from DNC email: < 1473890826 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :We have been compromised! But it's all ok. Here is our new password: HHQTevgHQ@z&8b6. < 1473890901 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :how can anyone be so stupid < 1473890925 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :\oren\: Wait, really? < 1473891014 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yes, really! < 1473891120 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :thae email was sent by Rachel Palermo (press secretary of the DNC) to RegionalPress@dnc.org which seems to be a mailing list < 1473891159 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :this happened twice! < 1473891197 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :i wonder if hillary clinton's email server also renewed passwords using this ultra-secure method < 1473891282 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :oh, it didn;t happen twice, she had to resend the email because the password was wrong < 1473891301 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the actual password was HQTevgHQ@z&8b6 < 1473891307 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :note only one H < 1473891352 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :seriously people should flood her linkedin and facebooks calling her a moron < 1473891364 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :uh < 1473891367 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :people should not do that < 1473891537 0 :fizzie!?@? PRIVMSG #esoteric :Also, "HQTevgHQ@z&8b6" still has two Hs. < 1473891556 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :another crazy email: From: Manriquez, Pablo Subject: Password Needed for dncpress@dnc.org Text: Does anyone have it handy? Thank you! < 1473891579 0 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Quit: leaving < 1473891627 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :seriously what is with these people transferring passwords unencrypted over networks, neopets had better security than that < 1473891762 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :some of their infrastructure at least went with sending password change links rather than actual passwords < 1473892037 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :\oren\: I bet I could make worse security < 1473892039 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :Log in -> Forgot password -> Forgot email -> Enter new email -> Send password change link to new email < 1473892212 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :\oren\: Her server wasn't hacked by 1337 Russian H4XX0ЯZ, it was hacked by a totally normal Russian with the most basic understanding of computers who just used Billary's biography to answer the password reset security questions. < 1473892337 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yeah probably < 1473892341 0 :Frooxius!~Frooxius@194.108.5.201 JOIN :#esoteric < 1473892363 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org PRIVMSG #esoteric :ACTION is far too proud of the phrase "1337 Russian H4XX0Я" < 1473892703 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :a 2d game where you're in a modern art museum and you have to steal a painting, but the museum changes its shape. there are one or more guardians and you lose if they see you < 1473892708 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :thoughts on this? < 1473892737 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :guardians cannot see through walls but they may see through windows < 1473892790 0 :hppavilion[1]!~Doslowdow@74-114-87-66.dynamic.asdk12.org QUIT :Ping timeout: 260 seconds < 1473893019 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :how would you make that 2d? with windows spanning from top to bottom? < 1473893068 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :uh no just a view from the top < 1473893078 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :windows can just be represented as holes in walls i guess < 1473893104 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :sounds a bit like hitman go < 1473893153 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :never played it < 1473893354 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :the trailer looks cool < 1473893420 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is it called -go for pokemon go? < 1473893623 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1473893756 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Maybe Catholic Confession would work better if it were distributed- instead of a confessional with a room for a priest and a room for a shamee (though traditional confessionals actually have two shamee rooms and a priest in the middle), two adjacent rooms where each serves as priest-like to the other; they trade confessions and penanceſ < 1473893947 0 :fizzie!?@? PRIVMSG #esoteric :izalove: I believe it has the 'go' suffix just to denote "mobile". < 1473893959 0 :fizzie!?@? PRIVMSG #esoteric :izalove: It does predate Pokémon GO by much. < 1473893995 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :oooh so pokemon go has that suffix because of hitman go < 1473894000 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :thanks for clarifying it fizzie < 1473894048 0 :fizzie!?@? PRIVMSG #esoteric :If you want to think of it like that. I have no idea who started it, but it's definitely not limited to those two games. < 1473894092 0 :fizzie!?@? PRIVMSG #esoteric :(The latest Pokémon GO update doesn't work on my phone. :/) < 1473894104 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :fizzie: you have root, then < 1473894127 0 :fizzie!?@? PRIVMSG #esoteric :myname: It's an Android "dev-keys" device, which counts as that. < 1473894193 0 :fizzie!?@? PRIVMSG #esoteric :(Aka an "userdebug" build.) < 1473894215 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :doesn't matter that much to me. the game is boring as hell < 1473894236 0 :fizzie!?@? PRIVMSG #esoteric :I like incrementing numbers, and it's got a lot of them to increment. < 1473894243 0 :fizzie!?@? PRIVMSG #esoteric :(Also walking around.) < 1473894286 0 :fizzie!?@? PRIVMSG #esoteric :I agree that it's quite boring, but for some reason walking around without having those numbers increment feels like waste of walking now. < 1473894301 0 :AnotherTest!~turingcom@d51A4BF3B.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1473894304 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :play ingress :p < 1473894309 0 :fizzie!?@? PRIVMSG #esoteric :Maybe I should use a fitness tracker or something instead. < 1473894348 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :but yeah, there seems to be not a single really interesting ar game around < 1473894374 0 :fizzie!?@? PRIVMSG #esoteric :I also think several of the critters are cute. < 1473894399 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-bmvvjaqsnjylcqzb QUIT :Excess Flood < 1473894423 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :my dwarfs won't haul :/ < 1473894426 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Though it'd have to alternate- with two rooms L, R each occupied by one c \in C (the congregation) at a time, the priest starts in one of the rooms (let's say he starts on the left (L); a priestess would start on the right (R)), the first Congregation member enters R, confesses, and is issued a penance. The priest exits. [ret] The next member enters L, confesses, and is issued a penance by the occupant of R. R exits. goto if < 1473894426 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :empty(C). The next in line enters R, confesses, and the occupant of L issues a penance and leaves. goto [end] if empty(C). goto [ret]. [end] L and R both exit. Confession complete, everyone goes and fulfills their penance < 1473894473 0 :fizzie!?@? PRIVMSG #esoteric :hppavilion[1]: The holy C. < 1473894533 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(I was originally going to make it so everyone pairs off- two people enter L and R, L confesses to R, R issues penance; R confesses to L, L issues penance, but then I realized that inevitably leads to L inflating penance if they feel R was unfair and R reducing penance so as not to be seen as such) < 1473894548 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-iwcejbwahsvyuikb JOIN :#esoteric < 1473894549 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Also, alternating loop-pairing is MUCH more entertaining) < 1473894817 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(If one wanted to remove the "I is capitalized because the speaker is the most important person on earth" thing from english (for some reason; maybe because it's just a little unnecessary?), would it be better to say 'I' should be lowercase or that all personal pronouns ({'I', 'You', 'He', 'She', 'They' (when singular, ...}) should be capitalized?) < 1473894824 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? firefly < 1473894825 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :FireFly was a short-running but well-loved sci-fi TV series released in 2003, starring Nathan Fillion and directed and written by Joss Whedon. < 1473894842 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :feel free to replace it < 1473894848 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :it's a pretty boring factoid < 1473894883 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :FireFly: Wait, are you named after the show or is the show named after you? < 1473894890 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FireFly sprø som selleri and chews ice. < 1473894912 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(It obviously can't be a coincidence, as #esoteric is the centrer of everything) < 1473894958 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :hppavilion[1]: neither, as far as I know < 1473894964 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :I'm named after the insect, thank you very much < 1473894970 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1473894984 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :So you share a common name-source < 1473894990 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I always forget about that option < 1473895001 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :correlation, causation, etc etc < 1473895007 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FøreFly < 1473895135 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Centrer: The systematically and sarcastically annoying approach to settling the er/re divide, taking the ideas of both options and combining them badly in a way that removes the benefits of the American spelling and is somehow /worse/ than the sum of its parts) < 1473895252 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(AKA the aporgenic approach) < 1473895256 0 :Caesura!~Aedile@casewireless09.cwru.edu JOIN :#esoteric < 1473895258 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`? synergy < 1473895259 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :synergy? ¯\(°​_o)/¯ < 1473895413 0 :Zoroaster!~Aedile@casewireless09.cwru.edu QUIT :Ping timeout: 240 seconds < 1473895483 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`? le/rn synergy/Something is synergetic when it violates the Law of Conservation of Energy by managing to release more energy than is put in. A possible future Uncontrolled Synergy Scenario is a looming existential threat to humanity. < 1473895484 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :le/rn synergy/Something is synergetic when it violates the Law of Conservation of Energy by managing to release more energy than is put in. A possible future Uncontrolled Synergy Scenario is a looming existential threat to humanity.? ¯\(°​_o)/¯ < 1473895491 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`le/rn synergy/Something is synergetic when it violates the Law of Conservation of Energy by managing to release more energy than is put in. A possible future Uncontrolled Synergy Scenario is a looming existential threat to humanity. < 1473895495 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «synergy» < 1473895529 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that wisdom entry is pointless < 1473895537 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :put it on twitter < 1473895577 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: I feel it's appropriate for wisdom < 1473895603 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I feel it's not. < 1473895660 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Also, it's 140 characters too long. < 1473895685 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Then we shall consult an arbitrator. < 1473895737 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :As is tradition, the challenger may choose the arbitrator from the pool of eligible arbitrators. < 1473896389 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ACTION . o O ( Roman numeral extension: I is for 1, J is for the denominator (the denominator is assumed to be 1 unless there are symbols overriding- VIII is 8/1 = 8, VIIJ is 8/1 = 8, VIIJJ is 8/2 = 4 < 1473896390 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :) < 1473896492 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :hppavilion[1], what would XXX be < 1473896504 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: 30 < 1473896513 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Not 20/10 or 10/20 < 1473896514 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :? < 1473896516 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Assuming that's an X < 1473896528 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: No, the X is only the numerator. < 1473896540 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :How would you write 20/10 then < 1473896541 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :20/10 would be XXY. < 1473896545 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Why Y < 1473896568 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What would CD be < 1473896570 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: Because it's vaguely associated with X and isn't already taken. < 1473896572 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :400 or 100/100 < 1473896617 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(the 'letter after the normal numeral' thing is just a coincidence) < 1473896865 0 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1473897574 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Quit: REALITY.SYS Corrupted: Re-boot universe? (Y/N/Q)