00:02:54 Now I downloaded ZORKMID and tried to compile it, I got several warnings about unused return values. I didn't get those messages before. 00:03:52 https://www.kickstarter.com/projects/475057068/frog-fractions-2 00:03:54 3:28 00:04:06 Wait 00:04:12 0:29 00:04:25 I... think the video player switched 'time left' and 'time' 00:12:04 -!- Tritonio has joined. 00:13:47 -!- L8D has joined. 00:14:33 -!- oren has quit (Quit: Lost terminal). 00:18:59 oh huh they managed to fund that? 00:25:00 -!- L8D has quit (Ping timeout: 272 seconds). 00:34:01 Do you know if there is a command in vi to load the text typed during one insert mode into the clipboard buffer? I want to learn what command it has 00:34:43 -!- ^v has joined. 00:34:58 the closest thing i know is . 00:59:36 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 01:08:37 -!- Phantom_Hoover has joined. 01:24:29 -!- vodkode_ has joined. 01:26:31 -!- oren has joined. 01:39:07 zzo38: The last thing you typed in insert ought to be in the ". register, then you should be able to put the contents into the clipboard with :let @+=@. or :let @*=@., I think 01:40:38 Regarding "Do you know if there is a command in vi to load the text typed during one insert mode into the clipboard buffer? I want to learn what command it has" 01:57:09 O, OK 02:11:10 is instant coffee stronger than espresso? I think it must be... 02:11:59 oren: Define "stronger". 02:12:33 pikhq: um, does it have more coffee stuff in it 02:13:09 ... "caffiene" that's the word 02:13:33 im kind of all jittery right now 02:14:37 Ah. Espresso has much more caffeine extracted from it, though it's only more per unit volume *not* more per serving. 02:14:54 Ohh.... so apparently the jar says one scoop of powder per mug, I assumed an equal amount of powder and boiling water 02:15:04 Oh christ, no wonder. 02:15:16 -!- ^v^v has quit (Ping timeout: 256 seconds). 02:15:27 Congrats, you've made quite concentrated coffee. 02:16:05 this has not been the best idea on a sunday night 02:16:08 lol 02:16:11 Also, flavor-wise instant coffee is going to be inferior (just as a consequence of how it's made)... FYI. 02:17:52 ah. yeah although I got the boilig water using the espresso machine.... 02:18:41 -!- Tritonio has quit (Ping timeout: 252 seconds). 02:18:47 So how much of the powder would you say you used? 02:19:04 Sounds like as though you drank the rough equivalent of a pot of coffee in a single cup? 02:19:05 I'm surprised it's not full of grit. 02:19:37 ProofTechnique: Shouldn't be. Instant coffee shouldn't have much of anything to produce noticable grit. 02:20:02 the mug is about 500 ml, so... 250 ml of powder (although powder course thus less) and then boilig wter and str til it disolvd 02:20:17 I would expect much more than recommended per unit of water would leave some behind, though. 02:20:42 it seems it didnt... 02:20:43 Not especially -- coffee is not usually a saturated solution. 02:20:44 Wow. You're gonna have quite a crash. 02:20:48 lol 02:21:05 Yeah, that's gonna be... maybe 500mg of caffeine? 02:23:26 -!- adu has joined. 02:23:53 02:14:48 pikhq: um, does it have more coffee stuff in it 02:23:53 02:15:25 ... "caffiene" that's the word 02:23:56 this is kind of adorable 02:23:59 hmm based on internet medical info it's near-imposible to overdose on coffee, so i'll just, um, try and do some work or someithing 02:24:09 well you can overdose on caffeine but 02:24:13 fairly easily even I think 02:24:18 but, like, caffeine pills. 02:24:23 ah 02:24:50 "The LD50 of caffeine in humans is dependent on individual sensitivity, but is estimated to be 150 to 200 milligrams per kilogram of body mass" 02:25:01 as long as you weigh more than 3 kilograms you should be okay 02:25:13 I weight 154 punds 02:25:18 Yeah. Caffeine's safety isn't because it's nigh-impossible to overdose but rather because the effective dose is so massively lower than the dangerous dose. 02:26:01 Meaning that there's approximately no way you're going to actually *ingest* a dangerous dose without trying. 02:26:37 Kinda like you'd have one hell of a time hitting the LD50 of LSD. 02:28:57 hmm 500ml coffee weight aprox 0.5 kg means I am now 1/140th made of coffee 02:30:13 lololol 02:30:45 because 154 pund = 70kg almost exacly 02:32:40 "pund" = Scandinavian approximation of .5kg? 02:33:17 * pikhq does greatly appreciate that treatment of the traditional units: round 'em and use 'em as clean approximations of the metric units. 02:33:21 pund is me trying to type pound 02:33:30 Ah. 02:34:15 oerjan: that @messages bug will be fixed the next time I rebuild lambdabot (which will happen when ghc-7.10.1 gets released) 02:34:17 pund is a unit of how much you weight 02:34:18 So you actually mean avoirdupois pounds. k. 02:35:19 interestingly my puls does not appear to have risen. sys 127 dia 80 pulse 66 02:35:32 which is abput avergae for me 02:35:59 I guess you're mostly getting the neurological effects. 02:37:12 * oren wonders wether most peple have blodd presure meters in their houses 02:37:38 I use a belt and a tire pressure tester. 02:38:02 I'm good for another 3000 miles, at least! 02:38:17 do you guys know what's a pangram? 02:38:32 a thing with all letters in it 02:38:36 kewl 02:38:40 the quick brown fox jumps over the lazy dog 02:38:41 i want an email that's a pangram 02:38:44 yeah like that 02:39:11 help me find something that makes sense and doesn't have many repeated letters and ends in @gmail.com 02:41:36 gmail.com has 2 m's. :( 02:42:04 doesn't have >>many<< repeated letters 02:42:58 less than 10 repeated letters would be a good start, i guess 02:47:23 this is a set cover problem i thing 02:48:10 one of kaprs npc problems 02:48:54 *Karp's NP-complete porblems 02:49:04 hey i didn't ask for a good solution in the general case :P 02:50:14 Hmm possibly we can generate random pangrams using dict/words and then pick out good ones? 02:50:54 -!- copumpkin has joined. 02:50:59 yeah but it's kinda hard... 02:51:24 first of all, it's hard to make meaningful sentences out of that list 02:51:43 -!- Zefphex has joined. 02:52:00 Replace oerjans name with Onii-Chan 02:52:10 Onii-jan 02:52:38 yes 02:52:48 * Zefphex gives prize 02:53:03 -!- oren has changed nick to Ourin-kun. 02:53:42 lol 02:53:44 WaqfsBurkDepthVizJynx@gmail.com 02:53:59 Our rin kun 02:54:20 Who's gay mail is that 02:54:36 izabera wanted one thats a pangram 02:54:50 I had to add some vowels back in 02:54:53 I'm listening to music 02:55:09 soamit 02:55:12 Ourin-kun: :\ that doesn't make much sense 02:55:14 so am i 02:55:15 Only 3 repeated letters, though 02:55:19 what's waqfs 02:55:33 http://en.wikipedia.org/wiki/Waqf 02:55:37 no clu 02:55:45 i thought it was some kind of file system 02:56:11 lol someone should make a steganogarphic file system called that 02:56:17 it happens to be a Japanese song that I cannot understand but I find pleasing to listen to because the language is p. good 02:56:47 Would never speak it tho i'd go for my ancesteral language that is dying 02:56:50 Gaelic 02:57:55 HurtAndVexedByZFS+JKPQW@gmail.com 02:58:04 i can say spaghetti in italian 02:58:06 +JKPQW 02:58:07 ? 02:58:10 ... 02:58:25 I just realized I am less than 4 weeks away from end of my university degree 02:58:29 I couldn't come up with anything for those, and gmail let's you get away with that + stuff 02:58:36 -!- Ourin-kun has changed nick to Ourin-sempai. 02:58:49 Only 4 repeated characters, still 02:58:59 -!- zzo38 has quit (Ping timeout: 265 seconds). 02:59:13 http://www.dunedinit.co.uk/wp-content/uploads/2013/06/Too_many_toolbars-1024x837-1.jpg 02:59:53 -!- zzo38 has joined. 02:59:57 It's obviously a reference to this picture: http://twitpic.com/jkpqw 03:00:07 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 03:00:09 my gmail usernames are very terrible 03:00:56 this song i'm listening to is great, but for no apparent reson it begins with a clip of the Apollo 8 genesis reading 03:01:15 The song is David Dima - Tsundere Night 03:02:28 the song has nothing to do with apollo 8 or the bible... lol wut 03:02:48 *senpai 03:03:45 Sin pie* 03:04:11 -!- Ourin-sempai has changed nick to Ourin-senpai. 03:04:32 *supine 03:05:06 -!- L8D has joined. 03:05:18 Hmm, iirc at least one romanization scheme uses m when ン changes before a p,b, or m kana 03:05:45 Apparently according to the internet Mami from madoka magika Is the waifu of Hitler 03:05:45 That wouldn't surprise me. 03:06:13 What are you listening to Senpai? 03:06:48 https://www.youtube.com/watch?v=wfeer7aqHWc 03:07:24 -!- ^v has quit (Ping timeout: 256 seconds). 03:07:34 How do you make a multi-dimensional fluid Quadrangle 03:09:37 Give it a few drinks and a hobby. 03:09:52 Probably 03:09:54 float p[X][Y][Z]; float u[X][Y][Z][3]; 03:10:03 then apply Eulers equations 03:10:18 Ofc how could I foeget 03:10:23 for* 03:11:33 of course you need to define the dimensions of the quadrangle as #defines of X Y Z 03:11:50 A quadrangle is a uh 03:12:03 Well I cant say triangle with 4 sides 03:12:12 Then its not a triangle nor a square 03:12:20 Fyack 03:12:23 polygon? 03:12:24 Shapes 03:12:36 No it doesn't look like that 03:12:47 Its like Hmmm well idk 03:12:53 I just know its a shape 03:13:00 -!- zzo38 has quit (Quit: zzo38). 03:13:24 a quadrangle is a place inside a university 03:13:45 there are sevral at my university 03:14:24 oh ironically it's called by its sides: quadrilateral 03:15:15 * int-e wonders 03:15:43 ok, google says quadrangle is more common... but it sounds less familiar to me. and I should sleep. good night. 03:16:22 Goot nighg 03:17:35 -!- ^v has joined. 03:17:58 I want to donate my pipe organs to my organs before I die please 03:20:43 Ily Senpai 03:21:02 Which Senpai am I talking about 03:21:06 Who knows 03:29:48 apparently the girl who rejected me for prom in HS is now at York and engaging in Enjokousai for grades 03:30:20 whew I sure dodged a bullet there 03:32:58 -!- zzo38 has joined. 03:32:59 -!- Lymia has joined. 03:32:59 Sekushii ne. 03:33:00 `addquote is instant coffee stronger than espresso? I think it must be... [...] Ohh.... so apparently the jar says one scoop of powder per mug, I assumed an equal amount of powder and boiling water 03:33:02 1238) is instant coffee stronger than espresso? I think it must be... [...] Ohh.... so apparently the jar says one scoop of powder per mug, I assumed an equal amount of powder and boiling water 03:37:12 #define die(x,y...) ({printf(y); exit(x);}) 03:37:23 Onii-Jan 03:37:45 can you skip the y 03:37:50 x,z 03:43:49 #define box(x) ({typeof(x) *_xptr=malloc(sizeof(*_xptr));*xptr=(x);xptr;}) 03:44:11 lololol 03:44:29 Where should I run a string like that 03:44:37 #define box(x) ({typeof(x) *_xptr=malloc(sizeof(*_xptr));*_xptr=(x);_xptr;}) 03:44:46 Those are some possibilities of C preprocessor used with GNU extensions 03:45:06 "pund" = Scandinavian approximation of .5kg? <-- i can't speak for swedish and danish, but in norwegian that's not a unit still in actual use, unlike "mil". 03:45:32 (hi from backscroll. i took a 3 hour nap.) 03:45:47 I could use such a nap 03:46:06 int-e: thanks! 03:47:19 -!- password2 has joined. 03:48:26 <* oren wonders wether most peple have blodd presure meters in their houses <-- i don't hth 03:48:28 Sleeping to much cuts your life expectancy up 03:49:03 Though I suppose if you just take a 3 hour nap two or three times a day, it's probably fine. 03:49:56 -!- password2 has quit (Read error: Connection reset by peer). 03:50:52 #define let(x,y) typeof(y) x = (y) 03:51:21 Give me a complex lua string 03:53:27 i 03:53:54 -!- vodkode_ has quit (Ping timeout: 264 seconds). 03:55:24 have 03:56:13 to 04:00:45 i can say spaghetti in italian <-- hey i had you down as an _actual_ italian after that benvenuto thing :( 04:01:26 i am 04:01:28 lol 04:01:31 please don't sabotage my quest to rudely classify all #esotericians 04:02:49 into the water, into the truth, in your reflection, he lives in you 04:05:55 I can say spaghetti in english! 04:06:22 -!- password2 has joined. 04:15:35 @tell int-e Thanks! 04:15:35 Consider it noted. 04:16:38 * oerjan finally reaches his own messages in the backscroll 04:22:39 -!- dianne has joined. 04:25:17 -!- password2 has quit (Ping timeout: 246 seconds). 04:25:49 Sleeping to much cuts your life expectancy up <-- well it was to compensate for getting up too early in the evening hth 04:28:02 * oerjan reaches the end of backscroll 04:28:13 thank you, it's been a wild ride 04:28:52 Onii-jan 04:29:06 You cant be breaking your sleep schedule like dat 04:29:23 am i a red oni or a blue oni? 04:31:14 Zefphex: but if i don't break it i won't be awake for my dentist checkup! 04:31:35 -!- vodkode_ has joined. 04:32:14 also your insistence on "normalcy" only gets you classified as someone unfit to give me advice hth 04:33:02 So you like having latex fingers lightly carress your mouth flesh 04:33:18 about once a year, yes. 04:33:42 as long as the outcome is "this looks good" 04:34:20 my dentist is a 74 year old holocaust survivor from europe who tells me to "shuttup and take the pain you spoiled brat" and stuff like that, despite me being in my 30's 04:34:27 Are you a oni at all? Or one of a different color than red and blue (such as white and black)? 04:35:34 My dentist is a Vietnamese veteran and some times has ptsd and flips out and runs off 04:35:44 But atleast my teeth are clean 04:36:07 you got me beat, yours is younger and prob more crazy 04:37:39 -!- password2 has joined. 04:37:46 There is other possible use of typeof too, possibly to combine with zero length arrays 04:38:37 zzo38: pretty sure i don't fit either hth 04:39:52 You could also make combine sizeof with zero length arrays, to make "compile time type identification"; it doesn't waste memory like run time type identification would do 04:44:01 My dentist is a childhood friend of my grandmother. 04:44:05 ni ni 04:44:24 -!- Zefphex has quit (Remote host closed the connection). 04:47:40 -!- password2 has quit (Read error: Connection reset by peer). 04:48:25 There are possibility in C to make structures that never have any variables or anything else of that type. 04:48:43 One reason I have done it is to make sizeof assertions, although there are other possibilities too 04:48:57 i don't know what my dentist is except a dentist. 04:49:18 and female, most of the time. 04:49:26 well also white, i guess. 04:49:59 Do you know many languages she can speak? 04:50:04 one. 04:50:44 also she's part of a team office but i seem to be getting the same one these days. 04:51:53 -!- L8D has quit (Ping timeout: 246 seconds). 05:03:46 -!- tromp_ has quit (Remote host closed the connection). 05:03:55 Was Tailsteak a Christian during 1/0? 05:04:32 I mean, I sort of assumed so, but Leftover Soup keeps making me think he deconverted earlier than that, for some reason 05:04:51 Or... actually I guess I don't know his current beliefs, just that they're less Creationy 05:06:04 -!- L8D has joined. 05:10:41 -!- L8D has quit (Ping timeout: 244 seconds). 05:13:04 hm Zefphex left 05:14:02 -!- oerjan has changed nick to Ore-sama. 05:14:30 after reading a bit in wikipedia, i have concluded this is clearly the right way to japanify my name hth 05:14:33 -!- Ore-sama has changed nick to oerjan. 05:16:02 -!- vodkode_ has quit (Ping timeout: 256 seconds). 05:20:16 I don't know what is "right way" but I make my name in Japanese in my own way; my given name with katakana and family name with kanji 05:21:39 when your father (iirc) changed his surname, did he keep the meaning? so they would be the same kanji... 05:22:16 my name has an ambiguous spelling and pronounciation in english. 05:22:31 -!- password2 has joined. 05:23:18 oerjan: Not as far as I know, but that was before I was born. 05:23:32 So I don't use my father's old surname. 05:23:44 hm 05:24:23 But the kanji I use might not be the intended meaning anyways; he has said the intended meaning might be "Blacksmith" instead of "Black"; whether or not this is true, I have always used the kanji for "black" before and therefore don't need to change it. 05:25:02 Is your surname Black? 05:25:19 Yes 05:25:36 I thought you know that already? 05:25:39 Yeah, that's probably "blacksmith". 05:25:40 No. 05:25:42 * oerjan is curious what it was before 05:25:50 just in case it's not obvious :P 05:26:01 -!- adu has quit (Quit: adu). 05:26:10 Well, I am not going to tell you what it was before (just in case he doesn't want to tell you, I also won't) 05:26:25 'orin' or 'oren' or possibly 'warren' it was never clear to me during my childhood 05:26:31 pikhq: whoa, happy pikhq++ 05:26:45 CURSES FOILED AGAIN 05:26:54 shachaf: How long have you been waiting for that? 05:27:06 because it was /orən/ 05:27:10 <24 hours? 05:27:16 Noted. 05:27:26 I don't know, how long should I have been waiting? 05:27:48 Since March 24 2014. Of course. 05:28:09 Is there a standard way to katakana-ize an /ə/ 05:32:04 -!- vodkode_ has joined. 05:34:02 I don't know, but, you can try to either look at other same name see how it was done before, or you can make it up yourself in your own way since it is your own name anyways, or you can ask some people who are Japanese; see there is three possibility 05:40:24 Hmm, looks like オリン or オーリン (since my name has stress on the O) would some closes 05:40:44 -!- shikhin has joined. 05:41:41 Ourin-senpai: never refer to yourself with an honourifig 05:41:43 *honourific 05:42:03 my last name has a well known standard transliteration of ワトソン 05:42:18 -!- Ourin-senpai has changed nick to o-rin. 05:42:22 also I was discussing with a friend, my name is probably シャンハウテ, though there may be more standard transliterations 05:42:33 Mine has a well known but somewhat weird transliteration of "uusuta". 05:42:57 hmm 05:43:30 apparently "Sean" is actually transliterated as ショーン 05:43:52 I meant to put a long vowel in before, but I'm intrigued that o was preferred to a 05:44:17 -!- shikhin_ has quit (Ping timeout: 265 seconds). 05:44:33 aw is closer to o than a 05:44:39 I imagine my name is more difficult to transliterate into Japanese than into English. 05:44:42 -!- AndoDaan has joined. 05:45:05 Likely. 05:45:15 Japanese has a real lack of phonemes. 05:45:18 yeah 05:46:35 -!- password2 has quit (Ping timeout: 252 seconds). 05:48:08 well, for final consonants they seem to add -u sylable, except for t and d which for some reason become "to" and "do" 05:48:42 luckily my name has only final n in it 05:48:51 the reason -u usually gets added is because when it appears word-final it is often devoiced 05:48:57 which makes it almost inaudible 05:49:36 but sometimes that sounds bad or awkward, or due to the pitch used you can't devoice, so you get the o instead 05:49:37 oh, you couldn't use tu or du because there isn't them 05:49:56 oh right that tooo 05:49:58 *too 05:52:05 -!- shikhin has quit (Ping timeout: 246 seconds). 05:53:11 オーリン・ワトソン yeah that should be sufficient 05:53:47 yay 10000 SO rep 05:55:45 omedetou 05:56:51 I wonder if that looks good on a resume 06:00:16 -!- ^v has quit (Read error: Connection reset by peer). 06:00:41 -!- ^v has joined. 06:03:58 I have seen IE do things properrly that other browsers get wrong 06:04:14 -!- AndoDaan has quit (Quit: Bye). 06:04:16 -!- tromp_ has joined. 06:04:16 It is certainly possible 06:04:17 -!- zadock has quit (Quit: Leaving). 06:04:23 Although IE does some things wrong too 06:05:33 -!- _AndoDaan has joined. 06:06:34 -!- _AndoDaan has changed nick to AndoDaan. 06:08:24 -!- tromp_ has quit (Ping timeout: 245 seconds). 06:22:07 -!- AndoDaan has quit (Remote host closed the connection). 06:25:47 I was making a pair of duel deck of Magic: the Gathering for Human Supremacy Corporation vs Unhuman Alliance. I put a few unofficial cards (including the one called "Human Supremacy Corporation"). Also probably is not finish yet 06:31:03 What does that card do? 06:33:06 Any player can cause 1 damage to each non-Human creature. 06:33:24 To be more specific it is: 06:33:48 Human Supremacy Corporation {WWBB} Legendary Enchantment :: At the beginning of each upkeep, ~ deals 1 damage to each untapped non-Human creature. :: {4}, Discard a card: Deals 1 damage to target non-Human creature. Any player may activate this ability. 06:36:30 o-rin: arigato 06:44:17 -!- J_Arcane_ has joined. 06:44:39 -!- J_Arcane has quit (Ping timeout: 255 seconds). 06:44:48 -!- J_Arcane_ has changed nick to J_Arcane. 06:48:13 -!- J_Arcane_ has joined. 06:50:04 -!- J_Arcane has quit (Ping timeout: 272 seconds). 06:50:08 -!- J_Arcane_ has changed nick to J_Arcane. 06:50:51 -!- dianne has quit (Quit: byeannes). 06:51:07 If you have other suggest to add a card I can do that too; I don't know all of the official cards 06:53:19 -!- J_Arcane_ has joined. 06:55:52 -!- J_Arcane has quit (Ping timeout: 272 seconds). 06:56:00 -!- J_Arcane_ has changed nick to J_Arcane. 06:56:31 -!- zzo38 has quit (Remote host closed the connection). 06:58:18 -!- J_Arcane_ has joined. 07:00:50 -!- J_Arcane has quit (Ping timeout: 272 seconds). 07:00:57 -!- J_Arcane_ has changed nick to J_Arcane. 07:03:05 -!- J_Arcane_ has joined. 07:05:38 -!- J_Arcane has quit (Ping timeout: 252 seconds). 07:05:45 -!- J_Arcane_ has changed nick to J_Arcane. 07:08:05 -!- J_Arcane_ has joined. 07:10:18 -!- J_Arcane has quit (Ping timeout: 255 seconds). 07:10:29 -!- J_Arcane_ has changed nick to J_Arcane. 07:14:14 -!- J_Arcane_ has joined. 07:15:23 -!- J_Arcane has quit (Ping timeout: 246 seconds). 07:15:25 -!- J_Arcane_ has changed nick to J_Arcane. 07:19:22 -!- J_Arcane_ has joined. 07:19:45 -!- J_Arcane has quit (Ping timeout: 255 seconds). 07:19:51 -!- J_Arcane_ has changed nick to J_Arcane. 07:22:05 o-rin: you should play riichi with me 07:24:12 -!- J_Arcane_ has joined. 07:24:30 -!- J_Arcane has quit (Ping timeout: 244 seconds). 07:24:44 -!- J_Arcane_ has changed nick to J_Arcane. 07:29:20 -!- J_Arcane_ has joined. 07:31:23 -!- Patashu has joined. 07:31:54 -!- J_Arcane has quit (Ping timeout: 255 seconds). 07:32:00 -!- J_Arcane_ has changed nick to J_Arcane. 07:35:02 -!- J_Arcane_ has joined. 07:36:56 -!- J_Arcane has quit (Ping timeout: 272 seconds). 07:36:57 -!- J_Arcane_ has changed nick to J_Arcane. 07:38:37 where do I play it 07:40:08 tenhou, but you probably should learn first 07:40:14 it's not really easy to learn and all the guides suck 07:41:10 -!- J_Arcane_ has joined. 07:41:38 -!- J_Arcane has quit (Ping timeout: 246 seconds). 07:41:47 -!- J_Arcane_ has changed nick to J_Arcane. 07:48:03 -!- L8D has joined. 07:52:53 AAAAAAAAA 07:53:10 the TA's are still on strike 07:53:19 -!- L8D has quit (Ping timeout: 264 seconds). 07:53:25 my work is NEVER going to be marked!!! 07:55:19 they rejected the deal with the university AGAIN 08:00:41 AAAAAAA I handed in my neural network that recognizes handwritten numbers 3 weeks ago!!! 08:01:08 wtf o_o 08:01:27 show it please? 08:01:33 sure 08:02:31 .... actually I'd better not, they said they'd accept late submissions and they'd think I cheated 08:03:01 hmm I'll take a screenshot 08:04:26 -!- tromp_ has joined. 08:06:43 http://ctrlv.in/522625 <-- early training 08:07:55 http://ctrlv.in/522626 <-- late in training. the 8 gets 1 and the other digits get 0 signal... hell yeah 08:08:56 -!- tromp_ has quit (Ping timeout: 246 seconds). 08:09:04 -!- AnotherTest has joined. 08:10:41 http://ctrlv.in/522630 one more screenshot. howzat? 08:12:36 It's interesting just how well a neural network works for these tasks 08:35:15 -!- SopaXorzTaker has joined. 08:37:40 -!- AndoDaan has joined. 08:40:36 -!- vodkode_ has quit (Ping timeout: 256 seconds). 08:53:17 I wonder how many terabytes of models have been created for the MNIST digits to date. 09:05:11 if everyone in my class did it, then at least a gig right there 09:06:05 -!- tromp_ has joined. 09:06:11 some people have been slacking because they expect the strike to go on till end of term 09:07:19 -!- Phantom_Hoover has joined. 09:10:14 -!- tromp_ has quit (Ping timeout: 250 seconds). 09:23:43 -!- oerjan has quit (Quit: leaving). 09:24:58 -!- AnotherTest has quit (Ping timeout: 250 seconds). 09:25:27 -!- shikhin has joined. 09:30:13 -!- fungot has quit (K-Lined). 09:30:13 -!- zemhill_ has quit (K-Lined). 09:32:48 -!- zemhill_ has joined. 09:41:22 -!- Naprecks has quit (Ping timeout: 264 seconds). 09:51:44 -!- Naprecks has joined. 09:59:14 -!- Patashu has quit (Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 10:00:14 -!- iamevn has quit (Quit: iamevn has quit (Quit: iamevn has quit (Quit: iamevn has quit (Quit: iamevn has quit (Quit: iamevn has quit (Quit: iamevn has quit (Quit: iamevn has quit (Quit: iamevn has quit (Quit: iamevn has quit))))))))). 10:02:27 -!- SopaXorzTaker has quit (Remote host closed the connection). 10:03:20 -!- SopaXorzTaker has joined. 10:09:39 -!- Patashu has joined. 10:10:43 -!- slereah has joined. 10:10:47 Hey hey 10:10:49 Been a whilee 10:16:13 -!- boily has joined. 10:16:37 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 10:24:13 How long is a while'e? 10:25:31 It is that Pixar movie 10:25:34 About the robot 10:25:37 And the trash 10:26:10 Wall-e or summat. 10:26:20 same diff 10:33:05 -!- pizearke has joined. 10:33:17 my people 10:34:55 LET MY PEOPLE GO 10:35:28 Let It Go. 10:35:37 I was a big combinatory logic enthusiast a few years back 10:35:56 now I'm a musician and I thought I'd get in touch with my old self by doing some music programming :3 10:36:08 Combinatory logic is quite neat 10:36:21 Also probably one of the oldest Turing complete system 10:36:30 I was really fascinated with how much you could do with just s and k 10:36:33 Older than the Turing machine and lambda calculus! 10:36:44 Possibly older than -recursive functions? 10:36:46 combinatory logic is pretty much just lambda anyway 10:37:03 Yet older than it! 10:37:09 it is? 10:37:15 Yep 10:37:17 1920's 10:37:17 til 10:37:23 I thought it was like 50's 10:37:23 From an old logic paper 10:37:34 Nobody really cared about it back then 10:37:50 But the Schonfinkel paper is from like... 24? 10:37:55 oh 10:37:59 that's the name I know 10:38:02 There's http://p-nand-q.com/programming/languages/gplz/gertrude.html and http://esolangs.org/wiki/Velato for musical esolangs. 10:38:13 I'm making my own, thank you 10:38:27 I'm sure those are awesome though 10:39:05 "The original inventor of combinatory logic, Moses Schnfinkel, published nothing on combinatory logic after his original 1924 paper. Haskell Curry rediscovered the combinators while working as an instructor at Princeton University in late 1927.[3] In the latter 1930s, Alonzo Church and his students at Princeton invented a rival formalism for functional abstraction, the lambda calculus, which proved more popular than combinatory logic. " 10:39:07 Goddamn 10:39:09 Not as awesome as the potential one you're working on. 10:39:13 It was invented TWICE before lambda calculus 10:40:13 I had no idea haskell curry was from the 20's :O 10:40:40 the one I'm working on looks more like assembly 10:41:41 I wrote down some ideas for what the instructions would be and it came out to exactly 16 different instructions 10:41:46 and I was like "shiiiit" 10:54:52 -!- tromp_ has joined. 10:59:26 -!- tromp_ has quit (Ping timeout: 246 seconds). 11:03:44 it is a good number 11:03:58 Although 11:04:05 I guess it depends on their arguments 11:04:12 yeah it's hard to work with just a nibble 11:04:20 because some of them don't have operators 11:04:42 Do you mean operands 11:04:50 yeah I'm an idiot 11:04:53 sorry 11:05:03 also I'm really rusty right now 11:06:11 I think some of them not having operands wouldn't be a problem if they were byte instructions 11:06:14 but they're nibbles 11:13:43 Pad them to a byte? 11:14:03 I guess it depends how many different operands the ones with an argument need 11:18:18 @massages-loud 11:18:18 oerjan said 14h 15m 24s ago: avocabulant isn't a word hth 11:18:18 oerjan said 13h 53m 18s ago: you are right i'm more evil than elliott hth 11:18:33 @tell oerjan I know. 11:18:33 Consider it noted. 11:18:38 @tell orejan I know. 11:18:38 Consider it noted. 11:18:48 -!- boily has quit (Quit: INAUDIBLE CHICKEN). 11:19:03 Avocabulant is a perfectly cromulant word 11:20:26 the ones with an operand all only have one 11:20:57 Well if you only have 16 different values for each operand max, that would work out nicely 11:21:16 I have some bad news for you 11:21:22 I need more bits than that amigo 11:21:24 I need more bits 11:21:28 Otherwise either pad to a byte or make variable length instructions 11:21:44 I'm not doing variable length instructions 11:21:50 Pad that shit then 11:21:54 that's too inefficient with nibbled 11:21:57 Pad like the wind 11:22:21 That way you can add even more instructions if you feel like it! 11:22:37 that's a really fair point 11:22:42 I never even thought of that 11:22:56 I'm going to make an end of file character, too 11:23:11 Maybe a set of instructions that are the same, except this time it's beatboxing??? 11:23:17 (Since it is musical) 11:23:24 it outputs music 11:23:38 but one time I tried making a spoken language that was entirely beatboxing 11:23:42 Is it Turing complete music 11:23:52 the music itself? no 11:24:04 it's not even music. more like just sound 11:24:18 but complex sound 11:24:58 do you want to hear what I have so far? 11:25:13 it's not very good, but it's interesting 11:25:26 Currently at work 11:25:38 aight 11:30:21 -!- SopaXorzTaker has quit (Read error: Connection reset by peer). 11:33:54 -!- SopaXorzTaker has joined. 11:35:36 -!- SopaXorzTaker has quit (Max SendQ exceeded). 11:36:39 -!- AndoDaan has quit (Ping timeout: 244 seconds). 11:40:58 -!- shikhin_ has joined. 11:41:31 -!- Patashu has quit (Ping timeout: 252 seconds). 11:44:13 -!- shikhin has quit (Ping timeout: 256 seconds). 11:51:46 -!- AnotherTest has joined. 12:05:13 -!- Phantom_Hoover has joined. 12:37:23 -!- ProofTechnique has quit (Ping timeout: 246 seconds). 12:44:02 -!- tromp_ has joined. 12:48:37 -!- tromp_ has quit (Ping timeout: 252 seconds). 13:01:45 -!- heroux has joined. 13:05:16 -!- ProofTechnique has joined. 13:12:47 -!- shikhin_ has changed nick to shikhin. 13:14:43 -!- L8D has joined. 13:15:51 [wiki] [[Talk:MGIFOS]] http://esolangs.org/w/index.php?diff=42172&oldid=31604 * SuperJedi224 * (+485) 13:19:02 -!- L8D has quit (Ping timeout: 246 seconds). 13:19:58 [wiki] [[Talk:MGIFOS]] http://esolangs.org/w/index.php?diff=42173&oldid=42172 * SuperJedi224 * (+13) 13:20:19 [wiki] [[Talk:MGIFOS]] http://esolangs.org/w/index.php?diff=42174&oldid=42173 * SuperJedi224 * (-20) 13:46:10 -!- lleu has quit (Ping timeout: 264 seconds). 14:03:27 -!- `^_^v has joined. 14:15:14 -!- ^v has quit (Read error: Connection reset by peer). 14:15:48 -!- ^v has joined. 14:17:16 -!- lleu has joined. 14:29:24 [wiki] [[Clip]] http://esolangs.org/w/index.php?diff=42175&oldid=42168 * Ypnypn * (+0) 14:44:27 -!- not^v has joined. 14:50:09 -!- Phantom_Hoover has quit (Remote host closed the connection). 14:50:54 -!- Phantom_Hoover has joined. 15:06:55 [wiki] [[Clip]] http://esolangs.org/w/index.php?diff=42176&oldid=42175 * Ypnypn * (+1) 15:35:48 -!- paul2520 has quit (Remote host closed the connection). 15:45:44 -!- vodkode_ has joined. 15:53:47 -!- not^v has quit (Ping timeout: 265 seconds). 16:07:48 -!- TieSleep has changed nick to TieSoul. 16:07:57 -!- bb010g has quit (Quit: Connection closed for inactivity). 16:09:49 -!- SopaXorzTaker has joined. 16:11:24 o-rin: I've heard Japanese people say "ka" using exactly the same vowel I use in the word "Sean". 16:11:31 But that's because I have a weird accent. 16:15:06 what vowel do you use in sean... 16:15:33 like is it the same vowel as in 'sawn'? 16:16:31 -!- not^v has joined. 16:19:01 @metar LOWI 16:19:01 -!- Phantom_Hoover has quit (Remote host closed the connection). 16:19:01 LOWI 231550Z 07010KT 9999 FEW060 15/03 Q1010 R08/1///95 NOSIG 16:29:34 -!- SopaXorzTaker has quit (Read error: Connection reset by peer). 16:42:10 -!- dianne has joined. 16:42:29 tswett: that's some dope accent dawg 16:47:43 -!- dianne has quit (Quit: Lost terminal). 16:48:18 -!- dianne has joined. 16:51:11 -!- SopaXorzTaker has joined. 16:51:42 -!- L8D has joined. 16:56:36 -!- L8D has quit (Ping timeout: 256 seconds). 16:59:55 -!- slereah has quit (Quit: Leaving). 17:05:57 @metar CYYZ 17:05:57 CYYZ 231700Z 36007KT 330V060 15SM SCT230 M06/M19 A3039 RMK CI4 SLP300 17:06:46 clear and cold, my favorite weather 17:06:54 -!- vodkode_ has quit (Ping timeout: 250 seconds). 17:06:55 o-rin: wait, you're in YYZ? 17:07:02 yep 17:08:00 huh 17:08:41 my sleep schedule is out of whack 17:12:11 -!- GeekDude has joined. 17:20:08 @metar EGNT 17:20:09 EGNT 231650Z 28008KT 9999 SCT040 10/02 Q1010 17:20:49 -!- ^v has quit (Ping timeout: 256 seconds). 17:25:10 -!- pizearke has quit (Quit: Leaving.). 17:28:07 -!- SopaXorzTaker has quit (Remote host closed the connection). 17:29:16 -!- Phantom_Hoover has joined. 17:29:49 -!- pizearke has joined. 17:41:14 -!- shikhin_ has joined. 17:42:44 -!- shikhin has quit (Disconnected by services). 17:42:47 -!- shikhin_ has changed nick to shikhin. 18:19:12 -!- pizearke1 has joined. 18:21:34 -!- pizearke has quit (Ping timeout: 252 seconds). 18:22:34 -!- not^v has quit (Read error: Connection reset by peer). 18:23:03 -!- not^v has joined. 18:28:32 -!- pizearke has joined. 18:29:59 -!- pizearke1 has quit (Ping timeout: 244 seconds). 18:32:41 -!- zadock has joined. 18:34:44 -!- v^v^ has joined. 18:36:11 -!- not^v has quit (Ping timeout: 265 seconds). 18:42:51 -!- o-rin has quit (Ping timeout: 246 seconds). 18:59:44 -!- o-rin has joined. 19:02:06 -!- mtve- has quit (*.net *.split). 19:02:13 -!- TieSoul has quit (*.net *.split). 19:02:14 -!- j-bot has quit (*.net *.split). 19:02:15 -!- lambdabot has quit (*.net *.split). 19:02:34 -!- TieSoul has joined. 19:02:39 -!- mtve has joined. 19:06:47 -!- lambdabot has joined. 19:07:26 [wiki] [[Special:Log/newusers]] create * Kasran * New user account 19:08:49 -!- o-rin has quit (Quit: Lost terminal). 19:17:36 -!- pizearke has quit (Quit: Leaving.). 19:20:12 [wiki] [[Befunge]] http://esolangs.org/w/index.php?diff=42177&oldid=41933 * Kasran * (+67) /* Quine */ added a short quine 19:23:48 [wiki] [[Befunge]] http://esolangs.org/w/index.php?diff=42178&oldid=42177 * Kasran * (+121) /* Examples */ added a ROT13 encoder/decoder 19:24:37 -!- pizearke has joined. 19:29:51 -!- Phantom_Hoover has quit (Remote host closed the connection). 19:31:29 -!- Phantom_Hoover has joined. 19:33:01 -!- g2watson has joined. 19:33:28 -!- g2watson has quit (Client Quit). 19:34:16 -!- g2watson has joined. 19:35:55 is there a better terminal program for windows than putty? 19:37:11 hmm, maybe wrong thing... um, a better ssh program. 19:38:31 -!- v^v^ has quit (Ping timeout: 256 seconds). 19:43:04 g2watson: KiTTY? http://www.9bis.net/kitty/ 19:43:53 I think everything else depends on cygwin or msys, but then you've got your choice :D 19:43:53 -!- j-bot has joined. 19:44:21 -!- pizearke has quit (Quit: Leaving.). 19:44:48 -!- TieSoul has quit (Read error: Connection reset by peer). 19:45:04 -!- TieSoul has joined. 19:46:09 -!- v^v^ has joined. 19:46:56 PuTTY is pretty good but you could use, like, Cygwin + urxvt + ssh. 19:49:40 -!- zzo38 has joined. 19:54:57 -!- v^v^ has quit (Ping timeout: 256 seconds). 19:56:47 -!- pizearke1 has joined. 19:58:59 -!- Patashu has joined. 20:06:56 -!- pizearke1 has quit (Quit: Leaving.). 20:14:29 -!- L8D has joined. 20:16:05 Phantom_Hoover: yeah, same one. Sean, lawn, prawn, dog, fog, wash, floss, broth. 20:16:36 But not clock, mock, pop, blotch, fossil, ocelot. 20:19:31 -!- newsham has quit (Quit: maint). 20:20:08 tswett: weird, I rhyme all those words, but with a sound much closer to typical Japanese o than a 20:20:53 how does the sound in dog differ from pop? 20:22:29 By being back instead of front. 20:22:44 for me they are all back 20:23:05 I think that's the case for, like, at least 90% of English speakers in any given country. 20:23:10 -!- Phantom__Hoover has joined. 20:23:20 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 20:24:33 -!- Patashu has quit (Ping timeout: 272 seconds). 20:27:56 -!- newsham has joined. 20:31:07 hmm, my dialect of english has a total of only 13 vowels... 20:32:19 bat bate bet beet bit bite bot boat but beaut boot book bird 20:33:15 hmm no wait beaut is sort of like ee + oo 20:33:35 so 12 20:39:55 wikipedia claims that among palm lot cloth and thought, I should pronounce some differnetly, but I don't 20:43:13 bite is like but + beet 20:44:35 -!- ais523 has joined. 20:44:57 Maybe counting vowels is actually harder than counting the possible vowel sequences 20:46:37 palm lot cloth and thought still all have the same vowel, I don't get thet 20:49:15 -!- L8D has quit (Ping timeout: 245 seconds). 20:53:39 I have some book about philosophy, including mirror problem, thinking about Santa Claus, box of answering question in Chinese (even though the people who work there don't know any Chinese), free beer for ten cents, free will, interpretation of laws, etc 20:55:32 zzo38: I have some book about some of those things too. 20:56:31 I have a least 3 books about those things, but I dodn't read it 20:57:05 crap my name is worng again 20:57:15 -!- g2watson has changed nick to orin. 20:59:06 Why do you make your name always wrong again? 20:59:11 why does irssi use your local username as default nick 20:59:23 I don't know why? 20:59:24 are you sure you're not a kasha 21:00:03 Also mention rules for shadows. They list two rules of shadows which they call so obviously correct, but to me both rules look to be so obviously wrong 21:00:44 What are the rules? 21:00:46 elliott: a boild buckwheat? 21:01:07 it's just another rin joke. 21:01:12 oh 21:01:20 but yes, sure, boiled buckwheat 21:01:23 seems like a good insult 21:02:42 'g2watson' means "CS specialist program account for mr. Watson" 21:03:07 Rules give are: The shadow doesn't cast if the light isn't shining on the object, and the shadow doesn't cast if there is another object in between for casting the shadow on instead. 21:03:21 To me, both are clearly wrong, although to them they are both clearly correct. 21:03:52 shadows don't exist 21:04:51 light shining around edge of object exists, shadow is perception of shape based on lack of light 21:06:56 but what is the problem for them with their rules? 21:07:59 They do cite a problem, although it was wrong to me even before that. The problem they cite is in case you hold coffee in front of you, one piece of the shape of shadow is shape of you but is through the coffee. Who casts the shadow? 21:08:17 I say both! 21:08:24 -!- augur_ has joined. 21:09:09 -!- augur has quit (Ping timeout: 246 seconds). 21:11:12 well the light that would hit the ground if you weren't there, that light would need to pass thorugh both you and the coffee, so yeah 21:13:47 but then it seems kind of pointless to say that a lack of light belongs to a particular object, i mean it is,um, a nonexistent thing by definition 21:20:12 -!- paul2520 has joined. 21:20:36 -!- paul2520 has changed nick to Guest58347. 21:21:54 -!- Guest58347 has changed nick to paul2520. 21:22:24 -!- paul2520 has changed nick to Guest65036. 21:22:53 -!- Guest65036 has changed nick to paul2520. 21:23:14 -!- paul2520 has quit (Changing host). 21:23:14 -!- paul2520 has joined. 21:25:39 -!- ProofTechnique has quit (Ping timeout: 244 seconds). 21:34:37 A thing: http://dominic-mulligan.co.uk/?page_id=148 21:36:21 are you going? 21:39:29 Probably not. I just got an email (on some list), and it sounded mildly relevant here. 21:40:50 ...is there a North of England Regional Programming Language Seminar? 21:41:13 how about a Midwestern United States Regional PLS? 21:42:39 I'd love to go to that, but like most of the south of England is difficult for someone like me who flits between Northumberland and York 21:43:21 -!- zzo38 has quit (Remote host closed the connection). 21:57:02 -!- callforjudgement has joined. 21:59:05 -!- ais523 has quit (Disconnected by services). 21:59:06 -!- callforjudgement has changed nick to ais523. 22:01:53 -!- zadock has quit (Read error: Connection reset by peer). 22:03:34 [wiki] [[Befunge]] http://esolangs.org/w/index.php?diff=42179&oldid=42178 * Kasran * (-188) removed programs I added earlier, as they will probably crash or not work right in CCBI 22:11:40 -!- callforjudgement has joined. 22:13:34 -!- ais523 has quit (Disconnected by services). 22:13:35 -!- callforjudgement has changed nick to ais523. 22:16:42 Happy pikhqday 22:16:56 A day of high quality pik 22:18:21 -!- AnotherTest has quit (Remote host closed the connection). 22:18:31 -!- Lymia has quit (Ping timeout: 265 seconds). 22:28:52 Truth. 22:28:59 The pik is the highest of q. 22:29:16 * pikhq shall attempt not to asplode 22:34:48 -!- GeekDude has quit (Changing host). 22:34:48 -!- GeekDude has joined. 22:36:35 -!- newsham has quit (Quit: maint). 22:42:28 -!- newsham has joined. 22:42:57 -!- newsham has quit (Client Quit). 22:43:16 -!- newsham has joined. 22:46:09 -!- newsham has quit (Client Quit). 22:46:30 -!- newsham has joined. 22:46:48 -!- newsham has quit (Client Quit). 22:47:23 -!- newsham has joined. 22:48:32 -!- Lymia has joined. 23:01:22 -!- Zefphex has joined. 23:06:33 I dare you to tell me the plot of a video game you've never played before. by the the cd on a microscope and the the pits 23:07:03 ? 23:07:03 by viewing the cd* 23:07:03 -!- shachaf has left. 23:07:11 oh, I see 23:07:22 reading* 23:07:25 I know a lot of the plots of video games I've never played, but that's mostly via watching other people play them 23:07:36 same 23:08:06 -!- `^_^v has quit (Ping timeout: 246 seconds). 23:12:38 Oh man if only I wasn't a fragmentation of someone's mental state because they know how to program and I just feel dumb being here 23:14:34 -!- zadock has joined. 23:14:36 you could fix that by learning to program, perhaps? 23:14:45 pick a language that nobody else can program in either 23:14:47 so that nobody has a head start 23:22:38 I'm only good at art 23:23:46 -!- L8D has joined. 23:26:33 -!- vodkode_ has joined. 23:40:56 -!- shikhin_ has joined. 23:44:05 -!- shikhin has quit (Ping timeout: 265 seconds). 23:44:39 -!- shikhin_ has changed nick to shikhin. 23:46:18 -!- L8D has quit (Ping timeout: 246 seconds). 23:50:49 -!- tromp_ has joined. 23:56:08 -!- Zefphex has quit (Remote host closed the connection).