00:56:53 -!- yorick has joined. 01:07:28 -!- Bike_ has joined. 01:08:54 -!- Bike has quit (Ping timeout: 240 seconds). 01:10:10 -!- Bike_ has changed nick to Bike. 01:15:30 -!- yorick has quit (Read error: Connection reset by peer). 01:16:55 -!- copumpkin has joined. 01:40:23 -!- nooodl has quit (Ping timeout: 264 seconds). 01:56:13 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 02:41:24 -!- Sgeo has quit (Read error: Connection reset by peer). 02:41:40 -!- Sgeo has joined. 02:42:13 HexChat has taken to crashing for no reasons 03:03:09 -!- Bike has quit (Quit: Reconnecting). 03:07:13 -!- Bike has joined. 03:07:40 -!- quintopi1 has quit (Ping timeout: 276 seconds). 03:10:48 Cheetos with chopstick seem like it could be good idea certainly. 03:44:43 -!- Sgeo has quit (Ping timeout: 276 seconds). 03:54:36 -!- Sgeo has joined. 03:55:12 I blame HexChat 03:59:27 Of what? 04:08:00 -!- Bike has quit (Ping timeout: 268 seconds). 04:09:24 -!- Bike has joined. 04:28:10 -!- Nisstyre has quit (Quit: Leaving). 04:52:56 HexChat of Hexham. 05:00:14 No, I mean what you blame them of? 05:01:58 -!- sacje has quit (Ping timeout: 264 seconds). 05:02:24 -!- tertu has quit (Ping timeout: 240 seconds). 05:02:59 -!- sacje has joined. 05:05:59 What is the dictionary coder which is using a fixed dictionary? 05:18:11 -!- carado has quit (Ping timeout: 246 seconds). 05:32:45 -!- intosh has joined. 05:35:41 If using a static dictionary with overlapping strings, would it help to precompute some table involving the overlapping information? 05:36:47 help what 05:50:31 Is it not understandable? 05:51:11 I mean, what is it you want to help. 05:52:19 O, maybe I am unclear. 05:52:27 I mean to help the encoding algorithm. 05:53:44 Actually, I guess a simpler way, but maybe a slightless compression, would be to make the order of how long each one is and then search and replace starting with the longest entries. 05:54:21 In the specific case I am using it is Z-machine, so it isn't actually that simple, although that might be good enough. 05:57:54 oh i too interpreted what Bike said as "help, what" 05:58:17 i, too 05:58:18 understandable 05:58:34 i, even i, can play dead 05:59:19 kmc: The response is the same either way, as it turns out, it means what I wrote isn't understandable 05:59:32 Bike: http://voyager.jpl.nasa.gov/where/ this is kind of cool 05:59:37 kmc: somehow still finding sand in my shoe 05:59:42 haha yeah 05:59:46 kmc: or, rather, between my toes, when i put the shoe on 05:59:48 still finding sand in my bed 05:59:58 did you two go to the beach? 06:00:04 yep 06:01:45 #esandteric 06:02:07 Fiora: imagining a receptionist at the JPL whose job is to point very precisely at where the probe is. 06:02:58 XD 06:03:49 34 and a half light-hours, huh. wonder if we'll ever pass that. 06:05:01 well, like, the probe passes the record every second, doesn't it? 06:05:46 a different probe, i meant :/ 06:05:58 oh, probably New Horizons? 06:06:23 that one's on an escape trajectory too 06:06:28 though I think it'll be a bit slow 06:06:36 oh I thought you meant whether humans will ever get that far from earth 06:06:38 *slower 06:06:54 well, i guess that's a question too 06:06:56 rather farther off though 06:07:22 yeah, that one in particular is probably far :/ since there'd be no point in sending humans that far unless like, you're going to another star system 06:07:25 kmc: If you do, try to make sure not to damage things too much in other solar systems and even in the stars themself 06:07:35 ok 06:07:37 But it would probably take too long to get there anyways. 06:07:38 will do 06:07:49 don't play golf on proxima centauri 06:08:21 what's the lore... right, the alpha centauri spaceship gets launched in 2060 06:08:41 I think 06:08:53 doesn't alpha centauri also start after a global conflict nukes earth. 06:08:55 can we like not do that 06:09:01 -!- Sgeo has quit (Ping timeout: 276 seconds). 06:09:09 that... yeah. I think we shouldn't do that 06:09:34 it's settled then, no biosphere destruction 06:09:45 I don't think you should play golf on a star. 06:09:59 why not 06:10:07 Because it won't work. 06:10:18 how unimaginative. 06:20:46 What is the difference between the Oxford Idioms Dictionary (of English) and the Oxford Dictionary of English Idioms? 06:21:06 The first is $25 with 10,000 idioms; the second is $15 with 6,000 06:21:49 One of them is fiction. 06:23:59 I think the former sacrifices depth for quantity? 06:24:08 And is meant partly for ESL purposes. 06:26:13 > (10000 / 25, 6000 / 15) 06:26:14 (400.0,400.0) 06:26:17 :O 06:26:34 well played, Oxford 06:26:42 lol. 06:27:02 I have the Oxford Dictionary of Euphemisms, but I don't know how many euphemisms is in it, and I can't remember how much it cost. 06:27:18 kmc: at least rounding to 1-2 sigfigs 06:27:40 It says £8.99 RRP $14.95 USA $17.95 CAN in the back. 06:27:43 what? those are both even divisions... 06:27:55 oxford dictionary of dysphemisms 06:27:56 oh, you mean it's $24.99 or w/e 06:28:07 yes, and not exactly 10000, etc. 06:28:15 that is still coincidental... or is it 06:28:44 anyway important stuff: what does this channel think of the soliton model of action potentials!?? 06:28:54 -!- sacje has quit (Ping timeout: 248 seconds). 06:29:16 I am looking to generally improve my idiom fluency 06:30:10 Reading Perlis again? 06:30:21 "Almost five thousand", in the newer edition. 06:30:29 > 5000 / 15 06:30:30 333.3333333333333 06:30:39 shachaf: well, not so much (and that's about proglang idioms anyway) 06:30:42 You get less euphemisms per dollar than you do idioms. 06:30:50 Gracenotes: What, the Shakespeare bit? 06:30:55 yes 06:31:19 although surely I've absorbed that into my ethos, as with all of the epigrams 06:31:33 actually, if you want a more direct motivation, watching talks given by SPJ. 06:31:42 that are posted on YouTube 06:33:00 -!- sacje has joined. 06:35:48 does he use weird idioms? 06:36:20 just very salient 06:36:35 appropriately, i don't know what you mean 06:36:45 DM has defined some esoteric sorting algorithms, none of which are suitable for general purpose applications, and some of which don't even work at all. Some of them result in a different multiset of output than the input is. However, it seems some of them may have a use in some specialized applications. 06:38:53 there's no real way to become more proficient with communicating things precisely, but for me, I often find phrases on the tip of my tongue when trying to do so (and occasionally botch them) 06:39:15 drinking scotch out of a mongodb mug again 06:40:10 livin the dream 06:40:33 listening to Röyksopp 06:40:37 "Considering that it is possible to procedurally create any string of binary digits and we can then translate that into letters, numbers, and any other given symbol that can be encoded, we can go create every possible string which would then reveal to us every possible statement/arrangement of symbols that might possibly be factual." 06:40:49 :bonghit noises: 06:41:09 why do companies have some weird compulsion to give out mugs/shirts/stickers/etc in the bay area? 06:41:22 because that is how you market to developers? 06:41:23 it's a cheap way to advertise 06:41:29 it's not just a bay area thing 06:42:14 no, but there is a strong third factor that causes companies to be here and companies to do such adverting 06:42:19 yeah they do that at every conference thing ever 06:42:48 interesting fact, as there are more sheep than people in new zealand, there are more google-branded pens than there are people in california 06:43:36 I suppose Dropsort and Abacus Sort might sometimes have some uses if the program needs the data modified in such way. Abacus sort may be used in mechanical applications, I suppose. Maybe it is possible to use dropsort in mechanical applications too. Intelligent Design Sort is one that just assumes the data is already sorted and doesn't change it. It might be useful in some applications too! 06:43:39 it might also be that I stopped paying attention to jobs at school right around when this kind of craze got into full swing 06:43:43 Bike: what do you think about the fact that the invention of digital information processing happened at about the same time as the discovery that living things on Earth are based on digital information processing 06:44:02 kmc: i don't understand the premise o_o 06:44:32 ..digital? 06:44:39 in organisms? 06:44:54 sure, base 4 06:44:54 I suppose any program that requires a sorted input and doesn't check may be considered a kind of "intelligent design sort". 06:45:14 DNA isn't really "digital" in the same way electromechanical computers are in any sense that is nontrivial 06:45:34 yes, I'm not entirely sure about DNA being the whole story 06:45:35 you can call it "discrete coding" or something 06:45:45 and clearly DNA is not the whole story about how living things work 06:46:04 but there are some really significant parallels 06:46:06 the 'whole story' in any meaningful information processing sense 06:46:33 mostly the fact that it's easy to make lossless copies of digital / discrete information 06:47:08 also the fact that portions of DNA code proteins that control DNA transcription and translation makes it more like a stored-program computer 06:47:18 although that's a more indirect analogy, and was discovered later 06:48:58 There is RNA and various other things too, but DNA is some things. 06:49:16 can't really argue with that 06:49:18 -!- Bike has quit (Ping timeout: 240 seconds). 06:49:21 But someone did manage to almost make a "Hello World" program with DNA. 06:49:23 rip 06:49:34 yes, the discoveries seem to be more a result of increasingly rapidly improving technology in general, rather than academic confluence 06:49:55 maybe so 06:50:13 (The problem is it uses Q instead of O. The DNA which encodes O is usually a stop code; I do not know in what circumstances it isn't, or how to make it do such a thing) 06:50:58 a bit more interesting is the CNS, which is a bit analog. 06:51:11 -!- Bike has joined. 06:51:24 -!- intosh has quit (Ping timeout: 240 seconds). 06:51:34 the coevolution of proteins and DNA/RNA is incredibly interesting, though 06:51:39 stupid computer. basically i'd say computers and genetics are only both based on "digital information processing" if you stretch that term into uselessness 06:51:45 usefulness. 06:51:53 i need that dictionary gracenotes 06:52:13 use... I... it would suck that's what i mean 06:52:20 maybe not processing but storage and reproduction at least 06:52:32 especially the bit about retroviruses 06:52:38 i think it's important not to overstate what DNA does 06:53:03 it's basically a thing that is easy to transmit to offspring without much degradation 06:53:09 yeah 06:53:13 that's what I've been saying... 06:53:24 life has many, many aspects that aren't "digital" like DNA is 06:53:30 sigh 06:53:35 well, with heavy degradation, just not of the important bits 06:53:37 sorry 06:53:47 you are a thief of joy 06:54:07 is that where my joy went? 06:54:13 as an example there's http://en.wikipedia.org/wiki/Gene_oscillation which is neat 06:54:32 blame kmc for not putting it in your favorite terms 06:54:44 the thing itself, not the wikipedia article which is kind of terrible, oops 06:55:11 someone should make complexity classes for life 06:55:13 now let me check the logs so i don't annoy kmc more 06:55:29 "and clearly DNA is not the whole story about how living things work" whoopsie 06:56:00 ok, so, lemme latch on to "also the fact that portions of DNA code proteins that control DNA transcription and translation makes it more like a stored-program computer" a bit 06:56:41 the problem with this as i imagine you know is that beyond the central dogma, the expressed proteins don't really form a "program" per se 06:56:57 i mean, there's a reason turing back in the day expressed relations between enzymes with differential equations 06:57:44 like, it's a stored program computer in that you have a fairly immutable "source" that is expressed into an active "program" but that's about where the analogy ends, you know? 06:57:51 sure 06:58:20 like you've got these things http://en.wikipedia.org/wiki/Gene_regulatory_network 06:58:35 which i'm not really sure how you'd phrase in a programmy way, though it could be interesting to do so 06:58:47 It's an interesting hypothethical assignment, as well, something like 'Here, I want an enzyme that helps catalyze this reaction, I'll allow you 2 ATP; I want the DNA code on my desk tomorrow' 06:59:03 heh 06:59:16 i guess to start with you'd have to design the protein 06:59:28 and then you have to come up with an amino acid chain that folds into it 06:59:28 'Also, inhibit it according to density of the product using pH' 06:59:35 that's probably NP complete, if not impossible :< 06:59:52 well, that's okay, I'll give you a few millenia; brute force it 07:00:00 sweet 07:00:24 oh as long as i'm on this that reminds me that i've been thinking of the CNS and stuff differently lately 07:00:24 why do i read #haskell logz 07:00:41 well getLine :: IO String contains a thunk that when evaluated reads characters of a line from standard input 07:00:47 kmc: in case you were missing out 07:00:47 it's the best channel 07:00:49 so close yet so far 07:01:03 shachaf: hey so did they fix the "non-allocating threads can't be preëmpted" bug in GHC yet 07:01:09 if you consider evolution as a kind of generic, idiotic (in that it doesn't know anything about the problem space) optimizer, you can consider the CNS (and also adaptive immunity~) as specialized fairly generic optimizers that work on somatic time instead ok nobody cares. 07:01:11 not sure 07:01:11 i was talking about this with some other Mozilla Research people today 07:01:24 Bike: yeah that's a neat view 07:01:27 rust threads are coöperative, right? 07:01:35 I think there's some of that in The Extended Phenotype 07:01:43 shachaf: yes and they are only preëmpted at syscalls, I think 07:01:45 is that the semantics or just the implementation? 07:01:49 There are certain parts of the immune system that have hyperfast genetic mutation 07:01:50 dunno 07:01:52 concurrent haskell allows either, after all 07:01:55 and has explicit yield 07:02:00 though no one really uses it?? 07:02:09 the semantics of Rust threads don't include shared mutable state, really 07:02:21 i think 9/10 times i've seen "thunk" in this channel it's been about getLine 07:02:26 i think I used explicit yield sometime 07:03:08 `pastelogs thunk 07:03:10 anyway I was wondering about the virtues of a scheduler like GHC's, that knows about the HLL abstract machine state, vs. just running your HLL compiled code on top of a ISA level coroutines library 07:03:19 i.e. do you save STG registers or do you save x86 registers 07:03:20 Bike: who'da thunk it (stupid thunkz joke) 07:03:25 nooooo 07:03:28 Bike: CNS is essentially a generalized learning architecture 07:03:32 is there a compelling reason not to do the latter, other than it being a ton of work to switch? 07:03:40 i think it would solve the preëmption problem 07:03:44 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.28703 07:03:58 it is interesting. the more general it is, the more data it takes to learn, but the smarter it is. 07:04:08 Gracenotes: well, really you have to consider the peripheral nervous system too, i mean you can do conditioning in the "dumb" parts of the nervous system 07:04:13 also reflexes and all 07:04:38 How does it solve the preëmption problem? 07:04:48 yes. there is, so to speak, specialized learning cortex 07:05:22 much lower plasticity 07:05:23 also people are good at learning weird things like how to play Guitar Hero and not other weird things like group theory, in general 07:05:26 kmc: best cult imo 07:05:34 well it's easy enough for some watchdog to force a Haskell-evaluating thread to stop; the problem AIUI is that if you've stopped on some arbitrary instruction you can't recover the abstract machine state in order to context switch it 07:05:51 you can do that at allocations because allocations might garbage collect and the GC needs to know about roots anyway 07:06:23 Well, you can't really stop at arbitrary instructions anyway, can you? 07:06:26 « oerjan: so I don't have to do the Haskellian "thunks stub themselves out with {return value;} upon evaluation"?» seeing half of this conversation is really weird 07:06:53 shachaf: another OS thread can do it with ptrace(), or you use SIGALRM or something 07:07:03 Mid-thunk-update or something. At least it doesn't seem obvious that it's safe. 07:07:05 kmc: also sorry for being annoying >_> 07:07:08 how to async exceptions happen? checked in some common code (like unknown function application, e.g.?) 07:07:11 *do 07:07:15 Bike: i still <3 you 07:07:22 how is asyncc exception formed 07:07:33 how thread get suspanded 07:07:35 i feel less than threed 07:08:06 -!- sprocklem has quit (Remote host closed the connection). 07:08:30 well, really, they need to do way instain throwTo, who kill her target, because target cannot frigth back 07:08:46 I will stop while I am well behind. 07:09:13 help 07:09:26 send pocky 07:09:43 I find stupid internet stuff funny 07:10:23 badger badger 07:10:45 for example: http://reddit.com/r/supershibe 07:10:53 what is with that damn dog 07:10:53 -!- Frooxius has joined. 07:11:39 http://i.imgur.com/3UVbLfV.png me irl 07:12:19 http://i.imgur.com/VKT21lx.png 07:12:48 http://slbkbs.org/sb/1.png is me 07:12:56 Gracenotes: is that like a line from something 07:13:17 I don't know, it's in the snowclone-meme ether 07:13:22 "to do way instain" rings a bell 07:13:51 it's from "how is babby formed" 07:14:43 i love snowclone-memes 07:14:44 I have met shachaf irl and can confirm he looks like that 07:14:45 they are so easy 07:14:58 shachaf: hasn't that been done before 07:15:13 Gracenotes: how does he do the transparency 07:15:21 mnoqy: yes "thats the point" 07:15:32 Bike: trade secret 07:15:43 is shachaf an apng 07:16:23 ape-ng 07:16:27 better than y'all regular apes 07:17:45 http://i.imgur.com/jY77iIKh.jpg 07:18:37 is that comic sans with drop shadow 07:18:39 imo beautiful 07:20:40 What is it with people claiming that things are great because they're vaguely similar to things named after category theory without actually understanding what they're talking about? 07:21:08 such as? 07:21:19 People on Internetwebsites. 07:21:24 I love how clear-looking C++ functors make my code look? 07:21:30 I should quit reading Internetwebsites. 07:22:03 I have a feeling Gracenotes was terribly bored during bacat today. 07:22:27 it's uh, assocation bias or something, isn't it 07:22:32 I did get tired for a bit of it, because of general sleep deprivation 07:22:50 Doing bookexercises is admittedly not the most exciting thing... 07:22:54 Maybe I should've done some. 07:22:55 I might have gotten more out of it if did the exercises, though 07:23:00 "this thing [category theory] is cool, so this other related thing [ProFunctorsX Enterprise Edition] is cool" 07:23:29 also nobody understands what anybody is talking about ever, fyi 07:23:52 -!- sacje has quit (Quit: sacje). 07:25:22 so I will be attending maybe ICFP, but perhaps rather just the Haskell bits, but maybe everything 07:26:17 I will learn about the best profunctor to apply in my enterprise coding 07:26:23 Gracenotes: You will? 07:26:45 I plan on it, basically 07:26:50 Should I attend? 07:27:06 Perhaps 07:27:34 look at the list of projects here: http://www.systemsx.ch/projects/research-technology-and-development-projects/ they're practically all WhateverX 07:27:36 I think I would enjoy it based on watching lots of Haskell talks on the internet primarily 07:27:49 PhosphoNetX 07:28:00 although enjoyment may be selection bias related 07:28:07 How much does attending ICFP cost, anyway? 07:28:19 Oh, there's a PDF. 07:28:28 this much http://regmaster3.com/2013conf/ICFP13/register.pdf 07:28:29 yes 07:29:01 quite a bit... they have to rent out the space and provide free food to attendees 07:29:04 so not actually free food 07:29:10 cofree food 07:29:16 (in that you pay for it) 07:29:25 that site has a typo in its search result 07:30:18 part of the inflation is because attendees don't pay for it out of pocket, but rather often by their institution. 07:30:21 if they have one 07:31:05 Can you email them and tell them your institution isn't paying for it and so they should give you a discount? 07:31:07 well, usually only if they're presenting, for academics at least, or it's very obviously work-related 07:31:14 alt. can your institution pay for it? 07:31:23 you can find an institution to pay for you 07:31:27 maybe 07:31:57 you can print out a name badge and wear it 07:32:15 I dunno 07:35:47 anyway, I really have no idea how this stuff works 07:35:55 just hearsay 07:55:57 -!- Taneb has joined. 08:03:49 -!- conehead has quit (Quit: Computer has gone to sleep.). 08:14:57 -!- MindlessDrone has joined. 08:58:16 -!- epicmonkey has joined. 10:09:02 -!- epicmonkey has quit (Ping timeout: 246 seconds). 10:11:44 -!- zzo38 has quit (Quit: zzo38). 10:22:00 -!- ggherdov has quit (Changing host). 10:22:00 -!- ggherdov has joined. 10:22:00 -!- ggherdov has quit (Changing host). 10:22:00 -!- ggherdov has joined. 10:24:24 -!- carado has joined. 10:29:21 -!- Taneb has quit (Quit: Leaving). 10:40:05 -!- Taneb has joined. 10:43:05 -!- oerjan has joined. 11:07:43 well played, Oxford <-- are you saying they get paid by number of words? 11:11:36 -!- nooodl has joined. 11:11:53 ask kmc drinking scotch out of a mongodb mug again <-- is it a humongous mug twh 11:16:05 wat 11:16:10 @ask kmc drinking scotch out of a mongodb mug again <-- is it a humongous mug twh 11:16:10 Consider it noted. 11:19:58 -!- yorick has joined. 11:23:47 -!- epicmonkey has joined. 11:26:01 -!- kallisti has joined. 11:26:01 -!- kallisti has quit (Changing host). 11:26:01 -!- kallisti has joined. 11:28:41 It is a WEBSCALE mug. 11:28:59 ooh 11:50:27 -!- tertu has joined. 12:07:09 -!- kallisti has quit (Ping timeout: 268 seconds). 12:33:16 -!- intosh has joined. 12:47:11 -!- Nisstyre-laptop has joined. 13:04:29 -!- tertu has quit (Ping timeout: 240 seconds). 13:20:12 -!- Phantom_Hoover has joined. 13:36:04 -!- tertu has joined. 13:59:26 -!- `0x00 has joined. 13:59:54 * `0x00 licks ion up the face for no particular reason 14:11:50 -!- tertu has quit (Ping timeout: 240 seconds). 14:19:21 -!- jsvine has joined. 14:40:59 -!- oerjan has quit (Quit: leaving). 14:58:46 -!- Bike has quit (Ping timeout: 248 seconds). 15:00:37 -!- Bike has joined. 15:14:37 -!- conehead has joined. 15:21:10 -!- heroux has quit (Ping timeout: 264 seconds). 15:21:52 -!- heroux has joined. 15:27:23 -!- zzo38 has joined. 15:31:28 -!- mnoqy has quit (Quit: hello). 15:35:03 -!- AnotherTest has joined. 16:11:24 -!- jsvine has quit (Quit: Leaving.). 16:12:22 -!- jconn has quit (Ping timeout: 248 seconds). 16:22:03 -!- nooodl has quit (Quit: Ik ga weg). 16:24:03 -!- nooodl has joined. 16:31:29 "This aptitude does not have Super Cow Powers." sounds like it's trying to be funny... I wonder how that's funny 16:31:38 olsner: apt-get moo 16:32:09 http://en.wikipedia.org/wiki/Aptitude_(software)#Easter_egg I think ? 16:32:20 also last line of apt-get help 16:32:21 ols-ner moo 16:32:51 sha-haf moo 16:35:58 -!- Taneb has quit (Quit: Leaving). 16:36:09 hmm, there it is... and now that I think about it, I never did figure out what the difference between apt-get and aptitude is 16:38:34 aptitude is another interface basically 16:38:43 different features and dependency resolution 16:56:50 http://www.reddit.com/r/todayilearned/comments/1ijr21/til_when_coming_to_power_in_january_1933_the_nazi/cb58ov6 16:56:54 i... reddit 16:57:33 (pity it wasn't in /r/bitcoin, it's a perfect MEANWHILE IN) 16:58:54 Meanwhile in 1933 17:02:30 -!- jsvine has joined. 17:25:02 -!- epicmonkey has quit (Ping timeout: 240 seconds). 18:04:43 Fact: Any sentence starting with "Fact:" is probably bogus 18:05:04 @tell oerjan no, ordinary size 18:05:04 Consider it noted. 18:05:41 fun fact 0 = 1 18:06:28 . 18:07:15 . 18:07:38 Proof: crush. Qed. 18:08:13 is shachaf never going to give the second line again 18:08:24 sry 18:08:28 that line is for you to give 18:11:08 -!- Bike has quit (Ping timeout: 260 seconds). 18:12:54 -!- Bike has joined. 18:15:29 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:23:57 It is, indeed, quite "fun" that the factorial of 0 is 1. 18:24:16 fizzie doesn't know the second line? 18:24:18 shachaf: we need the second line. 18:24:23 elliott: Go for it. 18:24:26 nope. 18:24:31 I don't know the second line. 18:24:33 fizzie: "fun" is SML for a function definition. 18:24:36 `pastlog shachaf.*fact.*= 18:24:45 2013-03-27.txt:00:19:48: | fact n = n * fact (n - 1) 18:24:53 shachaf: I was thinking it'd be something like that. 18:24:53 `thanks HackEgo 18:24:55 Thanks, HackEgo. ThackEgo. 18:25:01 fizzie: http://www.angelfire.com/tx4/cus/pl/ctm_aml_01.html 18:25:15 you forgot the ; 18:25:31 Maybe that's because I don't know SML. 18:25:32 hmm, I guess it's actually a separator, not a terminato 18:25:33 r 18:25:35 The second line was your job. 18:29:04 Do you have some ideas about a alternate syntax for 6502 assembly codes? I have had the idea too, but I wasn't complete. 18:29:08 -!- atrapado has joined. 18:43:51 -!- epicmonkey has joined. 18:53:09 -!- sacje has joined. 18:58:17 -!- raineys has quit (Ping timeout: 256 seconds). 19:04:12 -!- AnotherTest has quit (Quit: Leaving.). 19:04:29 The controls I prefer on a PC platform game is left and right shift keys to move, space bar to jump, and ZXCVBNM,./ to shoot. This is a bit unusual, but it is what I prefer. Do you have preferences about it? 19:14:52 -!- copumpkin has quit (Ping timeout: 276 seconds). 19:15:31 -!- copumpkin has joined. 19:18:24 wasd 4 lyfe 19:19:17 -!- Taneb has joined. 19:24:15 that's a lot of shooting keys 19:24:20 do they all shoot the same thing 19:24:35 or are you running around holding 9 different guns 19:26:22 I know I am 19:26:34 it's the american way. 19:26:35 -!- oerjan has joined. 19:32:49 @tell kmc I sense a great lost opportunity 19:32:49 Consider it noted. 19:35:51 @messages 19:48:45 Okay, I am really bad at watching sad movies 19:48:50 I'm crying my eyes out at Batman 19:49:12 isn't that the point 19:49:16 of sad movies 19:49:27 that sounds like *good* at watching them? 19:49:39 I like crying at movies at least, it'd be less fun if I didn't 19:50:01 kmc: They all do the same thing. 19:50:42 imo crying is good but crying at movies is bad because the manipulation etc. is usually so obvious 19:50:47 and by bad i mean i don't like it so much 19:50:51 Pharaoh's Tomb and Arctic Adventure use a superset of these keys; the arrows keys can also be used to move and the F key also shoots. In addition, it can be configured to use the CTRL and ALT keys to move left/right (you can switch which one is left and which is right). 19:51:14 shachaf: that reminds me, what's with restaurants and shops that play music 19:51:26 here while you're waiting in line for a burger maybe you'd like to hear a song about extreme emotional trauma 19:51:36 shachaf: Bad is that you are crying and cannot listen to movie or other audience can. 19:52:52 imo crying at books is better than crying at movies #snobz 19:53:35 shachaf: Crying at books is bad too you might get the pages wet. 19:54:32 not if you read ebooks 19:55:47 But then you will get the display wet. 19:56:33 the display can take it! it's a manly display 19:56:53 in my experience women are at least as waterproof as men 19:57:23 manly waterproofing 19:58:02 going around spraying people with buckets of water to judge relative waterproofness 20:01:10 elliott: http://fc09.deviantart.net/fs37/i/2008/267/c/c/PLATYBELODON_by_Sk00tie.jpg 20:01:42 thanks. 20:02:17 np 20:05:57 why 20:08:37 kmc: Not when you have bulgarian cheese! 20:08:40 And/or superpowers. 20:09:36 this is so confusing shachaf 20:09:53 what superpowers does bulgarian cheese man or woman have 20:12:00 -!- sacje has quit (Ping timeout: 260 seconds). 20:15:13 -!- sacje has joined. 20:22:46 kmc: I have an Internet connection that corrupts a lot of packets. 20:22:55 How can I download things reasonably? 20:22:58 -!- epicmonkey has quit (Ping timeout: 264 seconds). 20:23:08 get a better internet connection, hth 20:23:13 For example I'm trying to apt-get this 0.5MB file. 20:23:17 It keeps failing. 20:23:24 maybe BitTorrent over UDP 20:23:29 or one of the other UDP-based file transfer thingies 20:23:33 that doesn't try to send the file in order 20:28:33 -!- mnoqy has joined. 20:31:50 -!- Nisstyre-laptop has quit (Ping timeout: 240 seconds). 20:33:29 -!- `0x00 has quit (Quit: like a gypsy an shit. blaQ_MAMBAR). 20:36:46 -!- raineys has joined. 20:49:14 -!- atrapado has quit (Quit: Leaving). 20:50:23 -!- sacje has quit (Excess Flood). 20:50:54 -!- sacje has joined. 20:57:26 Bike: attn http://www.theonion.com/articles/fbi-offering-1-million-reward-for-any-information,33157/ 20:58:22 their real motivation must be trying to improve their subterfuge 20:58:32 after all, the who's really good at dishonesty? a cheetah 21:01:02 -!- Bike has quit (Ping timeout: 246 seconds). 21:12:43 -!- Nisstyre has joined. 21:24:24 -!- intosh has quit (Ping timeout: 240 seconds). 21:26:30 https://github.com/mozilla/rust/blob/master/src/rt/rust_debug.h#L23-L27 21:28:05 signal(SIGTRAP, SIG_IGN) what does that do? isn't signal assigning a function pointer? 21:28:10 like, is SIG_IGN a function? 21:28:40 It's a Special Value. 21:28:59 it says... it should be ignored...? 21:29:07 what happens if you raise a signal that should be ignored o_O 21:29:18 It should get ignored. 21:29:28 It tends to break in a debugger, though; that might be what it's about. 21:29:34 (Also possibly under other circumstances?) 21:33:34 -!- Bike has joined. 21:35:09 -!- epicmonkey has joined. 21:43:09 Is my bio in CthulhuMUD any good? It seems like really strange compared to everything else. 21:43:28 zzo38: How should I know? I haven't seen it. 21:44:18 JfRh 21:44:33 JfRh 21:45:02 http://sprunge.us/JfRh 21:45:23 I think the line wrapping is no good in this file, for one thing. 21:45:32 this breakpoint doesn't seem very awesome 21:46:19 -!- sacje has quit (Ping timeout: 276 seconds). 21:46:24 Bike: What breakpoint? 21:46:38 the one kmc linked 21:46:47 -!- sacje has joined. 21:47:32 Did I make any spelling mistakes other than the one I have already corrected? 21:48:24 "the male mi-go migo scientist"? 21:48:42 also what's with the comma in Gknqwvonqtunkznbcvjbaklsrgjhqpwetypqwrkzbxncv,bakdlgqweprthpahdskznxvkljqthw 21:48:43 I have made a breakpoint in VisualBoyAdvance with something like that you simply get a infinite loop 21:49:22 Bike: The first three lines are typed by the computer; I asked why it says "the male mi-go migo scientist" with the word twice and inconsistent hyphenation; they don't know why either. 21:49:35 I think on the whole I enjoyed Batman Begins 21:49:43 Maybe I should remove the comma, I suppose, though. 21:51:06 But I cannot change the line that says "the male mi-go migo scientist". The reason it is repeated is because one is a profession, but I don't know why it is inconsistent. Probably it would improve if they fix it to add a flag to a profession that tells it to not be repeated. 21:51:11 But that isn't up to me. 21:51:20 The third line and below is the text I typed in. 21:51:28 I mean, below the third line. 21:51:35 (The third line is made by the computer.) 21:52:41 "Gknqwvonqtunkznbcvjbaklsrgjhqpwetypqwrkzbxncv,bakdlgqweprthpahdskznxvkljqthw" looks like a spelling mistake to me. 21:53:09 shachaf: Yes it is; the comma is wrong. 21:53:27 Also the rest of it. 21:53:33 it's a proper noun! 21:53:51 Llanfairpwllgwyngyllgogerychwyrndrobwllllantysiliogogogoch 21:55:27 zzo38: It says "O no", but it means "Oh no". 21:55:33 Or maybe "Oh, no". 21:56:24 Does that mean I put the comma in the wrong sentence? 21:56:40 no, it means you used "O" which does not mean the same thing as "Oh" 21:56:51 and i doubt you're trying to address No. 21:57:18 O Bike 21:57:56 -!- Taneb has quit (Quit: Leaving). 21:59:37 Maybe I am trying to address Yes. 21:59:48 then you should put "O yes" 21:59:51 O Yes rather 22:00:12 I didn't say I am trying to address Yes; I said maybe I am. Actually I am not. 22:00:21 D: 22:00:34 Oh, you sure got Bike. 22:00:41 Bike: http://arxiv.org/abs/1303.5787 http://arxiv.org/abs/1306.3960 22:01:02 fiora these look scary 22:01:34 summary of the first: the r-process may occur in ejecta from neutron star collisions, depending on the masses of the stars, the impact, the equation of state, etc, and this will have a very measurable effect on the afterglow spectrum and can be detected 22:01:39 the second: we found one!1! 22:01:54 Is there anything else good or no good about what I wrote? 22:03:47 what's an r-process 22:04:56 rapid neutron capture process, so like, when you have iron atoms in a supernova 22:05:10 and the supernova neutron flux causes atoms to capture many many many neutrons before they have a chance to decay 22:05:20 because there's just so many neutrons 22:05:20 It sounds like an abb. for a random process. 22:05:24 rapid 22:05:49 It's very irritating when you have a slow connection that web standard/browser/whatever says that you can't see the page until things have finished loading. 22:06:26 Such that a page stays un-readable for minutes, but as soon as I, say, get disconnected, all the text show up immediately. It was there all along, but waiting for things to load. 22:06:33 oh, huh, it's more than just that 22:06:36 A