00:01:32 -!- boily has joined. 00:01:39 -!- ocharles has quit (Ping timeout: 260 seconds). 00:03:24 -!- dingbat has quit (Ping timeout: 260 seconds). 00:05:28 Idea: Read every book in http://www.ala.org/bbooks/frequentlychallengedbooks/classics 00:08:00 Some of those books are good. 00:08:23 The fact that Fahrenheit 451 is on http://www.ala.org/bbooks/top-100-bannedchallenged-books-2000-2009 (or really on any banned/challenged book list at all) is just an embarrassment to the human race 00:09:03 Personally, I think 50 Shades of Grey should be part of the curriculum in English classes 00:09:13 Specifically, as an example of bad writing 00:09:15 As an example of how not to write? 00:09:18 ^5 00:09:48 Is it bad writing? 00:10:00 I haven't read it. 00:10:07 Wow 00:10:27 shachaf: 50 shades of grey is the most terribly-written book known to man 00:10:35 It's literally bad twilight fanfiction with the names changed 00:10:36 shachaf: Yes, it's modified Twilight fan fiction, and the writing quality is... about what you'd expect of that. 00:10:49 I wouldn't say it's the most terribly-written book known to man, because it's not. 00:10:53 I just found the website for my school library 00:11:01 pikhq: I'm pretty sure it is 00:11:12 You should read more, then. 00:11:17 pikhq: Far better books than it aren't even published because they're so terrible 00:11:38 It's a wikispace, and it is an attrocious website 00:12:21 It has a bunch of picture-links to resources with absolutely no organization 00:12:27 That doesn't really mean much though. Particularly as the reason it got formally published has nothing to do with its assessed quality. 00:12:32 What's a good book I haven't read? 00:12:36 It was initially *self* published. 00:12:42 shachaf: What books have you read? 00:12:46 A few. 00:12:50 A book publisher picked it up because it was fairly successful after that. 00:13:14 shachaf: The Cthulhu Mythos is pretty good, but it's more a bunch of short stories than one big book 00:13:41 I'd put a link to the library website here, but that would give people which high school I go to 00:13:44 Though to be fair 00:13:49 I think people can guess. 00:13:51 boily: Do you already have my address? 00:14:05 I haven't read 50 shades 00:14:10 But quite honestly, it can't possibly be considered worse than Atlanta Nights (by Travis Tea). 00:14:16 is it worse than My Immortal? 00:14:45 I checked out the website of my former high school, and it's now an IIS7 "Welcome" page. 00:14:57 I should make a rule that everyone I know can give me one book recommendation, which I'll read with an SLA. 00:15:00 -!- oerjan has joined. 00:16:10 Oooh, my school library has a copy of Mein Kampf 00:16:27 `? the question 00:16:27 The The Question is the fundamental mystery of #esoteric, and boily is its master. 00:16:41 `` rgrep 'body weigh' wisdom quotes 00:16:42 quotes: btw, ^v, what are your approximate geographic coördinates and body weigh? <^v> 300 and USA nice to see that ^v is keeping with the spirit of the channel by providing completely useless answers to the question. 00:16:51 Damn, I can't place a hold because I don't know how to log in 00:17:00 It seems that they nowadays have an actual second-level .fi domain, instead of being a fourth-level domain. 00:18:25 There's a section for the library, but I guess not a database thingie, just a manually updated list of new acquisitions and periodicals. 00:20:17 ...wow 00:20:28 I just checked the wikipedia pages for John and Hank green 00:20:48 John is 39, full name John Michael Green 00:20:57 Hank is 36, full name William Henry Green II 00:21:24 But... wait 00:21:35 Huh 00:21:56 Their father isn't named William (or, for that matter, Henry. He's named Mike, in fact) 00:22:09 So why is Hank a II? 00:22:14 helloily. what happened after Thor threw lightning at his father Odin? 00:22:18 Is II different from jr? 00:22:21 -!- ocharles has joined. 00:22:41 oerjan: I think boilies idling 00:23:06 Taneb knows the kings of England, so he can probaly tell you. 00:23:07 * hppavilion[1] . o O ( What is the plural of boily? ) 00:23:47 hppavilion[1]: idling is evil. banish idling now. 00:24:01 hppavilion[1]: I think you can be a II if you're reusing a name from a non-immediate ancestor. 00:24:04 oerjan: Wasn't ais523 idling the other day? 00:24:08 Also, define idling 00:24:35 I think it's named after Eric Idle. 00:24:36 * oerjan swats hppavilion[1] for horrendous possessive formation above 00:24:48 fizzie: Ah. non-immediate as in not parent, or non-immediate as in not any tier of n-parent? 00:25:09 oerjan: "boily's idling" wouldn't be possessive 00:25:14 It's a contraction 00:25:19 darn. 00:25:28 So, if anything, I get swatted for inability to use contractions, not possessives 00:25:31 * oerjan swats himself -----### 00:25:31 https://en.wikipedia.org/wiki/James_II_of_England was James II in England and Ireland, and James VII in Scotland. 00:25:45 shachaf: Ah, yes 00:25:48 hppavilion[1]: it's incorrect in any case 00:26:00 oerjan: or is it 00:26:02 prescriptivist 00:26:12 you're like what's-his-name's english teacher 00:26:29 i don't know what's-his-name hth 00:26:44 shachaf: his name is hppavilion[1] 00:27:01 also, if boily misses this it will be the second time in recent memory. i may have to stop greeting him. 00:27:08 UNACCEPTABLE 00:27:22 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAH! 00:27:32 oerjan: i can accept it hth 00:27:36 Oh there you are boily 00:27:41 boily: Do you know my address? 00:27:55 hppavellon[1]! no, I do not. 00:28:01 Oh 00:28:04 I thought you did 00:28:16 boily: Do you know my approximate geographical coördinates and body weigh? 00:28:36 Anyway, it's well-known which city hppavilion[1] is in. 00:28:45 Or at least which airport hppavilion[1] is near. 00:28:52 (wait, was boily the one who knows where everybody lives? I'm pretty sure e is, but not certain) 00:28:57 shachaf: Oh, right, you know my airport 00:29:03 If you know that, you can figure out my school 00:29:14 @metar PANC 00:29:15 PANC 262253Z VRB06KT 10SM SCT024 BKN200 17/13 A3018 RMK AO2 SLP222 T01720133 00:29:18 So here's the library link: http://easthighlibrary.wikispaces.com/ 00:29:19 boily: *cough* 00:29:20 @metar KOAK 00:29:21 KOAK 262253Z 29007KT 10SM FEW020 22/14 A2994 RMK AO2 SLP137 T02220144 00:29:55 @metar EGLL 00:29:56 EGLL 262320Z AUTO 35002KT 9999 NCD 17/10 Q1020 NOSIG 00:30:00 @metar KORD 00:30:01 KORD 262251Z 07008KT 10SM SCT150 BKN200 BKN250 24/16 A3011 RMK AO2 SLP194 T02440156 00:30:03 It was 30+ just the other day. 00:30:06 @metar KPHX 00:30:06 KPHX 262251Z 06007KT 10SM SCT090 SCT120 BKN250 36/12 A2982 RMK AO2 SLP076 CB DSNT SE T03610122 00:30:10 Absurd as usual. 00:30:48 everyone knows phoenixes like it hot 00:31:54 not only steamy but burning hot, eh? 00:31:54 fizzie, clearly 00:32:01 The solution to prevent kiseki from messing up the hill 00:32:06 set up a script to auto-update it. 00:32:28 so, who is the current brainfuck hill-billy? 00:32:39 What the fuck!? 00:32:49 How could ANYBODY try to get A Wrinkle in Time banned!? 00:32:57 Pick one: 00:33:01 - Religion 00:33:02 - Bigotry 00:33:13 Explains 95% of banned lists probably 00:33:24 Lymia: arent those two synonyms for each other? 00:33:39 ^ Example of bigotry 00:33:51 A Wrinkle in Time was pretty religiously flavored, as i vaguely recall. 00:34:02 someone probably didn't like the theology. 00:34:51 oerjan: I think it was 00:35:03 But it's a really bizarre book, in my memory 00:35:27 yeah 00:35:54 * Zarutian sings under his breath "Barnatrúnni er ég löngu búinn að gleyma..." ("Childish-religion|-faith|-belief have I long forgotten.." is probably a close English translation) 00:36:13 religious sci-fi/fantasy, essentially. 00:36:21 ...the hunger games has religion? 00:36:46 Zarutian: Oooh, what language? 00:36:52 hppavilion[1]: Icelandic 00:37:00 Oh :/ 00:37:07 Zarutian is the icelandic i thought i remembered yesterday 00:37:16 Zarutian: What's it called? 00:37:52 hppavilion[1]: it is a verse from a lyrics of a song written by Megas. 00:38:07 Hmm 00:38:11 Has the webcomic SSSS been linked in here? 00:38:22 http://www.guitarparty.com/is/song/thu-bidur-allavegana-eftir-mer/ 00:38:25 hppavilion[1]: good tune and lyrics composer. Nothing special as a singer. 00:38:50 FireFly: Twice per my logs. 00:39:03 FireFly: http://www.sssscomic.com/comic.php?page=195 (by me) and http://www.sssscomic.com/comic.php?page=479 (by int-e). 00:39:14 Ah 00:39:15 FireFly: I read it. Svo margt sem stingur rökfræðilega séð með hverning íslendingar myndu bregðast við. 00:39:21 I was just thinking a lot of people in here might enjoy it 00:39:50 I linked the former just because it described Finnish as "absolute gibberish". 00:39:55 Also cats. 00:40:01 I feel bad for having to run that through google translate, Zarutian :( 00:40:16 also lol, it (obviously incorrectly) translated íslendingar as "americans" 00:40:26 or "American people" rather 00:41:04 ...what does "baby talk c1823" mean? 00:41:07 FireFly: the funny thing that there are quite a few Icelanders working for Google. Yet the translation provided by Google Translate is still pretty inaccurate 00:41:20 Oh, c = circa, I think 00:41:29 Something tells many of them aren't working in Mountain View. 00:41:36 Presumably the Icelandic office(s) aren't working on GT then 00:41:42 ♫ Har du kvar din barnatro ifrån hemmets lugna bo ♫ 00:42:00 There's a bunch of us Finns at Google as well, and Translate's not so hot for Finnish either. 00:42:19 Finnish TTS recently got a new voice, though. 00:42:34 fizzie: Dammit, this is going to be one of those really good ones that I'll have to keep reading, isn't it? 00:42:53 Firefly: GT uses statsticall models learned by seeing two versions of the same text. Problem is that often English text written by Icelanders is nothing like Icelandic text in structure. 00:42:59 hppavilion[1]: All I can say is I keep reading it. There's a bunch of backstory though. 00:43:05 Ah 00:43:33 hppavilion[1]: it's really good, lots of story for sure 00:44:50 ?metar CYVR 00:44:50 CYVR 262300Z 24004KT 30SM SCT210 OVC250 25/13 A2983 RMK CI3CS5 SLP104 DENSITY ALT 1200FT 00:45:08 FireFly: and it applies to stylometry too. One research on such had an interactive page where you answer questions regarding word use. I got 'Ebonics' when I actuality I was trying for Neuromancer Sprawlese 00:45:35 ...wait, is http://www.sssscomic.com/comic.php?page=195 accurate to the real world or is in-universe backstory? 00:45:59 it's accurate in real life too 00:46:04 -!- ocharles has quit (Remote host closed the connection). 00:46:04 -!- zgrep has quit (Remote host closed the connection). 00:46:11 Ah 00:46:22 It neglects to mention that spoken Danish sounds like spoken Swedish with a potato in mouth. 00:46:25 But other than that, sture. 00:46:37 fizzle: so damn true it hurts 00:46:41 s/st/s/ 00:46:48 ...OK Denmark (daneland?) 00:46:59 as are the maps you'll see, in that the names and positions of cities and other landmarks are accurate 00:47:02 Your word for "island" is just ø 00:47:04 That works 00:47:13 Sure 00:47:44 There's a number of Finnish islands named "ö". 00:47:50 There's a swedish sort of poem/short story written in dialectal swedish that contains the sentence fragment 'å i åa ä e ö' 00:47:59 And that number's a large number. 00:48:01 https://sv.wikisource.org/wiki/Dumt_fôlk 00:48:07 hppavilion[1]: in Icelandic it is eyja. But for islands having names they have the -ey suffix 00:48:16 hppavilion[1]: Yes, Stand Still Stay Silent is fantastic. 00:48:25 Markets are too good 00:48:35 hi shachaf 00:48:39 FireFly: reminds me of "á á á á" which is actually an proper sentence 00:48:42 hppavilion[1]: "å" is Swedish for river, as well. 00:48:43 HireFly 00:49:11 "å i åa ä e ö" "och i ån är en ö" "and in the river there's an island" 00:49:12 Maybe pikhq will make it happen. 00:49:33 fizze: pronounced like au in Shaun? so it is not much diffrent from á? 00:49:36 (dialectal, standard swedish, english) 00:49:52 FireFly: Police police police police police police police police police police police police police police 00:50:19 police police police 00:50:34 pooch police 00:50:34 shachaf: Yeah, sure 00:50:39 Zarutian: I guess. It's the IPA /o/. 00:50:45 maudits sites coréens de pas foutus de marcher sur le sens du monde que je me suis repris à je sais pas combien de fois pour booker juste un ***** de vol intérieur tsé veut dire messemble c'est pas compliqué AAAAAAAAAAARGH! 00:50:53 buffalo buffalo buffalo buffalo buffalo buffalo buffalo buffalo 00:51:02 (finally managed to book a domestic flight. fungot dammit was it difficult.) 00:51:02 boily: i worked on my languages for ages on the console 00:51:03 Zarutian: i thought icelandic á was a diphthong? 00:51:15 John while James had had had had had had had had had had had a better effect on the teacher 00:51:27 hppavilion[1]: where were we again? something to do about knowing your adress? 00:51:32 hppavilion[1]: I have a better one. 00:51:38 The name for å in the Finnish alphabet is "Swedish o" (ruotsalainen o), because the Finnish 'o' grapheme generally means that sound. 00:51:41 boily: Not sure? 00:51:42 oerjan: you are probably thinking of é 00:51:43 John while James had had had had had had had had had had had had had had had had had had had had a better effect on the teacher 00:51:54 That whole sentence is ridiculous. 00:51:58 oerjan: which was from je 00:52:35 John while James had had John while James had had had had had had had had had had had a better effect on the teacher had had John while James had had had had had had had had had had had had had had had had had had had had a better effect on the teacher John while James had had had had had had had had had had had had had had had had had had had had a better effect on the teacher had had a better effect 00:52:40 shachaf: How many hads had james had had had? 00:52:41 on the teacher 00:53:07 alercah: Drop the befinning and end 00:53:16 oerjan: which means jeg get skirvat nokkud vel skiljanlegan teksta fyrir norraent folvk 00:53:17 Of the ones inside 00:53:23 John while James had had had had pooch pooch had a better effect on the teacher 00:53:25 shachaf: it's funny, but sort of a bit cheaty in that some of them are quoted 00:53:26 hppavilion[1]: that's the joke 00:53:38 the buffalo one is fun too 00:53:41 FireFly: Right. And moreover one of them is implied to be wrong. 00:53:48 Indeed 00:53:49 oerjan: (and that was not Icelandic but servral languages cooked together) 00:54:10 "Kokoo kokoon koko kokko! Koko kokkoko? Koko kokko." (and many similar variants) is the typical Finnish example of that sort of thing. 00:54:15 Jame while John had had had had had had had had had had had had had had had James had had had had had had had had had had had had had had had had had had had had had James had had had had had had had had had had had had had had had had had had had had had had had a better effect on the teacher 00:54:25 Whoops 00:54:41 Are you trying to fix the sentence? 00:54:48 You know what, let's just say "had" as many times as possible and call it grammar 00:55:00 ^ 00:55:10 Is sarcastic sign language possible? 00:55:25 John, while James had had 'had', had had 'had had'. 'had had' had had a better effect on the teacher 00:55:40 Or something thereabout 00:55:40 I have seen that before in a book 00:55:47 Another one is "kas vain, sanoi kasvain, ja kasvoi vain, sillä vain kasvain voi kasvaa noin vain." 00:55:49 Zarutian: https://en.wikipedia.org/wiki/Icelandic_orthography agrees with me 00:55:51 And, that is the answer they had given. 00:55:54 I can't be bothered to see if that is the right amount of 'had's 00:55:55 hppavilion[1]: had in two in a row always looks strange to me because I think I made a mistake but it means "hafði haft" in Icelandic 00:56:20 Same for me 00:56:37 FireFly: You spoiled the illusion :( 00:57:02 It's nice to know why it is what it is, though 00:57:26 oerjan: I do not read IPA so I am not sure but it is one single sound to me instead of two 00:59:06 (I remember in the book they had eleven "had"s) 01:00:18 FireFly's book, while zzo38's book had had had had had had had had had had had had had had had had had had a better effect on the channel. 01:00:50 Zarutian: well i think english people have the same problem recognizing many of their diphthongs as diphthongs. 01:01:12 *native english-speaking 01:01:31 oerjan: perhaps I speak it so quickly that I do not notice 01:01:55 I was a bit surprised to learn that native swedish (which is to say, swedish, sans some relatively recent loanwords) has no diphtongs at all 01:02:01 http://www.sssscomic.com/index.php?id=characters lists... kitty 01:02:02 err, in the standard dialect, I mean 01:02:04 oerjan: but the au diphtong is fun one to explain to tourists 01:02:10 "Is a cat. Meow. Meow. Meow." 01:03:07 Age: 1; Nationality: World; Area of Birth: The silent world(?); Profession: Cat; Languages: Meow 01:05:52 I love the flag cheat sheet xD 01:05:57 Nordic crosses are kind of confusing 01:06:20 btw talking about IPA and such. Do any of you know of a speach to IPA strings apps that do not require net connection? 01:07:26 hppavilion[1]: I think the size of each band and rectangle are the same across all the nordic flags. It is just the colours and where they go that changes 01:08:04 Zarutian: Yeah, that's a thing 01:08:57 Random idea. 01:09:04 #esoteric micro Redcode hill 01:09:11 Maximum program size limited by IRC lines 01:09:28 hppavilion[1]: but you should look into the heraldic crests of the countries. They are pretty neat 01:12:58 hmm 01:16:01 Zarutian: the size of the "inner" lines/border between cross and fields might vary? 01:16:08 between say the norwegian and icelandic flags 01:16:37 FireFly: a bit yes but not that much that it is visually distinctive 01:16:45 * FireFly nods 01:17:22 I probably could dig out the exact ratios specified in the flaglaws if you want 01:17:32 There are nordic cross flags outside of the country ones, too, like the red-and-yellow for scania and the black-and-white (I think it was) for fennoswedes? 01:17:44 hmm, that question mark should've been inside the parenthesis 01:18:15 I just know the Finnish one, which has an aspect ratio of 18:11 with a cross thickness of 3 units. 01:18:33 (And the left edge of the vertical bar at x=5.) 01:18:40 Oh, no, the fennoswedish one is basically identical to the scanian one 01:18:52 apparently there is a gallery on https://en.wikipedia.org/wiki/Nordic_Cross_flag 01:20:21 The Swedish one seems to be narrower than the finnish one. 01:20:46 Yeah, that's curious 01:21:01 5:2:9/4:2:4 vs. 5:3:10/4:3:4. 01:21:33 I guess it's the same thing as with any other thing that should be standard but isn't. 01:23:10 And Denmark does 3:1:(4.5-4.25)/3:1:3, apparently. 01:23:39 s/4\.25/5.25/ 01:25:51 As for the heraldry, obligatory reference: http://satwcomic.com/coat-of-arms 01:26:40 (Come on, guys, the sword is *behind* the head, not through it.) 01:27:28 @tell APic Why, oh why, did not i take the blue Pill? <-- you did. it's just that it makes you think you took the red one hth 01:27:29 Consider it noted. 01:28:57 ...swedish is projected to include 600000 words 01:29:50 The Big Swedish Dictionary of Bigness is still being worked on, and will be done in 2017 01:30:23 Den Stora Svenska Storordboken 01:30:59 oerjan: reminds me of going to the automatic ATM machine 01:31:42 And typing in your personal PIN number. 01:31:46 oerjan: oh, or are storord big words? (meaning long ones such as the Icelandic) 01:33:09 ( Hellisheiðarvegavinnuverkamannakaffiskúrslykklakippunaglhetta ) 01:33:10 (input):1:63: error: expected: "#", 01:33:10 "$", "&", "&&", "&&&", "*!>", 01:33:10 "*", "***", "*>", "*>|", "+", 01:33:10 "++", "+++", "-", "->", ".", 01:33:10 "/", "/=", ":+", ":-", "::",↵… 01:33:21 thank you, idris-bot 01:33:41 Zarutian: that was the intent, although it was a joke 01:33:50 Why doesn't https://en.wikipedia.org/wiki/List_of_last_known_speakers_of_languages include English? 01:34:05 hppavilion[1]: it changes too fast hth 01:34:17 Ah. 01:34:28 hppavilion[1]: violates the anti retro causal laws that will be enacted sometime in the future 01:34:37 Zarutian: Ah 01:34:48 But the correct answer would be Teddy Roosevelt 01:35:33 (Uncyclopedia needs to include mundane pages- like "List of American Fertilizer Manufacturers", which would include Donald Trump as the world's largest producer) 01:36:13 hppavilion[1]: you could make it hth 01:36:21 oerjan: I could 01:36:37 although they may have some anti-politics rule for all i know 01:36:42 . o O ( Can one count as a native speaker of a language if one's parents raised one speaking it, but it was a second language for both of them? ) 01:36:47 oerjan: Almost definitely not 01:36:51 * oerjan hasn't looked at uncyclopedia in ages 01:37:03 oerjan: would not want to see the politics on that anti-politics rule 01:37:42 hppavilion[1]: if not, then there are no native hebrew speakers hth 01:37:58 because no one spoke it natively for a long period 01:38:00 hppavilion[1]: native speaker of a language must learn it as "móðurmál", meaning the first language the learn to speak 01:38:19 Yes 01:38:24 Even if they learn to speak it badly? 01:38:43 The Big Swedish Dictionary of Bigness is still being worked on, and will be done in 2017 ← SAOB? 01:38:54 FireFly: its? 01:39:02 huh? 01:39:04 hppavilion[1]: incidentally, that's how creole languages are created - children of people speaking pidgins intuitively flesh out the language until it becomes a real one 01:39:15 oerjan: Oooh 01:39:16 I was wondering if it's SAOB you're referring to, or something else 01:39:21 FireFly: I think so 01:39:24 =its 01:39:31 Aha 01:39:41 "The dictionary has approximately 450,000 main entries, and is expected to be complete around 2017." oh wow, feels weird 01:39:54 (that it is almost finished, that is) 01:40:45 and then there are conlangs such as esparanto or lojban (the latter is good for meta lingustic discussions and when you want to winnow away uninentional ambigiouty) 01:40:48 Fun Fact: Wikipedia is actually plural, referring to the collection of pages (wikipedes) found on the site. 01:42:11 hppavilion[1]: so? I thought it was obvious from the stem -pedia from encyclopedia. (Which means literally encircling (all topics) pages aiui) 01:44:21 "An accident, also known as an unintentional injury, is an undesirable incidental and unplanned event that could have been prevented had circumstances leading up to the accident been recognized, and acted upon, prior to its occurrence." 01:44:29 Wait, so you can't plan an accident? 01:44:41 (also, is it necessarily undesirable?) 01:45:06 I was writing this program http://zzo38computer.org/fossil/tavern.ui/artifact/7c71bcf80cfcdf8d and I wanted to think of what should be the best algorithm for figuring out sharing meaning codes. I did think of a few things but don't know what would be best. 01:51:00 Hillary Clinton 01:51:08 Predecessor: Barack Obama 01:51:10 Successor: Herself 02:02:55 Can you really be your own successor? 02:06:32 There's a station called "Clinton" in Chicago on the Green Line 'L' train, the train info signs say "Clinton is next" when they're approaching. 02:06:44 (Fortunately the L doesn't stop at Trump Tower.) 02:08:18 fizzello 02:08:37 you werent in chitown last i heard? 02:08:53 I visited there last week, we had a big team thing. 02:08:58 At least I think it was last week. 02:09:10 lel 02:09:30 chicagos a great place. why not just move there? 02:10:07 It's in the United States of Amber. 02:10:24 I did like the skyline, but I think I liked visiting more than living there. 02:10:48 Here's a boat photo: https://goo.gl/photos/AhRMjpgFKCMSVYEQ6 02:12:29 it seems to insist i log in, after showing the photo for a short moment 02:12:35 Hrm. 02:12:41 There's probably some sort of a better link. 02:13:14 But I don't know how to get one. 02:13:46 -!- Sprocklem has quit (Ping timeout: 244 seconds). 02:15:13 what all did you eat there fizzie 02:15:21 oerjan: https://zem.fi/tmp/c/ 02:15:31 You got a bonus photo as well. 02:15:38 i have no idea what us of amber means 02:16:11 I ate at a place where they just served various bits and pieces of meat. 02:16:32 quintopia: look up amber alerts 02:16:40 what like a chiarrascuro? 02:16:57 Zarutian: did someone go missing in chi recently? 02:17:47 quintopia: Something like that. It was at ZED451. 02:17:51 quintopia: no? I am not sure by what you mean by chi. Chicago? 02:18:05 Also I ate a chi-style hot dog and chi-style deep dish pizza, because that seemed to be the thing to do. 02:18:36 And I picked "Amber" as a random-ish word starting with "Am", as a reference to the Zelazny books. 02:18:51 oh 02:19:05 did you make it to a 2nd city show? 02:19:18 fizzie: thanks 02:19:33 -!- boily has quit (Quit: CELTIC CHICKEN). 02:19:43 quintopia: No, because that was a mutually exclusive organized option with the Chicago Architecture Foundation river cruise. 02:20:15 ah oh well 02:20:16 -!- PinealGlandOptic has quit (Quit: leaving). 02:20:54 I didn't do that much sightseeing, just walked around Millennium Park and the lakefront area a bit. 02:21:04 i didnt even realize river cruises were a thing. the chi river seems...a bit cramped 02:21:06 Caught a Tauros. 02:21:18 millennium park is cool 02:21:32 near where the segway and bike tours leave 02:21:45 and the cloud sculpture 02:22:12 I have several photos of the Bean, it looks pretty weird from below what with all the reflections. 02:23:42 The week before that I was in Cambridge, saw the MIT Museum and the Mount Auburn cemetery. They were good places to visit as well. 02:23:54 Though it was the most car-oriented cemetery I've ever been at. 02:24:13 (Admittedly quite big and hilly. But still.) 02:24:45 -!- ocharles has joined. 02:29:43 -!- hppavilion[2] has joined. 02:30:24 -!- centrinia has quit (Quit: Leaving). 02:33:00 <\oren\> What if the trumpers form a new confederacy? 02:33:14 <\oren\> and then win? 02:33:40 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 02:33:43 <\oren\> then hillary clinton's successor will be noone, like Gorbachev, and Nicolas II 02:35:58 <\oren\> As "PResident of the Soviet Union", Gorbachev had no predecessor, and no successor 02:36:09 -!- dos has joined. 02:37:51 gah help me promote EPNG https://gist.github.com/SoniEx2/60a025d5901f67b2e549dca4a0ba7d46 02:38:04 I wanna do this to piss ppl off mostly, and make esolangs a bit more mainstream 02:38:11 well uh 02:38:17 making esolangs more mainstream would piss ppl off 02:38:19 so yeah 02:39:33 -!- zzo38 has quit (Ping timeout: 240 seconds). 02:39:52 -!- hppavilion[2] has quit (Ping timeout: 240 seconds). 02:43:17 -!- zzo38 has joined. 02:44:55 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:51:09 -!- dos has changed nick to hppavilion[1]. 02:51:30 Hm, is 4 the only number where len(name(n)) = n? 02:51:46 3 is 'tre' in swedish 02:52:01 Ah, yes 02:52:08 and 4 is 'fyra'; those are the only two though 02:52:12 Making people pay for a course on how to use Linux is just wrong 02:52:17 well, at least the only digits 02:53:04 FireFly: Maybe a number for which the name is seven digits shorter? 02:53:16 why precisely seven? 02:53:16 (I'm only really counting letters- dashes and spaces are excluded) 02:53:32 FireFly: Wait, no, eight 02:53:38 (same qustion) 02:54:00 FireFly: "n1 e2 g3 a4 t5 i6 v7 e8" 02:54:22 ah 02:54:54 APNG: generally doing something only to piss people off seems ill-advised 02:55:34 FireFly, I wanna piss ppl off *through* making esolangs more mainstream 02:55:52 I personally think esolangs should be more mainstream 02:55:56 APNG: What is EPNG? 02:55:59 I'm not sure if they should be 02:56:09 hppavilion[1]: they linked a spec up there 02:56:16 FireFly: Yeah 02:56:22 FireFly: But reading is hard 02:57:14 APNG: Is the point that it looks like a legit language with a buzzwordiful description, so businesses will make their use it to be more sleek and modern and popular with the youth, but the language itself is bizarre and impossible to understand? 02:57:57 FireFly: I can't see this spec 02:58:11 Is it the gist? because it doesn't look like a real spec, just a thought 02:58:26 Maybe it was before I showed up? 02:59:12 APNG: my first question reading the spec was "what does 'executable data' mean? native machine code? embedded ELF/exe? shellscript? undefined?" and my second one was "where did that shebang line in the example come from?" 02:59:40 FireFly, it's an embedded file 02:59:55 maybe it should mention that somewhere :P 02:59:58 the format of such file is not specified 03:00:12 because different systems use different formats 03:00:35 It simply says it contains executable data, doesn't seem to mention 'file' at all except at the end in the context "PNG files" 03:00:42 I AM CONFUSED 03:00:47 PLEASE UNCONFUSE ME 03:00:52 hppavilion[1]: well the gist is called "EPNG spec" 03:00:56 Oh 03:01:10 So it is 03:02:17 APNG: This is horrifying 03:02:26 hppavilion[1], why? 03:02:43 APNG: I don't know 03:02:52 APNG: Is the point that it's a PNG containing an executable as well? 03:03:02 hppavilion[1], yes, that's the point 03:03:12 APNG: Oh, I... guess I see 03:03:17 I think I was thinking of it wrong 03:03:27 You /know/ the APNG will run an executable 03:03:35 It's not like it's a way to slip in viruses :P 03:03:37 (well...) 03:03:52 hppavilion[1], it's no more dangerous than .bat files 03:04:29 actually I'd say it's less dangerous than .bat files, because some servers are vulnerable to .bat files while no servers are vulnerable to .png files 03:04:31 Yes, I see that now 03:04:56 (except the ones that let you embed PHP in .png files, but those should burn anyway) 03:05:05 Oooh, andif looks fairly interesting 03:05:15 Wait, no, it isn't 03:05:53 You could just use a normal and 03:06:23 In the trivial use case, you just do 'if x and y: / block 1 / else: / block 2' 03:07:02 Oh, I missed block1/2/3 03:07:47 -!- zgrep has joined. 03:07:53 I only saw 2 and 3 and I read them as 1 and 2 03:08:07 This could be interesting, though the use case hasn't immediately come to mind 03:14:34 Oh look, obvious bullshit: http://www.bloomberg.com/news/articles/2016-08-25/standing-desks-are-coming-for-your-children 03:15:20 There was a statistically significant (by which we mean 5%, the bare minimum of significance) improvement in the BMI of kids using them in a 400-participant study over 2 years 03:15:49 The study was also done by a guy who makes standing desks for schools, but there's obviously no conflict of interest here. 03:18:39 * Zarutian is off to bed 03:18:47 -!- Zarutian has quit (Quit: Zarutian). 03:23:43 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 03:28:45 -!- Froox has joined. 03:32:08 -!- Jafet has joined. 03:32:30 -!- Frooxius has quit (Ping timeout: 276 seconds). 03:38:10 `` ls wisdom/wob* 03:38:11 wisdom/wob_jona 03:38:28 `` mv wisdom/wob_jona{,s} 03:38:30 No output. 03:46:50 -!- iconmaster has joined. 03:46:50 -!- iconmaster has quit (Client Quit). 03:56:31 [wiki] [[Special:Log/newusers]] create * Challenger5 * New user account 03:57:26 ooh a registration 03:58:25 `wisdom 03:58:26 2600//2600 Hz is the tone made by Captain Crunch's whistle. 03:58:41 `cat bin/howg 03:58:42 hoag "wisdom/$1" 03:58:58 `cat bin/hoag 03:58:59 hg log --removed --template "{desc}\n" -- "$@" 03:59:10 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=49650&oldid=49630 * Challenger5 * (+256) Introduced myself 03:59:19 yay! 04:00:22 -!- Frooxius has joined. 04:00:33 a person who can follow instructions! 04:00:41 it's amazing! 04:01:52 [wiki] [[Z]] https://esolangs.org/w/index.php?diff=49651&oldid=49069 * Challenger5 * (+68) 04:03:34 [wiki] [[InterpretMe]] https://esolangs.org/w/index.php?diff=49652&oldid=47069 * Challenger5 * (+44) Clarified some things 04:03:42 -!- Froox has quit (Ping timeout: 276 seconds). 04:04:59 `` hg log --removed quotes --template '{date(date)} {desc}\n' 04:05:01 Wed Aug 17 03:12:31 2016 +0000 sled quotes//1287s,I.*,[...] & [...], \ Tue Aug 16 20:47:38 2016 +0000 addquote I told someone to tell the queen to tell the prime minister to cancel the EU. \ Sun Aug 14 02:31:47 2016 +0000 addquote I couldn\'t help thinking that maybe if one considers the ramifications in 04:05:19 `` hg log --removed quotes --template "{date(date, '%Y')} {desc}\n" 04:05:20 hg: parse error: filter date expects one argument 04:05:27 http://fossies.org/linux/mercurial/mercurial/help/templates.txt suggests that that should work. 04:05:31 What's wrong? 04:05:38 Old hg version or something? 04:06:24 `` hg log --removed wisdom/tanebvention --template "{date|shortdate} {desc}\n" 04:06:25 2016-08-01 slwd tanebvention//s# w# metar, w# \ 2016-07-25 slwd tanebvention//s#Go,#Go, Windows 98,# \ 2016-07-15 sled wisdom/tanebvention//s/the/Fueue, the/ \ 2016-06-21 slwd tanebvention//s#p#Tanebventions, p# \ 2016-06-17 sled wisdom/tanebvention//s/ [(]math[)]/: math/ \ 2016-06-13 le/rn 04:06:26 mind you, it took em 3 tries. :( 04:06:34 [wiki] [[User:Challenger5]] N https://esolangs.org/w/index.php?oldid=49653 * Challenger5 * (+179) Created a user page. 04:06:36 That's doable, but I wanted a time as well as a date. 04:06:40 But maybe a time is excessive. 04:07:16 `mkx bin/doag//hg log --removed --template "{date|shortdate} {desc}\n" -- "$@" 04:07:17 bin/doag 04:07:35 `mkx bin/dowg//doag "wisdom/$1" 04:07:37 bin/dowg 04:07:40 `dowg 2600 04:07:41 2015-08-13 revert accbc9c5c7ec \ 2015-08-12 echo wisdom/* | shuf | head -n 10 | xargs rm \ 2015-06-07 learn 2600 Hz is the tone made by Captain Crunch\'s whistle. 04:07:49 [wiki] [[User:Challenger5]] https://esolangs.org/w/index.php?diff=49654&oldid=49653 * Challenger5 * (+1) 04:07:52 Good enough. 04:09:31 `8ball dowg? 04:09:31 Better not tell you now. 04:09:41 `8ball does outlook work good? 04:09:42 Without a doubt. 04:09:56 says you 04:10:00 `8ball What's up dowg? 04:10:01 My sources say no. 04:10:23 `8ball what's the outlook on pooches? 04:10:24 Yes. 04:10:31 `8ball says yes on pooches 04:10:32 It is certain. 04:11:02 `8ball QVIS·CUSTODIET·IPSOS·CVSTODES 04:11:03 Without a doubt. 04:11:26 pikhq: what's your attitude on pooches 04:11:37 I am a fan. 04:11:39 `8ball vs. pikhq 04:11:40 Cannot predict now. 04:11:43 An adamant fan at that. 04:12:03 `8ball QVOVSQVE·TANDEM·ABVTERE·PIKHQ·HACKEGONE·NOSTRA 04:12:04 Yes definitely. 04:12:16 darn, *NOSTRO 04:12:18 (i think) 04:14:03 -!- hppavilion[1] has joined. 04:14:28 A man known only as "Dean": "You're a revisionist" 04:14:36 Me: "You won't have said that in 50 years" 04:14:58 Even more visionary than a regular visionist. 04:15:05 -!- Froox has joined. 04:15:29 (True story) 04:15:53 (He didn't laugh though. I think he may have gotten his sense of humor surgically removed. Though he's also german, so...) 04:16:18 -!- Froo has joined. 04:16:44 itym "surgically revised" hth 04:17:13 Froo: Hoo 04:17:21 i do nazi what german has to do with it. 04:17:56 Are you this data type? data Froo f a = L a | B (Froo f (f a)) 04:17:58 What does "QVIS CUSTODIET IPSOS CVSTODES" means? 04:18:00 -!- Frooxius has quit (Ping timeout: 276 seconds). 04:18:37 zzo38: "Who will guard the guards themselves?" 04:18:55 who will pooch the pooches themselves? 04:19:19 -!- Froox has quit (Ping timeout: 244 seconds). 04:19:56 QVIS CANET IPSOS CANES 04:23:58 -!- Frooxius has joined. 04:24:38 // Please do not give it a custom ktyp or make it cool in any way 04:24:38 // whatsoever, because players are insane. Usually, not being dragged 04:24:38 // down by sanity is good, but this is not the case here. 04:25:48 -!- Froo has quit (Ping timeout: 276 seconds). 04:30:42 ppl care about sanity? 04:30:51 I know scientists and engineers don't 04:30:56 -!- Froox has joined. 04:31:11 Is there some categorical justification for Free? 04:31:15 It's kind of like a free monad. 04:31:52 -!- Kaynato has quit (Quit: Leaving). 04:33:10 shachaf: um, you mean it _isn't_ a free monad? 04:33:23 No, that would be data Free f a = L a | B (f (Free f a)) 04:33:36 -!- Frooxius has quit (Ping timeout: 276 seconds). 04:34:02 isn't that what Free is? 04:34:14 * oerjan confusel 04:34:31 ? 04:34:33 * oerjan also trapped himself, and starts whistling 04:35:03 shachaf: i thought that was how Free _was_ defined. 04:35:09 he had it coming / he had it coming / he only had himself to blame 04:35:23 Well, Free is defined by being left adjoint to the forgetful functor or something. 04:35:28 But Free and Froo are not the same type. 04:35:49 ...did you misspell a bit above 04:36:28 Oh, yes. 04:36:30 I meant Froo. 04:36:36 GOOD 04:36:38 Now I see why you were confusel. 04:37:02 it's all so clear. 04:37:06 except what Froo is. 04:37:45 based on the backscroll, it may be a free monad over the pingout functor. 04:38:00 "The method employed I would gladly explain, / While I have it so clear in my head, / If I had but the time and you had but the brain -- / But much yet remains to be said." 04:38:28 Oh, I was going to ask the what the pingout functor was. 04:39:34 named after the famous french category theorist Edouard Pingout 04:40:12 *Édouard 04:49:18 ...wait 04:49:57 Does n/m+o/p = (n+o)/(m+p)? I don't remember this being true, but I'm not sure 04:50:56 @check \n m o p -> (n/m+o/p) == ((n+o)/(m+p)) 04:50:59 *** Failed! Falsifiable (after 1 test): 04:50:59 0.0 0.0 0.0 0.0 04:51:16 @check \n m o p -> all (/= 0) [n,m,o,p] ==> (n/m+o/p) == ((n+o)/(m+p)) 04:51:19 error: 04:51:19 • No instance for (Show Test.QuickCheck.Safe.SProperty) arising from a use o... 04:51:43 @check \n m o p -> any (== 0) [n,m,o,p] || (n/m+o/p) == ((n+o)/(m+p)) 04:51:46 *** Failed! Falsifiable (after 2 tests and 3291 shrinks): 04:51:46 37.170373475361615 0.10771071128386465 -1.0578161875294434 -0.6073094205635062 04:51:50 Hmm. 04:51:54 @check \n m o p -> any (== 0) [n,m,o,p::Rational] || (n/m+o/p) == ((n+o)/(m+p)) 04:51:57 *** Failed! Falsifiable (after 2 tests and 6 shrinks): 04:51:57 (-3406868177675) % 2677559980947 4350826311759 % 167300784848 5458341750827 ... 04:52:03 What a mess. 04:52:37 What I'm getting here is that the only falsifications are either mathematically invalid or the result of computational limits 04:53:26 it shouldn't be that hard to falsify that equation since it's false almost everywhere... 04:53:42 No, it's false. 04:53:43 yeah 04:53:54 I was expecting better of QuickCheck. 04:54:01 1,2,3,4 should fail 04:54:02 > (\n m o p -> (n/m+o/p, (n+o)/(m+p))) 1 2 3 4 04:54:05 (1.25,0.6666666666666666) 04:54:11 :D 04:54:37 n/m+o/p = (np+om)/mp 04:56:11 i was going to suggest 1,2,1,2 04:56:24 heck, 1,1,1,1 04:56:37 > (\n m o p -> (n/m+o/p, (n+o)/(m+p))) 1 1 1 1 04:56:39 (2.0,1.0) 04:56:42 too easy hth 04:57:44 @check \n m o p -> any (== 0) [n,m,o,p::Rational] || (n/m+o/p) /= ((n+o)/(m+p)) 04:57:46 +++ OK, passed 100 tests. 04:58:22 easy indeed 04:58:25 -!- dingbat has joined. 04:58:30 @check \n m o p -> any (== 0) [n,m,o,p::Rational] || (n/m+o/p) /= ((n+o)/(m+p)) 04:58:33 +++ OK, passed 100 tests. 04:58:38 lambdabot: you're scow at shrinking hth 04:59:16 @check \n m o p -> any (== 0) [n,m,o,p::Integer] || (n%m+o%p) /= ((n+o)%(m+p)) 04:59:19 *** Failed! Exception: 'Ratio has zero denominator' (after 10 tests and 4 sh... 04:59:19 -7 -1 1 1 04:59:29 gah 04:59:51 Oh, right. 04:59:55 @nixon 04:59:56 Voters quickly forget what a man says. 04:59:57 @check \n m o p -> any (== 0) [n,m,o,p::Integer] || m+p == 0 || (n%m+o%p) /= ((n+o)%(m+p)) 05:00:00 *** Failed! Falsifiable (after 4 tests): 05:00:00 1 1 -1 1 05:00:09 oerjan: why not just add m+p to the list tdnh 05:00:34 @check \n m o p -> any (== 0) [m+p,n,m,o,p::Integer] || (n%m+o%p) /= ((n+o)%(m+p)) 05:00:37 +++ OK, passed 100 tests. 05:00:45 this is not going too well 05:00:53 You should use ==> instead of || 05:00:55 :t (==>) 05:00:57 STestable prop => Bool -> prop -> Test.QuickCheck.Safe.SProperty 05:01:13 i thought it wasn't working for you 05:01:21 Right, so you should figure out what went wrong. 05:01:43 @check \n m o p -> any (== 0) [m+p,n,m,o,p::Integer] ==> (n%m+o%p) /= ((n+o)%(m+p)) 05:01:46 error: 05:01:46 • Couldn't match expected type ‘Test.QuickCheck.Safe.SProperty’ with actual ... 05:01:54 @check \n m o p -> any (== 0) [m+p,n,m,o,p::Integer] ==> ((n%m+o%p) /= ((n+o)%(m+p))) 05:01:57 *** Failed! Exception: 'Ratio has zero denominator' (after 1 test): 05:01:57 0 0 0 0 05:02:00 There we go. 05:02:10 Except you need to invert the left side. 05:02:22 @check \n m o p -> all (/= 0) [m+p,n,m,o,p::Integer] ==> ((n%m+o%p) /= ((n+o)%(m+p))) 05:02:25 +++ OK, passed 100 tests. 05:02:30 ARGH 05:03:00 @check \n m o p -> all (/= 0) [m,p,m+p::Integer] ==> ((n%m+o%p) /= ((n+o)%(m+p))) 05:03:03 +++ OK, passed 100 tests. 05:03:10 Wait, you're checking /= 05:03:10 Is there a scientific journal covering the psychology of housecats? 05:03:15 So this seems fine. 05:03:25 @check \n m o p -> all (/= 0) [m,p,m+p::Integer] ==> ((n%m+o%p) == ((n+o)%(m+p))) 05:03:27 *** Failed! Falsifiable (after 1 test and 3 shrinks): 05:03:27 1 1 1 -2 05:03:37 shachaf: yes, i was wondering if the original was _always_ false. 05:03:50 @check \n m o p -> all (/= 0) [m,p,m+p::Integer] ==> ((n%m+o%p) /= ((n+o)%(m+p))) 05:03:52 +++ OK, passed 100 tests. 05:03:53 @check \n m o p -> all (/= 0) [m,p,m+p::Integer] ==> ((n%m+o%p) /= ((n+o)%(m+p))) 05:03:55 +++ OK, passed 100 tests. 05:03:57 shachaf: So did you figure it out? 05:03:59 it's false 200% of the time 05:04:02 Figure what out? 05:05:03 a/b+c/d =? (a+c)/(b+d) 05:05:22 a*1/b+c*1/d 05:05:29 Wait 05:05:35 Yes, everyone said it was false. 05:05:40 OK 05:05:40 Good 05:05:48 But apparently it's used in forensics 05:06:08 -!- Frooxius has joined. 05:06:12 For fingerprinting 05:06:15 And they've defined 0/0 05:07:24 -!- Froox has quit (Ping timeout: 276 seconds). 05:08:41 -!- tourdejord has joined. 05:08:53 pony does that, too 05:09:54 Oh my god... 05:10:04 "How many angels can dance on the head of a pin" 05:10:18 We've been reading it wrong this whole time 05:10:28 who's "we" 05:10:28 "How many angels are there who know a dance that can be done on the head of a pin" 05:10:32 oerjan: Us 05:10:42 > (\a b c d -> (a/b+c/d, (a+c)/(b+d))) 1 1 (-4) 2 05:10:45 (-1.0,-1.0) 05:10:59 oerjan: There are certainly special cases where it's true. 05:11:05 ooh 05:11:22 i concluded you needed a negative number 05:13:37 i never read that 05:14:40 (a+c)/(b+d) = a/b * b/(b+d) + c/d * d/(b+d), so it's a convex combination 05:14:57 thus in cannot be the sum unless negative numbers is involved. 05:15:27 Oooh, the 26th First Annual Ig Nobel Prize Ceremony is coming up in september 05:19:45 Ugh, when Abraham was looking for people in Sodom, he should have checked each person for goodness, then went before the LORD with the number he found, and asked whether that satisfies the baseline. Duh. 05:21:57 Do you know who win the prize? 05:22:32 Is ORD a category, like CAT? 05:23:20 hppavilion[1]: How should he have checked each person for goodness? 05:23:43 zzo38: Detect Evil, I think. 05:23:48 zzo38: However he did it originally. 05:24:37 hppavilion[1]: iirc abraham wasn't _in_ sodom hth 05:25:05 oerjan: I thought he went to Sodom to find the good people 05:25:24 Scowdom 05:25:24 Wait, no, it was Lot 05:25:49 In https://en.wikipedia.org/wiki/Who_Owns_the_Future%3F, Jarod Lanier rants about how Google gets a bunch of money from using the translations based on other peoples' work without paying them. He proposes an alternative system, where you source everything and a series of "micropayments" compensates people for anything new they put on the web. 05:26:27 (a) how does this affect FOSS and (b) As a person who has ever played a game ever, the phrase "micropayments" (similar to "microtransations") sets off alarms 05:26:38 "And Lot's wife, of course, was told not to look back where all those people and their homes had been. But she did look back, and I love her for that, because it was so human. So she was turned into a pillar of salt. So it goes." 05:26:44 kurt vonnegut is too good 05:30:03 -!- olsner has quit (Ping timeout: 240 seconds). 05:30:50 shachaf: Haven't seen this one. What is it? 05:31:04 The book is Slaughterhouse Five. 05:31:09 I think it was on your banned list earlier. 05:31:47 -!- oerjan has quit (Quit: ZZZ). 05:32:10 Ah 05:32:12 shachaf: It was 05:32:19 I wanted to read it already 05:32:25 It's good. 05:32:45 Wow, Project Xanadu is... eh 05:32:50 Scownadu 05:33:01 shachaf: Yes, it's a bit scow 05:33:07 "9. Every document can contain a royalty mechanism at any desired degree of granularity to ensure payment on any portion accessed, including virtual copies ("transclusions") of all or part of the document." 05:33:21 You can make people pay by the nybble 05:33:30 I saw a talk by Nelson once. 05:33:34 "Oh, you only bought the version with the first half of each letter" 05:33:42 I was very unimpressed. 05:34:44 "8. Permission to link to a document is explicitly granted by the act of publication." 05:34:47 That's nice at least 05:34:56 If you put it on the internet, people get to look at it 05:35:25 It counters those deep-link-resister assholes 05:36:00 Links can be followed from all endpoints? Not sure if that's entirely desirable 05:37:03 What happens if someone on particularlyfilthyporn.ass links to mylittlepony.yay? 05:48:04 -!- Kaynato has joined. 05:48:21 Hm, https://en.wikipedia.org/wiki/Hyperlink assumes that the user knows what Wikipedia is in explaining how Hyperlinks work 05:49:37 Define: Hypolink 05:52:33 hppavilion[1]: who cares 05:52:48 myname: Me 05:53:21 how would you explain it without defining dozens of pther stuff first 05:59:09 myname: Not sure? 05:59:16 (Wait, Wikipedia or Hypolink?) 05:59:34 hyperlink 06:03:00 myname: Oh 06:03:21 myname: I was making a joke. Because the wikipedia page assumes you've ever used a wikipedia page. 06:03:47 Huh, if you look at a clock when you aren't wearing pants the moment it changes to 11:34, you're cursed for eternity. Who knew? 06:13:49 <\oren\> Hell yeah, i made france go commie! 06:14:23 <\oren\> Feel the power of my soviet propaganda! 06:14:38 <\oren\> (I'm playing Hearts of Iron 4) 06:15:28 whoa, they've improved the game a lot since the version in Windows 3.1 06:18:50 <\oren\> It's awesome. I'm playing the Soviet Union as if Stalin wasn't insane with paranoia 06:19:49 <\oren\> I fomented a communist uprising in France, creating the French Commune 06:21:30 <\oren\> I'm pretty sure Britain will be commies too by 1940 06:22:10 <\oren\> Of course, this could backfire and I'll end up at war with america 06:27:20 man, the queen of spades is scow 06:29:26 \oren\: I was disappointed at 21:14:36 06:30:54 And yet intrigued 06:50:59 -!- augur has quit (Remote host closed the connection). 06:57:14 I thought of to make up such thing in Magic: the Gathering cards, as new cards with multi types such as: planeswalker land, Aura enchantment planeswalker, Aura enchantment land, world land, instant creature. 07:00:50 Do you like this? 07:00:58 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 07:03:59 In order to make a instant creature, I have written a new rule (or a clarification to an existing rule, depending on your point of view), in order to make it to work. 07:04:22 <\oren\> I'm glad I spent the extra money for the Sabaton music DLC 07:04:44 -!- hppavilion[1] has joined. 07:15:10 <\oren\> Aha! my propaganda is so strong, soon hitler will lose his majority of public support among Germans! 07:15:29 <\oren\> by the end of 1938 07:21:52 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 07:28:18 -!- hppavilion[1] has joined. 07:37:33 Does anyone frame themself for a crime that has not been committed (and does not intend do commit such crime)? 07:43:43 -!- augur has joined. 07:44:32 Wikipedia mentions someone who voluntarily confessed to a crime that he could not possibly have committed; he claimed he started a fire by throwing a bomb through a window in a bakery, but actually he the bakery had no windows, he did not enter the country until after the fire started, and he was crippled and unable to throw a bomb. 07:57:26 -!- Sprocklem has joined. 08:11:24 -!- puck1pedia has joined. 08:12:45 -!- Hooloo42 has joined. 08:12:49 -!- lifthras1ir has joined. 08:13:53 -!- deltab_ has joined. 08:14:56 -!- erdic_ has joined. 08:16:52 -!- pdxleif has quit (Ping timeout: 240 seconds). 08:16:52 -!- sebbu has quit (Ping timeout: 240 seconds). 08:16:52 -!- deltab has quit (Ping timeout: 240 seconds). 08:16:52 -!- Hoolootwo has quit (Ping timeout: 240 seconds). 08:16:52 -!- lifthrasiir has quit (Ping timeout: 240 seconds). 08:16:52 -!- catern has quit (Ping timeout: 240 seconds). 08:16:53 -!- erdic has quit (Remote host closed the connection). 08:16:53 -!- puckipedia has quit (Ping timeout: 240 seconds). 08:16:54 -!- puck1pedia has changed nick to puckipedia. 08:16:59 -!- erdic_ has changed nick to erdic. 08:17:44 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 08:17:55 -!- olsner has joined. 08:17:57 -!- pdxleif has joined. 08:20:16 -!- catern has joined. 08:30:33 -!- olsner has quit (Ping timeout: 240 seconds). 08:35:59 -!- AnotherTest has joined. 08:44:19 Re len(name(n)) = n, I'm pretty sure we discussed this before, and Finnish (IIRC) has only 5 ("viisi"); but len(name(8)) = 9 ("kahdeksan") and len(name(9)) = 8 ("yhdeksän"). 08:44:58 In Hebrew and English 4 is the only number with that property. 08:45:18 It was presented to us as a puzzle in maybe third grade, in Hebrew. I was surprised that it worked in English too. 08:46:50 Hmm. If we go with characters for normal writing. Japanese has only 1 ("一"). 08:47:21 Though if we consider hiragana, there's... None. 08:47:25 italian only has "3" 08:48:08 -!- augur has quit (Remote host closed the connection). 08:48:49 40 is, I believe, the only number whose English spelling is in alphabetical order 08:50:40 Hrm. Wait, that's the Sinitic numbers. If we use the Japonic numbers (hitotsu futatsu mittsu, instead of ichi ni san), then there's one which fits in hiragana; 3 ("みっつ"). 08:50:55 And one which fits in normal script! 2 ("二つ") 08:51:30 ... And one which fits in Roman alphabet; 3 ("san"). 08:52:19 Finnish gets tantalisingly close for some later numbers (11 -> 10 "yksitoista", 12 -> 11 "kaksitoista") but doesn't quite manage to match. 08:52:28 Name length is roughly proportional to the logarithm, right? 08:53:08 (Special words for 11, 12 instead of using the same pattern as other 1x numbers are a scow.) 08:53:17 I'm surprised that Go interface vtables are computed at runtime. 08:53:49 I spent a bit wondering how else it would work. But it turns out they just do it at runtime, type-checking and everything. 08:55:16 Sgeo: Did you ever write any Ada? 08:55:30 shachaf, no :( 08:55:41 You're missing out. 08:56:10 But don't bother with Go. 08:56:34 A friend recently finished an internship working with Go 08:56:46 Are you going to do an internship working with Go? 08:59:50 Not if I can help it 09:04:26 https://www.barrucadu.co.uk/posts/2016-08-25-three-months-of-go.html 09:04:38 That's his write up of his time with Go 09:07:27 Seems like a Haskell person. 09:07:49 pikhq: Did you write much Go? 09:07:56 Did you use what's-it-called? 09:08:19 He's doing a PhD on concurrency testing in Haskell, I'm fairly sure he's a Haskell person 09:08:27 I shouldn't say the name, but fortunately I've forgotten the name anyway. 09:19:09 About the only Go I've written has been [NAME WITHHELD]. 09:20:01 What's that? 09:25:08 "absence of evidence is evidence of absence of evidence" 09:25:58 The thing you can use for computing numbers from logs data. 09:26:33 My Google app is a-broken. :( 09:27:59 Wait, is this a thing whose name is public? 09:28:43 I suppose not. 09:29:08 I tried to Google for the name, but like I said, the app's broken. It's a very generic name anyway. 09:30:31 Well, the http://www.unofficialgoogledatascience.com/ blog mentions the name. But maybe they're rogue agents. 09:31:19 So many posts. 09:33:23 -!- MoALTz has joined. 09:33:23 Ah. 09:33:53 Well, the Go replacement for Sawzall, anyway. (Apparently Sawzall's been open-soured so the name should be safe.) 09:34:14 I wrote some Sawzall which I think got checked in at one point. 09:34:21 It computes a function. 09:34:36 Sawzall was a scow language to write that code in. 09:36:02 But better than the alternative. 09:37:24 I've also written a go out 09:37:31 Grmbl. 09:37:52 A Go program to output a serialised protobuf. 09:38:51 Because I couldn't remember if [NAME WITHHELD] could do it that way too. 09:41:40 (That's another name I can find mentioned on a handful of pages but don't know if I should. Not that I really see why it would matter much.) 09:42:38 A lot of people leak a lot of names. 09:43:07 The code name of Gmail is not a secret, though. 09:43:34 Well... Google announced it publicly. But maybe on Google+. 09:43:40 I forgot what it was. 09:43:41 So it might still be considered secret. 09:43:50 s/maybe/only/ 09:44:36 I'm not sure whether the code name of the search app is secret, because I'm fairly sure the string is in the .apk somewhere. 09:45:45 The code name of Google web search? Or your thing? 09:46:42 The Android app. 09:47:04 Which app? 09:47:19 The search app. 09:47:43 The one that's just named "Google". 09:48:03 The Android app? 09:48:40 (It's "Velvet", it's right there in the .apk file name in Android images, there's a bunch of people asking what it is.) 09:50:13 Velvet is scow. 09:50:16 The fabric, I mean. 09:50:20 I can hardly stand fabrics like velvet. 09:50:49 There's a subproject called Velour. 09:51:06 And probably a bunch of other fabric names. 09:52:37 Anyway, we've got nothing when it compares to the forest of code names on the server side of the search stack, I can't even follow their conversation usually. 09:53:12 Yes. 09:54:52 I got a t-shirt and a hoodie with my PA acronym on it last week. It says "API", that's a nice unambiguous name. 10:09:22 -!- sebbu has joined. 10:16:29 -!- olsner has joined. 10:41:31 -!- Kaynato has quit (Ping timeout: 252 seconds). 10:46:03 -!- olsner has quit (Ping timeout: 240 seconds). 11:07:36 -!- olsner has joined. 11:14:03 -!- olsner has quit (Ping timeout: 240 seconds). 11:14:24 -!- Reece` has joined. 11:19:29 -!- tourdejord has quit (Ping timeout: 260 seconds). 11:21:43 https://nicknash.me/2012/07/31/adversaries/ this is very interesting 11:58:36 is this in any way connected to the aqsort earlier this week? 11:59:00 (hmm. somewhat silly question, I'm looking for some causal link, rather than thematic) 12:03:22 never mind, the second paragraph answers my question... 12:08:27 Oh, I like this perspective on sorting algorithms. 12:08:27 "Rather than do all that reading though, we’ll just attack the constant factors ..." tsk tsk tsk. 12:09:13 I'd like to see animations of the DAGs of various inputs through various algorithms as they're being sorted. 12:09:38 Has someone made something like that? 12:15:38 Hmm, that could be fun. 12:16:40 in other "news" the Human Resource Machine is a cute little game but costs about twice as much as it should, IMHO. 12:18:14 It might be interesting with things other than sorting algorithms. 12:19:42 int-e: It looks from the trailer like a typical drag-and-drop visual programming game with blocks and so on. 12:19:46 Is it more than that? 12:21:15 I guess that's a pretty wide genre. 12:21:26 Hmm, I should do more TIS-100 maybe. 12:25:51 no it's not much more than that... it's just fun to have that person running around executing the instructions 12:26:56 There are other questions. What if the graph might have cycles? Then your job is to find strongly connected components or something. What sorts of sorting algorithms would you use for that? 12:27:12 -!- olsner has joined. 12:27:24 $10 is twice as much as it should cost? 12:29:17 Did you play TIS-100? 12:35:47 -!- Phantom_Hoover has joined. 12:36:03 -!- olsner has quit (Ping timeout: 240 seconds). 12:37:31 no I didn't 12:38:56 I liked it, though I don't seem to have played very much of it. 12:39:27 You should try it given the other games and things that you liked. 12:39:31 i sort of liked it but it's just so insanely limited 12:39:35 I'm used to buying games cheaply (humble bundle, gog special offers) ... that may play a role here. 12:40:04 (when it comes to judging the price) 12:40:11 It looks like full price is $7. 12:40:16 Oh, you mean HRM 12:42:14 Phantom_Hoover: Well, being limited is the point. 12:42:36 -!- olsner has joined. 12:42:45 yes but it really was too much imo 12:43:14 there were really basic things, mostly concerning data flow, that you couldn't do without building the program around it 12:44:49 You have an accumulator, memory cells, and in the end you get 11 instructions (in, out, store, load, add, sub, jumps (unconditional, if zero, if nonzero), and two CISC operations: postfix ++ and -- on a memory cell, simultaneously loading the result value. 12:44:54 (in HRM) 12:47:03 -!- olsner has quit (Ping timeout: 240 seconds). 12:47:34 oh and there's indirect addressing (pointer in a memory cell). 12:48:24 I guess I shouldn't complain about the price too much. 12:48:38 * int-e goes browse for reviews on "Obduction" 12:49:13 86% metacritic... a promising start 12:49:17 I've been hearing people talk about it in another channel. 12:49:29 Apparently there's no zip (lightning bolt) support. 12:49:41 i wouldn't trust aggregate game reviews as far as i could throw them 12:51:01 Remember that Magic: The Gathering tournament where the judges decided that all the fast-paced decks were invalid? 12:51:12 What a scandal. 12:51:24 In aggregate, at least. 12:51:45 Hmm, that doesn't even work. 12:51:56 "You can tell there were plans at one time or another to build out Obduction into a slightly bigger game, with a few awkwardly-empty areas and a bit too much space between some of the important elements." 12:52:22 if there's no zip mode that will really be draining a lot of fun out of the game 12:53:30 sounds like I don't really want to apy 30 euros for it right now, but will keep watching for offers. 12:54:23 (and why does $30 translates into €30) 12:54:24 Better to play TIS-100, right? 12:54:38 or finish snakebird 12:54:42 (still unchanged) 12:55:11 Or give the Tangle another try. (Spider And Web) 12:55:12 -!- olsner has joined. 12:56:06 Tangle is pretty small. 12:56:09 how many levels does TIS-100 have? (HRM has 36 that involve actual programming, and some coffe breaks with *very* random story) 12:56:19 a shitload 12:56:32 Do you prefer GOG or Steam? 12:56:41 gog 12:57:05 (hmm, I don't even have the linux steam client) 12:57:18 (and for puzzle games like this I don't want to boot up windows) 12:57:28 -!- boily has joined. 12:59:13 -!- deltab_ has changed nick to deltab. 13:01:50 -!- iconmaster has joined. 13:01:55 -!- iconmaster has quit (Client Quit). 13:09:03 -!- olsner has quit (Ping timeout: 240 seconds). 13:10:20 30 EUR is 34 USD? 13:10:33 Man, USD is so high. 13:13:44 > 30 * 1.4562 13:13:47 43.686 13:13:59 blergh. 13:21:15 -!- olsner has joined. 13:26:08 Anyway, time to go to sleep. 13:30:09 -!- Zarutian has joined. 13:36:47 int-e: The gog.com front page says "$1 is not €1" and promises to make up the difference. Do they not actually do that? 13:37:14 shachaf: to some extent, yes. 13:38:28 shachaf: so a) some games actually have adjusted prices (for example, TIS 100 would've cost EUR 6.29) and they add a coupon to the account for some games that don't have this price adjustment. 13:39:07 Of course that means you only get the benefit if you purchase from them again... so there's a huge advertising angle to this, especially since the coupons expire after a while (6 months? a year?). 13:39:43 Expirinig coupons? Scow. 13:39:50 boily: what's 1.4562? 13:39:58 They should just let inflation take care of it. 13:40:03 int-ello. EUR to CAD. 13:40:05 shachaf: *and* nagging reminders when they do expire 13:40:15 boily: makes sense, thanks 13:42:02 "tesselated intelligence system", hmm. 13:42:43 int-e: Make sure to read the manual. 13:43:22 Yeah, I already figured that that would be required. 13:44:11 I think you can also press F1 or something like that to get a summary. 13:44:20 Anyway, I was wrong before but now I'm really going to sleep. 13:45:11 though the first level can be done without reading the manual ;) 13:45:25 But I expect this kind of extrapolation has its limits. 14:02:16 * zgrep should play TIS-100 more 14:04:39 -!- boily has quit (Quit: COMPONENT CHICKEN). 14:04:42 and boo for making the manual full of images 14:07:25 (i.e. searching for a Mnemonic doesn't work, for no good reason) 14:09:53 Hm. Isn't it sort-of part of the story that it's just as can? 14:09:57 s/as c/a sc/ 14:10:11 maybe but it's still awful. 14:10:24 there's https://steamcommunity.com/sharedfiles/filedetails/?id=456879799 ... 15:02:47 actually F1 proably satisfies my most urgent needs (as I found out half an hour ago) 15:05:41 Anyway, one row down, but I should do some other things. 15:06:46 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 15:14:08 -!- Phantom_Hoover has joined. 15:21:47 @metar LOWI 15:21:47 LOWI 271350Z 11006KT 040V140 9999 FEW080 31/17 Q1018 NOSIG 15:21:56 eww 15:23:30 yeah 9999 15:23:33 that's bad 15:23:43 I dislike the 31 15:23:50 the rest is fine 15:23:59 right, primes are awful 15:24:02 and the 31 could be worse, I suppose, given the season. 15:24:05 what about the 17? 15:24:19 the 17 is helpful 15:24:27 izabera: do you know how to read those? 15:24:30 nope 15:25:04 people have tried to teach me but i was stronger 15:25:06 31/17 mean: it's 31°C, so fairly hot; but dewpoint is 17°C so the air is quite dry. 15:25:35 it's pointless, i'll forget in 20 minutes 15:25:40 The 9999 is visibility, so the air is clear. Nothing wrong there. 15:25:55 izabera: I'm trying to help you make sense of the current discussion. 15:26:11 I don't care all that much whether you'll be confused again in the future. 15:26:44 Where the "discussion" is, I guess, more of a monologue on my part. 15:27:34 okay, who changed the mutt hotkey for "flag this message" from F (-f) to f? 15:27:38 it's a conversation between you and lambdabot afaict 15:28:04 izabera: As you can see, I've moved on. 15:29:09 -!- int-e has set topic: Short attention sp... wow, look at this! | The string theory channel | The interdisciplinary strange loop of Esoteric Programming Language Design and Deployment | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf. 15:29:32 int-e: is FEW080 the wind direction and speed? 15:29:40 (let me guess) 15:32:05 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 15:32:15 lifthras1ir: no, those are layers of clourds 15:32:23 ha 15:32:37 @metar 15:32:40 -!- lifthras1ir has changed nick to lifthrasiir. 15:32:57 040V140 is wind (hmm, 40kph, various directions, gusts up to 140kph? I'd have to check) 15:33:50 -!- Phantom_Hoover has joined. 15:33:52 hmm, actually I probably got that wrong 15:35:24 @metar ESSB 15:35:25 ESSB 271420Z 27015KT CAVOK 22/06 Q1014 15:35:27 11006KT is wind (mostly from 110°, 6 knots) 040V140 indicates that the direction varies betwwo 40° and 140° 15:36:21 so approximately NE to SE. 15:36:31 gusts up to 140 km/h sounds like it'd be a bit terrifying 15:36:37 yes! 15:36:47 * int-e didn't think 15:36:51 Happens :P 15:41:17 [wiki] [[Befunge]] https://esolangs.org/w/index.php?diff=49655&oldid=47354 * Sesshomariu * (+235) /* Examples */ 15:57:00 someone gave me a crappy tablet with an allwinner a33 and 512m ram and .3mpx front camera and 8gb flash 15:57:12 tell me 5 good reasons why i shouldn't turn this into a mini server 15:58:06 It doesn't have a DSL port 15:58:16 Can't connect to internet without a phone line 15:58:33 Or wait, did you say good reasons? 15:58:43 yeah 15:59:10 i don't even have a phone line here 16:00:14 Eh, go for it 16:00:18 yay 16:00:45 I do want to get my old Windows 98 computer up and running again 16:02:52 A server with a camera, that's novel 16:03:14 an awful crappy camera that i would never use 16:03:17 I guess you could actually use the camera as an entropy source :D 16:03:46 Possibly more useful than it'd be as, y'know, a camera intended to take photos 16:04:12 -!- Hooloo42 has changed nick to Hoolootwo. 16:11:51 -!- wob_jonas has joined. 16:12:57 -!- wob_jonas has quit (Client Quit). 16:13:48 -!- S1 has joined. 16:29:49 -!- oerjan has joined. 16:46:26 -!- tourdejord has joined. 16:50:21 . o O ( to, tre, fire ) . o O ( en/ei/ett) 16:50:56 -!- wob_jonas has joined. 16:55:01 oh right 16:55:18 I should've remembered it's to in norwegian 16:55:33 to tree-fire 16:55:38 also danish, i think 16:59:44 -!- moonythedwarf has joined. 17:01:23 what's with the numbers? 17:01:47 they're their own length 17:01:59 ah, that game yes 17:02:06 or in alphabetic order. 17:02:22 finding the cycles of the function that takes number to length of representation in some language 17:02:32 all the cycles that is 17:02:56 (there's always just a finitely many cycles for any sane language, because all large enough numbers have much fewer letters than their value) 17:03:24 SUCC SUCC SUCC ZERO 17:04:10 in Hungarian, the cycles are (2, 5) and (4) 17:06:26 Ah hm 17:07:05 wob_jonas: so the word for 2 is five letters and the one for 5 is two letters? 17:07:08 is there a language where there's a cycle to which you can get from only finitely many starting numbers by releated iteration? 17:07:11 FireFly: yes 17:08:35 Swedish has the problem that 1-10 sans 4,8 are three letters (4,8 are 4 letters) 17:08:49 Kind of ruins any attempts at nice cycles 17:09:59 FireFly: is (3) the only cycle? 17:10:03 no wait 17:10:05 (3) and (4) 17:10:10 right, because "fire" 17:10:17 fyra 17:10:25 something like that 17:10:27 well, fyra in swedish; oerjan's were norwegian 17:12:09 and how many numbers are there that have four letters? 17:13:48 8, 11, 12. then there are probably infinitely many others that land there 17:15:00 2,9,10 ; 3,5,7,13,14,16,18,23,25,27 ; 4,6,8,11,12,15,17,19,20,21,22,24,26,28,29 17:15:28 the first group doesn't get many hits up to 29 17:17:09 shouldn't have said that: 33,34,35,36,37,38 ; ; 30,31,32,39 17:17:39 so, probably infinitely many for all cycles 17:18:14 oerjan: what's that? 17:18:26 oh 17:18:38 wob_jonas: i split the numbers according to which of 2,3,4 they end up in in norwegian 17:19:07 I see 17:19:48 for what you want, you should probably look for a short length that no bigger numbers hit 17:19:51 in Hungarian, 20 and 100 have 4 letters, and that's enough to make them infinitely many 17:20:00 oerjan: right 17:22:17 oerjan: hmm, now I'm wondering what the split between the three groups would look like if you take the limit 17:22:51 or if at some point all future numbers end in one of the sets 17:23:20 i don't think they can end in only one of the sets. too much spread already. 17:24:58 unless, i guess, you can somehow get them all into that 33-38 vortex :P 17:25:16 -!- Phantom__Hoover has joined. 17:25:17 (2), (3), (4) are the cycles in Esperanto too, and 8 -> 2, 10 -> 3, 20 -> 5 -> 4 so probably there are infinitely many numbers for each 17:26:59 you can try http://www.omniglot.com/language/numbers/index.htm 17:28:17 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 17:28:25 1 -> 2 -> 4 -> 5, 6 -> 3 -> 5, 7/8/9 -> 4, 10 -> 3 french seems to have only one 17:28:43 oerjan: yes, french only has one cycle 17:28:59 so i have two sets of points: n worker and m jobs. i want every job visited by one worker and the sum of the traveled way to be as minimal as possible. anybody knows a way better than n*m? 17:29:02 -!- Phantom_Hoover has joined. 17:29:20 german also only has one cycle, (4) 17:30:43 -!- Phantom__Hoover has quit (Ping timeout: 250 seconds). 17:33:28 myname: I assume n < m? 17:33:41 <= 17:33:52 otherwise the workers just do nothing 17:34:01 but yeah, < is the tricky part 17:34:03 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 17:34:58 -!- Phantom_Hoover has joined. 17:36:12 -!- tourdejord has quit (Ping timeout: 276 seconds). 17:41:11 my approximation approach is: build an n-partition of the jobs, ?atch each worker with the nearest center 17:44:09 i am not even sure if thus is easier or harder than tsp 17:46:47 oh, mtsp is a thing 17:50:05 `? np 17:50:06 np? ¯\(°​_o)/¯ 17:50:18 ?atch ? 17:50:19 Unknown command, try @list 17:50:28 `learn NP is the complexity class of decisions that are No Problem. 17:50:30 Learned 'np': NP is the complexity class of decisions that are No Problem. 17:52:25 `? minpoijjikop 17:52:25 minpoijjikop? ¯\(°​_o)/¯ 17:53:56 `learn Minpoijjikop bfjoustioppl sdardqwcasf uyvjhyb mipjkpmo. 17:53:58 Learned 'minpoijjikop': Minpoijjikop bfjoustioppl sdardqwcasf uyvjhyb mipjkpmo. 17:53:59 -!- Frooxius has quit (Quit: *bubbles away*). 17:54:22 -!- Frooxius has joined. 17:55:37 this is the first language to have keyboard section harmony. 17:55:57 except for that ugly bfjoust loanword. 17:56:07 oerjan: hehe 17:56:14 "keyboard section harmony" 17:57:39 `? p 17:57:39 p? ¯\(°​_o)/¯ 17:58:28 `learn P is the complexity class of problems. They can be solved by reduction to NP. 17:58:30 Learned 'p': P is the complexity class of problems. They can be solved by reduction to NP. 17:58:52 `learn P is the complexity class of Problems. They can be solved by reduction to NP. 17:58:54 Relearned 'p': P is the complexity class of Problems. They can be solved by reduction to NP. 18:01:12 -!- Kaynato has joined. 18:06:12 oerjan: o, tdh 18:08:19 I need a computer with more memory 18:10:57 `lean NP-complete is the subset of NP to which all problems in P can be reduced, thus completely solving them. 18:10:58 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: lean: not found 18:11:02 `learn NP-complete is the subset of NP to which all problems in P can be reduced, thus completely solving them. 18:11:04 Learned 'np-complete': NP-complete is the subset of NP to which all problems in P can be reduced, thus completely solving them. 18:11:38 i think that should cover the important stuff 18:19:40 -!- S1 has quit (Ping timeout: 252 seconds). 18:22:32 -!- moonythedwarf has quit (Ping timeout: 244 seconds). 18:24:06 `? co-NP 18:24:07 co-NP? ¯\(°​_o)/¯ 18:24:10 `? coNP 18:24:11 coNP? ¯\(°​_o)/¯ 18:24:18 `? BQP 18:24:19 BQP? ¯\(°​_o)/¯ 18:25:43 `learn co-NP, invented in Soviet Russia, is the class of decisions for which you are No Problem. 18:25:45 Learned 'co-np': co-NP, invented in Soviet Russia, is the class of decisions for which you are No Problem. 18:29:47 `? google 18:29:48 Google your half-Word Haskell is Problem. 18:29:56 wat 18:30:04 `cwlprits google 18:30:06 tswett 18:30:31 -!- tourdejord has joined. 18:32:02 `learn Google is where people are working on [NAME WITHHELD] and [REDACTED], without being evil at all. 18:32:04 Relearned 'google': Google is where people are working on [NAME WITHHELD] and [REDACTED], without being evil at all. 18:32:18 (inspired by logreading) 18:33:42 `dowg google 18:33:43 2016-08-27 learn Google is where people are working on [NAME WITHHELD] and [REDACTED], without being evil at all. \ 2015-12-19 learn Google your half-Word Haskell is Problem. 18:34:49 oh it was from his neural network 18:35:58 never mind, it was scow hth 18:36:30 `cat bin/dowg 18:36:31 doag "wisdom/$1" 18:36:38 `cat bin/doag 18:36:38 hg log --removed --template "{date|shortdate} {desc}\n" -- "$@" 18:36:54 intriguing 18:37:02 `? doag 18:37:05 doag? ¯\(°​_o)/¯ 18:37:07 the naming scheme keeps proliferating. shachaf made that yesterday. 18:37:23 `? hog 18:37:24 hog? ¯\(°​_o)/¯ 18:37:33 `ls bin 18:37:34 ​` \ `` \ ^.^ \ ̊ \ \ ! \ ? \ ?? \ ¿ \ ' \ " \ @ \ * \ ؟ \ \ \ \ welcome \ 1 \ 1492 \ 2014 \ 2015 \ 2016 \ 2017 \ 5 \ 5quote \ 7z \ 7za \ 8ball \ 8-ball \ aaaaaaaaa \ addquote \ addtodo \ aglist \ allquotes \ analogy \ anonlog \ append \ arienvenido \ as86 \ aseen \ asm \ autowelcome \ bardsworthlist \ before \ 18:37:43 hmm 18:37:48 `ls bin/???? 18:37:49 ls: cannot access bin/????: No such file or directory 18:37:53 oh right 18:37:58 `` ls bin/???? 18:37:59 bin/1492 \ bin/2014 \ bin/2015 \ bin/2016 \ bin/2017 \ bin/as86 \ bin/bugs \ bin/calc \ bin/cats \ bin/ciol \ bin/cmds \ bin/ctof \ bin/dice \ bin/doag \ bin/döts \ bin/dowg \ bin/erro \ bin/evil \ bin/exps \ bin/fsck \ bin/ftoc \ bin/good \ bin/grph \ bin/gs2c \ bin/gs2x \ bin/halp \ bin/hoag \ bin/howg \ bin/json \ bin/list \ bin/luac \ bin/maim 18:37:59 * oerjan rolls eyes 18:38:06 :( 18:38:17 `` ls bin/???g 18:38:18 bin/doag \ bin/dowg \ bin/hoag \ bin/howg \ bin/ping \ bin/pong 18:38:26 `` ls bin/??g 18:38:27 bin/hog \ bin/log \ bin/rng 18:38:51 `döts what does this do 18:38:52 ​ẅḧäẗ döës ẗḧïs dö 18:39:06 I guess that was a bit obvious. 18:39:30 ëẍäcẗlÿ ẅḧäẗ ïẗ säÿs ön ẗḧë ẗïn. 18:39:57 `` echo test | döts 18:39:58 ​ẗësẗ 18:40:29 `2016 18:40:30 Hello, world! 18:47:59 `` ¿ np 18:48:00 ​.melborP oN era taht snoisiced fo ssalc ytixelpmoc eht si PN 18:48:06 Guessed as much 18:49:50 -!- moonythedwarf has joined. 18:51:54 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 18:54:22 -!- moonythedwarf has quit (Ping timeout: 265 seconds). 18:57:57 Is there possible position in chess and/or shogi where a repetition occurs with both sides giving check on every move? 18:59:03 zzo38: do you require it to be optimal play? 18:59:07 or merely possible 18:59:54 it's definitely possible in chess 19:00:11 or, wait 19:02:35 -!- moonythedwarf has joined. 19:06:53 -!- tourdejord has quit (Quit: Leaving). 19:07:04 -!- moonythedwarf has quit (Ping timeout: 255 seconds). 19:12:54 Possible from any legal sequence of moves from the starting position 19:14:20 @metar ENVA 19:14:21 ENVA 271750Z 28016KT 9999 VCSH SCT034 BKN047 13/09 Q1018 RMK WIND 670FT 29016KT 19:18:03 -!- oerjan has quit (Quit: Later). 20:38:38 presumably zzo38 wants a generalisation of http://timkr.home.xs4all.nl/chess/check.html 20:42:07 hmm, the TIS-100 histograms are nice but is there a way to see the actual records... 20:42:48 -!- ais523 has joined. 20:46:36 -!- wob_jonas has joined. 20:46:45 zzo38: that's a good question. 20:47:12 you could ask it a bit more generally, saying what's the longest sequence of possible half-moves in chess such that each half-move gives check to the opponent 20:51:31 zzo38: http://timkr.home.xs4all.nl/chess/check.html might be relevant (not exactly the same question, but close) 20:51:38 it's plausible that all such sequences must be finite in normal chess 20:52:12 oh actually the statistics (as I see them) are misleading, buh. 20:53:48 zzo38: this shows not a cycle, but 38 half-moves of check, but it uses the restriction that it doesn't allow promoted pieces 21:23:56 "If your personality can be neatly assigned into a well-defined category, then you're a Bertrand. If it can't, you're a Russell." ~ @qntm 21:27:12 I doubt that your personality can be nearly assigned into a well-defined category. There are a lot of different ways to do such thing and yet I think still it is not so neatly assigned correctly in any case. 21:27:31 Is "human" a well defined category of personality? 21:28:01 "you may not think your brain is a supervillain. but 1) its called Brain and 2) it lives in a skull fortress" 21:29:44 I would think "human" is a well defined category of species probably. Of personality I don't know, but I suppose so; still it fails to explain much, other than instinctive stuff and a few others perhaps. 21:30:07 I'm pretty sure "human" is more of a genus than a species, but hey. 21:30:18 OK, well I don't know biology so well. 21:30:45 pikhq, I think the distinction only really matters to dead people 21:30:58 I don't think there are any Homo non-sapiens around these days 21:31:09 Unless I'm misunderstanding 21:31:20 Yes, yes, all other human species are dead. 21:31:45 There are other hominids around, though. 21:56:17 -!- Reece` has quit (Quit: Alsithyafturttararfunar). 22:00:47 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 22:11:50 -!- Frooxius has quit (Quit: *bubbles away*). 22:12:00 -!- hppavilion[1] has joined. 22:49:54 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 23:13:46 <\oren\> I just realized that Lithuania, Latvia, and Estonia's leaders in this game are identical white haired blue eyed old men 23:16:27 -!- oerjan has joined. 23:17:53 `wisdom revers 23:17:54 reversal//lasrever 23:18:14 `? co- 23:18:15 co-? ¯\(°​_o)/¯ 23:18:38 * oerjan hates it when his intuition suddenly tells him not to add a wisdom. 23:19:03 either that, or my rsi is acting up. 23:27:37 -!- hppavilion[1] has quit (Ping timeout: 255 seconds). 23:30:39 -!- pelegreno has quit (Read error: Connection reset by peer). 23:32:00 <\oren\> Should I interfere in the Spanish Civil War? 23:32:50 <\oren\> I'd like to remove a possible ally of Hitler, but this might be risky 23:34:33 well in real history, there were plenty of communists in it, and they still lost. 23:34:45 afaiu. 23:36:46 Sgeo: lol i wonder how many people are actually in the Russell category. it's hard to tell, given that the category is (necessarily) not well-defined 23:39:50 just apply BR's type theory to note that Bertrand and Russell cannot be categories at the first level. 23:45:08 I'm pretty sure "human" is more of a genus than a species, but hey. <-- http://freefall.purrsia.com/ff2600/fc02546.htm 23:45:22 <\oren\> I've decided to at least ship the good guys weapons and send a small cadre of volunteers to delay the nationalists from taking madrid 23:47:48 -!- Ender13 has joined. 23:48:08 <\oren\> in the meantime I'm trying to make France like us enough to interfere too 23:50:54 -!- boily has joined. 23:51:45 what is that game? 23:52:47 -!- idris-bot has quit (Quit: Terminated). 23:53:03 <\oren\> int-e: Hearts of Iron 23:53:05 <\oren\> 4 23:53:23 -!- Melvar has quit (Quit: rebooting). 23:53:41 <\oren\> I'm playing as Stalin, but trying not to kill everyone who looks at me funny 23:54:46 <\oren\> I mean, the real Stalin almost lost Korolev. he sent fucking Korolev, to gulag! 23:55:16 <\oren\> it's a wonder that the USSR ever even had a space program 23:56:53 <\oren\> No, Iim trying to make sure we science the shit out of the Nazis