00:00:09 "i was getting "withdrawal"" 00:00:19 i saw you saying it earlier today!!! or maybe late last night depending on how you look at it 00:00:30 a few hours "a long time" 00:00:45 last night = forever ago 00:00:48 Sgeo_: you realize that makes you better for hiring than anything else. 00:01:11 -!- sirdancealot has quit (Ping timeout: 252 seconds). 00:01:14 All PHP familiarity I have comes from having taken one class... 00:01:23 Well, I guess not _all_ 00:01:32 Also used it in Senior Project a little 00:01:33 you have had classes in php? :S 00:01:35 Actually, very little 00:01:49 Most of the coding I did was Javascript 00:02:05 (are you the one studying at the farming university?) 00:02:53 It's at a place called Farmingdale. 00:03:05 The university used to be about farming but now it isn't. 00:03:20 Right. 00:05:00 -!- Phantom__Hoover has quit (Ping timeout: 240 seconds). 00:05:25 -!- Phantom__Hoover has joined. 00:12:08 -!- TodPunk has joined. 00:12:25 huh. pouring a liquid into a light cup on a low-friction counter causes the liquid to slosh back and forth, which causes the cup to jump back and forth along the counter for a few seconds until the liquid settles 00:12:29 I'm easily amused 00:12:47 indeed 00:13:05 I used to be amused by the glowing door when I hover over it in MS Allegiance 00:13:10 I may be more easily amused than Fiora 00:13:40 the moving cup can be amusing for a short time (liquids should have no power over solid matter!), but will not amuse for long 00:14:23 Fiora: how low-friction are we talking here 00:15:31 um. it's just a plastic counter finish, I'm not sure 00:15:42 but the kind of thing you can slide your hand along and it feels really super smooth 00:16:43 http://vixra.org/ hey, this site is still around! 00:16:53 i.e. it's not quite as low-friction as pitch is viscous 00:17:13 -!- Phantom__Hoover has quit (Ping timeout: 245 seconds). 00:18:35 -!- Phantom__Hoover has joined. 00:18:35 Bike: this is the quack arxiv right 00:19:00 quarxiv 00:19:04 yeah 00:19:08 «he Fifth Function of University: “Neutrosophic e-Function” of Communication-Collaboration-Integration of University in the Information Age» 00:20:17 I thought arxiv was the quack arxiv. 00:21:36 ohhhhh snap 00:22:19 -!- TodPunk has quit (Quit: This is me, signing off. Probably rebooting or something.). 00:22:31 "Abstract: Young stars like the Sun are hollow. An illustration is provided." 00:22:33 * shachaf looks 00:22:41 http://vixra.org/pdf/1301.0109v1.pdf 00:22:49 As promised! 00:24:02 Iron Plasma 00:27:41 -!- TodPunk has joined. 00:30:10 -!- augur has joined. 00:34:02 -!- ogrom has quit (Quit: Left). 00:37:42 kmc, quick question: Is whitespace outside of commands relevant at all? 00:49:02 depends on the language (HTH) 00:50:34 Weisslebensraum 00:51:56 Sgeo_: in latex? 00:52:04 kmc, yes 00:52:55 * Sgeo_ was almost about to wonder if there's a Try Ruby until I remembered that's where the trend came from 00:52:55 well having whitespace is different from not having any 00:53:15 and two newlines in a row (i.e. blank line) starts a new paragraph 00:53:38 and some environments can redefine things so that whitespace matters 00:53:40 e.g. verbatim 00:53:48 but mostly whitespace does not matter 00:54:02 Ok, thank you 00:54:06 :) 00:54:27 see? whitespace is not so hard 00:54:32 i'm a big fan of it in fact 00:55:35 subtle 00:55:39 -!- Arc_Koen has quit (Quit: Arc_Koen). 00:55:42 -!- impomatic has left. 01:02:42 Fiora: yeah, coupled oscillators are fun 01:03:40 though maybe this is not one 01:04:46 what if you attach the cup to some springs too 01:12:13 oh dear 01:21:36 My resume is already running 2 pages 01:21:37 :/ 01:22:46 Fiora: http://www.youtube.com/watch?v=JWToUATLGzs 01:27:12 jafet: http://www.youtube.com/watch?v=QCp7bL-AWvw#t=1m35s 01:28:57 -!- zzo38 has joined. 01:31:38 Jafet, is that a coupled oscillator thing? 01:32:41 Probably not 01:33:04 Poem symphonique for 100 metronomes and a fancy sweeping machine thing 01:33:51 I can't make it fin 01:33:51 fit 01:34:13 It... looks like a coupled oscillator thing. 01:34:39 Maybe I should comment out the extra stuff? 01:34:41 Jafet: wooow 01:35:06 that is so cool 01:35:24 bah 01:35:30 it's differential equations 01:35:45 is it ever not? 01:36:43 Yo momma so big, she needed two exponential substitutions 01:36:44 when it's not terrible, yes 01:36:59 harsh 01:38:02 yeah those metronomes are the best 01:39:01 How do I make this fit on one page https://dl-web.dropbox.com/get/Public/resume-censored.pdf?w=AADIvu8kdZ7VAVENqHkmKRekbKWh07MscyyuspAin5TmhQ 01:41:04 403 01:41:15 do i need to sign into dropbox 01:41:20 http://dl.dropbox.com/u/16240872/resume-censored.pdf 01:41:30 No, I just copied the wrong link 01:42:09 make e.g. "PSOX \n Developer: 2007-2008" into one line 01:42:39 also your Skills section is about 5 lines and could shrink to two 01:42:47 with fewer headings and such 01:42:56 people know that Linux is an Operating System and not a Computer Language 01:43:28 Sgeo_, put `list on resume 01:43:40 shows community spirit & technical aptitude 01:43:43 and you could condense the three bulletpoints under Education onto one line 01:47:54 hmm 01:48:53 Phantom__Hoover: "experience using off-line editing systems in for rapid debugging in real-world applications" 01:49:05 *-in 01:50:05 Does successfully guessing that \\ is related to newline count for anything/ 01:50:51 yes, it makes you a "pattern-oriented problem solver" 01:51:07 also why did you escape the backslash 01:51:19 Because that was in the template 01:51:21 I just deleted it 01:56:23 I got it to all fit! 01:56:47 Thank you kmc 01:56:59 patern-oriented object programming system or POOPS 01:57:06 you're welcome Sgeo_ 02:00:09 I also shrunk the font 02:04:07 I have read that Spartan FPGA has multiple clock signals, and that Amber runs as 40 MHz, and that in Virtex it runs twice as fast (but it also says they have changed it so now only Spartan is supported). Can it be made other things that can work faster than these speeds? What is the maximum speed? 02:05:34 What changes need to be made to run on different FPGA? 02:10:15 Crud how do I unapply for a job on LinkedIn 02:10:31 I just noticed that the one I sent a resume to is in San Francisco 02:10:43 what's wrong with sanfran, eh 02:10:52 Having to move 02:11:00 it's an adventure! 02:12:17 It seems awesome though. 02:12:18 "Exceptional coding skills. Mastery of several major programming languages (i.e., Ruby, Python, Java, etc) and experience with different programming paradigms. Exposure to functional programming is a must, as is understanding when it's not the right answer to a problem" 02:12:33 "Ability to rapidly learn new systems and languages as needed. You know what is meant by "C-like" and "ML-like" languages." 02:13:02 turns out to be implementing standard ML in php 02:13:36 SF is a pretty cool city 02:13:47 I don't think I have the experience they want 02:14:16 Sgeo_: you should still interview 02:14:20 free trip to SF 02:14:30 practice interviewing 02:14:45 I should learn how to write cover letters 02:14:51 I didn't write a cover letter for this one 02:14:54 Just attached resume and sent 02:16:24 i don't know any secret to it 02:16:41 just say why you're interested in the job and highlight any particularly relevant skills or experience 02:16:59 A bit too late to do that for this one though :( 02:17:11 remember the purpose of resume / cover letter is not to get you the job, just to get you the interview 02:17:24 or usually just a phone call 02:18:11 or a giant check to disappear and never be heard from again 02:18:15 err 02:18:23 -!- Phantom__Hoover has quit (Remote host closed the connection). 02:24:05 -!- DH____ has quit (Read error: Connection reset by peer). 02:24:19 -!- DHeadshot has joined. 02:26:58 http://www.forbes.com/sites/quora/2011/10/27/whats-the-easiest-way-to-get-a-novelty-check-5x2-or-similar-across-the-country/ 02:32:19 that's some useful knowledge right there 02:34:09 ! 02:34:12 I forgot a period 02:34:14 http://www.reddit.com/r/Blacksmith/comments/16t49n/damascus_steel_theories/c7z6ih9 02:40:07 -!- augur has quit (Remote host closed the connection). 02:41:23 Sgeo_: you're dooooomed 02:41:38 Probably lack of cover letter was worse 02:45:23 imo move to san francisco 02:46:45 why not NYC? 02:49:22 come to Greece 02:52:01 http://media.photobucket.com/image/recent/zebdeming/Bladesmithing/IMAG0110.jpg <-- well, that puts thiings in perspective 03:03:14 -!- hagb4rd has joined. 03:03:43 brothers and sisters of the pale forest 03:03:53 children of night! 03:04:07 who among you will run with the hunt? 03:04:20 is this a sex thing? 03:05:07 yes dionysos and his legion 03:05:19 and i carry the flag 03:06:24 now night arrives with its purpuour legions 03:06:32 retire now to your tents 03:06:37 and to your dreams 03:06:53 `cause tomorrow 03:06:54 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: cause: not found 03:07:08 i`ll enter the town of my birth 03:07:16 i want to be ready 03:08:10 speak up! droogies.. 03:08:19 speak up 03:08:42 hi 03:08:48 hi elliott 03:09:12 it's good to have you here.. 03:09:16 me too 03:15:44 It's a fungot thing 03:15:45 Jafet: so i never found the effort to configure? newbie here!! put this on!! i'm walking in my sleep, but nothing terrible either. 03:23:37 ^style 03:23:38 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 03:23:46 ^style irc 03:23:47 Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) 03:24:17 -!- hagb4rd has quit (Ping timeout: 248 seconds). 03:26:48 ^style wp 03:26:48 Selected style: wp (1/256th of all Wikipedia "Talk:" namespace pages) 03:27:00 fungot: is this a sex thing 03:27:01 Jafet: isn't fnord " fnord style= " color: fnord 16:12, 22 may 2008 ( utc 03:27:51 Wait, which 1/1256th? 03:27:55 ...1/1256 03:28:00 I can't type it 03:28:05 I cannot type the fraction 03:28:07 1/256 03:28:10 I had to backspace 03:28:15 -!- TeruFSX2 has quit (Ping timeout: 260 seconds). 03:28:34 1/256 03:28:35 yay 03:28:43 The sexiest 1/256th imo 03:42:29 I like some of the GNU extensions in C and some of the C99 stuff; however I have my own idea also for some extensions, such as additional preprocessor commands, struct/union types with parameters and if blocks and static members, operator overloading (but different and more limited than C++), etc 03:43:10 Such as, you can overload unary ! but not binary && and || and the result type of ! must be int and the value should be 0 or 1 only 03:43:43 Comparison overloading is == and < only, both sides being the same type, and the result being boolean (like above) 03:46:11 You also cannot overload [] and assignment operators and . and -> and , but can overload unary * for both reading and writing. 03:46:24 (But the type has to be the same reading and writing) 03:49:15 It occurs to me that using a generator could be almost as simple as list comprehensions 03:49:22 Wait what no 03:49:35 I do not like overloading operators 03:49:46 Overloading [] is not used, because instead if you write x[y] it acts same like *(x+y) 03:49:55 some of this sounds like rust 03:50:36 Does it? Maybe. 03:51:44 there is also this http://www.c2lang.org/ 03:52:28 For example you might write struct abc(a,const int b) { a data[b]; if(__builtin_types_compatible_p(a,char)) { int x; int y; int z; } }; 03:54:04 -!- oerjan has joined. 03:54:23 Still, mine is not C2, it is mostly compatible with C instead so it can be used as extension, it can be called "High-C", and does not have all of the high-level features, only a few but no extra runtime stuff. 03:54:34 is that supposed to be like a generic? 03:55:39 Is what supposed to be like a generic? What is a generic? 03:55:57 Your code fragment. Like generics in C++. 03:58:05 Well, yes it is kind of 03:58:14 Not exactly the same, but there are some similarities 03:58:38 I mean, just in that you have a type variable (and an integer parameter for that matter). 03:59:01 Not sure I entirely understand how the conditional works. I assume that's compile time, but it's pretty different from usual declarations... 03:59:19 Yes, compile time conditional 04:01:26 I mean, the having declarations in a block like that. 04:03:20 Yes it is different from plain C 04:03:33 __builtin_types_compatible_p is also different from plain C, it is a GNU extension. 04:03:44 Right. The syntax just seems a bit confusing to me. 04:07:35 But it is based on C89 with some GNU extensions and some C99 stuff, rather than being based on C99 or C11. 04:08:24 Some things may be similar to C++ but will have a different meaning in C, such as a structure with no members is size zero in C (instead of one which it is in C++, I think?). 04:09:09 jjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj 04:09:12 ...Ahem. 04:09:36 Bike's fault. 04:09:52 (If all the members are static, then it is also zero size.) 04:10:37 -!- monqy_ has joined. 04:11:08 -!- monqy has quit (Disconnected by services). 04:11:13 -!- monqy_ has changed nick to monqy. 04:18:59 all hail monqy 04:19:22 hi shachaf 04:20:01 hellonqy 04:22:11 I should eat soon 04:22:13 And then sleep 04:22:16 And then wake up 04:22:25 And then apply the suggestions that my friend gave me about my resume 04:22:53 Some C99 stuff is also available as GNU extensions. Some C99 stuff (including some which is GNU extensions), I think shouldn't belong so they should be removed (although a compiler still might support it as extensions). 04:27:13 shachaf: bault? 04:27:33 @quote blame.shachaf 04:27:33 cmccann says: some people blame themselves, some people blame the language, but the people who really know what they're doing blame shachaf. 04:38:50 And then it should allow, when using typeof and sizeof, you can use . and a member name after the type to mean the type of that member, and using * prefix for type pointed to. Should also be allow, static members of struct/union can be accessed by the value, or by using the type and . and the member. 04:40:14 Even with existing GNU extension you can do like: typedef struct kk { int a[0]; } kk; and then later if you have a variable kk k; to make typeof(*k.a) I think you can then make something like that if it is useful to you. It can be done with sizeof too 04:59:50 -!- Bike has quit (Ping timeout: 252 seconds). 05:01:30 -!- derkus_ has joined. 05:01:45 -!- Bike has joined. 05:01:49 -!- derkus_ has changed nick to derkus. 05:02:06 How would you think about these kind of extensions? 05:14:48 ^ul * 05:14:49 ...out of stack! 05:15:27 ^ul b 05:15:28 ...bad insn! 05:23:16 http://www.theregister.co.uk/2013/01/16/las_vegas_phones/ "Phones lost and stolen in Las Vegas are mistakenly telling their owners they're at the house of one Wayne Dobson, who's getting pretty angry at the late night demands and visits from the police." 05:24:06 "victims refused to believe the technology could be faulty" 05:24:14 yeah 05:24:19 who ever heard of computers having bugs 05:26:43 shachaf 05:29:32 monqy :( 05:29:52 yes.... 06:11:59 -!- Bike has quit (Ping timeout: 240 seconds). 06:17:34 -!- Bike has joined. 06:18:56 -!- Bike has quit (Client Quit). 06:38:15 They're not computers, kmc, they're phones 06:38:21 right 06:39:10 -!- Bike has joined. 06:39:23 'Kramer buys the wrong kind of bath salts, has a bad bath, tries to return them. Elaine's coworkers mock her for using her phone as a phone.' 06:40:22 "I've been Google bombed, Jerry! My Google… it's ruined." 06:46:28 i don't know if there is any actual show taking a seinfeld approach to human interaction in the internet age 06:46:39 seems like fertile territory 07:00:05 -!- augur has joined. 07:40:42 http://decovo.wordpress.com 07:41:06 -!- ogrom has joined. 07:59:31 -!- carado has joined. 08:01:30 -!- carado has quit (Remote host closed the connection). 08:01:49 -!- asiekierka has quit (Excess Flood). 08:01:58 -!- carado has joined. 08:03:38 -!- augur has quit (Remote host closed the connection). 08:03:43 -!- asiekierka has joined. 08:34:56 -!- epicmonkey has joined. 08:45:53 -!- sirdancealot has joined. 08:47:59 -!- monqy has quit (Quit: hello). 08:56:44 -!- carado has quit (Ping timeout: 246 seconds). 09:00:55 -!- ogrom has quit (Quit: Left). 09:18:29 -!- Bike has quit (Quit: dunno!). 09:18:57 oerjan: hello. 09:19:19 g'day 09:19:45 oerjan: please name my language 09:19:52 Eric 09:20:41 short for "elliott's really interesting calculus" 09:23:20 -!- copumpkin has quit (Ping timeout: 272 seconds). 09:23:58 -!- copumpkin has joined. 09:24:45 Expressive language for international cultures 09:30:46 oerjan: okay. now name it again 09:32:13 flaco, for formal language administrating categorical objects 09:32:59 or perhaps flawless computing 09:33:12 getting closer 09:33:14 another try?? 09:35:32 moss, for massively objective security system 09:37:38 functional immutable nominal dependent urelement system 09:38:49 theorem expressions seamlessly computing objects 09:40:15 elliott: What is your language? 09:40:58 oerjan: how about something that acronyms to oerjan 09:41:01 zzo38: great! 09:42:19 ominously effective random jostling approximating numbers 09:42:48 okay. perfect. 09:42:53 yay! 10:13:28 -!- asiekierka has quit (Excess Flood). 10:16:43 -!- asiekierka has joined. 10:20:50 -!- oerjan has quit (Quit: leaving). 10:33:57 -!- jesusiniesta has joined. 11:06:27 -!- Phantom_Hoover has joined. 11:14:39 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 11:16:11 -!- Phantom_Hoover has joined. 11:48:42 -!- Vorpal has joined. 12:01:13 -!- asiekierka has quit (Excess Flood). 12:02:52 -!- jesusiniesta has changed nick to Jkurei. 12:04:44 -!- asiekierka has joined. 12:17:30 -!- Jkurei has quit (Quit: Leaving). 12:23:41 -!- sebbu has quit (Ping timeout: 252 seconds). 12:35:14 -!- sebbu has joined. 12:35:14 -!- sebbu has quit (Changing host). 12:35:14 -!- sebbu has joined. 12:39:12 elliott: have you made a language? 12:40:16 -!- asiekierka has quit (Quit: ZNC - http://znc.sourceforge.net). 12:43:16 olsner: maybe. 12:43:59 -!- Nisstyre-laptop has quit (Read error: Operation timed out). 13:22:39 -!- Arc_Koen has joined. 13:24:47 -!- copumpkin has quit (Ping timeout: 252 seconds). 13:25:18 -!- copumpkin has joined. 14:06:39 "Interviews are occurring early next week, so if are a Python/JavaScript Engineer apply now!" 14:25:03 -!- augur has joined. 14:47:12 I just recently divided Python by JavaScript. 14:53:26 was there a remainder ? 14:55:47 I need food 14:55:53 I fell asleep instead of eating dinner 14:56:07 Had computer on mute so never heard alarm that was supposed to wake me after 30 minute nap 14:56:11 So now making dinner for breakfast 15:01:06 -!- epicmonkey has quit (Remote host closed the connection). 15:01:29 -!- epicmonkey has joined. 15:03:37 http://hypirion.com/swearjure (yes shachaf, this is Clojure related) 15:09:28 > 0/0 15:09:29 NaN 15:10:14 c00kiemon5ter: Well, it raised a GPF. 15:13:30 -!- TeruFSX2 has joined. 15:21:53 Well, never be lazy documenting stuff. 15:22:34 "RA: Defined as sapd2.0./av!!". I have no idea what I did there. 15:32:30 Collapsing kinds and types Blurring the distinction between 15:32:30 types and kinds is convenient, but is it wise? It is well known that 15:32:30 type systems that include the Γ ty 15:32:30 : 15:32:30 rule are inconsistent 15:32:32 logics [Girard 1972]. Does that cause trouble here? 15:32:35 The answer is no because FC, even without these extensions, 15:32:37 is already inconsistent. 15:33:19 "Some fear that the world may end if we do this. However, this is okay, because the world has already ended." 15:41:04 heh 15:42:46 Hmm, I'm going to regret this file being called ~/tmp/thesis.pdf. 15:42:55 Maybe I should move it to ~/file so it's more descriptive. 15:44:37 So ell?iott?s aren't just involved with Haskell. There's an Eliot involved with Smalltalk 15:45:57 you know, they're all the same elliott 15:47:09 "they" 15:47:43 fungot: Has the world already ended? 15:47:44 fizzie: which have come from this mor region. user:scott moorescott moore 13:58, 13 oct 2004 ( utc)) 15:48:18 ^style irc 15:48:18 Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) 15:48:27 fungot: what's elliott up to this time ? 15:48:27 c00kiemon5ter: the wiki page 15:48:32 aha 15:49:11 fizzie: how old are those irc logs? 15:49:18 He's up the Wiki page. 15:49:22 olsner: Kinda old. 15:50:02 I don't exactly know 15:50:54 File timestamps say "Aug 28 2008" but I don't know if that's true. 15:51:08 fungot: is it true? 15:51:09 c00kiemon5ter: it took me a sec to actually read 15:51:26 fungot: But what was the answer? 15:51:27 fizzie: japan has had a plt bias, but my second thought ( after " that sucks") was that one page further, and also 15:53:01 fungot: how old are you? 15:53:01 olsner: does tcl have live objects?' 15:54:43 fungot: That some kind of an euphemism? 15:54:44 fizzie: oklopol is really smiling! what's the target audience for that? or do you have 15:55:00 Wow, rare for it to give a name of an #esotericer. 15:55:31 everyone should be able to appreciate the smiling oklo 16:39:26 -!- epicmonkey has quit (Ping timeout: 252 seconds). 16:46:58 @tell oerjan could you tell me about the thing where you can infer rank-2 types. also can you remind me to keep reading thesis.pdf? you're the best 16:46:58 Consider it noted. 16:54:07 -!- Bike has joined. 16:59:05 -!- Bike has quit (Ping timeout: 260 seconds). 17:00:21 -!- Bike has joined. 17:12:08 -!- oerjan has joined. 17:22:25 @messages 17:22:25 elliott said 35m 27s ago: could you tell me about the thing where you can infer rank-2 types. also can you remind me to keep reading thesis.pdf? you're the best 17:22:29 elliott: WAT 17:25:33 i have vaguely heard about the first thing. please keep reading the latter. 17:25:58 hth 17:27:00 * oerjan wonders if it isn't against the spirit of comments on a postcard to link to tvtropes pages that actually exist 17:28:37 oh wait it doesn't. never mind. 17:28:53 i think it may have existed at one time. 17:33:27 File timestamps say "Aug 28 2008" but I don't know if that's true. <-- time for a regeneration? 17:37:41 hm, I wonder what -march=native will do when using distcc... Probably bad stuff 17:48:31 oerjan: But then it wouldn't be the same again. :/ 17:49:09 are you saying the channel has deteriorated. 17:52:14 -!- Taneb has joined. 17:52:46 Vorpal: doesn't distcc already require every system in the cluster to be exactly the same? 17:52:58 Man, I really suck at everything 17:52:59 Taneb: You have 1 new message. '/msg lambdabot @messages' to read it. 17:55:15 oerjan, magic 17:56:14 marvelous 17:56:19 Also, seeing how much computer trouble I've had recently I shouldn't have tried to upgrade to Ubuntu 12.10 17:56:59 olsner: It does not 17:57:05 It now doesn't boot 17:57:07 olsner, no 17:57:09 "distcc does not require all machines to share a filesystem, have synchronized clocks, or to have the same libraries or header files installed. They can even have different processors or operating systems, if cross-compilers are installed." 17:57:18 oerjan, I'm using a cross compiler on one machine atm for example 17:57:36 I DON'T CARE NANANANANA I CAN'T HEAR YOU 17:57:42 what 17:57:54 I just offload work from my Raspberry Pi using distcc 17:58:04 so I set up distcc on my desktop to use a cross compiler 17:58:04 Vorpal: olsnēr != oerjān 17:58:06 oh 17:58:12 I meant olsner ^ 17:58:55 Deewiant, the issue is o and "most recent to speak matches first" 17:59:16 tip: read your message before pressing enter 17:59:24 No, the issue is that people blindly tab-complete without reading the result 17:59:58 hey, it works most of the time 18:07:01 There is program "dragonegg" to use LLVM with the GCC parsers, to compile Ada and Fortran and so on. But what if you want to use LLVM parsers and optimizers and have it compile using GCC, such as to support many targets which LLVM does not support (such as MMIX, ARMv2, etc)? 18:07:15 Then you're out of luck. 18:11:11 you might be able to get something working by having llvm output C code 18:12:57 They refused to add supports for those targets to LLVM, that is why I need GCC. 18:14:08 How rude of them. 18:24:00 -!- carado has joined. 18:24:04 -!- carado has quit (Read error: Connection reset by peer). 18:31:02 Taneb: my underload to fueue conversion worked on all the programs i tested :) (after upping the C interpreter's buffer size to 10000.) 18:33:00 morse-thue (slightly changed to avoid lone S) and kolakoski in particular. 18:33:17 oh and the decimal fibonacci. 18:35:23 -!- FreeFull has joined. 18:36:58 I saw :) 18:48:47 I wonder how my interpreter will handle it... 18:52:20 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 18:54:19 -!- AnotherTest has joined. 18:54:24 Hello 18:55:31 -!- Vorpal has joined. 18:57:06 -!- copumpkin has changed nick to sublime5448_. 18:57:56 -!- sublime5448_ has changed nick to copumpkin. 19:02:39 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 19:02:57 -!- ogrom has joined. 19:03:32 -!- Vorpal has joined. 19:07:08 -!- Taneb has quit (Ping timeout: 245 seconds). 19:07:39 -!- sirdancealot has quit (Ping timeout: 252 seconds). 19:07:53 -!- copumpkin has changed nick to randomguy123. 19:08:00 -!- Vorpal has quit (Client Quit). 19:08:06 -!- randomguy123 has changed nick to copumpkin. 19:08:38 -!- epicmonkey has joined. 19:11:32 -!- Vorpal has joined. 19:30:29 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 19:42:26 -!- Phantom_Hoover has joined. 19:55:14 -!- monqy has joined. 20:10:32 -!- AnotherTest has quit (Quit: Leaving.). 20:32:12 That's somewhat weird; snes9x has lost gamepad support. It works in the configuration dialogs, but not in the actual thing. 20:38:22 -!- ogrom has quit (Quit: Left). 20:39:28 -!- oerjan has quit (Quit: leaving). 20:42:29 -!- epicmonkey has quit (Ping timeout: 248 seconds). 21:03:05 https://sites.google.com/site/sophieinnorthkorea/ 21:06:06 -!- Phantom__Hoover has joined. 21:06:23 -!- Phantom_Hoover has quit (Quit: Leaving). 21:07:27 fun stuff, but the page is structured kinda weirdly 21:07:42 yeah 21:08:57 * Sgeo_ wonders if Self is better than Smalltalk 21:09:48 figure out if emacs is better than vi while you're at it 21:14:06 kmc, this mostly seems to be complaining about the cold? 21:14:26 I wouldn't say that 21:14:34 there's a lot of good stuff in that 21:14:38 if you can get over the structure 21:14:53 the structure is ok in this case because it's a number of mostly unrelated anecdotes 21:15:03 fizzie: What version? 21:16:49 There are a lot of Ruby/Smalltalk flamewars on the Wiki 21:18:57 kmc, oh christ that bit about the library 21:21:33 "in which they described a system called Us where objects were subjective rather than objective. " 21:22:03 "they"? 21:22:10 Randall B Smith and David Ungar 21:22:17 http://blog.selflanguage.org/2011/09/08/self-us-and-perspectives-on-objects-2/ 21:24:45 hm, that's kinda neat, think i'd rather use a non-objecty system though 21:28:08 FreeFull: "Snes9x version: 1.53, GTK+ port version: 82" 21:28:23 FreeFull: Though it used to work, and I don't *think* I had updated it. 21:30:13 In quasi-related news, out of curiosity I plugged in a "DualShock 3" controller (with an USB-OTG cable) to this completely stock device, and it highlighted a thing on the screen and let me use the arrow keys and buttons to navigate around. Weird. 21:31:26 Bike, I think you would not be a fan of the current Self implementation 21:31:29 It looks ugly 21:31:35 Although, I guess, not Squeak ugly 21:33:02 despite my silliness, visual appearance honestly isn't a high priority of mine. 21:49:43 there was youtube "documentary"-like about NK 21:53:15 http://www.youtube.com/watch?v=24R8JObNNQ4 <- 3 parts 21:53:21 Aw, (unlike comments to the contrary) it doesn't quite do the automagical Bluetoothing of the controller too. :/ 21:53:26 http://www.youtube.com/watch?v=awQDLoOnkdI + 7 parts 22:01:21 -!- Taneb has joined. 22:05:03 I seriously suck at upgrading things on computers 22:05:17 lol Taneb 22:05:32 Yeah, my computer won't boot now 22:05:48 ahaha :D what did you do ? 22:05:48 My laptop won't either, for completely separate reasons 22:06:00 Tried to upgrade to Ubuntu 12.10 from 12.04 22:06:24 Taneb: Extrapolating from your recent status reports, I'd say soon your house will fall down or something like that. 22:06:52 fizzie, that's not completely out of the question. 22:07:16 Don't tempt fate 22:08:42 In other news, I got a letter from the computer science department of Loughborough University that says they're going to give me an offer 22:08:58 (a university offer thing) 22:09:59 So, it's not all doom and gloom 22:10:07 for grad? 22:12:03 Undergrad 22:12:06 I'm just 18 22:12:29 Wait 22:12:33 Which one's "grad" 22:12:43 The one after undergrad. 22:12:44 I know which ones "undergrad" and "postgrad" are 22:12:50 Okay 22:12:55 Yeah, just undergrad 22:13:32 If they said they wanted me to do grad there I'd probably avoid it because they've got me mixed up with someone who's actually competent 22:13:45 harsh bro 22:15:17 Who's the person who's rendered two computers unusable in the past week, one of them twice? 22:15:27 By accident?? 22:15:43 grad work in CS has very little to do with actual computers as i understand 22:15:45 let alone Ubuntu 22:16:08 it's like how the better you get at math, the less likely you are to remember your multiplication tables 22:16:31 The other week, I touched a computer and it crashed 22:16:49 I had never seen the computer before 22:16:56 I think I'm cursed or something 22:17:00 depends on what you mean by cs, what you mean by actual computers 22:17:03 Maybe it was just shy. 22:17:29 theres stuff like architecture that's kind of like actual computers?? 22:18:01 monqy: like computers that are actually going to be used by muggles like myself by the time you finish your thesis? 22:18:24 Anyway, everything I touch crumbles to dust 22:18:40 i mean you could Actually Build a computer out of pipes and crabs but I wouldn't call it an "actual computer" in this why am I thinking about this so much fuck fuck fuck 22:19:06 Taneb: same went for ozymandias and he still got to build hugeass statues of himself. 22:20:07 Hmm 22:20:12 That sounds like a life plan 22:20:23 I think the terms involving "grad" are a bit weird. 22:20:51 they're very weird. 22:21:13 you've got your phd students and you've got your whatever else 22:21:17 -!- tromp has joined. 22:21:18 We didn't use to have a "bachelor's degree" equivalent here, it was all just five-year master's stuff, so "post-grad" tended to mean someone doing a doctoral degree. 22:21:39 -!- EgoBot has quit (Remote host closed the connection). 22:21:50 -!- EgoBot has joined. 22:21:53 -!- fungot has quit (Ping timeout: 252 seconds). 22:22:25 fizzie: Did most people get postsecondary education? 22:22:32 -!- myndzi has quit (Ping timeout: 245 seconds). 22:23:00 tertiary education? 22:23:01 Bike: Well, I mean... there were other tertiary education choices, but the university degrees didn't have the halfway options. 22:23:07 -!- shachaf has quit (Ping timeout: 276 seconds). 22:23:22 What were the other choices? And were they common? 22:23:23 -!- shachaf has joined. 22:23:52 -!- myndzi has joined. 22:24:38 `list 22:24:43 Taneb atriq Ngevd Fiora nortti Sgeo alot 22:25:36 Sgeo_: on a related subject, I've actually got one of my IRL friends to read Homestuck 22:26:00 Taneb, awesome 22:26:16 I've been trying to get most of my RL friends to read Homestuck. My gf read up to the start of Act 5 22:27:36 Did the trolls put her off? 22:28:58 -!- fizzie has quit (Ping timeout: 276 seconds). 22:30:23 -!- fizzie has joined. 22:30:41 In other other other news, I'm going to be in an adaptation of Hamlet 22:31:17 Playing Polonius and the Ghost 22:32:36 grad work in CS has very little to do with actual computers as i understand 22:32:39 it really depends 22:32:47 lots of things get lumped under "CS" 22:32:57 well yeah 22:33:31 but i think there's more wacky experimental stuff than there is people working on version control or something? 22:33:59 Plenty of wacky experimental things have to do with actual computers. 22:34:11 and there's plenty of esoteric theory in version control, haven't you heard of darcs ;) 22:34:13 (Also there are plenty of wacky experimental version control things.) 22:34:14 Like those people trying to make a computer out of water 22:34:35 we've done that a few times, or do you mean a good one 22:34:39 i keep hearing about MVCC 22:34:52 http://en.wikipedia.org/wiki/MONIAC_Computer 22:34:57 MONIAC is actually pretty cool lookin' 22:35:01 and also what i was thinking of yes 22:37:02 Dropbox doesn't version binaries :( 22:38:11 http://en.wikipedia.org/wiki/Fluidics was what I was thinking of 22:38:58 billiard ball computers continue to be the best analogy 22:40:02 -!- Dude2 has joined. 22:46:48 -!- Dude2 has quit. 22:52:09 I have now recorded the most recent Dungeons&Dragons. 22:54:11 perfectly frictionless reversible energy-neutral billiard ball computers 22:54:46 i actually prefer the ones based on crab swarming, but we don't always get what we want. 22:56:37 crab swarming? 22:57:34 Oooh, I saw that 22:57:47 What is WRONG with this gamepad. :/ 22:58:01 Soldier crabs can be used as a computer 22:58:18 And bathroom tiles are turing-complete, which I find hilarious for some reason 22:58:29 ....what 22:58:59 ...I probably ought to figure out how to fix my computer 22:59:51 -!- Dude2 has joined. 22:59:52 Sgeo_: I've rendered two computers useless in the past week, one of them twice 23:00:00 I really suck at everything 23:00:46 How are bathroom tiles turing-complete? 23:01:04 Wang Tiles 23:01:09 what does it mean for bathroom tiles to be turing-complete 23:01:10 It's to do with repeating patterns 23:01:12 Hmmkay, the gamepad problem was apparently because gamepad 2 had the same buttons configured, and that took precedence or something. 23:01:31 monqy: you can't predict whether some kinds of patterns repeat 23:02:09 "But in 1966, Robert Berger proved that no such algorithm existed, by showing how to translate any Turing machine into a set of Wang tiles that tiles the plane if and only if the Turing machine does not halt." 23:03:55 Told you so 23:04:28 you have a set of possible tiles, and each tile has rules for which other tiles can appear adjacent on each of the sides 23:05:02 that's doesn't mean bathroom tiles are "turing complete" (what would that even mean???) 23:05:05 for any turing machine and input to that turing machine, you can construct such a set of tiles such that there's an infinite tiling of the plane iff the turing machine doesn't halt 23:05:30 it's a pretty easy reduction 23:05:36 something about colorless green ideas & sleeping furiously 23:06:12 monqy: bathroom tiles are Turing complete for some interpretations of bathroom tiles and Turing-completeness 23:06:22 .....sure 23:06:34 hi monqy 23:06:37 hi shachaf 23:06:54 you have a tile type for each 3-tuple whose elements are drawn from (tape characters `union` head states) 23:07:57 `welcome Dude2 23:07:58 Dude2: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 23:08:41 hello 23:08:52 the horizontal rules enforce that each row looks like ABC BCD CDE DEF etc., so you can read it across as a single turing machine state ABCDEF (where each of these letters could be a tape character or a head state, indicating the head is over the next tape character) 23:09:14 and the vertical rules just implement the behavior of a turing machine 23:09:16 AND NOW YOU KNOW 23:10:34 http://en.wikipedia.org/wiki/Post_correspondence_problem is another fun, slightly similar undecidable decision problem 23:10:49 the horizontal rules are remarkably simple 23:10:55 not sure if i love the vertical rules as much 23:11:06 is this crypto-beaky again 23:11:26 maybe 23:11:57 well 23:12:03 i can go into more detail about the vertical rules if you like 23:12:42 It was just crypto-beaky. :-( 23:13:35 yeah 23:13:53 j'accuse 23:15:40 Bike, are you the Bike or Bikes on cmubash.org 23:16:20 ...I don't know if there is a Bike in that community 23:16:27 Just a lot of talk about bikes. 23:16:57 i've got a bike, you can ride it if you like, it's got a basket, a bell that rings, and things to make it look good! 23:17:37 -!- Dude2 has left. 23:17:51 I guess Dude2 didn't feel welcome enough. 23:17:59 And Peter Cushing lives in Whitstable 23:18:14 i got a CTCP TIME from him (?) though 23:18:19 me too 23:19:29 i didnt:'( 23:20:05 o.O I'm on cmubash 23:20:11 I don't know how this makes me feel 23:20:16 did you say a funny thing 23:21:01 No but someone else said something that's kind of sort of not really funny in response to what I said 23:21:41 sort of not really funny 23:21:49 does that mean it's also sort of really funny 23:24:13 -!- Taneb has quit (Ping timeout: 245 seconds). 23:26:19 http://cmubash.org/?3862 23:26:56 that tiles thing was on a problem set in theory of computation class 23:26:58 good times 23:27:16 we also had to show that 3-coloring graphs is NP-complete but they gave us a SAT gadget for that so it wasn't too hard 23:27:22 I didn't either. :/ 23:27:56 -!- Chat2226 has joined. 23:27:56 -!- Chat2226 has quit (Client Quit). 23:29:42 -!- augur has quit (Remote host closed the connection). 23:30:08 Maybe if I start getting into Smalltalk I should just accept that it's likely to be rather imperative 23:30:10 -!- augur has joined. 23:34:28 -!- augur has quit (Ping timeout: 240 seconds). 23:41:53 -!- atrapado has joined. 23:56:01 -!- Arc_Koen has quit (Quit: Arc_Koen).