00:00:14 mnoqy: are you a prolog interpreter 00:00:19 shachaf: yes 00:00:22 nooodl_, elliott's perfect not-operating-system 00:00:26 but wouldn't prolog say "no"? 00:00:33 oh right hmm 00:00:37 Why would Prolog say "no"? 00:00:41 `quote vapour 00:00:43 because like, it always says "No." 00:00:45 451) sllide: @ is an OS made out of only the finest vapour 00:00:51 Uh, it usually says "yes". 00:00:53 or it gives a list of results. right? 00:01:01 or am I remembering that class wrong ._. 00:01:04 ITYM vapoure. FTFY, HTH. 00:01:18 it says yes sometimes! 00:01:27 was it the one that was gonna have a new name once and then elliott'd replace @ by that in the entire logs 00:01:53 Its new name should be the full contents of the logs. 00:02:36 agree 00:02:46 oh shit i was going to bed 00:02:49 (i loved learning prolog, but this may be because i did so when i was in that infamously terrible int 2 computing class) 00:02:59 oh i was going to shit bed 00:03:16 `? nooodl 00:03:18 nooooooooodl is right 00:03:20 `? bed 00:03:22 bed? ¯\(°_o)/¯ 00:03:23 phantom_hoover: Is it so easy? 00:03:38 ion: Aren't you tired of the monoids/easy thing? 00:03:45 well i didn't learn it from the class, that's for sure 00:04:21 as i recall the greatest part of the prolog we did in class was getting the shitty mac application we were using to run 00:05:25 -!- epicmonkey has quit (Ping timeout: 248 seconds). 00:05:32 Was the int 2 computing class all about non-maskable interrupts? 00:06:38 shachaf: Aren’t you tired of the “aren’t you tired of the monoids/easy thing” thing? 00:07:09 does prolog ever actually say yes 00:07:12 i think Fiora is right 00:07:15 ion: Aren't you tired of the “unicode quotes” thing? 00:07:18 oh maybe if you query a fact with no free variables? 00:07:29 shachaf: “very” 00:08:02 ion, no 00:08:10 -!- nooodl_ has quit (Ping timeout: 256 seconds). 00:08:19 it was about learning javascript using ie 5 for mac 00:08:27 Sounds pleasant. 00:08:31 (i had this class in 2010) 00:09:03 I really don't remember much, I just remember a lot of people in the class made "prolog says no" jokes constantly 00:09:11 shachaf: that soric design resembles my IRC client design 00:09:16 except I guess mine is more detailed 00:09:24 but probably soric has more than the 0 SLOC I have 00:09:42 but you both stopped because writing an irc client is crazy? 00:09:45 Fiora, was this before little britain and hence the inevitable 'computer says no' jokes 00:09:47 elliott: Sounds like your code is commented exceptionally well. 00:09:52 little britain is bad 00:09:56 'computer says no' jokes are bad 00:09:59 (i can never remember how old all you old fogeys are) 00:10:01 shachaf: no u 00:10:10 little britain? 00:10:18 fiora: sudo watch it 00:10:29 i dunno ion 00:10:31 i trust shachaf 00:10:50 * Fiora [sudo] password for fiora: 00:11:09 aroif42 00:11:14 what was that sudo exploit recently 00:11:17 does anyone remember it 00:11:24 and can it be carried out over irc 00:11:28 * Fiora [sudo] password for fiora: 00:11:28 Fiora: 😹 00:11:40 Sorry, try again. 00:11:42 fiora: You should turn sudo insults on. 00:11:56 is your password a hug 00:12:00 I asked the Ubuntu guys to do that by default and they said no. :-( 00:12:01 @hug Fiora 00:12:02 http://hackage.haskell.org/trac/ghc/newticket?type=bug 00:12:06 ... insults? XD 00:12:14 a dumb feature 00:12:22 sudo insults you when you get the password wrong 00:12:24 "very funny" 00:12:29 lambdabot has the same feature 00:12:31 @src oqwdjoijdasd 00:12:31 Source not found. Are you on drugs? 00:12:33 lambdabot does the same thing with the same insults 00:12:37 @quote jsafhlsahfasld 00:12:37 No quotes match. :( 00:12:39 oopse 00:12:46 hmm is sudo 1.7.4 vulnerable 00:12:48 i bet it is and it's what i have 00:13:12 does prolog ever actually say yes <-- maybe if you have a query with no variables? 00:13:19 shachaf: um... I'm not sure, but hugs are nice 00:13:22 clearly just use su. clearly just use root. clearly....... 00:13:33 Fiora: did you know kmc is moving to san francisco 00:13:34 oh maybe if you query a fact with no free variables? <-- hey stop that 00:13:38 Fiora: you should come too 00:13:47 i hugged kmc the other day and it was good 00:13:57 awww. 00:15:07 imho fuck hugs 00:15:26 fuck hugs??????? 00:15:32 in my hugging opinion 00:15:39 im not a hugs guy, but why would you say that 00:15:52 theyre a conspiracy 00:16:06 hm I vaguely recall the biggest problem with my IRC client design was timestamps in declarations from the client 00:16:10 I assume Phantom__Hoover prefers GHCi 00:16:15 sgeo 00:16:22 in particular you could obligate the server to send a message in the past 00:16:33 and would likely do so given any kind of network lag 00:16:42 closed timelike IRC curves? 00:17:37 admittedly, the fact that my design allows for time travel probably should have made me more interested in implementing it rather than less 00:18:18 now you just have to use it to implement a PSPACE-capable computer XD 00:18:27 http://edisontechcenter.org/tesladebunked.html it makes me inordinately pleased that someone is standing up for edison 00:19:18 -!- conehead has quit (Ping timeout: 264 seconds). 00:19:50 i love debating the merits of 19th century nerds (no i don't) 00:20:28 hey Bike 00:20:33 i love Bike (no i don't) <-- another sick burn 00:20:34 eh, it's a microcosm of bigger problems in the public understanding of science 00:20:40 are you coming to our hug party in san francisco next month 00:20:47 and also tesla worship really fucking annoys me 00:20:50 i burn bikes (no i don't) 00:21:05 i hate Bike (no i don't) 00:21:15 the joke is that i don't actually hate Bike 00:21:30 hi Bike 00:21:30 Phantom__Hoover: this doesn't really seem to stand up for edison so much as it puts down tesla 00:21:33 thx for explaining the joke tdh 00:21:39 like the first pro-edison statement seems to be "he killed an elephant but they all did back then" 00:21:44 "that doesn't help"? 00:21:48 hi shachaf. 00:22:13 elliott, yes, i didn't say it was good 00:22:16 shachaf: throw off the chains of negation 00:23:28 Phantom__Hoover, I misread pleased as pissed 00:23:40 oerjan: did you see sel.html in firefox 00:24:39 Sgeo: sounds like a thing that could happen, possibly 00:26:01 "This definition means roughly that in order to obtain isinhab A, we start from A, we add paths between all pairs of elements of A, then paths between all pairs of the elements we just added, and so on transfinitely until it stabilizes, and then what we get is exactly isinhab A." 00:26:11 update: homotopy type theory still "wack" 00:29:47 shachaf: no hth 00:29:53 more like homotopy WACK theory 00:30:32 HoWT 00:31:11 how't 00:37:44 -!- hagb4rd has quit (Quit: hagb4rd). 00:40:07 -!- hagb4rd has joined. 00:42:24 All at once, he felt a blinding jolt of pain shoot through his right arm. At first, he thought he pulled a muscle, but looking down, he quickly realized that the situation was much worse: "My wrist was completely snapped backwards," he says, "with my palm facing up in the air. I turned pale white." 00:42:26 While Portnoy continued to play, his drum tech immediately snapped the injured wrist back into place and shoved the drummer's arm into a bucket of ice. "I finished the song Rick Allen-style, just playing one handed," he says. 00:42:28 http://www.musicradar.com/news/drums/mike-portnoy-my-best-and-worst-gigs-ever-575982 00:43:23 i assume that's a "best" gig 00:46:41 *CRINGE* 00:54:13 Bike: http://stereo.gsfc.nasa.gov/img/stereoimages/movies/transit_label_large.mov I'd say the sun is cool but well it's actually pretty hot 00:54:23 (a transit of the moon in front of the sun) 00:54:33 it's really cool how like, the cosmic rays show up on the video too 00:55:20 what are my tax dollars going to if not teaching you how to put things on youtube, nasa! 00:56:48 http://en.wikipedia.org/wiki/File:Lovejoy-hi1a_srem_dec12_14.gif there's something really amazing about like, being able to see gravity in action like this, watching a comet accelerate into the sun's corona 00:56:54 oh whoa that shit's wack 00:57:02 well no 00:57:06 it's dope 00:57:15 really dope whoa 00:57:28 no little comet you're going the wrong way!! 00:58:11 amazingly, it survived 00:58:19 O: 00:58:36 it reached ~140k km from the sun's surface and spent an hour travelling through the corona 00:58:44 and went up to 0.2% the speed of light 00:58:59 is that 140 km or 140 Mm? 00:59:28 140Mm 00:59:37 ah. we have SI prefixes for a reason you know :P 01:00:04 oh... I didn't know people like actually used megameter 01:00:17 they do if they're nerds (gestures at self) 01:00:54 apparently it's the only sungrazer seen yet that didn't fragment or disappear 01:00:57 nice! 01:01:03 Lovejoy~ 01:06:54 140 km from the sun's surface sounds pretty hot 01:06:59 from a surviving as a comet p.o.v. 01:07:18 -!- nooga_ has quit (Ping timeout: 264 seconds). 01:07:25 -!- Nisstyre-laptop has joined. 01:07:32 so does 140 Mm tbh 01:08:55 the corona is millions of degrees isn't it? 01:09:47 `frink 140 Mm -> light second 01:09:55 10000000/21413747 (approx. 0.4669897332774129) 01:10:10 Fiora: yes 01:10:18 from what i know about the sun i can tell you that it's approximately really goddamn hot (celsius) 01:10:47 elliott: the corona is many times hotter than the surface hth 01:11:01 -!- Koen_ has quit (Quit: Koen_). 01:11:01 i guess tesla is like bacon 01:11:06 oerjan: i think you need to set up your client to strip out "hth" 01:12:13 Should I upload my massive but questionably legal MIDI collection to prgmr for processing, or just play with a (still questionably, but less so) legal thing of MIDIs that anyone can easily download from the AW website? 01:12:23 kmc: like, they're both things nerds seem to strangely like a lot and talk about? 01:12:30 Sgeo, as your attorney I advise you to rent a very fast car with no top 01:12:42 Fiora: yeah, they're both pretty cool but the internet makes me want to hate them 01:13:44 Using just nginx with lua plugin to build a website: Good idea or bad idea 01:14:47 good idea. just do it 01:19:04 bike...... sgeo isn't about the doing 01:23:12 the corona is millions of degrees isn't it? 01:23:35 temperature doesn't mean much when they're that sparse though 01:24:08 the atmosphere is... really hot at the altitude the iss orbits 01:25:22 I guess that's true 01:25:31 though the photon flux must be crazy 01:25:57 -!- Bike has quit (Read error: Operation timed out). 01:26:24 i'm guessing it's q. high 01:26:32 * Fiora throws things into google 01:26:35 (((1 AU) / (radius of the sun + (140 000 km)))^2) * ((1300 watts) per (square meter)) = 41 677 462.4 watts per (square meter) 01:27:56 that's a lot of watts! 01:28:18 must've been a big comet (or maybe it was really cold) 01:28:19 watts going on 01:28:42 kmc: how much do you cost as an attorney 01:28:55 yeah, I think wikipedia says they revised the original guesstimate as to its size 01:29:06 because the original size they thought wouldn't have survived the trip <.< 01:32:15 Just killed xflux 01:32:21 This shade of blue is blinding 01:32:33 kill! kill! kill! 01:39:31 hmm 01:39:38 have any extrasolar comets been observed 01:41:28 apparently not 01:42:00 http://en.wikipedia.org/wiki/Penguin_diagram 01:42:11 -!- Bike_ has joined. 01:43:14 that sounds really hard 01:43:21 like, comets are really tiny 01:43:33 no, i mean comets from outside the solar system 01:44:28 if you have something coming in on a hyperbolic trajectory it probably wasn't previously in orbit around the sun 01:45:08 -!- Bike_ has changed nick to Bike. 01:45:40 ohhhh 01:45:42 i suspect it would be hard to distinguish something coming from the oort cloud and something coming from entirely outside 01:45:57 Yeah... that sounds really hard, especially since we hardly know anything about the oort cloud I think 01:46:09 also oerjan that is amazing. /penguin diagrams/ 01:46:11 I love the story behind them 01:47:55 we know there aren't many major gravitational influences, surely? 01:48:36 there is other things in the oort cloud... 01:48:41 (apropos of not very much, here is a video of asteroid discovery from 1980: https://www.youtube.com/watch?v=ONUSP23cmAE 01:49:04 i suppose the main planets can be accounted for 01:49:20 oerjan, yes but probably not much massive enough to put incoming comets on a hyperbolic trajectory? 01:49:33 -!- DHeadshot has quit (Read error: Connection reset by peer). 01:49:44 it takes a pretty big perturbation to do that so far from the periapsis 01:50:05 ...if you say so :P 01:50:19 what about a collision 01:50:22 (there /have/ been hyperbolic comets observed, but they were probably put onto them by jupiter) 01:51:17 Phantom__Hoover: it turns out my system is not very good at rendering 4K video 01:51:40 can your connection handle streaming it? 01:52:11 "sort of" 01:52:41 oo. so 01:52:43 "No comets with an eccentricity significantly greater than one have been observed,[47] so there are no confirmed observations of comets that are likely to have originated outside the Solar System. " 01:52:51 so we could tell, I think, that means? 01:53:23 we aren't a popular comet tourist spot :( 01:53:24 "A rough calculation shows that there might be four hyperbolic comets per century,[50] within Jupiter's orbit, give or take one and perhaps two orders of magnitude." 01:53:27 yeah, you just calculate the orbit 01:53:30 that's a pretty huge error margin o_O 01:54:07 "Far out in the uncharted backwaters of the unfashionable end of the western spiral arm of the Galaxy lies a small unregarded yellow sun.", etc. 01:54:13 and without a citation, too 01:54:57 hm i was thinking wrongly, about parabolic orbits instead 01:55:24 parabolic is to hyperbolic as circular is to elliptic, i think 01:55:59 well it's more that it's precisely on the boundary of the other two, and hard to distinguish from them 01:56:17 yes 01:57:23 googling to get the exact wording of that quote lead me to the beautifully 90s http://www.mindgazer.org/dontpanic/ 01:58:14 proloque 01:59:21 it's french 01:59:38 they have g in french elliott 02:01:44 not since the revolution 02:02:48 they used up all the g's to make guillotines 02:07:26 -!- Nisstyre-laptop has quit (Read error: Operation timed out). 02:08:07 -!- Phantom__Hoover has quit (Ping timeout: 276 seconds). 02:13:28 Bike: oh gosh http://hosted.ap.org/dynamic/stories/U/US_OVERWEIGHT_SUBMARINE?SITE=NYMID&SECTION=HOME&TEMPLATE=DEFAULT 02:13:57 ha i heard about that 02:14:31 $14 million, damn 02:15:09 that link doesn't work for me :( 02:16:34 HARTFORD, Conn. (AP) -- A new, Spanish-designed submarine has a weighty problem: The vessel is more than 70 tons too heavy, and officials fear if it goes out to sea, it will not be able to surface. 02:16:38 And a former Spanish official says the problem can be traced to a miscalculation - someone apparently put a decimal point in the wrong place. 02:16:41 "It was a fatal mistake," said Rafael Bardaji, who until recently was director of the Office of Strategic Assessment at Spain's Defense Ministry. 02:18:28 an error of some magnitude 02:18:37 yes 02:20:04 is the dual of an error an errand 02:20:08 the submarine must have eaten too much junk food 02:20:12 ... what would submarine junk food be? 02:20:46 uranium 02:21:30 I guess that makes sense 02:21:39 yellow cake? 02:21:46 ^__^ 02:22:00 (that was terrible, I'm sorry -_-) 02:22:07 i like that "until recently was director" 02:22:28 lol 02:22:37 kmc: should i open a firefox bug 02:23:54 or is it more of a "core" bug you're the mozilla expert here 02:24:18 mozillexpert 02:24:33 Fiora: that was nowhere near bad enough to apologize for imo. try harder next time. 02:24:34 i don't knowchaf 02:24:44 will kmc be obligated to switch browsers when he works at mozilla alt. does he use firefox already 02:24:49 i use chrome now 02:24:55 elliott: when there's a servo browser...............maybe 02:24:59 and i'll be working on the /new/ browser engine so until... yeah 02:25:07 btw I got the offer paperwork today :D :D 02:25:21 are you have decided yet 02:25:38 is there a distinct position of "working on the new browser in rust" vs. "working on rust" 02:25:40 i somewhat doubt spanish submarines are nuclear, anyway 02:25:45 or is there overlap 02:27:14 kmc used to know how to program but then he got rusty 02:27:21 l - o - l 02:27:24 elliott: there is a distinct position but kmc would be the first person to have it or something like that 02:27:43 basically 02:27:50 oh, it's diesel electric. 02:27:51 not first but one of the first 02:27:52 kmc browser developer #1 02:28:00 most of the servo development to date has been by the rust people 02:28:06 seems like you'd want your browser developers to be able to work on the language too 02:28:09 given the symbioticness 02:28:16 maybe mozilla is open enough that they can just go ahead and do that anyway though 02:28:18 yep 02:28:22 they're both on github 02:28:24 ....huh? Is Firefox being rewritten in Rust? 02:28:42 hi Sgeo 02:28:56 Sgeo: yes, Mozilla is writing a new browser engine in Rust 02:28:56 kmc: you should get a #1 hand sign like the people in the onion cartoon 02:28:57 yes.. that is what's happening. 02:28:59 Sgeo: No, but Mozilla is doing some browser development in Rust... 02:29:08 currently the rendering engine 02:29:10 Principally as an experiment. 02:29:11 http://www.theonion.com/articles/selling-america-short,32564/ 02:29:19 javascript and parsing and network and lots of other stuff are still C libraries 02:29:24 Ah 02:29:31 Could turn into a full Rust rewrite at some point. 02:29:32 Sgeo: if your question is "will the new browser eventually be renamed to Firefox" then I don't know of any plans to do so 02:29:43 they are pretty serious about it becoming a real product though 02:29:53 ATM it's more to drive development of Rust I think. 02:29:55 one step at a time 02:29:57 there are now a bunch of Samsung employees working on Rust and Servo 02:29:58 rename it to phoenix 02:29:59 then firebird 02:30:03 because Samsung thinks it will be a better mobile browser 02:30:04 then you can start thinking about calling it firefox 02:30:09 Having a non-trivial program in your new language helps a lot. 02:30:16 kmc: should write your browser in @ instead 02:30:23 bet it'll be more secure 02:30:32 pikhq: the two projects are symbiotic, you could just as well say that Servo is the resaon Rust exists 02:30:40 This is true. 02:30:47 elliott: nothing is more secure than programs written in @ 02:31:00 except maybe for denial of service attacks................... 02:31:19 I've got to give Rust props. I have no idea if it'll be *good*, but it is at least *interesting*. 02:31:24 Someone should make a language where the empty program is the least secure program possible in the language. 02:31:25 yes 02:31:41 i nominate you Sgeo 02:31:49 And there's a real shortage of interesting serious languages. 02:31:54 yep 02:32:02 especially in the "C and C++ replacement" category 02:32:05 Yes. 02:32:16 are you going to write programs in D/Rust now 02:32:25 It's telling that C is still the best language for that niche. 02:32:27 By far. 02:32:31 Go is a "C replacement", in that it's a ploy aimed at people who still use C for applications development for no reason 02:33:28 it's not really a serious replacement for OS kernels or latency-critical stuff 02:33:42 browser kernels 02:34:01 OS kernel, in Go? Hell no. 02:34:03 it's like Java but with even more limitations, and just enough tinge of the weird to make it acceptable to Real Programmers who look down on Java 02:34:22 how exciting 02:34:24 It's also a profoundly mundane language. 02:34:31 go more like went 02:34:38 indeed 02:34:49 Go has built-in generics but no way to make your own, right? 02:34:52 yep 02:34:56 lol, nice 02:35:44 so when are you moving here 02:35:47 Amazon now tracks which videos you've watched! 02:35:57 Or, well, displays it nicely 02:36:02 I guess it has to have been tracking 02:36:05 watched... on what... 02:36:13 shachaf: I'm going to give them a start date of July 1 i think 02:36:15 so, soon 02:36:34 Bike, on Amazon 02:36:42 amazon has videos? 02:37:01 yep they sell streaming video 02:37:03 i'll move to sf too "bandwagoning" 02:37:07 or give you lots of things for free, with Prime 02:37:16 elliott: do it 02:37:53 doesn't sf cost $everything/mo 02:37:58 http://www.theonion.com/articles/woe-is-euro,28491/ 02:37:59 like that 02:38:02 elliott: more than that hth 02:38:18 ok but i don't have $everything 02:38:37 but can you steal that much? 02:38:45 god i love the kelly comics 02:38:58 i wish kelly wasn't so accurate 02:39:36 amazon lets you remove things from your history though, right? I remember it had a thing 02:39:42 so you could make it ignore something for the purpose of suggesting stuff 02:39:55 sorry amazon, i need you to forget all this horse porn. thanks 02:40:31 "I was looking at this product for the parody reviews, I don't actually want lots of random numbers ;_;" 02:40:42 elliott: you could move to epa 02:40:50 speaking of which i should move out of epa 02:41:31 shachaf: i hear EPA has violence, violence, violence, violence, and thinly-veiled racism concealed behind questions about violence [source: quora] 02:41:42 [source: I am a violent racist in EPA] 02:42:24 Fiora: did you know RAND claims copyright on the random numbers in that book 02:42:44 Fiora: http://hcoop.net/~ntk/random/ 02:43:26 cute 02:43:59 i'm curious who would need this 02:44:22 people who need digits... and fast 02:44:28 and furious 02:45:00 i'd kind of like to see a court case about copyrighted random numbers, that would be interesting 02:47:42 I guess nowadays it's less necessary 02:47:46 with PRNGs 02:48:06 yeah i can't imagine anyone actually taking it to court, i'm just wondering how it would work out 02:52:30 i think they had PRNGs back then, they just weren't very good 02:52:35 -!- sprocklem has joined. 02:53:00 i like to imagine some confused RAND employee getting frustrated with Knuth's shitty prng 02:53:02 computers were too slow to run a good one 02:58:03 https://bugzilla.mozilla.org/show_bug.cgi?id=880926 02:58:42 ok 03:10:27 oh dear, their bugzilla allows live html attachements that show up in bug880926.bugzilla.mozilla.org 03:10:32 (eg) 03:10:52 that's not great for security 03:10:54 quite the 'meta bug' 03:12:51 haha. 03:15:16 ⫻ 03:18:26 whychaf 03:18:37 whywhat 03:18:59 -!- oerjan has quit (Quit: Gnite). 03:23:42 -!- kappabot has joined. 03:23:45 hippabot 03:24:01 woow 03:24:09 hipaabot 03:24:19 κappabot 03:24:29 crappabot 03:24:39 shachaf: kappabot is wearing your cloak 03:24:45 also how do I get a cloak 03:24:54 kidnap an oper 03:24:54 καππα⊥ 03:25:03 kmc: ask tt 03:25:08 really 03:25:13 at least that's how i got mine 03:25:15 is tt the secret pope of freenode 03:25:16 cool 03:25:18 useful 03:25:26