< 1473465617 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 250 seconds < 1473465710 0 :fizzie!?@? PRIVMSG #esoteric :Outside of Dremel, I think it's all just JSON all the way down. < 1473465782 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :JSON is scow. < 1473465860 0 :fizzie!?@? PRIVMSG #esoteric :JSON with one line per object, and then you just parse it over and over and over again when looking for something. < 1473465871 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: What if you semi-index it? < 1473465879 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did you see that paper? < 1473465892 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.di.unipi.it/~ottavian/files/semi_index_cikm.pdf < 1473465895 0 :fizzie!?@? PRIVMSG #esoteric :Probably not. < 1473465939 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway the point is that I want more structure than JSON has. < 1473465969 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :shachaf: talk to zzo38 about that then < 1473465999 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why? < 1473466016 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :One kind of thing with more structure is to use RDF. < 1473466023 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : \ is upper-case | in IRC. <-- if those old charsets had stayed on, i might have been \rjan < 1473466024 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Another thing is protobuf. < 1473466034 0 :fizzie!?@? PRIVMSG #esoteric :Regarding the paper, sounds clever but why wouldn't you just ColumnIO(/Capacitor). < 1473466034 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: it's not too late hth < 1473466036 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :If you are doing text markup though, then XML might work. < 1473466070 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@messages- < 1473466071 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :fizzie said 14h 28m 20s ago: I didn't realize filter 9 effectively disables anonymous editing; turning it off "properly" SGTM. < 1473466079 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: If you can pre-parse things and put them in your own format, of course something human-readable like JSON isn't going to be as good. < 1473466092 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: ARGH < 1473466106 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: What? < 1473466110 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats shachaf for making a fake @ask -----### < 1473466113 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I didn't want to spam the channel. < 1473466152 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i use to count the number of lambdabot messages compared to what's in the log to see if it's safe to use @-loud hth < 1473466164 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :RDF is a easily readable/writable format too. Let's see what you need to make? In some cases, a binary format will work better < 1473466165 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Oh, I see. < 1473466172 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I didn't realize that. v. clever < 1473466174 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :And, what programming language you are using. < 1473466183 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: I like proto. < 1473466190 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: What do you think of Cap'n Proto? < 1473466199 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :fungot, is RDF a easily readable/writable format too? Let's see what you need to make? In some cases, a binary format will work better < 1473466208 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fortunately fizzie's message doesn't look overly confidential :) < 1473466218 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Hm... < 1473466224 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Such as, JavaScript will have JSON built-in and I wrote a library to read/write RDF too. < 1473466226 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I'm trying to figure out if there's a gambit for something I'm looking for < 1473466253 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :One of our cats escaped sometime yesterday, and today after coming home from school I decided to look around and found him in one of the neighbor's yards < 1473466287 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: fizzie's message was in the channel too. < 1473466298 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :He couldn't have gotten in over the fence (he's old, a bit fat, and was declawed by the previous owners; he would have a hard time climbing the fence) < 1473466315 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Now I see what happened. You missed fizzie's message in the log, so the 1 lambdabot reported matched the 1 you saw. < 1473466324 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And therefore it tricked you into revealing a message you thought was secret. < 1473466326 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :He couldn't have jumped it either, because I don't think I've ever seen him jump nearly high enough (and even if he could, he'd be way too scared) < 1473466333 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hpp: went through a hole through the fence? isn't that what cats normally do? < 1473466334 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I thought you were just confused by 1<2 < 1473466337 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : @ask oerjan was that pun truly an accident? twh <-- which pun twh < 1473466342 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :wob_jonas: That was my next possibility < 1473466356 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :He could've climbed in other, but I'm pretty sure he was stuck in their yard < 1473466364 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: "insidious" hth < 1473466369 0 :fizzie!?@? PRIVMSG #esoteric :shachaf: I think when I was reading about it, all the arguments made sense, more or less, but something in the style of the writing made me feel bad on behalf of protobufs. I mean the format itself. < 1473466373 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :cats can climb through holes you'd think are impossible to climb through. they have like epic skills. < 1473466388 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: Well, the author of capnproto is the author of proto2. < 1473466392 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :wob_jonas: Yeah, but this looked thin even for a cat < 1473466437 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Now, usually I'd just think he HAD managed to squeeze in and just couldn't get out for some reason (which seems unlikely) < 1473466450 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hpp: another hole you didn't notice then? < 1473466468 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :wob_jonas: I could look for another hole, but for now let's assume this is the only hole < 1473466483 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(also, their fence has only two sides, as this is a neighborhood of duplexes) < 1473466491 0 :fizzie!?@? PRIVMSG #esoteric :shachaf: I know, that's why I didn't feel bad for the author, just poor old proto2 itself. It's pretty irrational, but that's what soured me on the whole thing. Well, that and the name. < 1473466492 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: itym "fiendish" < 1473466499 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(And the yards are only about 5 metres on edge) < 1473466500 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1473466512 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: yes, "insidious" was really an accident. < 1473466516 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :wob_jonas: But the reason I'm suspicious is that we've had trouble with these particular neighbors before < 1473466523 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :afa my conscious mind is concerned, anyway. < 1473466532 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: fiendish < 1473466564 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :One day last year when one of our other cats (much younger, much more cat-like) got out, they came over to complain about it < 1473466572 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hpp: could someone have opened the gate of your yard? < 1473466582 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :wob_jonas: No, we think we know how he got out < 1473466596 0 :Moonythedwarf!~IceChat9@unaffiliated/moonythedwarf PRIVMSG #esoteric :fizzie: quick question: why is there no node.js & npm on hackego? :P < 1473466596 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :wob_jonas: I'm wondering about why he was there < 1473466611 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Because apparently she was showing up in their yard and they were annoyed because they were trying to attract birds < 1473466619 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :cats go where they please < 1473466636 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :wob_jonas: I don't think he wanted to be there, because he was starving when I found him < 1473466659 0 :fizzie!?@? PRIVMSG #esoteric :Moonythedwarf: That's a Gregor question, really. < 1473466662 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :ouch < 1473466667 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: you should be happy. one of my mom's friends' cat sneaked into a cellar room somewhere and they didn't find it until it had starved to death hth < 1473466669 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :So one of them (a woman) came over to complain about it (she apparently did not understand that pumpkin would not stay inside) < 1473466677 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Now I'm sad < 1473466691 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :And she pretty much walked directly into out house < 1473466701 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Like, we answered the door and she just stepped inside to start complaining < 1473466769 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Note for foreigners who may or may not have the same customs (I don't know if this varies): In the US, someone answering the door is not an invitation to enter. It's EXTREMELY rude, and a little bit aggressive, to walk in without an explicit invitation) < 1473466788 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :ouch < 1473466799 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :And I found him in their yard today, seemingly trapped < 1473466850 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :One of our neighbors (probably the same one) brought the youngcat (Pumpkin) to the pound today < 1473466873 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hpp: my brother otld me stories about their cat and the evil neighbor, but not quite the same story. < 1473466892 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: oh. i didn't really "miss" the message, but since i'd already reached the count i didn't keep searching for more. < 1473466894 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :And my best guess is that Pete went to their house when he realized he was ready to come home thinking it was ours (they're 2 doors down, so the same side of the duplex) and started complaining < 1473466896 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :evil neighbors hating your cat must be a trope or something < 1473466905 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :wob_jonas: It's a thing, definitely < 1473466931 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :And they had already dealt with a cat today, so they just grabbed him and put him in their back yard until they could take him to the pound too < 1473467083 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(I believe when I first saw him, he was in front of their back door wanting to get in- their back door is different from ours, so he probably didn't think it was us, and he would've just left if he could- but he was complaining to try to get inside, as if he'd already been in there) < 1473467125 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I knocked on their door to ask if I could enter their back yard, but no one seemed to be home, so I eventually just opened their gate on my own, got him out as quickly as possible (it took longer than expected because he went and hid so I had to get food), and left < 1473467160 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :So if they did trap him, they don't know that I showed up and retrieved him, and they may not know he's gone < 1473467190 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :If he was just there and they had nothing to do with it, they won't know he was there at all (or they'd have just shooed him away) < 1473467211 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :And I'm wondering if there's some sort of gambit (like a Batman Gambit or a Xanatos Gambit) that we could use to see which it is based on what knowledge they have < 1473467264 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :heh < 1473467273 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Moonythedwarf: That's a Gregor question, really. <-- i thought there _was_ node.js somewhere and a program that used it. although perhaps not in the usual path. of course npm won't work assuming that needs network. < 1473467287 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :wob_jonas: Any ideas? < 1473467291 0 :fizzie!?@? PRIVMSG #esoteric :Mmmaybe. < 1473467322 0 :fizzie!?@? PRIVMSG #esoteric :There is a js interpreter at least, I think. < 1473467355 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Clearly npm won't work but I think probably Node.js should be added on HackEgo < 1473467369 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :My best idea is to pretend we haven't found him yet and ask if we can check their yard < 1473467372 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :(But, omit npm) < 1473467373 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: btw in norway most cats roam freely, so someone like your neighbor would probably be laughed at. < 1473467382 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Yeah < 1473467393 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :You should add version 5 or 6 < 1473467417 0 :fizzie!?@? PRIVMSG #esoteric :`` rhino < 1473467468 0 :Moonythedwarf!~IceChat9@unaffiliated/moonythedwarf PRIVMSG #esoteric :PRogram i have (clone of mr polybot's calculator for starts) _requires_ node to run < 1473467484 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :And if they say no, the most likely case is they think he's there and they don't want us to know we trapped him < 1473467510 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :But if they know he's gone, they have nothing to lose < 1473467555 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Alternatively, we could say we just saw him back there, but then they might say yes even if they DO know he's there so that we don't think they're suspicious < 1473467562 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Do you know of any sort of gambit that'd work here? < 1473467581 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hpp: sorry, I'm very bad at social engineering, so I'm definitely the wrong person to ask about this. maybe try one of the other nerds here. < 1473467588 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Ah, yes < 1473467721 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Who here was the expert on differential forms? < 1473467723 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan? < 1473467791 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]> (Note for foreigners who may or may not have the same customs (I don't know if this varies): <-- certainly rude in norway unless you know someone very well < 1473467794 0 :Moonythedwarf!~IceChat9@unaffiliated/moonythedwarf PRIVMSG #esoteric :i can install the other requirements (packages) via the power of < 1473467814 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Figured, seems like one of the more universal customs < 1473467990 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :OK, who here CAN do some social engineering? < 1473468009 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Moonythedwarf: what? < 1473468136 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : And I'm wondering if there's some sort of gambit (like a Batman Gambit or a Xanatos Gambit) that we could use to see which it is based on what knowledge they have <-- hah, i was tempted to try that the other day in this channel. but i decided to let it go. you know who you are, unless it was the other one hth < 1473468187 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hpp: although I was quite proud today of a completely accidental piece of social engineering I've done that might or might not have even worked < 1473468194 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :not really engineering either < 1473468199 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :...wookipedia has...http://starwars.wikia.com/wiki/Color < 1473468255 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I commented on the blog of one geek person to point at the blog of another geek person with very similar interests, and now the first one seems to read the second one's blog, and backwards, which is a good thing, right? < 1473468315 0 :_46bit!~fortysix@pdpc/supporter/student/mmokrysz PRIVMSG #esoteric :a very good thing < 1473468318 0 :_46bit!~fortysix@pdpc/supporter/student/mmokrysz PRIVMSG #esoteric :you're a matchmaker < 1473468349 0 :_46bit!~fortysix@pdpc/supporter/student/mmokrysz PRIVMSG #esoteric :https://www.youtube.com/watch?v=bPa0TiCuvR4 < 1473468366 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :hppavilion[1]: seems reasonable to me < 1473468536 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : oerjan? <-- certainly not. i might be able to remember the basics if i try hard, which i don't feel like. < 1473468778 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :like, you do that product of formal variables divided out by antisymmetry thing < 1473468796 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so x ^ x = 0 and x ^ y = - (y ^ x) < 1473468812 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i suppose you'd usually put dx or dy < 1473468826 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but these can be general vector space elements < 1473468836 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`? differential forms < 1473468837 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :differential forms? ¯\(°​_o)/¯ < 1473468843 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Quit: Zarutian < 1473468850 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`? tanebventions: math < 1473468851 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, the reals, Lambek's lemma, pointless topology, locales, and histograms. < 1473468861 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Taneb didn't invent differential forms? < 1473468892 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :`?differential forms < 1473468892 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ?differential: not found < 1473468897 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :`? differential forms < 1473468898 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :differential forms? ¯\(°​_o)/¯ < 1473468902 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :nope < 1473468905 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :He invented D-modules. < 1473468911 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :ah < 1473468926 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :if you have a basis { e_i } for a vector space, then the corresponding n-forms have basis elements like e_i_1 ^ e_i_2 ^ ... ^ e_i_n where i is increasing < 1473468953 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*strictly increasing < 1473468956 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :and then you do antisymmetric tensor products < 1473468965 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :ah yes, that's what you mean by the ^ < 1473468968 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: So unordered sets of basis elements? < 1473468969 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I think it should be spelled /\ though < 1473468990 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: ok, i'm going by vague memory here < 1473469003 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: you're doing a good job for not feeling like remembering the basics tdh < 1473469010 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :shachaf: no, not just unordered sets. antisymmetric tensor products < 1473469021 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: no, they're ordered, but you only do the increasing ones because the others are equivalent to the increasing ones times a sign by antisymmetry < 1473469038 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or you could do only decreasing, i guess. < 1473469055 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that not equivalent? < 1473469094 0 :carado!~carado@2a01:e34:ec1e:2390:8341:b3f5:2d6:41fa QUIT :Ping timeout: 260 seconds < 1473469128 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well i guess. you're supposed to extend ^ to arbitrary vectors though < 1473469151 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I meant that those are the basis elements, which you can then define ^ in terms of. < 1473469152 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which requires keeping track of sign of the permutations < 1473469155 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But maybe that doesn't simplify anything. < 1473469190 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well i guess it might. < 1473469240 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway I thought dx was usually vector in the cotangent space or something like that? < 1473469243 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :then you would define e_i_1 ^ e_i_2 ^ e_i_3 ... more generally as {i_1, ..., i_n} times the sign of the permutation < 1473469275 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well sure, after you've defined this, you apply it to cotangent bundles or what it was < 1473469295 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :shachaf: yes, of which the e are a basis of < 1473469363 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i suppose you don't have to go via basis, but can just do it abstractly as a quotient, but the basis helps with calculations? < 1473469425 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oerjan: the basis gives the definition, but then of course you have to prove this stuff is consistent as in if you change the basis you can extend the change of basis to the antisymmetric tensor product space such that it keeps the antisymmetric tensor product operation. < 1473469464 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :which is important, because you need change of basis if you can't give a single basis everywhere on the manifold < 1473469509 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : oerjan: you're doing a good job for not feeling like remembering the basics tdh <-- i started feeling a little better hth < 1473469540 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :And then you need to define the antisymmetric differential operator (denoted by a mirrored six) which takes (a suitably smooth functions from the manifold to one of these spaces) to (a suitably smooth function from the manifold to the next one of these spaces), < 1473469556 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :and the big surprise is that mirrored six composited to mirrored six turns out to be zero! < 1473469561 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Also, there's some stuff with duals. < 1473469567 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I dunno what I'm talking about either. < 1473469575 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wob_jonas: Mirrored six? Isn't this one usually just written as d? < 1473469578 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :But I think there are nerds on the internet who do this. < 1473469585 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :shachaf: yeah, it's a d, I'm just stupid < 1473469616 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: i suppose the antisymmetric tensor product is the universal object through which you can factor antisymmetric linear functions. which might be more to shachaf's liking. < 1473469641 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oerjan: uh, that sounds nice, I've no idea what it means < 1473469653 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oh < 1473469663 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :um, dunno < 1473469753 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it means that if you have U and V, then U /\ V is a vector space such that for any W, and any antisymmetric bilinear function f : (U, V) -> W, there is a unique g : U /\ V -> W such that f = g o (/\) < 1473469763 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or something very close to that. < 1473469784 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(if you dropped the antisymmetric, you'd get the usual tensor product this way) < 1473469859 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :now, the next step is to note that the basis definition fulfils this, after which you can essentially throw it away and use the universal property from there on. < 1473469874 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1473469885 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you cannot use different U and V there < 1473469907 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :um < 1473469909 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which means, i guess, you need to consider all U /\ U /\ ... /\ U simultaneously < 1473469933 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: antisymmetry makes no sense if you're not starting with identical vector spaces < 1473469941 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i just realized that < 1473469943 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :that sounds true but I don't really understand what the point of that is. that doesn't sound like factoring, it just sounds like extending, < 1473469961 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :where you define the function g such that f gives its value on the basis elements of the tensor-product space < 1473469970 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: well it's a category theoretical universal property, they all look like that. < 1473469981 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :heh < 1473469995 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oerjan: but how does the antisymmetric derivative and the duality come into all this? < 1473470011 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: the thing is, once you have done this, the fact that it's all invariant under basis changes becomes completely trivial < 1473470032 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :what? why? < 1473470066 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I mean, the part where what becomes invariant? < 1473470075 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :because universal objects defined by the same universal property are automatically isomorphic. < 1473470122 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :what? < 1473470123 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: well the universal property gives you a definition of /\ which does not speak about the basis of the original spaces < 1473470136 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hmm < 1473470201 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :it's true that it doesn't speak about the basis of U^n, but does it completely determine the U/\.../\U space? < 1473470356 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yes, up to isomorphism. < 1473470376 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :consider if you had two objects fulfilling this. < 1473470410 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :T1 and T2, with corresponding embeddings /\_1 and /\_2 < 1473470424 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :ok, I'm looking what crazy category theory argument you're going to pull on me < 1473470451 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :universal properties are tg < 1473470489 0 :lambda-11235!~lambda-11@184.63.207.209 JOIN :#esoteric < 1473470527 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :then note that f (v1, ..., vn) = v1 /\_2 v2 /\_ ... /\_ vn is an antisymmetric multilinear function, so by the universal property of T1, you have g : T1 -> T2 such that f = g o (... /\_1 ... /\_1 ...) (i hope you can guess what the notation means) < 1473470549 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :er missed some 2's up there < 1473470581 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh of course the property should also say that g is linear < 1473470600 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :sure, you need linearity everywhere < 1473470614 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and the other way you get g' : T2 -> T1, and it's easy to show g and g' are inverses. < 1473470626 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :thus T1 and T2 are isomorphic. < 1473470659 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :yeah, something like that probably works < 1473470663 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :typical category theory stuff < 1473470665 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :this is just about how these arguments always go. < 1473470674 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :yeah < 1473470716 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :don't take this in a bad way, I also do such abstract arguments sometimes, I just also like the humor in how we do them instead of the more easy to understand concrete stuff it translates to < 1473470744 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's maybe only hard to understand because you made him spell it out. < 1473470753 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Otherwise you can just say that it's a universal property. < 1473470762 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or that it's initial in some category or something. < 1473470774 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :that just makes it worse! < 1473470792 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The trouble is describing the category that you care about, but you need to do that anyway, except you normally do it implicitly. < 1473470832 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: of course half the point is that once you have seen one case of this, you don't really have to relearn it completely for the next case < 1473470847 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :sure! < 1473470858 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so it's a one time cost, after which you can use universal properties everywhere < 1473470874 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :universal properties are the best < 1473470912 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :they're p. good < 1473470916 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :that's how all this abstract maths stuff works. you prove some crazy general theorem and then hope you can use it more than once < 1473470927 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: well, they have to be the best < 1473470931 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's what universality is hth < 1473470932 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :the pgraph minors theorem is stupid < 1473470936 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :*graph < 1473470943 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pooch graph < 1473470944 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well in theory they could also be the worst < 1473470953 0 :moonythedwarf_!~IceChat9@unaffiliated/moonythedwarf JOIN :#esoteric < 1473470956 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :itym cobest hth < 1473470962 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :COKAY < 1473470974 0 :Moonythedwarf!~IceChat9@unaffiliated/moonythedwarf QUIT :Ping timeout: 252 seconds < 1473471292 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :shachaf: ok, so was there something more specific about differential forms you wanted to know? I presume you didn't just want to find out why the wedge tensor product is well-defined. < 1473471307 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, that was pretty good. < 1473471321 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I got a book about smooth manifolds so I think maybe I'll read that. < 1473471330 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :yeah, but I still don't know what's up with the d operator and the duals < 1473471399 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I mean, I know once you do the d o d = 0 theorem generally, you'll get about five of those basic integral theorems on R**2 and R**3 that have fancy individual names, like the Green's theorem and stuff. < 1473471416 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :But still. < 1473471428 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, Stokes' theorem is obviously the best one. < 1473471474 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :green's theorem is like warm-up. < 1473471486 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :And I think one of the goals for working with differentiable functions on manifolds is to be able to define invariants of manifolds, as in topological invariants or differentiable invariants, < 1473471504 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :which you can use that two manifolds are not isomorphic in some way, < 1473471513 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is Stokes' theorem an adjunction? < 1473471529 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :and eventually prove rigorously that a donut isn't a sphere. < 1473471595 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Not even up to homotopically equivalence. < 1473471606 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Which is kind of nice to know, and pretty hard to prove otherwise I think. < 1473471619 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: that's not too hard since they have different fundamental groups. < 1473471694 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i'm not sure how much differentiable stuff helps with proving topological invariants, i didn't learn it that way. < 1473471779 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: now, proving that R^m is not R^n for m/=n is a bit harder. < 1473471883 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :can you distinguish wisdom entries by their fundamental grep? < 1473471909 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yes hth < 1473472018 0 :lambda-11235!~lambda-11@184.63.207.209 PART #esoteric :"Bye" < 1473472021 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Also, I think physicists use this differentiable forms on manifolds stuff too, for some physical reasons. Maybe they want basis-invariant physical laws because they find them nicer or something. < 1473472296 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User talk:Malbranche14]]4 N10 02https://esolangs.org/w/index.php?oldid=49700 5* 03Oerjan 5* (+158) 10Thanks! < 1473472373 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User talk:Malbranche14]]4 10 02https://esolangs.org/w/index.php?diff=49701&oldid=49700 5* 03Oerjan 5* (+23) 10Um there was more < 1473472461 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: general relativity has coordinate-invariance as one of its fundamental principles. < 1473472548 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and iirc, in other cases, it helps determining which properties of your physical system are really fundamental rather than just an accident of description. < 1473472642 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :right < 1473472664 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :But what I don't get is, why is the d operator actually important? Does it have some sort of universal property? < 1473472669 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(i recall reading terry tao used differential geometry when investigating variants of fluid dynamics recently. < 1473472672 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :) < 1473472754 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :What is it that singles out the d operator (up to constant factor) from the other ((M->U^/\n)->(M->U^/\(n+1))) operators? < 1473472809 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well general relativity doesn't use that d iirc, unless there's a reformulation which does < 1473472826 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(it wasn't based on antisymmetry) < 1473472829 0 :`^_^v!~nycs@ppp-119-76-122-163.revip17.asianet.co.th JOIN :#esoteric < 1473472881 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: it might be that dd = 0 determines it up to equivalence, or something... < 1473472900 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also, dd= 0 is the property you want for things that define homologies. < 1473472923 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(aka i don't really know the answer) < 1473472943 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait hm < 1473473290 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : I thought so, but then someone in another channel said it was a Google thing. <-- sounds google to me < 1473473599 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oerjan: dd = 0 can't determine it alone, you need some other property too < 1473473690 0 :`^_^v!~nycs@ppp-119-76-122-163.revip17.asianet.co.th QUIT :Quit: This computer has gone to sleep < 1473473692 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I mean, if dd=0 is the only thing you want, then why couldn't you just move U^/\n in place with some non-singular linear transform to itself but leave the U^/\k for all k!=n alone? < 1473473699 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :That would change d. < 1473473743 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :There has to be something that treats U^/\n as more than just a vector space. < 1473473747 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :presumably stokes' theorem is what makes it important. < 1473473836 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :That doesn't explain anything. < 1473473841 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh right, de Rham's theorem is what i was looking for. < 1473473850 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Why is stokes theorem important, as in, why do you want a theorem about that particular differential form? < 1473473922 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :De Rham's theorem? Dunno, I feel there has to be some lower level explanation than that. < 1473473946 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :It has to involve /\ somewhere. < 1473473975 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :As in /\ on the vectors, not /\ on the vector spaces. < 1473473982 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Oh well, I dunno, good night. < 1473473985 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 < 1473474050 0 :`^_^v!~nycs@ppp-119-76-122-163.revip17.asianet.co.th JOIN :#esoteric < 1473474199 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell wob_jonas i mean that stokes' theorem tells you how to get d from integration, essentially. < 1473474199 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1473474271 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell wob_jonas oh, and of course i mean the _generalized_ stokes' theorem, that includes all the special cases like green's theorem. < 1473474271 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1473474332 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 240 seconds < 1473474855 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what fraction of all english words would you guess are ALL CAPS < 1473475033 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :<\oren\> If he wins, the cold war is over, with victory to Russia <-- you make it sound like a good thing < 1473475308 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloerjan < 1473475343 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hitopia < 1473475345 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :food -> < 1473475652 0 :moonythedwarf_!~IceChat9@unaffiliated/moonythedwarf QUIT :Ping timeout: 250 seconds < 1473475702 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1473475951 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :`? os < 1473475951 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Os is the accusative plural of us. Also a municipality in Norway. < 1473476820 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: Hmm, Apache Drill might be able to do it. < 1473476848 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1473476857 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :drill drill baby < 1473476887 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oops permute that < 1473477112 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1473477399 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :so i was testing things < 1473477411 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :and i made a http request to icanhazip.com with netcat < 1473477421 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :try it ^ < 1473477483 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :this is so cool, i'll write them < 1473477551 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: Also I can convert to JSON and then query for many use cases. < 1473477556 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: You recommend jq for that? < 1473478604 0 :bibibi!~bibibi@64.137.202.202 QUIT :Quit: bibibi < 1473478637 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell gamemanj I wonder why so many people are unaffiliated? <-- it's the only cloak you can get if you're not part of a group that's officially on freenode, me thinks < 1473478637 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1473478694 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And you might prefer to get it even if you are affiliated. < 1473478721 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yeah i rephrased myself in the middle of writing that because of that < 1473478918 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :izabera: That work good. < 1473479022 0 :bibibi!~bibibi@64.137.202.202 JOIN :#esoteric < 1473479028 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :It supports headerless HTTP even; that is very good. < 1473479104 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Now I can more easily check what is my global IP address, because I made a shell script of it. < 1473479123 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :(I have a router, so the computer's own IP address is not the same as the address accessible by internet.) < 1473479509 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :If you are using other format and then convert to JSON and then query for many use cases, is there a JavaScript module to do that with? If there is no such things on npm then I or you could add those program on < 1473479607 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :zzo38: And Chrome just deprecated HTTP/0.9, too... :) < 1473479669 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :too soon < 1473479720 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1473479758 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :pikhq: That shouldn't matter much since it is the client rather than the server. < 1473479801 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :True, it only really prevents Chrome from working with HTTP/0.9-only servers, while servers are still perfectly free to still support HTTP/0.9-only clients. < 1473479825 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :There's probably nearly zero HTTP/0.9-only servers. Or clients for that matter, but it's also lower impact to support for servers. < 1473479864 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :It is useful for the server to support it for use with clients that are not HTTP clients, mainly. < 1473479876 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm often an HTTP/0.9 client. < 1473479943 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :And it's trivial to tell if a request is an HTTP/0.9 request, unlike for responses. < 1473479971 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :With responses, you start getting not-headers and it *might* be an HTTP/0.9 response, or it might be some server being busted. < 1473479983 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :With requests, you see the "GET" line doesn't have a verrsion number. < 1473480061 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Yes. Making a HTTP client working with HTTP/0.9-only servers is probably a bit messy anyways, so a client should not need this functionality. It is a very useful functionality for servers to have though. (If a HTTP client does want to support HTTP/0.9-only servers too, it should probably be a user option.) < 1473480281 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :(If you don't need support for HTTP headers and stuff in your server, don't make a HTTP/0.9-only server; make a gopher server instead.) < 1473480304 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, no one uses Gopher. < 1473480321 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :make it a http 1.0 server maybe? < 1473480334 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i heard that http 1.0 supports http 1.0 headers < 1473480634 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Yes, you can support HTTP/0.9 and HTTP/1.0 in one server; implement both. You don't need a HTTP/0.9-only server though. < 1473480692 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :A simple HTTP/1.0 client isn't too bad either, for that matter. < 1473480709 0 :`^_^v!~nycs@ppp-119-76-122-163.revip17.asianet.co.th QUIT :Quit: This computer has gone to sleep < 1473480765 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Yes, and it is a good idea for any HTTP client to support that. However, the server probably ought to support HTTP/0.9 too. < 1473480788 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Considering HTTP/1.0 requires it from servers, I agree. :) < 1473480831 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :pikhq | A simple HTTP/1.0 client isn't too bad either, for that matter. <- then why are they taking so long to develop chrome and firefox?!? < 1473480896 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Because those do a *lot* more than HTTP/1.0. < 1473480911 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :oh. < 1473481040 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FuckbeEs14]]4 N10 02https://esolangs.org/w/index.php?oldid=49702 5* 0312Me21 5* (+1928) 10created the page lol XD < 1473481087 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FuckbeEs14]]4 10 02https://esolangs.org/w/index.php?diff=49703&oldid=49702 5* 0312Me21 5* (+10) 10added proper file extension < 1473481145 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FuckbeEs14]]4 10 02https://esolangs.org/w/index.php?diff=49704&oldid=49703 5* 0312Me21 5* (-143) 10removed influenced because LIES < 1473481217 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :(written in BASIC) < 1473481234 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :trololo < 1473481251 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FuckbeEs14]]4 M10 02https://esolangs.org/w/index.php?diff=49705&oldid=49704 5* 0312Me21 5* (+0) 10replaced [] with the correct symbols < 1473481323 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Hrm, I once again have an Internet-connected DOS VM. < 1473481329 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :If only I had *any* use for such a machine. < 1473481378 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you in Colorado? < 1473481418 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :if e tries to edit the Main Page too, e gets a block. < 1473481564 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :admittedly featuring it _might_ have some positive effects, in theory. < 1473481817 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=oavMtUWDBTM < 1473481848 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :once again I have been wtching this over and over for half an hour < 1473481932 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 240 seconds < 1473482050 0 :FireFly!znc@freenode/staff/firefly QUIT :Quit: Goodbye < 1473482212 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :shachaf: Not quite yet. < 1473482378 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1473482387 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=astISOttCQ0 < 1473482823 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=T3owVbVZNKs < 1473482826 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@ask Taneb Never whence being taken as when <-- what about twice? < 1473482826 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1473482843 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ok now I'm just linking crazy memes of the earyl 2000's < 1473483065 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=NL6CDFn2i3I < 1473483154 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :If you make up a esoteric programming language called "Main Page", then what are you going to do about it? < 1473483181 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :(Or even, a book or movie or anything called "Main Page", and if a Wikipedia article should be needed.) < 1473483466 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=17FEtaiWdVg < 1473483817 0 :FireFly!znc@freenode/staff/firefly JOIN :#esoteric < 1473484074 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Cousin Itt and the Thing are really quite distinct. <-- one is handsome, the other is hair < 1473484320 0 :FireFly!znc@freenode/staff/firefly QUIT :Excess Flood < 1473484582 0 :FireFly!znc@freenode/staff/firefly JOIN :#esoteric < 1473486931 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1473487651 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :*.net *.split < 1473487651 0 :puckipedia!~puck@irc.puckipedia.com QUIT :*.net *.split < 1473487651 0 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :*.net *.split < 1473487651 0 :sewilton!sid32560@gateway/web/irccloud.com/x-lignxibetvgbrotb QUIT :*.net *.split < 1473487651 0 :Slereah!~Slereah@LFbn-1-3085-42.w90-79.abo.wanadoo.fr QUIT :*.net *.split < 1473487651 0 :aloril!~aloril@dsl-tkubrasgw1-54fa3f-129.dhcp.inet.fi QUIT :*.net *.split < 1473487651 0 :staffehn!~quassel@2001:41d0:52:d00::1d3 QUIT :*.net *.split < 1473487651 0 :pelegreno!~cinch@107.170.175.57 QUIT :*.net *.split < 1473487651 0 :APic!apic@apic.name QUIT :*.net *.split < 1473487651 0 :hydraz!matheus@unaffiliated/demhydraz QUIT :*.net *.split < 1473487651 0 :mtve!~mtve@10130.x.rootbsd.net QUIT :*.net *.split < 1473487651 0 :Caesura!~Aedile@cpe-174-100-169-144.neo.res.rr.com QUIT :*.net *.split < 1473487651 0 :Sgeo_!~Sgeo@ool-18e43ef5.dyn.optonline.net QUIT :*.net *.split < 1473487652 0 :shikhin!shikhin@unaffiliated/shikhin QUIT :*.net *.split < 1473487652 0 :trn!jhj@trnsz.com QUIT :*.net *.split < 1473487652 0 :xfix!~xfix@unaffiliated/xfix QUIT :*.net *.split < 1473487652 0 :MDude!~MDude@pa-67-234-97-58.dhcp.embarqhsd.net QUIT :*.net *.split < 1473487652 0 :ski!~ski@remote11.chalmers.se QUIT :*.net *.split < 1473487652 0 :JX7P!~IRIX@freebsd/user/kastengraeber QUIT :*.net *.split < 1473487652 0 :myname!~myname@84.200.43.57 QUIT :*.net *.split < 1473487652 0 :pdxleif!~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com QUIT :*.net *.split < 1473487652 0 :ocharles!sid30093@musicbrainz/user/ocharles QUIT :*.net *.split < 1473487652 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 QUIT :*.net *.split < 1473487652 0 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :*.net *.split < 1473487652 0 :Guest66666!~kragniz@nyaa.kragniz.eu QUIT :*.net *.split < 1473487652 0 :sirnaysayer!~naysayer@104.244.72.181 QUIT :*.net *.split < 1473487652 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b QUIT :*.net *.split < 1473487653 0 :Tiktalik!~tiktalik@unaffiliated/tiktalik QUIT :*.net *.split < 1473487749 0 :pelegreno!~cinch@107.170.175.57 JOIN :#esoteric < 1473488589 0 :ocharles!sid30093@musicbrainz/user/ocharles JOIN :#esoteric < 1473488704 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1473488704 0 :puckipedia!~puck@irc.puckipedia.com JOIN :#esoteric < 1473488704 0 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1473488704 0 :sewilton!sid32560@gateway/web/irccloud.com/x-lignxibetvgbrotb JOIN :#esoteric < 1473488704 0 :Slereah!~Slereah@LFbn-1-3085-42.w90-79.abo.wanadoo.fr JOIN :#esoteric < 1473488704 0 :aloril!~aloril@dsl-tkubrasgw1-54fa3f-129.dhcp.inet.fi JOIN :#esoteric < 1473488704 0 :staffehn!~quassel@2001:41d0:52:d00::1d3 JOIN :#esoteric < 1473489824 0 :shikhin!shikhin@unaffiliated/shikhin JOIN :#esoteric < 1473490719 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :If one were to write the time as 24:10, would Europe scorn one? < 1473490738 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i would < 1473490743 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :not sure about eu < 1473490897 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Base prime: Given the standard functions along with the additional pmor(x) and ples(x), which return the smallest prime number greater than x and the greatest prime number less than x (fallback on 0) respectively < 1473490951 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :bprime(n) := ples(n)+(n-ples(n))/(pmor(n)-ples(n)) < 1473490962 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Wait < 1473491032 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :bprime(n) := primenum(ples(n))+(n-ples(n))/(pmor(n)-ples(n)), where primenum(p) takes a prime p and returns its index (primenum(2) = 1, primenum(3) = 2, primenum(5) = 3, 7 -> 4, 11 -> 5, 13 -> 6, etc.) < 1473491039 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Yeah, that looks right < 1473491054 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :right now it's 26:04 < 1473491075 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :at least, according to my computer < 1473491132 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :irssi is displaying 06:18, I have no idea why < 1473491220 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :how does a could server end up with such a time offset < 1473491228 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :s/could/cloud/ < 1473491590 0 :deltab!~deltab@ds6266.dedicated.turbodns.co.uk PRIVMSG #esoteric :in ISO 8601, 24:00:00 is accepted for the instant at the end of a day, equivalent to 00:00:00 of the next day; but otherwise the hour can't be above 23 < 1473491622 0 :deltab!~deltab@ds6266.dedicated.turbodns.co.uk PRIVMSG #esoteric :I've heard though that tv schedulers use 06 to 30 or so < 1473492508 0 :MoALTz!~no@78-11-247-26.static.ip.netia.com.pl JOIN :#esoteric < 1473492823 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :deltab: Why? < 1473492875 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :deltab: I reformed the calendar. To distinguish dates, they are prefixed with "NRC" and the separator is "~" < 1473493799 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I reformed the year numbering. Year 0 is 1970. this year is 46 < 1473494049 0 :fizzie!?@? PRIVMSG #esoteric :shachaf: I recommend jq for the sort of processing I normally do with ... | sed | awk | sed | grep | perl | ... sort of overly complicated shell "oneliners", if you do have JSON data. < 1473494150 0 :fizzie!?@? PRIVMSG #esoteric :@tell pikhq There was at least one router with a HTTP/0.9-only admin interface, it made them pause a little. Anyway, ISTR in the end they only deprecated HTTP/0.9 for nonstandard ports for now, since that's what the security concern was (mostly) about. < 1473494189 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :@mesages-loud < 1473494207 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :net split? < 1473494228 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :o no, whar iz lamdabot? < 1473494251 0 :fizzie!?@? PRIVMSG #esoteric :A long one. < 1473494346 0 :fizzie!?@? PRIVMSG #esoteric :Or, rather, my client says 28 people left due to a split, one came back, and then there's a dribble of some other people rejoining, but some are still gone. < 1473494350 0 :fizzie!?@? PRIVMSG #esoteric :fungot: At least you're still here. < 1473494351 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: i didnt build it; its a package from ubuntu and php homes of irc-ignorant fnord worldwide. but i think i know where quack is located...... < 1473494378 0 :fizzie!?@? PRIVMSG #esoteric :Did you know a duck's quack doesn't echo? (That's not actually true.) < 1473494513 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=K3CKZqEiALE < 1473494570 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :since oerjan was complaining I decided to listen to a wider variety of music < 1473494762 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hmm now I want to play HOI4 < 1473495133 0 :carado!~carado@2a01:e34:ec1e:2390:8341:b3f5:2d6:41fa JOIN :#esoteric < 1473495626 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION notes this song in \oren\'s link that has "Stalin" in nearly every line < 1473495939 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION thinks that was a bit much < 1473495989 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(to listen to) < 1473496327 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 255 seconds < 1473496422 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1473496569 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ACTION . o O ( Shouldn't the taxonomic group above Kingdom be Empire? ) < 1473496626 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :taxonomic groups are so pre-cladistic, anyway < 1473496667 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Yeah? < 1473496692 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: What about horizontal gene transfer? < 1473496755 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :can't those cross groups, anyway < 1473496760 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Yeah < 1473496772 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what looks better https://arin.ga/JGh7kM/raw vs https://arin.ga/rREUCG/raw < 1473496780 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(I do think we need something above Domain that just means "the beginning"; barring panspermia, it would be so we could sort Jovian life against Earth life) < 1473496789 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :3 3d arrays or 1 4d array? < 1473496799 0 :fizzie!?@? PRIVMSG #esoteric :According to WordNet, domain is fine: http://sprunge.us/hcfM < 1473496838 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Oh, huh, Empire is a thing < 1473496856 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Prokaryotes vs Eukaryotes < 1473496869 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(spellcheck thinks "Prokaryotes" is a typo of "Protestants") < 1473496883 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: probably written by a catholic < 1473496913 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :There's also "Legion" < 1473496918 0 :fizzie!?@? PRIVMSG #esoteric :izabera: In my opinion, if you already have three indices, why not go for broke and have the fourth. < 1473496926 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yeeah < 1473496940 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(I think we need to resort the species into Democratic Republics instead of Kingdoms) < 1473497117 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Domain -> Kingdom -> Subkingdom -> Infrakingdom -> Superphylum -> Phylum -> Subphylum -> Infraphylum -> Microphylum -> Superclass -> Class -> Subclass -> Infraclass -> Parvclass -> Legion -> Cohort -> Magnorder -> Superorder -> Order -> Suborder -> Infraorder -> Parvorder -> Section [zoology only] -> Superfamily -> Family -> Subfamily -> Supertribe -> Tribe -> Subtribe -> Genus -> Subgenus (Church of the?) -> Section (botany only) -> < 1473497117 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Series -> Species -> Subspecies -> Variety -> Form < 1473497190 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1473498268 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg64dw17dked36v.ip6.access.telenet.be JOIN :#esoteric < 1473498268 0 :augur!~augur@2601:640:8001:4222:351f:5054:d2be:2e9 JOIN :#esoteric < 1473498268 0 :xfix!~xfix@unaffiliated/xfix JOIN :#esoteric < 1473498268 0 :sirnaysayer!~naysayer@104.244.72.181 JOIN :#esoteric < 1473498268 0 :MDude!~MDude@pa-67-234-97-58.dhcp.embarqhsd.net JOIN :#esoteric < 1473498268 0 :ski!~ski@remote11.chalmers.se JOIN :#esoteric < 1473498268 0 :JX7P!~IRIX@freebsd/user/kastengraeber JOIN :#esoteric < 1473498268 0 :myname!~myname@84.200.43.57 JOIN :#esoteric < 1473498268 0 :pdxleif!~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com JOIN :#esoteric < 1473498268 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 JOIN :#esoteric < 1473498268 0 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1473498268 0 :Guest66666!~kragniz@nyaa.kragniz.eu JOIN :#esoteric < 1473498268 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b JOIN :#esoteric < 1473498268 0 :Tiktalik!~tiktalik@unaffiliated/tiktalik JOIN :#esoteric < 1473498311 0 :Caesura!~Aedile@cpe-174-100-169-144.neo.res.rr.com JOIN :#esoteric < 1473498311 0 :Sgeo_!~Sgeo@ool-18e43ef5.dyn.optonline.net JOIN :#esoteric < 1473498311 0 :trn!jhj@trnsz.com JOIN :#esoteric < 1473498319 0 :APic!apic@apic.name JOIN :#esoteric < 1473498319 0 :hydraz!matheus@unaffiliated/demhydraz JOIN :#esoteric < 1473498319 0 :mtve!~mtve@10130.x.rootbsd.net JOIN :#esoteric < 1473498322 0 :augur!?@? NICK :Guest22293 < 1473498684 0 :`^_^v!~nycs@183.89.39.173 JOIN :#esoteric < 1473499180 0 :`^_^v!~nycs@183.89.39.173 QUIT :Quit: This computer has gone to sleep < 1473501301 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1473506146 0 :Guest22293!?@? NICK :augur < 1473506176 0 :augur!?@? NICK :Guest24275 < 1473506203 0 :Guest24275!~augur@2601:640:8001:4222:351f:5054:d2be:2e9 QUIT :Quit: Leaving... < 1473506249 0 :augur_!~augur@2601:640:8001:4222:351f:5054:d2be:2e9 JOIN :#esoteric < 1473506353 0 :augur_!?@? NICK :augur < 1473507021 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1473507221 0 :Janaton!2ef53aba@gateway/web/cgi-irc/kiwiirc.com/ip.46.245.58.186 JOIN :#esoteric < 1473507275 0 :Janaton!2ef53aba@gateway/web/cgi-irc/kiwiirc.com/ip.46.245.58.186 QUIT :Client Quit < 1473512896 0 :augur!~augur@2601:640:8001:4222:351f:5054:d2be:2e9 QUIT :Remote host closed the connection < 1473516173 0 :Moonythedwarf!~IceChat9@unaffiliated/moonythedwarf JOIN :#esoteric < 1473516779 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com QUIT :Read error: Connection reset by peer < 1473516828 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com JOIN :#esoteric < 1473518281 0 :`^_^v!~nycs@183.89.39.173 JOIN :#esoteric < 1473520509 0 :Moonythedwarf!~IceChat9@unaffiliated/moonythedwarf QUIT :Ping timeout: 244 seconds < 1473520510 0 :`^_^v!~nycs@183.89.39.173 QUIT :Ping timeout: 265 seconds < 1473520609 0 :Moonythedwarf!~IceChat9@unaffiliated/moonythedwarf JOIN :#esoteric < 1473520882 0 :`^_^v!~nycs@183.89.39.173 JOIN :#esoteric < 1473521047 0 :`^_^v!~nycs@183.89.39.173 QUIT :Client Quit < 1473523616 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1473524130 0 :MDead!~MDude@pa-67-234-97-58.dhcp.embarqhsd.net JOIN :#esoteric < 1473524298 0 :MDude!~MDude@pa-67-234-97-58.dhcp.embarqhsd.net QUIT :Ping timeout: 250 seconds < 1473524305 0 :MDead!?@? NICK :MDude < 1473527034 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Do you like this? < 1473527969 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Like what? < 1473528338 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :My idea to make new custom Magic: the Gathering card and do you have the idea too? < 1473529178 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :One kind of variant game I thought of would be this: There is a new pseudotype called "main" and each player will have one "main card" which is not a card or object and does not exist in any zone of the game. As a state-based action, if a main token owned by a player does not exist, create a main token owned and controlled by that player, with the characteristics of that player's main card. < 1473529194 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Quit: Zarutian < 1473529320 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :"Main" is a designation that an object has (somewhat like an object can be a "commander"), and is not a characteristic. Also as a state-based action, any main token controlled by a player different from its owner ceases to exist. < 1473529342 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :These "main card" are different from existing cards < 1473529608 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What sorts of main tokens would there be? < 1473529756 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :I am not quite sure; of course how well game is work depends what is available. They could be any permanent, although I thought mainly some planeswalkers designed specifically to be the main cards, that need some time before you will activate the ultimate ability, although in some cases other types of permanents might also do. < 1473530236 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :If it doesn't quite work so well perhaps to add the following rule: As a special action you can destroy a main token you own. To do this costs an amount of generic mana equal to the total number of times you used this special action so far including the current instance. < 1473530978 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1473531025 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Read error: Connection reset by peer < 1473531040 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1473531189 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1473531735 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :lambdabot has returned! < 1473531740 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :@botsnack < 1473531740 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric ::) < 1473532038 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :hmm.. I am battling with one of the main problems in computer programming: naming things < 1473532087 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Zarutian: What do you try to name? < 1473532126 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :spefically an esoteric language that is pretty much an union of a macro system and primitive recursive functions < 1473532177 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :quickbooks support hotline *scnr* < 1473532223 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :(definitions of macros must preceed their usage references to keep the language non turing complete) < 1473532281 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :(and self referencing is not allowed) < 1473532655 0 :moonythedwarf_!~IceChat9@unaffiliated/moonythedwarf JOIN :#esoteric < 1473532782 0 :Moonythedwarf!~IceChat9@unaffiliated/moonythedwarf QUIT :Ping timeout: 265 seconds < 1473532894 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :so you see my problem here < 1473533544 0 :moonythedwarf_!~IceChat9@unaffiliated/moonythedwarf PRIVMSG #esoteric :Irc is the only chat i can really use when i need 1 Mbit/s for a large download :/ < 1473533585 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :cute < 1473533632 0 :moonythedwarf_!~IceChat9@unaffiliated/moonythedwarf PRIVMSG #esoteric :Thats what i get for using Centurylink < 1473535340 0 :DHeadshot_!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1473535369 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 255 seconds < 1473535814 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :I think IRC is a better chat protocol than most other anyways < 1473536190 0 :irctc798!2e173212@gateway/web/freenode/ip.46.23.50.18 JOIN :#esoteric < 1473536331 0 :Kaynato!~Aedile@cpe-174-100-169-144.neo.res.rr.com JOIN :#esoteric < 1473536385 0 :Zoroaster!~Aedile@v129-22-124-161.VCLIENT.CWRU.Edu JOIN :#esoteric < 1473536512 0 :Caesura!~Aedile@cpe-174-100-169-144.neo.res.rr.com QUIT :Ping timeout: 240 seconds < 1473536611 0 :Kaynato!~Aedile@cpe-174-100-169-144.neo.res.rr.com QUIT :Ping timeout: 255 seconds < 1473536687 0 :Caesura!~Aedile@cpe-174-100-169-144.neo.res.rr.com JOIN :#esoteric < 1473536688 0 :Zoroaster!~Aedile@v129-22-124-161.VCLIENT.CWRU.Edu QUIT :Read error: Connection reset by peer < 1473536802 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :depends on your focus < 1473536806 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i prefer jabber < 1473537271 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :They should just build any new chat stuff on top of IRC < 1473537315 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :similar to the way C++ is built on top of C < 1473537402 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :but hopefully without C++'s habit of adding new systems with no advantage over the old ones < 1473538243 0 :fizzie!?@? PRIVMSG #esoteric :There's a Finnish magazine aimed for teenage girls, with a discussion forum for a somewhat wider audience; they used to also have a chat feature on the website; that was built on top of IRC. < 1473538287 0 :fizzie!?@? PRIVMSG #esoteric :I chatted briefly with the programmers, because they were curious when someone connected to the thing using an actual IRC client. < 1473538336 0 :fizzie!?@? PRIVMSG #esoteric :Wonder if BitlBee is still buzzing along. < 1473538405 0 :fizzie!?@? PRIVMSG #esoteric :Latest release 2016-03-19, so maybe not entirely dead. < 1473538470 0 :fizzie!?@? PRIVMSG #esoteric :Impressive, they've now got a way to use Skype that doesn't involve running an actual Skype client. (Goes via web.skype.com.) < 1473538551 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :I have used actual IRC client when I had previously found only the client included on the webpage but instead I looked at the source so that I can connect by proper IRC client instead. < 1473539230 0 :moonythedwarf_!~IceChat9@unaffiliated/moonythedwarf QUIT :Read error: Connection reset by peer < 1473539445 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1473540243 0 :DHeadshot_!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 240 seconds < 1473542270 0 :irctc798!2e173212@gateway/web/freenode/ip.46.23.50.18 QUIT :Ping timeout: 264 seconds < 1473542586 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 JOIN :#esoteric < 1473542600 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :http://static02.mediaite.com/themarysue/uploads//2011/01/xmenfamilytree-labeled.jpeg confuses me... < 1473542643 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :The key has 6 options (blue solid, teal dotted, red solid, gold dotted, green solid, purple dotted) < 1473542649 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :But at the very top is red dotted < 1473542745 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :And I take it the star on several of Cyclops's offspring indicates some genetic thing? e.g. Phoenix Force? < 1473542760 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :This isn't a "read more comics" thing, it's just a "your chart is stupid" thing < 1473543171 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :"Science flies you to the moon; Religion flies you into buildings, and Science built the thing you were flying, as well as the building." < 1473543243 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ACTION . o O ( Is it possible for two people to have consanguinity >= 1? ) < 1473543275 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ACTION . o O ( Wait, no, I mean >0.5. Obviously =1 is clones (or identical twins), greater is impossible ) < 1473543364 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Has anyone developed the field of love trigonometry? < 1473543563 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hppavilion: I guess the guys on TvTropes probably have < 1473543575 0 :fizzie!?@? PRIVMSG #esoteric :hppavilion[1]: I think possibly dotted red at top is an in-law sibling (a stepbrother in this case). < 1473543584 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :fizzie: Ah < 1473543606 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :@messages < 1473543729 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :wob_jonas: They have http://tvtropes.org/pmwiki/pmwiki.php/Main/TriangRelations, which basically just describes all possible 3-node digraphs (with no loops (but yes cycles), repeated edges, or isolated nodes) < 1473543756 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :But that's more love-graph-theory than love trigonometry < 1473543848 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(They did it pretty well, too, by making sure to exclude isomorphic triangles and such, as they're the same situation where each person is someone else) < 1473543885 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :When I think of a love triangle, I generally think of triangle #2, which is also called the "Love Cycle" < 1473543915 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Don't you know that All The Tropes is more better than the TV Tropes? < 1473543935 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :`? All The Tropes < 1473543941 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :A card game where you win if you collect *all* of the tropes. < 1473543955 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: LIES < 1473543966 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Type #3 (a War Scenario) is the traditional kind < 1473544014 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :They are not lies < 1473544239 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 250 seconds < 1473544392 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, tis-100 dataflow is a bit annoying, but I found the TIS-NET directory (oh no...) < 1473544862 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :is that the second set of stages? < 1473544876 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :Hmm < 1473544891 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1473545000 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well there's the initial 5x5 segment map... and right now that looks like another of those indeed < 1473545069 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and I'm still missing two programs for the initial map < 1473545527 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :Which ones? I think I'm missing one < 1473545546 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :exposure mask viewer and sequence sorter < 1473545581 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :Right, I don't think I implemented the sort < 1473545582 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should get that game running on my new computer. < 1473545608 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :I should get steam working again < 1473545611 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the latter is tedious, and the former requires juggling four values... need to try it when I'm not so tired < 1473545633 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :I should also add you on steam probably < 1473545719 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e doesn't do adding or steam < 1473545735 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or so I heard. < 1473545772 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that's mostly true. (I have a community-free, friendless, steam account) < 1473545813 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and I've been up for 17 hours, good night < 1473545824 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :Ah < 1473545832 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :'night, int-e < 1473546054 0 :fizzie!?@? PRIVMSG #esoteric :I'm missing 'sequence mode calculator' still, it seems. < 1473546076 0 :fizzie!?@? PRIVMSG #esoteric :Everything else in both things are nominal. < 1473546090 0 :fizzie!?@? PRIVMSG #esoteric :I think I had some pretty awful solutions for some stuff, though. < 1473546155 0 :fizzie!?@? PRIVMSG #esoteric :Exposure mask viewer was pretty simple, I think. < 1473546190 0 :fizzie!?@? PRIVMSG #esoteric :But my sequence sorter is something really crufty. < 1473546291 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa whoa whoa < 1473546308 0 :fizzie!?@? PRIVMSG #esoteric :8 nodes and 91 instructions; my one friend on the list has 4 and 57, respectively. < 1473546489 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Read error: Connection reset by peer < 1473546492 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My solutions are embarrassing. < 1473546500 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should jam some more later. < 1473546504 0 :fizzie!?@? PRIVMSG #esoteric :That's how I feel about mine. < 1473546558 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1473547203 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Ping timeout: 264 seconds < 1473547395 0 :augur!~augur@2601:640:8001:4222:529:2577:22c9:ed86 JOIN :#esoteric < 1473547666 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i have no idea what all that means < 1473547983 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg64dw17dked36v.ip6.access.telenet.be QUIT :Ping timeout: 250 seconds < 1473548534 0 :fizzie!?@? PRIVMSG #esoteric :It's a game. < 1473548542 0 :fizzie!?@? PRIVMSG #esoteric :http://www.zachtronics.com/tis-100/ < 1473549875 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-xevsifijvsiacjjt QUIT :Ping timeout: 260 seconds < 1473550012 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-taijjlcweqkjrwmg JOIN :#esoteric < 1473550213 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 < 1473550302 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1473550496 0 :Melvar`!~melvar@dslb-178-012-189-009.178.012.pools.vodafone-ip.de JOIN :#esoteric < 1473550579 0 :MoALTz!~no@78-11-247-26.static.ip.netia.com.pl QUIT :Quit: Leaving < 1473550669 0 :Melvar!~melvar@dslb-178-012-189-009.178.012.pools.vodafone-ip.de QUIT :Ping timeout: 260 seconds < 1473550711 0 :Melvar`!?@? NICK :Melvar < 1473550948 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :I have tried things and failed to figure out how to make a add-on for Node.js < 1473550988 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I auditioned for a web video series and got a part! < 1473551043 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :There is FFI, but that is slow < 1473551051 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think now I'm going to bed < 1473551113 0 :carado!~carado@2a01:e34:ec1e:2390:8341:b3f5:2d6:41fa QUIT :Ping timeout: 260 seconds < 1473551114 0 :carado!~carado@2a01:e34:ec1e:2390:8341:b3f5:2d6:41fa JOIN :#esoteric