00:02:56 augur: forall x, x in y implies YOU ARE DOOMED. 00:03:02 nevermind :P 00:03:14 i found someone i can talk logic to :D 00:05:45 -!- adam_d has quit (Read error: 148 (No route to host)). 00:57:28 pikhq: You're not in #plof D-8< 00:58:55 -!- Sgeo has quit (Read error: 104 (Connection reset by peer)). 01:10:04 /join #plof 01:10:58 -!- madbr has joined. 01:11:01 hmm 01:11:23 Can anyone remind me the name of the small game VM some people used? 01:29:15 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)). 01:29:48 -!- puzzlet has joined. 01:51:43 -!- Sgeo has joined. 02:27:57 -!- augur has quit (Connection timed out). 02:39:31 -!- AnMaster has quit (farmer.freenode.net irc.freenode.net). 02:39:31 -!- Warrigal has quit (farmer.freenode.net irc.freenode.net). 02:49:31 -!- Asztal has quit (Read error: 110 (Connection timed out)). 03:12:36 -!- AnMaster has joined. 03:12:36 -!- Warrigal has joined. 03:36:14 -!- MizardX has quit (farmer.freenode.net irc.freenode.net). 03:36:14 -!- madbr has quit (farmer.freenode.net irc.freenode.net). 03:36:14 -!- Sgeo has quit (farmer.freenode.net irc.freenode.net). 03:36:15 -!- Rembane has quit (farmer.freenode.net irc.freenode.net). 03:36:15 -!- fungot has quit (farmer.freenode.net irc.freenode.net). 03:36:15 -!- fizzie has quit (farmer.freenode.net irc.freenode.net). 03:36:16 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net). 03:36:16 -!- rodgort has quit (farmer.freenode.net irc.freenode.net). 03:36:17 -!- AnMaster has quit (farmer.freenode.net irc.freenode.net). 03:36:17 -!- Warrigal has quit (farmer.freenode.net irc.freenode.net). 03:36:18 -!- Slereah_ has quit (farmer.freenode.net irc.freenode.net). 03:36:19 -!- sebbu has quit (farmer.freenode.net irc.freenode.net). 03:36:19 -!- Gregor has quit (farmer.freenode.net irc.freenode.net). 03:36:19 -!- ineiros has quit (farmer.freenode.net irc.freenode.net). 03:36:19 -!- bsmntbombdood has quit (farmer.freenode.net irc.freenode.net). 03:36:19 -!- pikhq has quit (farmer.freenode.net irc.freenode.net). 03:36:20 -!- mtve has quit (farmer.freenode.net irc.freenode.net). 03:36:33 -!- quantumEd has quit (Dead socket). 03:37:06 -!- Warrigal has joined. 03:37:06 -!- AnMaster has joined. 03:37:06 -!- Sgeo has joined. 03:37:06 -!- madbr has joined. 03:37:06 -!- pikhq has joined. 03:37:06 -!- Slereah_ has joined. 03:37:06 -!- Rembane has joined. 03:37:06 -!- MizardX has joined. 03:37:06 -!- Gregor has joined. 03:37:06 -!- sebbu has joined. 03:37:06 -!- ineiros has joined. 03:37:06 -!- bsmntbombdood has joined. 03:37:06 -!- fizzie has joined. 03:37:06 -!- fungot has joined. 03:37:06 -!- Deewiant has joined. 03:37:06 -!- rodgort has joined. 03:37:06 -!- mtve has joined. 04:59:23 -!- pikhq has quit ("Java user signed off"). 05:09:20 -!- augur has joined. 05:12:01 -!- sebbu2 has joined. 05:29:33 -!- sebbu has quit (Read error: 110 (Connection timed out)). 05:29:33 -!- sebbu2 has changed nick to sebbu. 06:06:12 -!- coppro has quit (Remote closed the connection). 07:01:12 -!- Sgeo has quit (Read error: 145 (Connection timed out)). 07:59:22 -!- puzzlet has quit (Read error: 60 (Operation timed out)). 07:59:41 -!- revcompgeek has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:01:20 -!- puzzlet has joined. 08:26:05 -!- Asztal has joined. 08:41:53 -!- Pthing has joined. 09:22:21 -!- adam_d has joined. 10:04:11 -!- madbr has quit ("Radiateur"). 10:18:19 -!- adam_d has quit ("Leaving"). 11:02:57 -!- FireFly has joined. 11:05:49 " * Support for all major 3rd party applications & Programming support for Visual C#, Visual C/C++, Visual Basic, VB.NET, Delphi, Java & ActiveX": that 11:05:51 's quite a set. 11:20:19 -!- augur has quit (Read error: 110 (Connection timed out)). 12:50:05 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)). 12:51:09 -!- puzzlet has joined. 12:57:34 -!- oerjan has joined. 12:58:46 For "explicit" recursion, when you need it, there's also the "recurse" word, that recursively calls the word you're defining. 12:59:00 ah. but is that usable for mutual recursion? 13:01:02 Not really, no. But like he said, there is some sort of a forward-definition trickery. 13:01:16 mhm 13:04:07 AnMaster: oh dear it's that day again 13:05:03 and i discover that i have this awkward tendency to sometimes look at the last panel first... 13:06:05 that's cheating 13:06:29 basically you haven't actually read any of the comics, because that doesn't count 13:07:01 indeed. however fortunately this time there was a second pun i didn't notice during the automatic peek 13:07:32 ah. i guess i'll give you half the points then. 13:08:17 maybe it really is an inborn tendency to cheat. that would also explain my recent tendency to read plot summaries of books i haven't read on wikipedia 13:08:36 -!- FireFly has quit (Client Quit). 13:08:58 :P 13:09:37 -!- FireFly has joined. 13:12:10 i vaguely recall in fahrenheit 451 (which i actually have read) people only read plot summaries, although the real books were of course illegal. 13:12:59 or, well, very condensed versions 13:15:35 -!- BeholdMyGlory has joined. 13:17:26 incidentally i read somewhere recently that the name fahrenheit 451 is a cheat... the actual temperature for paper to catch fire is 451 _celsius_ 13:17:36 I've been doing the Wikipedia plot summary reading too. 13:18:32 hm, "somewhere" may actually have been the wikipedia article, it's in there 13:19:58 W|A disagrees. 13:20:03 `wolfram autoignition temperature of paper 13:20:11 autoignition temperature of paper \ \ Input interpretation: \ \ autoignition temperature of paper \ Result: \ \ 218 to 246 °C degrees Celsius \ the temperature 451° Fahrenheit, made famous by Ray Bradbury's classic 1953 science fiction novel Fahrenheit 451, falls near the middle of this range \ \ Unit conversions: \ 13:20:38 And, as we well know, W|A is the Truth. 13:20:54 huh 13:21:14 well, i wouldn't necessarily bet on wikipedia in a direct contest there 13:22:34 Well, the Wikipedia article says: "sources contemporary with the novel's writing gave the temperature as 450 °C (842 °F)". It might be that those sources were wrong; but if so, it is a nice coincidence if the real temperature in fact was 451 deg. Fahrenheit. 13:22:43 Bradbury must've been a seer. 13:23:01 actually http://en.wikipedia.org/wiki/Autoignition_temperature agrees with W|A 13:24:33 The [2] reference from the book article -- Handbook of physical testing of paper, Volume 2 -- is for the second edition, published in 2001, and gives the 450 degrees Celsius number. 13:24:43 wait, the Fahrenheit 451 article has a better cite 13:24:47 yes 13:25:48 On the other hand, W|A is never wrong. In fact, you can influence reality if you can convince the Wolfram people to slip a factoid in there. 13:26:48 oh _both_ wp articles have cites... 13:27:31 http://www.tcforensic.com.au/docs/article10.html 13:29:03 The Handbook also has a citation [19] for that 450 degree Celsius number, but I can't navigate that books.google.com preview thing to find the list of references. 13:30:33 Right, only the first reference is visible; "pages 473-476 are not part of this book preview". 13:30:56 hm the cotton value also disagrees between the two 13:31:53 i'm starting to think that one of the sources must have bungled a unit conversion 13:32:19 That's confusing. I have been indoctrinated to believe W|A, but on the other hand it's hard to unbelieve a book with such a ridiculously impressive name as "Handbook of physical testing of paper, Volume 2". 13:32:57 Especially when they've managed to write 560 pages of the physical properties of paper, and that's just volume 2. 13:36:44 Maybe I should go and check out http://www.amazon.com/Structure-Properties-International-Science-Technology/dp/0824775600 from the Forest Products Technology Library of the university, but that's a small walk away, and really, the Internet should provide reasonable answers to such fundamental questions. 13:37:42 It might not even have anything about it. 13:38:54 -!- FireFly has quit (Read error: 145 (Connection timed out)). 13:38:57 just test, take two ovens that can generate 225C and put one inside the other to get 450C 13:39:42 I think I like the technical term FURNACE more. 13:39:43 -!- FireFly has joined. 13:40:26 We had a physics lab experiment that was related to temperature somehow, and the experiment instructions talked about the FURNACE all the time. It never got old to pronounce the word in a "FURNACE of DEATH" style. 13:41:04 (At least when "never" is limited to the two-or-so hours of labtime.) 14:03:28 -!- ais523 has joined. 14:15:23 -!- ais523_ has joined. 14:17:15 -!- ais523 has quit (Ping timeout: 180 seconds). 14:17:28 -!- ais523_ has changed nick to ais523. 14:23:19 -!- quantumEd has joined. 14:38:48 oerjan, hi there. And iwc! 14:38:55 * AnMaster just got home 14:41:07 ic(w) 14:45:58 -!- nooga has joined. 14:58:19 -!- nooga_ has quit (Read error: 110 (Connection timed out)). 15:37:47 -!- oerjan has quit ("leaving"). 15:56:05 -!- ais523 has quit ("Page closed"). 16:21:06 damn oerjan with his leavings 16:31:29 weird 16:31:50 i had llvm-gcc installed and now my system can't find llvm-gcc command 16:33:29 -!- kar8nga has joined. 16:39:55 -!- revcompgeek_ has joined. 16:52:28 quantumEd: hello, sir. 16:52:44 yo 16:55:56 -!- revcompgeek has quit (Read error: 110 (Connection timed out)). 16:55:57 -!- revcompgeek_ has changed nick to revcompgeek. 17:18:57 -!- MigoMipo has joined. 17:19:04 -!- ais523 has joined. 17:35:29 i had llvm-gcc installed and now my system can't find llvm-gcc command 17:35:34 maybe it isn't in path? 17:35:52 -!- revcompgeek has quit. 17:36:00 where did you install it? 17:40:55 wow, timezone update for Antarctica 17:41:00 I wonder if anyone actually uses Ubuntu there? 17:41:28 -!- revcompgeek has joined. 18:13:26 -!- kar8nga has quit (Remote closed the connection). 18:20:37 nah 18:20:49 theres no llvm-gcc at all 18:20:50 presumably it's just in case, hten 18:20:51 *then 18:20:56 oh, answering to someone else 18:29:12 -!- Slereah has joined. 18:31:12 nooga, how strange 18:31:32 and ais523: why not? 18:33:16 -!- |MigoMipo| has joined. 18:37:29 -!- MigoMipo has quit (Read error: 145 (Connection timed out)). 18:38:57 -!- Slereah_ has quit (Read error: 110 (Connection timed out)). 18:41:51 -!- FireFly has quit (Read error: 110 (Connection timed out)). 18:44:05 -!- FireFly has joined. 18:49:44 ais523, do you happen to remember if ehirds likes or dislikes clang? 18:50:06 * AnMaster just used --analyze to it to do static source code analysis... 18:50:13 and it output a f*cking .plist file 18:50:19 this isn't OS X for gods sake 19:03:03 heheheh 19:03:15 not that OS X is bad 19:03:27 hint: plists are text ;p 19:04:44 nooga, they are XML 19:04:50 are you saying you like XML? 19:04:50 AnMaster: I thought he liked it, but I'm not sure 19:04:53 why does it matter, anyway 19:05:07 ais523, just because I'm pretty sure ehird is no XML-lover 19:07:05 i hate XML 19:07:22 but you can at least read them without reverse enginieering 19:07:36 I WURVE XML 19:07:45 btw 19:08:35 huh is this valid c: 19:08:37 i just measured that for small C programs llvm generates average 32.73% smaller code than gcc 19:08:41 #if defined(__GNU_LIBRARY__) ? defined(__USE_GNU) : !defined(__STRICT_ANSI__) 19:08:42 ais523, ^ 19:08:50 ais523, it is from an internal system include in clang 19:09:17 * AnMaster wonders if using ?: is cpp is really allowed 19:10:41 probably both gcc and clang handle it 19:11:18 ais523, sure, but it isn't standard right? 19:11:24 not sure 19:11:25 Try it with, say, Watcom or pcc 19:11:33 Gregor, don't have either handy 19:11:46 and icc tries to be compatible with gcc 19:11:47 vuvivivi 19:11:55 gcc, icc and clang are the ones I have handy 19:11:58 shit 19:12:08 nooga, ? 19:12:08 i should be downloading icc right now 19:12:13 Those all try too hard to be compatible with gcc. 19:12:19 nooga, oh? 19:12:24 Gregor, exactly 19:12:25 i forgot that i need it dor tomorrow 19:12:34 for* 19:12:48 Gregor, oh and open64, but that uses GCC for frontend 19:12:55 so that would be completely pointless 19:13:42 Why is pcc not in Debian >_< 19:13:49 Gregor, *shrug* 19:22:37 -!- pikhq has joined. 19:24:14 /home/arvid/local/llvm/2.6/libexec/gcc/x86_64-linux-gnu/4.2.1/cc1: Symbol `__gxx_personality_v0' causes overflow in R_X86_64_PC32 relocation 19:24:16 that one 19:24:19 I have never seen before 19:29:26 That's certainly a unique linker error. 19:29:32 pikhq, not error 19:29:36 it produces a binary 19:29:38 wich works 19:29:42 which* 19:29:59 anyway there is an open llvm bug about it 19:30:03 ... 19:31:39 pikhq, http://llvm.org/bugs/show_bug.cgi?id=2853 19:31:54 Heh, I can't get squat to build with pcc :P 19:32:32 Gregor, ah I ran into that when I tried some time ago too 19:32:37 iirc ehird got it working on OS X 19:32:42 ask him next time 19:32:51 Well, should be feasible to do a port. :P 19:32:55 It's all the GCC-specific stuff in glibc stdio.h that's killing me now. 19:32:59 Anyway, I don't actually care. 19:33:17 pikhq, port to? 19:33:19 linux? 19:33:57 Gregor: didn't you have a nose at some point btw? 19:34:07 by this i mean didn't you use ":-P" 19:34:30 AnMaster: Yes. 19:34:35 Gregor: Ah. 19:34:35 Idonno, maybe. 19:34:45 I'd imagine that what ehird did was use Newlib. 19:35:02 Gregor: try to remember, as you can imagine, this is very important to me. 19:35:27 I am of course your messiah. 19:35:48 oklokok, grep logs 19:36:12 i don't have them on my compüter atm 19:38:02 -!- |MigoMipo| has changed nick to MigoMipo. 19:43:12 -!- nooga has quit ("Lost terminal"). 19:43:27 -!- sebbu2 has joined. 19:45:25 -!- MigoMipo has changed nick to migomipo. 19:49:12 -!- sebbu has quit (Read error: 60 (Operation timed out)). 20:16:31 -!- adam_d has joined. 20:35:33 -!- BeholdMyGlory has quit (Remote closed the connection). 20:36:56 -!- BeholdMyGlory has joined. 20:38:48 -!- BeholdMyGlory has quit (Read error: 104 (Connection reset by peer)). 20:40:56 -!- BeholdMyGlory has joined. 20:59:18 checking whether llvm-gcc is sane... /home/arvid/local/llvm/2.6/libexec/gcc/x86_64-linux-gnu/4.2.1/cc1: Symbol `__gxx_personality_v0' causes overflow in R_X86_64_PC32 relocation 20:59:18 yes 20:59:22 not sure I agree XD 21:16:08 heh, switching to use the system libstdc++ instead worked 21:16:18 the system one being a newer version 21:17:44 -!- migomipo has quit ("co'o rodo"). 21:28:03 -!- pikhq has quit ("Java user signed off"). 21:57:53 -!- Azstal has joined. 22:12:19 -!- Asztal has quit (Read error: 110 (Connection timed out)). 22:15:30 -!- augur has joined. 22:32:48 -!- augur has quit (Read error: 110 (Connection timed out)). 22:36:11 -!- puzzlet has quit (Read error: 60 (Operation timed out)). 22:36:15 -!- puzzlet has joined. 23:03:17 -!- revcompgeek has quit. 23:19:33 -!- coppro has joined. 23:19:46 -!- FireFly has quit ("Leaving"). 23:20:03 -!- BeholdMyGlory has quit (Remote closed the connection). 23:24:16 -!- ais523 has quit (Remote closed the connection). 23:51:57 -!- adam_d has quit ("Leaving"). 23:56:31 -!- augur has joined. 23:59:11 -!- oerjan has joined.