00:13:07 -!- Jafet1 has changed nick to Jafet. 00:30:39 -!- sebbu has quit (Read error: Connection reset by peer). 00:31:00 -!- sebbu has joined. 00:40:05 -!- yorick has quit (Read error: Connection reset by peer). 01:47:49 Rewatching Who's on First 01:48:00 Considering that there is actually someone who calls himself why... 01:48:59 you know that sketch is based on people with names like Hu 01:49:00 right 01:49:34 Bike's on first 01:49:42 wait, is baseball played on bicycles 01:49:45 i think it isn't 01:49:52 bicycle polo, bicycle baseball 01:49:57 it follows logically, shachaf 01:50:00 Bike: I did not realize that 01:50:22 well you should, bicycle baseball is a noble sport 01:52:12 kmc: should i acquire a mölkky thing 02:01:14 mjölkchoklad 02:02:46 http://preview.tinyurl.com/mecrh3h -- oerjan 02:07:02 -!- carado has quit (Ping timeout: 256 seconds). 02:10:58 -!- Sgeo has quit (Read error: Connection reset by peer). 02:14:31 shachaf: i get a "preview" thing showing a data: url. my browser refuses to follow the actual link to that. 02:14:39 Oh. 02:14:44 get a better browser hth 02:16:09 maybe some other time hth 02:16:20 is never an other time 02:16:55 with sufficient laziness time can be infinite 02:17:08 are you infinite 02:17:19 i know someone who is infinite 02:17:31 but not you 02:17:38 i don't know yet, ask me when i've finished evaluating 02:18:12 coöerjan 02:18:17 oops 02:18:26 coœ̈rjan 02:18:31 coø̈rjan 02:18:45 fancy 02:19:49 coœ̷̈rjan 02:20:14 ion: my terminal renders the solidus through the r 02:20:19 that's not the intention, is it 02:20:32 It is not. 02:20:51 How about oœ̷̈r? 02:21:03 Still through the r. 02:21:20 But the ¨ is over the œ? 02:22:55 In the second example the ¨ is over the r. 02:23:05 Hmm, in the first example too. 02:23:05 -!- augur has quit (Read error: Connection reset by peer). 02:23:12 ok 02:23:30 -!- augur has joined. 02:23:31 But note that when I select and copy the æ, the two combining characters come along with it 02:24:11 What terminal is that, btw? 02:24:45 -!- epicmonkey has quit (Ping timeout: 264 seconds). 02:24:53 gnome- 02:25:16 Huh. Works in mine. 02:25:20 what's the plural of "solidus" 02:25:28 oerjan: Do you know "Kubb"? 02:25:33 bike: Kubb 02:25:38 "Number Kubb"/"Bex Kubb"/whatever. 02:27:44 Oh 02:27:45 kubb the wood block throwing game? 02:27:50 Yes, that one. 02:27:56 * oerjan never played it himself 02:28:04 Whose self did you play it? 02:28:19 but i saw someone playing it this spring. 02:28:35 well afair 02:28:35 oerjan: As far as I can tell that's the same thing as "Mölkky". 02:28:40 So now you know. 02:28:42 oh. 02:30:20 i've played kubb once and it wasn't very fun imo 02:30:59 i don't think it's exactly the same, different shapes of blocks 02:31:09 part of it is the psychological aspect where you realize 02:31:13 ohwait was it the version with the numbers 02:31:16 s/oh// 02:31:21 i'm literally throwing wood blocks at wood blocks 02:31:25 i think there are multiple things called kubb 02:31:31 how do you live with that 02:31:39 the one i played was fun 02:31:46 my kubb was non-numbered 02:31:57 well (english) wikipedia has a mölkky article and a kubb article. 02:31:59 it was this kubb http://en.wikipedia.org/wiki/Kubb 02:32:02 a parakubbist 02:32:47 maybe i was wrong then!! 02:32:53 sry 02:32:56 hth 02:33:01 thx 02:33:10 yny 02:33:41 well number kubb sounds like it would be different, and mölkky has numbered ones 02:34:29 indeed 02:34:37 http://en.wikipedia.org/wiki/Template:Bowling 02:35:20 i declare the finnish one to be the best hth 02:35:36 O KAY 02:45:49 -!- Bike has quit (Ping timeout: 245 seconds). 02:47:47 -!- Bike has joined. 02:57:17 shachaf: yes 02:57:29 help 02:57:30 yes to what 03:04:10 shachaf: yes 03:06:04 mölkky 03:07:08 oh 03:43:01 -!- Bike has quit (Ping timeout: 248 seconds). 03:51:45 -!- oerjan has quit (Quit: Gnite). 03:56:20 -!- Bike_ has joined. 03:57:37 -!- dlackili has joined. 03:57:41 Step 1: http://pastebin.com/TyV4Eqpa step 2: http://pastebin.com/kKn0mNNA step 3: http://i.imgur.com/FX3fAd7.png step 4: http://pastebin.com/WG0mSe6L 03:57:42 Can anyone solve step 4? 03:57:53 no 03:58:04 -!- Bike_ has changed nick to Bike. 04:00:43 what should i do on my birthday 04:00:54 my puzzle :D 04:01:00 shachaf: happy birthday! 04:01:05 it's not my birthday 04:01:13 oh lol 04:02:27 Are you mafingre or whoever they were? 04:02:29 yes 04:03:22 -!- tertu has joined. 04:04:33 Weren't you banned or something? 04:04:34 Or was that only in the other channel? 04:04:37 other channel 04:05:57 -!- nooodl has quit (Ping timeout: 248 seconds). 04:06:52 -!- sebbu2 has joined. 04:11:12 -!- Bike_ has joined. 04:12:05 -!- Bike has quit (Disconnected by services). 04:12:10 -!- Bike_ has changed nick to Bike. 04:12:48 -!- nooodl has joined. 04:13:15 -!- sebbu has quit (*.net *.split). 04:13:36 can anyone solve the puzzle of fuck my internet connection 04:14:43 -!- zzo38 has joined. 04:15:11 Bike: the solution is run irssi via mosh hth 04:15:36 ugh work 04:17:28 http://pastebin.com/NWe0rTYc <<<< python script I came up with to try test some shit out 04:18:07 does python even have bigfloats 04:18:34 -!- coppro has quit (*.net *.split). 04:19:51 oh, you don't even use the values. 04:22:53 so which of the clues points to DES3 dlackili 04:23:28 nooodl: ECB mode? 04:23:41 -!- coppro has joined. 04:23:52 https://en.wikipedia.org/wiki/Block_cipher_mode_of_operation#Electronic_codebook_.28ECB.29 04:24:05 wow amazing 04:25:17 -!- sacje has quit (Ping timeout: 246 seconds). 04:25:51 i googled "ecb" "voldemort" while solving it and 04:25:52 http://globaleconomicanalysis.blogspot.be/2009/04/ecbs-lord-vortemort-policy.html 04:26:03 Like the wizards in Harry Potter afraid to say "Voldemort" the dark lord's name, the ECB is afraid to speak of deflation. 04:26:18 hmmm 04:26:27 so i was using DEFLATE (gzip) instead of that :') 04:26:42 nooodl: did it work? 04:26:47 it didn't 04:27:03 how did you use the integral value? 04:27:10 i didn't. that's why i got stuck probably 04:27:58 dlackili: seriously, you realize most of the digits of that aren't going to be used, right 04:30:22 Bike: in my program, ik 04:47:26 -!- tertu has quit (Ping timeout: 256 seconds). 04:50:52 I am playing ADOM and managed to get my PV down to negative 1275. 04:57:28 -!- tertu has joined. 05:05:22 -!- sacje has joined. 05:05:47 zzo38: do you play any other roguelikes? 05:08:03 Sometimes. 05:09:20 -!- intosh has joined. 05:18:18 zzo38: which ones have you played? 05:22:36 -!- copumpkin has quit (Ping timeout: 260 seconds). 05:23:12 kmc: turns out maybe i have a mölkky thing in WA 05:23:12 -!- copumpkin has joined. 05:23:14 what should i do 05:23:19 -!- Sgeo has joined. 05:37:19 have it mailed to you, i guess 05:37:51 nooodl: Do you think it could be DES? 05:38:02 DES uses 16 byte or 24 byte keys 05:38:12 IamLordVoldemort 05:38:21 0.212611IamLordVoldemort 05:39:04 i've already seen the solution (what happened to the - by the way?) 05:39:22 nooodl: What is the solution? 05:40:02 oh i was talking about i saw the python script you pasted 05:40:15 nooodl: That is not the solution :P 05:40:29 nooodl: it might be bce 05:40:36 because of the 'tom marvolo riddle' part being an anagram as well 05:48:53 -!- tertu has quit (Ping timeout: 248 seconds). 05:50:36 G'racenotes 05:51:22 fuck I have too many hobbies 05:53:02 wrong chanel 05:57:41 -!- tertu has joined. 06:13:30 Gracenotes: nope 06:17:23 -!- intosh has quit (Ping timeout: 240 seconds). 06:35:51 shachaf: when is your birthday 06:36:32 sometime this week 06:39:34 cool 06:39:39 happy preëmptive birthday 06:40:20 is that the opposite of a coöperative birthday 06:40:24 yes 06:42:06 -!- tertu has quit (Ping timeout: 264 seconds). 06:47:27 -!- dlackili has quit (Ping timeout: 250 seconds). 06:56:09 say, what color ceramic mini-teacup/teapot combination should I get? 06:56:21 invisible 06:56:26 Red, Carrot, Mandarin, Lime, Turquoise, Marine, White, Gray, or Black Graphite? 06:56:56 are you sure carrot/mandarin/lime are color choices 06:57:02 they sound more like food choices to me 06:57:16 in particular http://www.forlifedesign.com/shop/index.php?main_page=product_info&cPath=12_47&products_id=34 06:57:33 all of the colors even have three letter codes 06:58:01 I suppose you're not asking which one *I* would get. 06:59:10 well which one would you get, and why? 07:00:32 suddenly we gotta say why? 07:00:37 indeed 07:00:53 invisible. so that you can't get snuck up on while having your tea party. 07:01:35 "Draw a noughts-and-crosses board, sometimes also referred to as a tic-tac-toe board. Do not fill it in with noughts and crosses, sometimes called exes and ohs. Instead, use curved arrows. By drawing more lines, make it a board for four-by-four (instead of three-by-three) noughts and crosses. Wave your hands about in complicated patterns over this board. Make some noughts, but not in the squares; put them at both ends of the horizontal and ... 07:01:42 ... vertical lines. Make faces. You have now proved: 07:01:44 (a) the Nine Lemma 07:01:47 (b) the Sixteen Lemma 07:01:49 (c) the Twenty-five Lemma 07:01:52 (d) that four-by-four noughts-and-crosses is a simple two-person, zero-sum game 07:01:54 (e) that 3²+4²=5² 07:01:57 (f) that square-dancing is for squares" 07:02:02 help 07:02:11 -!- MindlessDrone has joined. 07:02:29 Bike: the nine lemma is rather creatively named, isn't it 07:02:51 https://en.wikipedia.org/wiki/Nine_lemma 07:02:52 https://en.wikipedia.org/wiki/Five_lemma 07:02:54 etc. 07:02:56 shachaf: well, why would you get the color you didn't want to say you got? 07:03:02 *would get 07:03:17 *if you were to get a color 07:04:09 i guess i should figure out what a kernel is outside of linalg. whatever 07:26:05 -!- conehead has quit (Quit: Computer has gone to sleep.). 07:42:45 -!- sacje has quit (Ping timeout: 264 seconds). 07:44:32 -!- sacje has joined. 07:49:54 -!- sacje has quit (Ping timeout: 264 seconds). 07:57:56 -!- sacje has joined. 08:32:25 Have you noticed that both $a^n+b^n=c^n$ and $n^a+n^b=n^c$ share a property? The property is for integers a,b,c,n with a>0, b>0, c>0, n>1, there are infinitely many solutions when n=2 and no solutions when n>2. 08:37:20 (The second one is much easier to prove; at least I think it is; I have figured out a proof myself but haven't seen any elsewhere) 08:37:44 (However, it is a informal proof, not a real proof.) 08:38:29 -!- sacje has quit (Ping timeout: 248 seconds). 08:40:50 -!- sacje has joined. 08:47:01 -!- sacje has quit (Ping timeout: 268 seconds). 09:36:45 I think I've seen a proof for the n^a + n^b = n^c, n>2 thing somewhere, possibly in a book about the Fermat thing. 09:52:05 -!- copumpkin has quit (Ping timeout: 248 seconds). 09:52:42 -!- copumpkin has joined. 10:07:27 -!- fungot has joined. 10:20:02 -!- carado has joined. 10:28:31 I am thinking that you can write it by place value, in base n; in the left, either a=b so one digit is 2 and the rest 0, or two digits are 1 and the rest 0; on the right, one digit is 1 and the rest 0. Therefore it doesn't match. In the case n=2 there is no digit "2" so a=b will carry to the next position. 10:29:23 I have not seen the proof, but I have seen it mentioned under the name "Fourmi's Well-Tested Conjecture". 10:30:45 Is this the correct proof or is it a different one? 10:35:39 -!- apeiron1 has joined. 10:35:56 fizzie: Do you remember anything about that? 10:39:11 I don't think the proof I saw (if I saw one) was like that. But I don't really remember. 10:39:43 I don't really know what the other proof would be. Do you have any idea of a proof? 10:44:02 How would you prove it? 10:46:38 Apparently the "Fourmi" name comes from the Gödel, Escher, Bach book, where it's kind of a Fermat pun. I don't think it contains a proof. (It might be that I'm just confusedly remembering that.) 10:46:58 Official Trailer from Comic Con | SWOOSH http://youtu.be/NeVCR1qfMaU 10:47:03 Yes, it does come from that book, and yes, it doesn't contain a proof. 10:50:57 (I also don't know if Hofstadter came up with n^a + n^b = n^c or not.) 11:00:10 zzo38: The internet seems to claim that a paper by Orts Aracil, J. M.; A conjecture concerning Fermat’s last theorem (in Spanish). Mem. Real Acad. Ci. Art. Barcelona, 34, 1961, 17–25; is about it. Another book -- screen capture at https://dl.dropboxusercontent.com/u/113389132/Misc/20130722-orts.png -- quotes this. 11:19:01 -!- apeiron1 has left. 12:16:29 -!- Nisstyre has quit (Quit: Leaving). 12:17:28 -!- epicmonkey has joined. 12:20:06 -!- mnoqy has quit (Quit: hello). 12:21:21 -!- nooodl has quit (Read error: Connection reset by peer). 12:21:21 -!- nooodl has joined. 12:32:48 @ask shachaf “It has sometimes been suggested that half pi should be called hi, and written τ. Explain why this idea was not discovered until recently.” 12:32:49 Consider it noted. 12:33:43 -!- oerjan has joined. 12:35:26 -!- MindlessDrone has quit (Quit: MindlessDrone). 12:55:38 (c) the Twenty-five Lemma <-- huh, http://mathoverflow.net/questions/4562/is-there-an-infinity-infinity-lemma-for-abelian-categories 12:56:05 @tell shachaf (c) the Twenty-five Lemma <-- huh, http://mathoverflow.net/questions/4562/is-there-an-infinity-infinity-lemma-for-abelian-categories 12:56:05 Consider it noted. 12:58:11 -!- Sgeo has quit (Read error: Connection reset by peer). 13:02:34 -!- yorick has joined. 13:10:33 -!- tertu has joined. 14:10:29 -!- jsvine has joined. 14:20:43 -!- tertu has quit (Ping timeout: 276 seconds). 14:20:54 -!- augur has quit (Ping timeout: 240 seconds). 14:22:11 -!- augur has joined. 14:29:07 -!- oleg has joined. 14:29:51 -!- oleg has quit (Read error: Connection reset by peer). 14:31:43 -!- yorick has quit (Remote host closed the connection). 14:39:27 -!- intosh has joined. 14:41:47 -!- FreeFull_ has changed nick to FreeFull. 15:35:02 -!- oerjan has quit (Quit: leaving). 16:10:16 `olist (903) 16:10:19 olist (903): shachaf oerjan Sgeo FireFly 16:14:16 hi Jafet 16:18:04 -!- sebbu2 has quit (Read error: Connection reset by peer). 16:18:51 -!- sebbu has joined. 16:33:34 -!- jsvine has quit (Quit: Leaving.). 16:52:14 -!- jsvine has joined. 17:09:44 -!- conehead has joined. 17:26:07 'morning all 17:26:42 GOOD MORNING 17:26:50 or just "hi" 17:27:11 good meowrning 17:28:51 `morning kmc 17:28:52 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: morning: not found 17:40:08 -!- sebbu has quit (Ping timeout: 246 seconds). 17:49:54 -!- sebbu has joined. 17:50:29 -!- sebbu has quit (Read error: Connection reset by peer). 17:50:43 -!- sebbu has joined. 17:50:51 -!- AnotherTest has joined. 17:57:45 photoshop joke: why do they call them "photoshop filters" if they're really more like "photoshop maps" 18:01:12 happy pi approximation day *adjusts glasses, pocket protector* 18:02:20 Bike: you're a qtπ 18:02:48 * kmc hugs Fiora, Bike 18:03:15 something up? 18:04:00 http://image7.spreadshirt.com/image-server/v1/products/18541668/views/1,width=378,height=378,appearanceId=277/QT-pie-ladies.png this is great 18:05:02 i would have picked a different font 18:05:10 (to continue the "nerd" aspect here) 18:10:10 http://25.media.tumblr.com/13c2422860ee58525968c4c6f95acdb9/tumblr_mq90stNdwB1sumj40o2_1280.jpg the heck is this guy 18:10:51 no I just like hugs 18:11:27 oh that's good too 18:11:34 i like hugs on special occasions 18:11:39 but hugs make every occasion special 18:11:42 so it works out 18:11:49 yes 18:11:59 you understand 18:12:38 There's a Qt/QtMobility demo titled "do not call me cute". 18:13:22 hmm, I read that Qt is supposed to be pronounced cute 18:13:40 I believe it is, yes. 18:20:53 -!- Taneb has joined. 18:22:00 Today was fun 18:32:53 what did you do? 18:43:04 Hmm, these BALINESE MUSICAL SYMBOLs are great. 18:45:31 kmc, I went to a small anime con 18:48:53 -!- AnotherTest has quit (Ping timeout: 245 seconds). 19:05:09 -!- sprocklem has joined. 19:08:50 damn, Pin crashes on rust programs 19:09:06 I wanted to write a Pin tool to track down bad refcounting 19:09:14 kind of a silly approach but an excuse to learn Pin 19:13:20 WHAT IS PIN?! 19:13:52 http://software.intel.com/en-us/articles/pin-a-dynamic-binary-instrumentation-tool 19:15:13 that's a front-end to the several-dozen debug registers intel archs have these days? 19:15:39 or several hundred, I'm not sure 19:15:51 no 19:16:08 a high-level front end, that is 19:16:21 I don't think it has anything to do with debug registers 19:17:15 besides being called an "instrumentation tool", it also says it uses instrumentation 19:17:45 it's a native-to-native code JIT compiler that lets you insert instrumentation calls anywhere in the code 19:17:59 is that the thing the Intel SDE uses? 19:18:03 so you have to explicitly invoke it, then 19:18:17 it's like the framework behind valgrind's tools 19:18:26 does valgrind JIT? 19:18:37 you run it on a normal binary and say "call this function every time you execute an INC with a memory operand" or whatever 19:18:41 and it's a competitor to things like Systemtap (but more userspace-oriented, I suppose) 19:18:56 Fiora: yes 19:19:00 oh, right, there's like that valgrind.h thing that you can use includes from to make valgrind do things 19:19:12 huh, I had no idea... geez, I thought it was so slow, it couldn't be JITing xD 19:19:32 it's slow because it tracks two bits of metadata for every bit in memory 19:20:02 eesh 19:20:18 depending on how much analysis you want done 19:20:45 interesting tho 19:20:58 not sure it has much to do with Systemtap either 19:21:13 or valgrind.h 19:21:47 where would the INC example be useful? unless you pulled it out of nowhere 19:21:55 I wanted to write a Pin tool to track down bad refcounting 19:22:21 -!- Nisstyre-laptop has joined. 19:22:58 oooh. the SDE *does* use Pin 19:23:50 Fiora: that is, the default Valgrind tool (Memcheck) tracks two bits of metadata. like Pin, Valgrind is a framework for dynamic recompilation with instrumentation, and supports a variety of tools 19:24:20 that makes sense... is itsomething that you can like, use, without writing a massive valgrind tool or something? 19:24:28 is which 19:24:29 like you mentioned just tracking some single custom thing 19:24:32 um, valrind 19:24:41 I don't know how hard it is to write a custom valgrind tool 19:24:58 it's not hard to write a Pin tool and I've heard that Pin is generally better and more capable 19:25:03 alas, it's not open source 19:26:18 -!- carado has quit (Ping timeout: 256 seconds). 19:30:51 -!- carado has joined. 19:37:18 http://www.terminally-incoherent.com/blog/wp-content/uploads/2013/07/gopher.jpg 19:44:53 i'd prefer being a gopher to being a protocol, i think 19:45:37 I guess you could go pher being a gopher? 19:46:04 yes Fiora 19:46:07 I could go pher being a gopher 19:46:24 I was literally trying not to make a gopher it joke. 19:48:17 you should have gone pher the gopher joke before fiora went pher the gopher oke 19:48:32 I'm no good at pherring, Bike 19:49:09 what does that even mean. 19:49:25 it's not like... it's not a verb, man. 19:49:59 it's *not* like not a verb? 19:50:00 bike you are the best person 19:50:16 also elliott, see! I helped you not make a gopher joke 19:50:18 by making it for you 19:50:24 i'm also better at toing than elliott is apparently 19:50:28 mark of my bestness 19:51:44 you're both the best okay 19:51:57 elliott's the best at being cute and you're the best at going pher terrible puns 19:52:16 is that even a pun 19:52:19 what's a wentpher 19:52:25 (about five pounds) 19:54:35 ? 19:55:13 if you have to ask, you'll never know 19:55:27 I googled wentpher and found https://twitter.com/jasonisnice/status/184560408173101057 19:56:23 fuc 19:57:22 staypher 19:58:06 gopher the puns, staypher the nonsensical rambling that follows 20:12:19 -!- sacje has joined. 20:17:34 -!- sacje has quit (Ping timeout: 276 seconds). 20:18:17 -!- sacje has joined. 20:23:27 <`^_^v> a couple months ago this o'reilly book called "understanding computation" came out, its been pretty good for filling in gaps of my cs knowledge 20:24:31 <`^_^v> i've only read the first chapter on formal semantics so far though 20:26:53 -!- raineys has quit (Ping timeout: 240 seconds). 20:29:24 -!- raineys has joined. 20:29:27 neat 20:30:01 what kinda semantics 20:31:36 formal ones 20:33:38 http://upload.wikimedia.org/wikipedia/commons/3/37/C17-Vortex.JPG gosh wikipedia has the coolest photos 20:33:49 -!- Nisstyre-laptop has quit (Ping timeout: 276 seconds). 20:33:54 Fiora: It looks happy. 20:34:06 Also kinda derpy. 20:34:23 -!- oerjan has joined. 20:34:28 http://upload.wikimedia.org/wikipedia/commons/d/d1/DN-SD-06-03008.JPG 20:34:46 I think http://en.wikipedia.org/wiki/File:Peacekeeper-missile-testing.jpg was also a very impressive Wikipedia photo, if a bit... disturbing... if you stop and think. Maybe. 20:34:59 http://upload.wikimedia.org/wikipedia/commons/6/6c/C27_SPartan_making_condensation_spirals.jpg it looks like someone got string stuck on the propellors 20:35:13 oh geez, yeah. that picture is terrifying 20:39:58 hmm, how long is the exposure? are we looking at like the last second before the nuclear apocalypse or the last 10 minutes? 20:40:33 It does say explicitly "long exposure", so... pretty long? 20:42:40 (I would think not ten minutes, though?) 20:42:47 The exif tags don't say. :( 20:43:06 did exif tagging even exist back then? 20:44:30 -!- dessos has joined. 20:44:50 The source gallery doesn't really even tell when it was taken, sadly. 20:45:40 -!- aloril_ has quit (Ping timeout: 260 seconds). 20:46:06 ("Peacekeeper" is quite a name for a missile.) 20:52:30 someone either has or hasn't read nineteen eighty-four before naming that. 20:52:58 unless there's an even more precise reference 20:53:21 mutually assured destruction, dood 20:54:10 oerjan: [[ The new ICBM missile was originally planned to be called "Peacemaker", but at the last minute was officially designated the LGM-118A Peacekeeper. ]] 20:54:17 I guess "Peacemaker" is even more ominous. 20:54:26 pacemaker 20:56:54 -!- raineys has quit (Ping timeout: 256 seconds). 20:57:10 anyway nuclear weapons "kept the peace" only in that they caused war to get outsourced to poor countries that don't have nukes 20:59:19 -!- aloril_ has joined. 21:01:02 or sometimes do, like india~ 21:02:35 "Category:Commons featured widescreen desktop backgrounds -- They are therefore likely to be good desktop backgrounds (wallpaper) -- DefecatingSeagull.jpg" yeah, I... I don't think so. 21:08:15 so they're just talking gullshit 21:11:02 There was also a photo of Angela Merkel. I mean, there was nothing wrong with the photo, but I'm a bit unsure how many people would make that a desktop background. 21:13:33 shachaf: what should I make using Pin? now that I know how to do stuff 21:14:14 what sorts of things does Pin let you do 21:14:50 -!- tswett has changed nick to tswetf. 21:15:15 kmc: did you see my investigation of character widths in #mosh the other day 21:15:22 http://software.intel.com/sites/landingpage/pintool/docs/58423/Pin/html/ 21:15:24 no 21:15:50 it turns out wcwidth() is broken for unicode 6 "or something" 21:15:54 :( 21:16:02 at least in my libc 21:16:07 maybe mosh should ship its own wcwidth 21:16:38 yeah I think so 21:16:47 we have at least one pull request open with an implementation of same 21:17:00 i vaguely looked at how tmux does it and it looks like it has a little table of character widths 21:17:22 What's stopping it from being pulled? 21:17:41 [...] but I'm a bit unsure how many people would make that a desktop background. <-- was it that famous picture of her dress with a lot of cleavage twh 21:18:51 -!- sprocklem has quit (Remote host closed the connection). 21:19:43 or possibly make it worse 21:21:07 oerjan: did you see the `olist before i mentioned it 21:22:11 shachaf: I don't know; I haven't been active with Mosh code in recent months 21:22:19 and I think KeithW is often busy 21:22:34 I should get off my ass and do maintainer things but... 21:22:34 shachaf: before you did it in the logs? no. 21:22:43 wait 21:23:13 kmc: imo get a donkey and ride it to work hth 21:23:17 ? 21:23:19 oh 21:23:27 i ride a bike 21:23:30 which is like an iron donkey 21:23:46 the iron donkey would be a good name for a band 21:23:49 or a bike 21:23:56 shachaf: that would depend on how literal you are about "`olist" in that sentence hth 21:23:59 * Fiora resists urge to make jokes about kmc riding bikes 21:24:12 oerjan: did you see the comic update before i mentioned it 21:24:12 -!- Nisstyre has joined. 21:24:19 no. 21:24:21 ok 21:24:38 anyway, get off your bike and do maintainer things 21:28:41 Fiora: :3 21:29:59 * Fiora giggles 21:30:06 "About 41 million donkeys were reported worldwide in 2006" 21:30:08 huh? 21:30:15 why are there so few donkeys in the world!! 21:30:20 what were they reported for? 21:34:56 i'm reading some gecko code now 21:35:03 it's pretty nice and clear 21:35:07 don't know if the whole codebase is 21:54:02 -!- tertu has joined. 21:55:11 -!- yorick has joined. 22:09:15 -!- mnoqy has joined. 22:11:43 -!- copumpkin has quit (Ping timeout: 246 seconds). 22:12:24 -!- copumpkin has joined. 22:12:37 -!- sacje has quit (Ping timeout: 276 seconds). 22:14:59 -!- constant has changed nick to variable. 22:23:16 Bike: http://arxiv.org/pdf/astro-ph/9709094v1.pdf 22:23:23 "The only known effect on the later nuclear burning is that substantial destruction of all elements heavier than helium via spallation reactions can occur if the final plunge has an appreciable radial component (Bildsten, Salpeter & Wasserman 1992). The predicted amounts of spallation are substantial and basically turn the accreted matter into hydrogen, helium and a mix of light fragments" 22:23:53 is this about accretion disks 22:24:12 "Matter accreted onto a neutron star of mass M and radius R releases GMmp/R ≈ 200 MeV per nucleon" 22:24:29 it's about runaway nuclear fusion in neutron star atmospheres, for quasi-repeating x-ray bursts 22:24:50 I think it's kind of like type 1a supernovae? except, like, they don't blow apart the star or anything 22:26:04 -!- Guest70600 has joined. 22:26:16 runaway nuclear fusion in an atmosphere 22:26:17 sounds safe 22:26:32 well, I guess, neutron star surfaces? I don't know 22:26:41 it's a little weird to think about 22:27:08 wow this is from 97 22:27:57 oh and it was in a book 22:28:02 http://www.amazon.com/Faces-Neutron-Stars-Science-Series/dp/0792351940 22:28:21 "darn, no reviews" 22:29:22 also what's "quasi-repeating" mean 22:29:32 um, like, it repeats, but not perfectly regularly, I think? 22:29:51 so like, accretion causing instabilities which cause fusion events every few hours might have irregularities 22:30:00 as opposed to like, a pulsar that repeats every 0.018283772 seconds 22:30:14 What does "I guess B.o.B. was right." mean? 22:31:01 -!- sprocklem has joined. 22:31:25 oh. 22:32:03 it's basically like, you have an accretion of some amount of stellar mass every second with some hydrogen/helium fraction and so on 22:32:33 and based on parameters they want to figure out how stable the fusion of hydrogen/helium on the surface of the neutron star is, and if it isn't stable, how long until an instability is reached and it "flashes" 22:32:53 and what sort of energy it'd produce, what relation it has to the neutron star's properties, and so on, so like, astronomers can search for them and stuff? 22:33:01 I think 22:33:29 wack. 22:33:53 wow. neutron stars do in fact have an eddington limit o_O 22:34:11 a what now 22:34:21 "The Eddington luminosity, also referred to as the Eddington limit, is the maximum luminosity a body (such as a star) can achieve when there is balance between the force of radiation acting outward and the gravitational force acting inward. The state of balance is called hydrostatic equilibrium." 22:35:37 why must octopuses understand hydrostatics more than i do :< 22:36:47 it's basically like "if it's any brighter it would throw off tons of mass" 22:38:36 wow. so like. 22:38:43 this incredibly bright fusion flash that we see as an x-ray flare.... 22:38:51 diffuses the burning layer of the star upwards by... 22:38:53 20 meters 22:39:09 that's not very many meters. 22:39:23