00:00:24 ;) 00:00:33 Oh, I should've known "coily". 00:01:35 oh apparently it means "hello" as well, it's just not on that list. 00:01:58 shacherevtov. 00:02:13 yeah, it covers everything helloy. 00:02:28 boily: you can do better than that 00:03:05 boily: for example look up the word for "dawn" hth 00:03:06 -!- Kaynato has quit (Quit: Leaving). 00:03:22 שהחרב טוב? 00:03:37 . o O ( hmm... IRC doesn't seem to support RTL... ) 00:03:41 boily: that certainly introduced an extra letter 00:04:00 oops. 00:04:06 s/ה// 00:04:26 `learn Rho is the Greek letter that represents the mind, and thus psychology is called rho science. Today's reductionists consider the mind obsolete, and prefer to study new rho science. 00:04:29 Learned 'rho': Rho is the Greek letter that represents the mind, and thus psychology is called rho science. Today's reductionists consider the mind obsolete, and prefer to study new rho science. 00:04:43 boily: i think that's entirely dependent of your client setup. 00:04:51 I'm sure oerjan can make that work better. 00:05:07 -!- Kaynato has joined. 00:06:26 `? shachaf 00:06:28 shachaf sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion. The unit of fun punnery is named after him. 00:06:43 `? boily 00:06:44 ​"Only sane man" boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist. 00:07:04 boily is a meta rho logist? 00:07:15 `slwd shachaf//s#^shachaf#Shachaf of the Dawn# 00:07:18 wisdom/shachaf//Shachaf of the Dawn sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion. The unit of fun punnery is named after him. 00:07:27 boily: ? 00:07:40 * boily ceremoniously mapoles shachaf. 1.0 shachaf. 00:07:43 i think the greek word for psychchology was...ψυχολογία 00:10:41 Today's haiku by tia: 00:10:47 You don't eat Taco Bell 00:10:57 You only rent it for a while, 00:11:04 then it returns home. 00:15:44 -!- tromp_ has joined. 00:16:21 * oerjan spots a shachaf luxon above. 00:16:30 they exist! 00:16:41 the joyluxon club? 00:16:51 @wn luxon 00:16:54 No match for "luxon". 00:17:24 use the wiki search 00:18:06 http://esolangs.org/wiki/Special:Search?search=luxon 00:18:38 Taneb: Might I add that Real Fast Nora's Hair Salon 3: Shear Disaster Download is an excellent name? 00:18:50 anyone want to give this a try? matching are the top 10k passwords, non matching is 1k randomly gen'ed "passwords" between 5-10 alphanumeric http://regex.alf.nu/2fdfc932f94406a31682ca4f25b3588cb4ec2f66 00:19:08 `learn Smell is a sense, which is particularly strong in old factory sites. 00:19:21 Learned 'smell': Smell is a sense, which is particularly strong in old factory sites. 00:19:33 that's where the rho led me, and i had to follow it. 00:19:42 `? women 00:19:43 women? ¯\(°​_o)/¯ 00:20:09 `learn Women smell better than men. (See also: 'smell') 00:20:13 Learned 'women': Women smell better than men. (See also: 'smell') 00:21:10 it doesn't lead you to trhondheim? 00:21:24 Akaibu: How many points do I aim for? 00:21:27 how can it, i'm already there 00:21:49 although trondheim _is_ good at new rho science, we got a nobel prize after all 00:21:56 i'll be blunt i just plugged in the word list of http://codegolf.stackexchange.com/questions/73435/random-passwords-vs-common-passwords into the site 00:22:11 and with the shortest soultion there i got 97401 points 00:22:47 -!- zgrep_the_Slow has changed nick to zgrep. 00:22:48 If you press esc in the input field, your solution disappears. 00:22:53 And you can't undo to get it back, 00:22:56 s/.$/./ 00:23:05 So I definitely won't be trying again. 00:24:36 shachaf: i can recover it 00:24:44 ctrl+z 00:24:51 I can't. Cmd-z 00:24:55 ctrl+y to redo 00:25:06 well rip 00:25:10 Taneb: http://www.vandoorn.talktalk.net/esoteric/ says "Read Fast" instead of "Real Fast" in one place. 00:26:19 @tell Taneb see tunes.org logs at 2016-07-14 at 16:25 hth 00:26:19 Consider it noted. 00:27:16 I'm not sure why I did that. 00:27:55 `? real fast nora's hair salon 3: shear disaster download 00:27:57 Real Fast Nora's Hair Salon 3: Shear Disaster Download is the most readable functional programming language out there. 00:30:37 @ask Taneb * poke poke poke * you still alive? 00:30:37 Consider it noted. 00:32:56 @ask boily how goes the courging? 00:32:56 Consider it noted. 00:37:37 s/rg/gar/ 00:39:37 where is hppavilion? 00:40:04 `? hppavilion[1] 00:40:06 hppavilion[1] se describe en las notas al pie. ¿Porqué no los dos? Nadie lo sabe. No es tan cluecless. 00:40:10 yes, hppavilion[1] 00:40:17 `` rgrep higgledy wisdom 00:40:23 where is hppavilion[1]? 00:40:29 wisdom/hppavilion1:higgledy piggledy / hp pavilion / doesn't like jokes that are / written in text; // uncontroversially, / one in a million is / roughly the chance they won't / be left perplexed 00:41:07 that's a scow double dactyl 00:41:23 has anyone seen hppavilion[1]? 00:41:39 did hppavilion[1] die? 00:44:01 he's alaskan, a grizzly or polar bear probably got him. 00:46:12 polar bears are typically found in eastern europe hth 00:46:31 i don't think so, shachaf 00:46:38 hm 00:46:41 maybe it's central europe 00:46:56 i think you're confusing polar and polish. 00:47:05 oh, quite right 00:47:22 the pun only works with the noun. 00:47:26 thanks for clearing that up 00:48:02 yw 00:48:35 polar bears are found in the arctic circle 00:48:40 that's why they're called polar 00:48:53 oerjan: oh, does Alaska have that thing that like "night" but it lasts 6 months? 00:49:15 copolar bears live in antarctica 00:49:18 adu: technically only the poles strictly have that. 00:49:46 oerjan: i think that weather would be considered unusual in eastern europe hth 00:50:08 no, i'm pretty sure they have weather there too 00:50:17 (parsing is fun) 00:50:46 also i don't think midnight sun counts as weather per se. 00:50:59 adu: Sweden has that, kind of. Mainly it's that day is only a few hours long. But then in the summer the sun never goes down 00:51:34 Well, if they *just* had long nights, no one would live there. 00:51:38 they had to sweden the deal 00:52:19 `rimshot 00:52:20 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: rimshot: not found 00:54:42 technically norway and alaska are about the same latitude. 00:54:51 which means some parts have it, some don't. 00:54:55 but not the same attitude 00:56:53 and the parts which do are not very heavily populated. 00:57:24 probably even more so in alaska. 01:15:31 -!- hppavilion[1] has joined. 01:16:34 -!- jaboja has quit (Remote host closed the connection). 01:21:59 he's alive! 01:24:15 -!- adu has quit (Quit: adu). 01:25:20 * oerjan wonders if adu and hppavilion[1] have entered the quintopia/boily zone 01:25:41 That's a zone? 01:25:48 Is it where we alternate who's online? 01:25:53 exactly 01:25:57 Yay! 01:26:00 I got it right! 01:30:52 quintopia: the courging is on standby... 01:31:24 * boily will call it a night. can't focus... 01:31:37 -!- boily has quit (Quit: UNDERRATED CHICKEN). 01:47:49 `` cut -b -3,5,7-9,11- <<< qwertyuiopasdfghjklzxcvbnm # this prints bytes 1,2,3,5,7,8,9 and 11 to end of line 01:47:56 qwetuioasdfghjklzxcvbnm 01:48:09 how do i do that efficiently? 01:50:17 wasn't that efficient 01:50:21 ? 01:50:41 yes but i'm writing cut for that inutility thing 01:51:02 ah. 01:51:15 Elixir keeps impressing me 01:51:39 In surprising ways. It has lenses. 01:52:10 Keep a bunch of non-overlapping intervals for the parts of the file you care about, and either read or skip to the next boundary? 01:52:23 (Albeit it doesn't call them lenses, and defining them is a bit odd, and they also may have an additional capability that is like half of a prism which makes me go wtf) 01:53:39 -!- PinealGlandOptic has joined. 01:55:14 . o O ( PinealGlandOptic may be missing from lens ) 01:55:40 Sgeo: does elixir have PinealGlandOptics twh 01:58:51 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 02:00:00 making them non overlap is annoying :( 02:00:16 oerjan: what does the winchester hermit have to do with it 02:02:33 @google union of intervals algorithm 02:02:34 http://stackoverflow.com/questions/1034802/union-of-intervals 02:02:34 Title: Union of intervals - Stack Overflow 02:02:40 izabera: try something like that maybe 02:03:08 ok i was doing something like that 02:22:57 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:33:44 You've got a partially ordered set. Initially, every element of the set is labeled with 0. 02:34:16 There's an algorithm you can perform on this set. 02:34:50 Actually, scratch the "initially all 0" bit. They're all labeled with integers, but not necessary 0. 02:35:52 Step 1: identify all pairs of two comparable elements which are labeled with the same number. Step 2: if no pairs were identified in step 1, stop. Step 3: for each pair identified in step 1, increase the label of the greater element by 1, and decrease the label of the lesser element by 1. Step 4: return to step 1. 02:36:31 It's an odd kind of sorting algorithm, I suppose. 02:36:44 So, the question. 02:37:13 Is there a shortcut for finding the result of this algorithm, which will give you the result faster than just naively evaluating the algorithm would? 02:39:20 hm does that necessarily sort 02:39:51 No. 02:40:03 If all elements initially have different labels, the algorithm does nothing. 02:40:15 i mean, even if you start with all 0. 02:40:53 also, an element in step 3 can be part of more than one pair, possibly on different sides. 02:41:10 I think no. Suppose the set is a > b, a > c, a > d, e > a. 02:41:26 Then after one iteration, a goes to 2, e goes to 1, b-d go to -1, and the algorithm stops. 02:41:42 a ends up with a higher label than e even though it's lesser. 02:41:48 doesn't a go to 1. 02:41:52 no wait 02:42:00 No; its label is increased 3 times and decreased once. 02:42:20 very well. 02:42:54 no idea on your main question. 02:43:57 There's probably no easy way, since it's a somewhat complex and arbitrary algorithm. 02:44:06 Perhaps one could even make a programming language out of it. 02:44:15 your task shall be to prove this PSPACE-complete hth 02:44:27 -!- debz has joined. 02:44:29 * oerjan evil grin 02:44:30 os 02:45:07 actually, -hard, it's obviously not a decision problem. 02:46:47 actually, there's probably some number that's increasing at each step, so not that hard. 02:47:26 the number of steps so far is increasing at each step! 02:48:00 hmm 02:48:16 Is the algorithm guaranteed to terminate? 02:48:22 * tswett thinks! 02:48:34 I believe so 02:48:40 The label of a maximal element never decreases and the label of a minimal element never increases. So the spread never decreases. 02:48:41 I think it would need a cycle in the order to go indefinitely 02:49:14 If the spread increases indefinitely, then the size of the smallest gap tends to infinity. 02:49:21 i think the "spread" is the kind of number i was thinking of. 02:49:44 if spread is the difference between highest and lowest numbers, it's not strictly increasing 02:49:51 If the spread does not increase indefinitely, the whole thing must cycle. 02:49:54 obviously there's a maximal possible gap. 02:50:26 for a given graph. 02:50:34 Is that so? 02:51:05 Hm, something just occurred to me. 02:51:16 i think so anyway. 02:51:35 Wait, something else just occurred to me. 02:51:46 Let me go back to the first thing. 02:52:00 You could think of this as "moving tokens" between elements. Tokens only ever move from lesser elements to greater elements. 02:52:08 in order to increase an element, another element must be decreased, and there is a maximal amount for each. 02:52:21 tswett: ah yes 02:52:23 and they had to be equal to start with. 02:52:29 yeah so that guarantees termination 02:52:36 hm right 02:52:44 oh wait, not on its own it doesn't 02:53:25 And they never move "with the gradient". 02:53:38 since there's an infinite supply 02:53:47 but for one element to decrease indefinitely 02:54:04 it must give charge to another element of the same charge 02:54:27 so that element must decrease indefinitely, and have two other infinitely decreasing elements to give it charge 02:54:36 Sounds about right. 02:54:46 (or some combination of other elements which give it charge faster than the first one takes it, anyway) 02:54:53 Technically, I never said that the set must be finite. But I was thinking it all along. 02:54:58 this turns into an infinite regression 02:55:11 you might be able to concoct something weird with an infinite poset 02:55:20 certainly it wouldn't necessarily terminate 02:55:37 just label each natural number with itself and set the charge of 0 to 1 02:55:51 then each iteration just moves the excess charge to the next number 02:58:36 -!- spiette has quit (Quit: :qa!). 03:00:21 -!- Kaynato has quit (Ping timeout: 246 seconds). 03:01:08 The algorithm isn't defined if an element has infinitely many elements which are greater or less than it. 03:03:21 -!- debz has left. 03:03:42 -!- Kaynato has joined. 03:14:44 * oerjan got the hydra with just 555 cuts 03:28:47 -!- Kaynato has quit (Ping timeout: 244 seconds). 04:01:06 nice 04:15:04 `unicode U+3523 04:15:10 ​㔣 04:17:26 -!- Akaibu has quit (Quit: Connection closed for inactivity). 04:23:09 -!- MDead has joined. 04:25:13 -!- MDude has quit (Ping timeout: 252 seconds). 04:25:14 -!- MDead has changed nick to MDude. 04:43:06 https://arin.ga/CuwF1d/raw is there any obvious problem with this? <.< 04:45:09 -!- hppavilion[1] has joined. 04:49:31 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 05:04:18 -!- tromp_ has quit (Remote host closed the connection). 05:09:03 -!- Nithogg_ has quit (Ping timeout: 276 seconds). 05:11:42 -!- hppavilion[1] has joined. 05:28:34 -!- Anarchokawaii has joined. 05:28:57 if a object with functions is a struct 05:29:17 than what is an object without attributes 05:33:40 I don't know? 05:35:59 why does that statement end with a question mark 05:36:39 Because I don't know 05:37:18 that makes no sense 05:40:59 why do you think that makes no sense. 05:41:30 * oerjan hides. 05:41:31 We were discussing you, not me. 05:41:47 hiliza 05:42:15 Cale: I believe you, but why did you answer then? 05:42:30 Oh... but why did me answer then? 05:45:49 I hoped you know 05:48:27 because the statement "i don't know?" sounds like an introspective question 05:49:54 What does "introspective question" mean? 05:50:40 "I don't know?" seems like you don't know if you don't know. 05:51:24 O, is that what it means? 05:52:48 * Sgeo has probably done the unhelpful question mark at points 05:53:30 yes zzo38 05:54:09 -!- Akaibu has joined. 05:54:28 all question marks are helpful, so there? 05:54:33 so do you guys know the answer to my question 05:55:03 an object without attributes sounds like something for the other kind of #esoteric. 05:55:14 what's that? 05:55:19 `? #esoteric 05:55:28 ​#esoteric is the only channel that doesn't exist. After monqy left it became slightly off-centër. It's about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part, but it keeps getting dug up by free ranging moons. May contain crude drawings of nuts. 05:55:33 hm maybe not the right one 05:55:35 `? esoteric 05:55:37 This channel is about programming -- for the other kind of esoterica, try #esoteric on EFnet or DALnet. 05:55:48 A featureless blob? 05:56:49 It would make more sense if the first part was "If a struct with functions is an object" 05:56:57 I think? 05:57:25 why does that statement end with a question mark 05:57:39 Because I'm not sure how much I think that 05:57:49 that makes no sense 05:57:52 So I'm questioning whether it's what I think 05:58:15 why do you think that makes no sense. 05:58:30 Why do you think no sense? 05:58:53 We were discussing you, not me. 05:59:28 No we aren't 05:59:32 This channel is nothing but chat bots talking to each other endlessly 05:59:43 Why not? 06:00:25 imagine an object oriented language where their is objects with methods but no functions outside objects and no attributes but variables outside objects and no subroutines besides methods 06:01:20 I would call such an object a stateless "module", because there's no point to an object with no data attached. 06:01:27 Other than to organize functions 06:01:39 If I'm understanding you properly, and excluding stuff like let-over-lambda trickery 06:02:18 If there was ever a year for a third party to win the election, this is that year 06:02:53 if their is ever a year for glorious revolution this is the year 06:02:59 Anarchokawaii: That too 06:03:07 Anarchokawaii: Want to help me overthrow the US government? 06:03:17 Alternatively, I might just have to leave the county 06:03:18 Arise ye workers from your slumber 06:03:20 *country 06:03:20 * Sgeo actually kind of likes Hillary as President 06:03:32 Arise ye prisoners of want 06:03:52 Like, I hate when people say "If X wins the election, I'm moving to [Canada|England|Russia|China|ISIS]" 06:03:53 For reason and revolt now thunders 06:04:07 But honestly, I really hate both major candidates 06:04:10 At last ends the age of can't 06:04:38 Trump is an abomination before god, and Hillary seems a little disturbing AND plays the gender card too much 06:04:51 -!- tromp_ has joined. 06:05:44 tromp_ is cool. Trump is not cool. 06:06:15 Like, for me, it's not "If x wins the election I'm moving out" so much as "If any of the major candidates wins the election I'm moving out" 06:07:11 Hopefully, something bizarre will happen and Bernie will be nominated instead of Hillary (many of the states she won she only won because of already-bizarre and broken rules) 06:07:47 It would take something really weird for Bernie to get nominated, and there is *no way* he's running third party. 06:08:20 pikhq: Even if he did run third party, is would be unlikely for him to win third party 06:08:39 Yep. 06:08:41 (Has third party EVER won, barring third parties that were actively becoming first or second party?) 06:08:50 He'd be splitting the Dem vote. 06:09:27 -!- tromp_ has quit (Ping timeout: 264 seconds). 06:11:20 pikhq: Yeah, that'd be a problem 06:11:31 hilary clinton was on the board of directors of walmart 06:11:37 Anarchokawaii: Really? 06:11:50 yeah 06:12:32 http://www.huffingtonpost.com/2008/01/31/clinton-remained-silent-a_n_84246.html 06:13:07 * pikhq isn't exactly pleased by Hillary, but of the likely candidates she's definitely preferable. 06:13:52 Yep, found it 06:14:04 pikhq: Hillary is definitely the best option out of the major ones 06:14:19 (Translation: Hillary is better than Trump, but that's not really an accomplishment) 06:14:32 I mean, I really would love to see Trump as president 06:14:43 But only in the Seth Meyers Chicago President scenario 06:16:42 fuck hilary clinton 06:16:47 fuck the clintons 06:17:36 Anarchokawaii: Lewinski certainly took that advice to heart 06:18:02 haha 06:18:17 But yeah, seriously, fuck Hillary 06:19:11 Sure, the US should probably have had a female president by now (barring: Edith Wilson, possibly), but we shouldn't elect a woman solely to get that; we should elect a woman because her policies are something we want, and her reproductive organs are just a cool afterthought to the election 06:19:30 "Hey, does this make her the first woman president?" "Oh yeah, I think it does, cool!" 06:21:18 It's not as though that's the only reason people are voting for her though. 06:21:33 Remember, many people genuinely *like* the Clintons. 06:21:47 pikhq: Yeah, but she plays that card far too much 06:21:53 Like, one time makes me a little uncomfortable 06:21:59 There are compilations of her using that argument 06:22:49 I'm also not a fan of Bill Clinton, because he made the policy that says if you have ever been convicted of a felony- no matter how minor, no matter if you served your time and changed- you can't get access to public housing (or numerous other government benefits, IIRC) 06:27:22 Has anyone actually attempted to realize the title text of https://xkcd.com/856/? 06:27:31 Like, I'm freaking out now 06:33:15 -!- Nithogg_ has joined. 06:35:20 -!- PinealGlandOptic has quit (Quit: leaving). 06:43:16 -!- Anarchokawaii has left. 07:28:02 -!- augur has quit (Remote host closed the connection). 07:39:15 -!- centrinia has joined. 08:12:45 -!- AnotherTest has joined. 08:15:45 -!- augur has joined. 08:28:10 @ping 08:28:10 pong 08:28:17 Hmm 08:28:31 hmm? 08:28:42 A web page isn't loading 08:29:03 oh. agreed, hmm. 08:30:59 @tell shachaf I no longer update that one, https://runciman.hacksoc.org/~taneb/esolangs.html is canonical 08:30:59 Consider it noted. 08:31:11 @tell boily I'm fairly sure I'm alive 08:31:11 Consider it noted. 08:32:08 @tell Taneb ok, but it's the third result in https://encrypted.google.com/search?q="real+fast+nora's+hair+salon+3:+shear+disaster+download" 08:32:20 @tell Taneb maybe you should add a redirect or something 08:32:40 @tell shachaf that might be a good idea 08:32:40 Consider it noted. 08:32:46 @messages-loud 08:32:46 Taneb said 5s ago: that might be a good idea 08:32:55 I'm right here, you don't need to tell lambdabot to tell me things. 08:33:01 Yes I do 08:33:14 Also, hmm 08:33:20 My mouse seems to have stopped working 08:33:21 Again 08:33:41 I mean, sure, technically you need to. 08:33:46 But you don't need to need to. 08:35:57 Taneb: when are you visiting north america again? 08:36:09 Sometime after August 08:36:42 Do you have an upper bound? 08:37:20 -!- oerjan has quit (Quit: Later). 08:39:21 No, but I do have a Rubik's cube 08:41:25 Taneb invented Fueue? 08:41:32 `? fueue 08:41:37 `? tanebvention 08:41:38 fueue? ¯\(°​_o)/¯ 08:41:40 Tanebventions include automatic squirrel feeders, necessity, Go, submarine jousting, the universe, weetoflakes, Tanebventions, persistence, the BBC, progress, and this sentence. See also tanebventions: math. He never invents anything involving sex. 08:41:51 I don't think esolangs count as tanebventions 08:42:12 `sled wisdom/tanebvention//s/sub/the/Fueue, the/ 08:42:13 sed: -e expression #1, char 11: unknown option to `s' 08:42:20 `sled wisdom/tanebvention//s/the/Fueue, the/ 08:42:26 wisdom/tanebvention//Tanebventions include automatic squirrel feeders, necessity, Go, submarine jousting, Fueue, the universe, weetoflakes, Tanebventions, persistence, the BBC, progress, and this sentence. See also tanebventions: math. He never invents anything involving sex. 08:42:29 Why not? Because you actually invented them? 08:42:45 Because they're more like pieces of art 08:43:04 So is necessity. 08:43:09 Not to mention D-modules. 08:43:18 I can't believe D-modules are gone from Tanebventions. 08:43:24 They were the centerpiece. 08:43:29 `? tanebventions: maths 08:43:32 Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, the reals, Lambek's lemma, pointless topology, and histograms. 08:43:55 And it ruined the whole meter (or is it metre?) of the wisdom entry. 08:44:04 I previously had it set to music, in my head. 08:44:35 How quickly can you solve your Rubik's cube? 08:45:30 My best is 1 minute 40 08:45:59 I think I used to solve in around 2 minutes. 08:46:09 That was over a decade ago, of course. 08:46:21 When oerjan roamed the Earth. 08:46:36 (I guess he trondheims the Earth now.) 08:46:43 I'm not sure I even remember how to solve it now. 08:46:53 I probably could figure it out. 08:51:41 https://en.wikipedia.org/wiki/List_of_dates_predicted_for_apocalyptic_events includes, towards the very end, actual legit predictions 08:52:06 See https://en.wikipedia.org/wiki/Timeline_of_the_far_future 08:52:12 I wouldn't call those "dates" exactly. 08:53:12 Oh! We're in the middle of a jubilee! 08:53:18 shachaf: By that logic, neither is carbon dating 08:54:01 shachaf, just did it in 1:55 08:54:36 Taneb: do you still want magic: the gathering jams 08:54:37 I'm surprised it doesn't include the day we past the Point-Of-No-Return for expenditure of resources and destruction of planetary integrity 08:54:42 (Or maybe it's in the past one) 08:55:21 That link I posted is pretty depressing. 08:55:22 shachaf, can you make M:tG into jam? 08:55:34 It's already a jam. 08:55:46 Wouldn't you need to add pectin? 08:56:56 I don't believe so. 08:56:59 OK, you know what? 08:57:06 nth century is confusing 08:57:19 The years from 1 to 99 will henceforth be known as the "0th century" 08:57:37 And all subsequent centuries will be calculated using all but the last 2 digits 08:57:43 We're in the 20th century right now. Thre. 08:57:47 *There. 08:58:59 I think you might find it hard to gain adoption for your idea, hppavilion[1] 08:59:15 Taneb: Yeah, well... 08:59:18 Yeah, you're right 08:59:20 But still. 08:59:23 It's stupid. 08:59:37 Wikipedia often mixes them in the same paragraph, which leads to confusion 09:00:23 Imagine: "In 1604, a manuscript quoting a late 16th-century physician..." 09:00:32 * hppavilion[1] prays that he got those in the right order 09:02:09 Huh, the world is definitely not going to end this year 09:02:41 It *is* confusing. 09:02:47 And people are elitist about it, too. 09:03:03 hppavilion[1], not many words rhyme with "sixteen" 09:03:04 They learned that "xth century" means "the century whose first two digits are x-1" 09:03:28 And now they look down on anyone who forgets that or finds it difficult to do in the middle of a conversation about something else. 09:03:31 Plain elitism. 09:07:21 shachaf: Plane Elitism 09:07:37 Yeah, just because you're a circle means you're better than everybody else. 09:07:44 Seriously, Jesus... 09:08:10 I just sent a message to Trump's campaign and gave him some new crazy shit to say. I hope someone reads it and passes it up xD 09:09:25 hppavilion[1]: http://news.nationalgeographic.com/content/dam/news/rights-exempt/nat-geo-staff-graphics-illustrations/2016/07/juno/01-juno.ngsversion.1467724642813.gif 09:09:34 you're really not a fan of your capital city, huh 09:10:20 shachaf: Not particularly, and it's going to get worse in November (or January, I guess) 09:10:27 That gif is amazing 09:10:36 you can't even spell it right 09:10:51 or maybe it's just nasa 09:11:44 Wait, what? 09:11:49 What can't I spell right? 09:11:56 nothing 09:12:06 shachaf: Did I spell something wrong? You're freaking me out 09:26:01 `dateu 09:26:03 2016-07-15 08:26:02.086582000+00:00 09:26:10 thx 09:29:59 SEEEEEEEEEEEPPPUKKUUUUUUUUUUUUUUUUUUU 09:31:11 good morning to you, too 09:38:03 Finnish doesn't use "Nth century", we use something that's a bit akin to e.g. "1800s", "1900s" and so on. 09:39:31 fizzie: All the people I've seen use both, so... 09:39:46 fizzie: yes, that's much easier than the crazy measurement units people use here, where the amount of meat you ask can be eg. 20 decagrams, 40 decagrams, or half a kilo, all measured in whatever unit gives the shortest pronunciation 09:40:10 it's just ridiculous 09:40:42 hppavilion[1]: Well, we never use the "Nth century" form. 09:40:58 Except Google Translate apparently does, if you ask for English-to-Finnish. But it shouldn't. 09:41:10 and the scales print slips saying eg. "200 g", "400 g", "500 g" because the crazy units are no longer shorter in writing 09:43:26 is 200 such a long word in relation to 20? 09:43:45 also, where is "here"? 09:44:16 `? bioethics 09:44:17 bioethics? ¯\(°​_o)/¯ 09:44:59 myname: well no, I guess "400 grams" would actually be shorter than "40 decagrams" 09:45:05 so it's not strictly the shortest version 09:45:26 would you say "40 decas"? 09:46:30 (here we use "kilo" for "kilogram" when shopping... so why not do the same for decagrams (a unit, that fortunately, isn't fashionable here)) 09:48:13 int-e: yes, and to complicate the issue, depending on the sentence it may be in two different cases, which also affects which one is shorter, by one syllable 09:49:05 b_jonas: where is "here"? 09:49:56 Oh... 09:49:59 There was another attack in france? 09:50:16 myname: Hungary 09:51:01 hppavilion[1]: another compared to what? there was one yesterday evening 09:51:56 b_jonas: The one in paris a few months ago 09:52:04 I saw a logo with the French flag in it on... a site 09:52:28 And I assumed it was an anniversary of an attack 09:52:52 (I initially thought Paris, but it felt like it couldn't be Paris because it was way too recent) 09:53:05 And... yeah, another one 09:53:12 this one was in Nice 09:53:47 -!- MoALTz has joined. 10:13:00 -!- centrinia has quit (Quit: Leaving). 10:18:11 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 10:30:04 -!- LKoen has joined. 11:09:40 -!- AnotherTest has quit (Ping timeout: 272 seconds). 11:11:40 -!- hppavilion[1] has joined. 11:26:49 -!- AnotherTest has joined. 11:31:17 -!- AnotherTest has quit (Ping timeout: 250 seconds). 11:34:53 -!- boily has joined. 11:38:26 -!- augur has quit (Remote host closed the connection). 12:05:28 https://www.reddit.com/r/vexillology/comments/4rwwqh/what_if_the_united_states_had_made_the_mistake_of/ seems to be doing well 12:16:44 -!- boily has quit (Quit: SOUL CHICKEN). 12:17:30 -!- adu has joined. 12:19:01 hadu! 12:19:09 We have broken the quinboily cycle! 12:19:34 @tell oerjan I'm free! 12:19:34 Consider it noted. 12:19:37 adu? 12:19:42 helloppavilion 12:24:58 hppavilion[1]: hey 12:25:18 hppavilion[1]: what is a quinboily cycle? 12:25:22 Yay! 12:25:26 We alternate who's online 12:25:35 Because earlier today I got online just before you logged off 12:25:44 oic 12:27:02 hppavilion[1]: I haven't seen you in at least a month 12:27:59 Yep 12:29:15 what's new? 12:32:06 -!- Phantom_Hoover has joined. 13:08:51 -!- flok420 has joined. 13:12:49 [wiki] [[Special:Log/newusers]] create * Flok * New user account 13:13:25 [wiki] [[Brainfuck implementations]] https://esolangs.org/w/index.php?diff=48887&oldid=47344 * Flok * (+253) /* Optimizing implementations */ 13:16:51 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 13:26:55 -!- gamemanj has joined. 13:33:31 -!- impomatic_ has joined. 13:45:09 -!- Sgeo has quit (Ping timeout: 276 seconds). 13:57:39 -!- atehwa has quit (Ping timeout: 246 seconds). 14:01:06 -!- hppavilion[1] has joined. 14:08:48 -!- tromp_ has joined. 14:09:20 -!- atehwa has joined. 14:10:19 Maybe we need a 1.5th world 14:10:37 To describe living in the first world, but in the shitty part (e.g. you're a black ex-con) 14:23:35 -!- tromp_ has quit (Remote host closed the connection). 14:27:00 hppavilion[1]: the way I was tought was that 1st world = Americas + Europe, 2nd world = Asia (e.g. Russia, China), and 3rd world = Africa 14:27:47 adu: Technically, the 1/2/3 comes from first world = U.S. and allies, 2nd world = USSR and allies, 3rd world = neutral 14:28:36 well, then my teacher was dumb 14:30:12 But now, 1st world is developed countries and 3rd world is shitty countries 14:30:32 then what's the 2nd? 14:31:42 gamemanj: We kind of dropped it 14:31:58 ...that's just plain confusing. My guesses were: Britain? Spain? Turkey? Alternate universes where Mirai Nikki is streamed to TVs to show what will happen to the world if the omnipotent government falls? 14:33:06 gamemanj: the 2nd dissappeared when the USSR did 14:33:37 So, that'll be option 4 then. 14:34:18 I want cyrillic alphabet soup 14:35:18 Сою́з Сове́тских Социалисти́ческих Респу́блик 14:36:04 hppavilion[1]: Russian or Serbian? I'm still not convinced that "cyrillic" is a single script other than for political and historical reasons. 14:36:19 I think it's two scripts. 14:36:39 b_jonas: Latin is a script 14:36:44 adu: yes 14:37:04 b_jonas: almost every european language is written in Latin 14:38:06 adu: Latin is a script, including even the extra-high version the Vietnamese language uses, because in a Hungarian text people use the original spelling of any proper nouns if its original spelling is in the Latin script, but transcribe it by pronunciation instead if it's not in the Latin script. That is my criterion for considering something a single script. 14:38:31 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 14:38:47 Russian text typically transcribes Serbian or Macedonian names, rather than using the original form, because it's not really the same script. 14:40:29 The two are just treated the same script for some historical reasons (probably originally political), and it's very impractical to change that now, because there are shittons of text from both script encoded in the overlapping set of unicode characters, and every software expects those characters and uses different fonts for them depending on the language. 14:41:03 Vietnamese isn't written in Latin 14:41:11 adu: what 14:41:23 it usually is, these days 14:41:37 there used to be a kanji script for it, but it's barely used now 14:41:55 Vietnamese can be written in Latin, just as any syllables can, but Vietnamese should be written in Han/Kanji 14:42:14 adu: yes, and Serbian can also be written in two different scripts... it's complicated 14:42:38 I don't care what it *should* be written in, but it's very often written in Latin script 14:45:39 Hmm, xkcd phone 4 is better than xkcd phone 3, because in xkcd phone 4, battery is included 14:48:14 12 headphone jacks sounds like quite a lot. 14:48:36 (And why is it in groups of 5/2/5? Design reasons?) 14:49:00 -!- adu has quit (Quit: adu). 14:50:05 -!- `^_^v has joined. 14:51:30 a display that stings you 14:51:33 perfect security feature 14:52:25 gamemanj: no, I think it's behind plexiglass so it doesn't, unless the screen breaks 14:52:59 uh, the battery is non-rechargable??? 14:53:15 That'd be a good feature actually, then people wouldn't buy the too expensive phones that they can't afford to replace when the display breaks and keep using with a broken display. 14:53:27 gamemanj: yes. 14:53:39 welp, useless 14:53:55 or at least, it will be in about 5 seconds 14:54:01 micro-amp-hours 14:55:04 also, the headphone jacks are probably to run some sort of super laser system 14:55:55 ...unless you have any better ideas? 15:14:05 Use for recording on a tape 15:19:47 Well, 3 headphone jacks are useful so you don't have to disconnect the speaker while you're copying a game from one casette to another easily. 15:20:57 s/useful/convenient/ 15:21:25 -!- flok420 has left ("Looking for an alternative to irssi/x-chat? Check f-irc! http://www.vanheusden.com/fi/"). 15:23:07 If you have external tape recorder you will need only those to copy a tape, but if the tape stores digital data then maybe it will be useful to go through a computer first in order to reencode the data to avoid lossiness, maybe 15:23:20 -!- Kaynato has joined. 15:23:46 zzo38: that, and also the computer can find the start and end of the file more easily than you can through hearing 15:24:08 -!- tromp_ has joined. 15:24:19 Yes, if you do not want to copy the entire tape. 15:24:38 Also, the computer can verify the data is OK. 15:25:01 (And of course, while you are doing this, you can have 5.1-channel music going on to pass the time.) 15:25:11 gamemanj: barely. the parity bits maybe. I don't think there's any more advanced error-correcting code on the casettes. they're not CD-rom. 15:25:36 gamemanj: ah yes, true! you wear 5.1 sided headphones for that and listen with your 5.1 ears 15:25:44 yes 15:25:52 and watch the 6D movie on the screen 15:25:53 (actually it would probably involve a compass) 15:26:38 (I'm not actually sure what the purpose of 5.1 is, really) 15:27:20 what I don't understand is, does this have an internal modem, and if so, where do you plug in the TP telephone cable, otherwise where do you plug in the serial cable? 15:27:37 There's a parallel port on the bottom, so... 15:27:46 you could probably find some way of converting serial to parallel 15:27:50 hmm 15:27:58 though, that port does imply the phone is REALLY big 15:28:35 maybe you need an USB modem 15:28:45 and plug it in the USB E port 15:28:53 Actually I don't see a USB port on it 15:29:02 yes, the USB port is on xkcd phone 3 15:29:09 -!- tromp_ has quit (Ping timeout: 276 seconds). 15:29:16 ...must be a removed feature 15:32:02 pity that the onboard cloud doesn't look like a cloud 15:32:32 maybe it's a reference to the magic smoke 15:33:54 but meh, another xkcd phone 15:34:31 I.E. the stuff that pops out when you ![-]++++[->++++<]>[-<+++++>]-----.--.+++.. a chip 15:36:38 ...that was meant to be fake random terminal noise, but for some reason I got bored and decided to write brainfuck instead. And I got it wrong, too... 15:37:02 gamemanj: why is it wrong? it looks right except it's all uppercase 15:37:04 -!- spiette has joined. 15:37:14 b_jonas: I see you added the missing '<'? 15:37:28 ah 15:37:33 yeah, you need a < 15:37:44 yes 15:45:26 as an experiment in how simple a bytebytejump could be hardware-wise... https://dl.dropboxusercontent.com/u/21184720/minibp.circ 15:51:14 I don't have Logisim in my computer 15:51:27 Can you make the PNG of it? 15:51:29 Ok. 15:52:28 Do you have an unzip program? 15:52:32 (just checking) 15:53:10 Yes, I have 7-Zip. But shouldn't just the PNG be OK? 15:53:19 There are 3 circuits. 15:53:29 One main one, and two sub-circuits 15:53:52 O, OK 15:54:13 because as messy as it is I did try to modularize it a bit... 15:54:15 https://dl.dropboxusercontent.com/u/21184720/minibp/data.zip 15:55:27 OK 15:56:09 In additon to 7-Zip of course I also have the standard UNIX utilities (such as tar), and also har (which I wrote by myself), and gzip (which also is included with this computer) 15:56:16 "har"? 15:56:27 -!- choochter has quit (Ping timeout: 276 seconds). 15:56:53 http://zzo38computer.org/prog/har.c 15:57:20 It is used to deal with Hamster archives 15:57:30 (Other programs exist but they aren't very good) 15:57:48 I'm not even sure what byte order is being used in this... 15:58:00 I'm guessing that's the format's fault? 15:58:08 Yes it is the format's fault. 15:58:18 But, the byte order is the PDP byte order. 15:58:36 -!- choochter has joined. 15:59:30 (It is not a very good byte order, but that is how Hamster archive works.) 15:59:38 That byte order would probably break most C applications nowadays :) 15:59:52 they support little-endian, they support big-endian, but I bet they don't support PDP-endian 16:00:52 You can easily implement any of those three ways in a C code though, independently of the native endian of the computer. 16:01:24 Such thing is needed anyways because it is different for different file formats and protocols. (Many file formats and network protocols use big-endian.) 16:02:34 I'm pretty sure some people fread into a struct buffer and then switch the ints around, which is fine for the standard endians, but not good if the computer is anything "unsupported"... better to do what you do in har.c and get/put each char individually 16:02:50 -!- teuchter has joined. 16:02:59 -!- choochter has quit (Ping timeout: 250 seconds). 16:03:07 Yes, that is what I always do when dealing with external files/protocols though. 16:04:17 I really did not know this was a thing in C. "['0'...'9']=1" 16:04:26 I think that is a GNU extension 16:04:52 (Note that not only gcc but also clang supports GNU extensions, so you will be able to use clang too if you want to) 16:04:56 -!- FreeFull has quit (Quit: Rebooting, new kernel). 16:09:27 -!- FreeFull has joined. 16:29:03 -!- `^_^v has quit (Ping timeout: 240 seconds). 16:29:16 -!- `^_^v has joined. 16:51:26 #if __GNUC__ && ! __clang__ 16:51:28 #define UNUSED(x) do { __auto_type __unused __attribute__((unused)) = x; } while (0) 16:51:30 #else 16:51:32 #define UNUSED(x) (void) x 16:51:34 #endif 16:51:36 how is this? 16:52:10 maybe with (x) instead of x 16:53:25 it's a workaround for gcc that still warns me that i'm not using stuff 17:00:43 I don't know, I just use the -W to select which warnings I want 17:05:36 -!- Phantom__Hoover has joined. 17:06:11 gamemanj: If you use fread/fwrite directly on some struct buffer should be OK if it contains no pointers and the file is used on the same computer; some of my programs do that but only when the file is not intended to be portable to other computers. 17:06:37 -!- Phantom_Hoover has quit (Ping timeout: 258 seconds). 17:14:17 -!- wob_jonas has joined. 17:17:03 `? link 17:17:05 `? hyperlink 17:17:41 hyperlink? ¯\(°​_o)/¯ 17:17:41 link? ¯\(°​_o)/¯ 17:19:35 -!- LKoen has quit (Remote host closed the connection). 17:23:57 `? overworld 17:23:59 overworld? ¯\(°​_o)/¯ 17:24:17 -!- tromp_ has joined. 17:29:02 -!- tromp_ has quit (Ping timeout: 272 seconds). 17:30:37 `learn The overworld is an alternative name for the world map, used by players of the Zelda video games. 17:30:53 Learned 'overworld': The overworld is an alternative name for the world map, used by players of the Zelda video games. 17:31:43 Ah, yes, hydraz is here. Makes sense. 17:33:34 By the way, watch the Super Amazing Wagon Adventure video from this SGDQ, the commentary makes it very hilarious. 17:38:31 -!- LKoen has joined. 18:04:26 -!- wob_jonas has quit (K-Lined). 18:06:34 -!- rdococ has joined. 18:08:01 -!- LKoen has quit (Remote host closed the connection). 18:09:15 -!- LKoen has joined. 18:13:07 -!- augur has joined. 18:25:22 -!- tromp_ has joined. 18:26:18 b_jonas: what did you do?! 18:29:36 -!- tromp_ has quit (Ping timeout: 246 seconds). 18:38:52 -!- LKoen has quit (Remote host closed the connection). 18:41:18 "K-Lined"? ... 18:41:20 that sounds bad 18:43:14 K-lining is a (semi-?) permanent server ban, so yeah pretty bad 18:53:37 -!- LKoen has joined. 18:55:48 -!- LKoen has quit (Client Quit). 19:01:26 luckily the "real" b_jonas is still alive... 19:01:27 right? 19:04:28 it's probably not his fault anyway... the wob version is using some web client. 19:18:26 -!- PinealGlandOptic has joined. 19:33:24 -!- PinealGlandOptic has quit (Quit: leaving). 19:33:51 -!- PinealGlandOptic has joined. 19:39:08 zgrep: problem with that? 19:39:22 hydraz: No, it's just that if you weren't here, I was going to point you in this direction. :P 19:40:05 oh hehe 19:47:17 K-lining is a (semi-?) permanent server ban, so yeah pretty bad 19:47:26 i think it's a server ban but not a network ban? 19:47:55 uh yeah, that's right 19:47:58 oops 19:55:39 on freenode they're the same 20:01:33 <\oren\> maybe the web client is a problem 20:06:51 yeah 20:06:59 freenode doesn't like web clients other than its own 20:29:25 -!- augur has quit (Remote host closed the connection). 20:31:52 -!- PinealGlandOptic has quit (Quit: leaving). 20:51:14 -!- augur has joined. 20:58:38 -!- augur has quit (Remote host closed the connection). 21:44:30 Ugh 21:44:34 ugh 21:44:37 I'm feeling like I'm a not very good programmer today 21:44:47 only today? 21:44:57 Well, I didn't think about it yesterday 21:48:56 alercah, "today" was attached to "feeling" rather than to the second "I'm", I guess 21:51:00 -!- AnotherTest has joined. 21:51:14 Why? 21:54:49 shachaf, I looked at job adverts 21:55:00 And they all seem to require skills I don't have anything near 21:55:03 Oh, job adverts are scow. 21:55:09 What sorts of skills? 21:55:24 Being able to program in Java, for one 21:55:41 Oh, well, don't take those jobs, because Java is scow. 21:55:55 But also you could probably learn Java pretty easily. 21:56:03 I guess 21:56:15 Also I have difficulty comprehending large systems 21:56:39 That's an important skill for professional programmers, I guess. 21:56:46 But it usually takes a while as far as I know. 21:57:31 Also I have no idea what I'm going to be doing, like, from this time next year 21:57:41 -!- MigdaliaDufrane6 has joined. 21:57:42 KeyError: Identifier('#esoteric') (file "/usr/lib/python3.5/site-packages/sopel/coretasks.py", line 355, in track_join) 21:57:45 me neither hth 21:58:23 Taneb: have you considered moving to california 21:58:43 "Sopel is a simple, easy-to-use, open-source IRC utility bot" hmm. 21:59:01 shachaf, is there opportunity for a funded PhD placement in functional programming, category theory, or group theory in California? 21:59:19 hmm, probably 22:00:32 for example at stanford people are doing some things 22:01:01 I seem to recall hearing that PhDs in the US take a lot longer than PhDs everywhere else 22:01:07 But I'm not sure if that's true or not 22:01:28 I think undergraduate degrees take longer. 22:01:31 I don't know about PhDs. 22:01:43 (here they generally take about three years) 22:01:45 What PhDs require you to be able to program in Java? 22:01:52 Java PhDs 22:02:02 Is there such a thing? 22:02:13 Some of the ones this uni does, actually 22:02:21 -!- augur has joined. 22:02:22 KeyError: Identifier('#esoteric') (file "/usr/lib/python3.5/site-packages/sopel/coretasks.py", line 360, in track_join) 22:02:22 There's a research group into Enterprise programming 22:03:14 Houston, we have a *broken* unidentified Python IRC bot. 22:03:27 Is that a Star Trek thing? 22:03:34 shachaf, alas, no 22:04:03 HMS Enterprise 22:04:05 https://en.wikipedia.org/wiki/HMS_Enterprise 22:04:08 so many Enterprises 22:04:11 [WIKIPEDIA] HMS Enterprise | "Fifteen ships of the Royal Navy have been named HMS Enterprise (or HMS Enterprize) while another was planned:HMS Enterprise (1705) was a 24-gun sixth rate, previously the French frigate L'Entreprise, captured in May 1705. She was wrecked in October 1707.HMS Enterprise (1709) was a 44-gun fifth rate..." 22:04:18 and even some Enterprizes 22:04:20 well at least it's trying to be useful 22:04:30 MigdaliaDufrane6: please don't do that twh 22:04:45 "Sopel" 22:04:54 ...that's the name of the site-package 22:04:57 it's a bot. 22:05:20 cf. https://sopel.chat/ 22:05:32 cf. /whois 22:05:48 that would've been too easy. 22:06:01 it's much more fun to google the python package name. 22:06:33 hmm, but it doesn't do https? http://sopel.chat/ 22:06:52 Taneb: do you recommend getting a phd 22:07:15 shachaf, I haven't tried it yet 22:07:17 But I mean to 22:07:26 It's not for everyone, I'm aware of that 22:07:33 any other kinds of degrees that you'd recommend? 22:07:53 Integrated Masters are pretty neat 22:08:19 maybe you should go work with fizzie in london 22:08:41 That could work, maybe 22:08:51 But it's personal policy to not live in London 22:09:07 Why? 22:09:18 The air pollution gets to me 22:09:27 London has air pollution? 22:09:48 `? tanebventions: math 22:10:02 Doesn't everything have air pollution these days? 22:10:05 Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, the reals, Lambek's lemma, pointless topology, and histograms. 22:10:09 It did when I went back in like 2005 or so 22:10:16 I got a bit ill from it 22:10:52 `slwd tanebventions: math//s/ p/the Hodge star operator, p/ 22:10:52 -!- MigdaliaDufrane6 has quit (Ping timeout: 250 seconds). 22:10:57 Pointless topology: Alexander Armstrong and Richard Osman are homeomorphic 22:10:58 wisdom/tanebventions: math//Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, the reals, Lambek's lemma,the Hodge star operator, pointless topology, and histograms. 22:11:05 curses 22:11:21 `slwd tanebventions: math//s/,t/, t/ 22:11:24 wisdom/tanebventions: math//Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, the reals, Lambek's lemma, the Hodge star operator, pointless topology, and histograms. 22:11:39 You have a lot of personal policies not to live in places. 22:11:46 Where do your policies permit you to live? 22:11:52 Most of Europe 22:12:05 Canada, certain parts of Australia, New Zealand 22:12:08 Vancouver, BC? 22:12:16 I believe that is in Canada, so yes 22:12:24 Oh, anywhere in Canada? 22:12:27 Excellent. 22:12:30 How about Greenland? 22:12:35 No 22:14:16 Oh, you should move to Toronto. 22:14:45 There's an idea! 22:14:50 I could go to York University 22:15:58 Maybe start a new new York Haskell Compiler project. 22:16:09 Taneb: come to UW! 22:16:43 alercah, which UW 22:16:45 Yes, the University of Washington is good. 22:16:47 There's a whole bunch 22:16:53 But Taneb has a personal policy not to live in Washington. 22:17:00 shachaf, I do 22:17:01 ? 22:17:03 Taneb: university of waterloo 22:17:10 The list I sent wasn't exhaustive 22:17:11 Taneb: Well, it's in the US. 22:17:27 No it isn't, Washington is near-ish Newcastle 22:17:58 https://www.google.co.uk/maps/place/Washington/@54.9033022,-1.5531291,13z/data=!4m5!3m4!1s0x487e64c8cbe0fc97:0xa8135c37990656ba!8m2!3d54.897432!4d-1.517366 22:18:00 See 22:18:04 Well, Newcastle is inside Washington: https://en.wikipedia.org/wiki/Newcastle,_Washington 22:18:16 -!- gamemanj has quit (Ping timeout: 252 seconds). 22:18:44 alercah, I mention York University because I am currently sat here in the University of York 22:19:27 Which are two very different places 22:19:28 Taneb: I think your Washington isn't named after George Washington. 22:19:41 shachaf, I think your George Washington is named after Washington 22:19:59 Named after due to being a descendant? 22:20:16 Taneb: ahh 22:20:28 I thought the University of York would be much older. 22:20:39 shachaf, surprisingly, it's like 4 years younger! 22:20:46 I was going to say something about how it should be called the University of Yore. 22:20:49 But no. 22:20:53 University of Young 22:21:02 Apparently there are young universities in the UK. 22:21:10 Yeah, like Warwick 22:21:39 I think every person in this channel who is a student at a UK university, the university was founded in the 1960s 22:21:42 Taneb: I recommend moving to the Washington, the state. 22:21:55 I lived there myself for a number of years. 22:23:31 Oops. 22:23:35 Extra article. 22:23:42 Washington has some advantages over California. 22:23:47 For example, it has a lot more water. 22:23:51 And there's no state income tax. 22:24:22 @google california income tax brackets 22:24:23 https://smartasset.com/taxes/california-tax-calculator 22:24:37 scow 22:24:40 @google california state income tax brackets 22:24:42 http://www.tax-brackets.org/californiataxtable 22:24:42 Title: California Income Tax Brackets 2016 22:24:48 @google corewar 22:24:48 https://en.wikipedia.org/wiki/Core_War 22:25:01 Someone I lived with last year lived in California for a year 22:25:11 Pfffft... still not #1 on Google :-( 22:27:05 But come October I'm gonna start applying for PhDs in like a whole bunch of everywheres 22:27:13 -!- tromp_ has joined. 22:29:23 Ideally I'd get a funded place somewhere interesting in the UK, EEA, or AUNZ, or Australia or New Zealand 22:29:26 So I won't need to get a visa 22:29:51 What if it was in the US and you got a student visa? 22:30:09 shachaf, that would be almost as good 22:30:35 Does a student visa come with universal healthcare 22:31:09 No, I think students often get healthcare from the university they attend. 22:31:39 -!- tromp_ has quit (Ping timeout: 244 seconds). 22:31:45 That would be convenient if true 22:32:20 <\oren\> Coup in turkey: Erdogan addresses the nation via skype on a phone held up to the news camera 22:32:37 <\oren\> Very presidential 22:33:17 It seems a regime barely holding on 22:33:37 <\oren\> meanwhile the military says they have seized control and are fighting the turkish police in the streets 22:34:59 <\oren\> Sputnik news claims Erdogan is trying to get out of Turkey via ataturk airport 22:35:14 are we happy or not for the coup in turkey? 22:35:28 i just came home and know barely anything about it 22:35:52 <\oren\> Well... the military *claims* they are seizing control to protect human rights 22:36:08 sounds good to me 22:36:23 <\oren\> And certainly a lot of people in Turkey and the rest of the world are tired of Erdogan's bullshit 22:37:53 NBC's reporting that erdogan is requesting asylum from germany now 22:39:25 alercah, I'll definitely add UW to my list of places to think about 22:39:52 Taneb: what area would you be looking to study? 22:40:36 alercah, Functional programming type things, ideally 22:40:42 Possibly category or group theory 22:40:44 Taneb: hmm 22:40:52 not sure UW's the best school for that honestly 22:40:58 It's a place I can apply to 22:41:02 it is! 22:41:07 I aim to cast a wide net 22:41:10 if you want algebra, try the pure math department 22:41:13 not just CS 22:41:56 That's a good point 22:50:21 -!- moon_ has joined. 22:50:28 -!- MigdaliaDufrane6 has joined. 22:50:28 KeyError: Identifier('#esoteric') (file "/usr/lib/python3.5/site-packages/sopel/coretasks.py", line 355, in track_join) 22:51:15 Anyone know a interpreter for underload that is in node.js? we (yes, there are 3 others working on it, with solace at the head of the project) are making a bundle of buildin interpreters for it 22:51:25 ]oh 22:51:32 i forgot to mention this is for hbot 22:51:33 lol 22:51:45 Taneb: anything type theory like is definitely more suited to PM at UW than to CS as well 23:04:51 @google pm uw 23:04:52 https://www.pce.uw.edu/certificates/project-management 23:05:05 Taneb ought to get a PhD certificate in project management 23:12:42 that sounds like a project... how would you manage it... 23:13:19 oh, "Pure" Mathematics. 23:14:29 http://en.wikipedia.org/wiki/Python 23:14:32 [WIKIPEDIA] Python | "Python may refer to:..." 23:14:44 -!- Sgeo has joined. 23:14:44 KeyError: Identifier('#esoteric') (file "/usr/lib/python3.5/site-packages/sopel/coretasks.py", line 360, in track_join) 23:15:42 MigdaliaDufrane6: go away 23:16:28 <\oren\> Turkish army are withdrawing from Iraq 23:20:30 -!- `^_^v has quit (Quit: This computer has gone to sleep). 23:20:43 -!- `^_^v has joined. 23:20:44 KeyError: Identifier('#esoteric') (file "/usr/lib/python3.5/site-packages/sopel/coretasks.py", line 360, in track_join) 23:21:59 who wrote this shitty bot? 23:24:17 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 23:24:52 -!- `^_^v has quit (Client Quit). 23:26:21 <\oren\> Python 23:27:10 <\oren\> MigdaliaDufrane6: who are you? 23:27:53 and is it related to JenElizabeth8 ? 23:29:35 Is MigdaliaDufrane6 a big red dog? 23:33:15 does underload have a proper way of inserting comments? 23:38:07 You could use (comment)! 23:48:22 -!- spiette has quit (Quit: :qa!). 23:59:18 -!- moon_ has quit (Ping timeout: 250 seconds).