00:01:12 huh ok 00:01:22 ok now ill go prehistoric 00:02:12 bah 00:02:13 didnt work 00:02:46 "1901-12-13" 00:02:56 -!- seveninchbread has quit (Remote closed the connection). 00:04:34 nah 00:04:35 1970 00:09:00 -!- CakeProphet has quit (Read error: 110 (Connection timed out)). 00:15:34 so who's alive 00:15:38 -!- atrapado has quit (Remote closed the connection). 00:17:50 well. i guess i'm here again 00:17:55 but just about to leave 00:18:01 i'm *really* gonna sleep now. 00:18:01 -> 00:18:21 why does ehird keep asking who is alive 00:18:26 cuz 00:18:34 does he have some nefarious purpose, picking us off one by one 00:35:00 yes 00:38:21 i guess it's obvious when you think about it 00:38:29 yes 00:47:13 -!- moozilla has joined. 00:48:59 -!- moozilla has quit (Read error: 54 (Connection reset by peer)). 00:48:59 -!- metazilla has joined. 00:52:16 -!- metazilla has quit (Read error: 131 (Connection reset by peer)). 01:13:20 -!- jix has quit ("..."). 02:03:01 -!- moozilla has joined. 02:05:42 -!- moozilla has quit (Read error: 104 (Connection reset by peer)). 02:36:37 -!- moozilla has joined. 02:36:39 -!- moozilla has quit (Nick collision from services.). 02:36:41 -!- metazilla has joined. 02:36:55 -!- moozilla has joined. 02:38:35 -!- metazilla has quit (Read error: 104 (Connection reset by peer)). 02:38:36 -!- moozilla has quit (Read error: 104 (Connection reset by peer)). 02:38:40 -!- metazilla has joined. 02:53:46 -!- metazilla has changed nick to moozilla. 03:22:22 -!- moozilla has quit (Read error: 131 (Connection reset by peer)). 03:23:02 -!- metazilla has joined. 03:36:39 -!- metazilla has quit (Read error: 54 (Connection reset by peer)). 04:13:53 -!- moozilla has joined. 04:21:56 -!- moozilla has quit (Read error: 54 (Connection reset by peer)). 04:48:27 -!- oerjan has quit ("Good night"). 05:01:19 -!- oklopol has quit (Success). 06:46:31 -!- Sgeo has quit (Read error: 110 (Connection timed out)). 06:57:05 -!- oklopol has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:10:15 -!- GreaseMonkey has quit ("You only need one wheel. Bikers are just greedy."). 09:25:08 -!- kar8nga has joined. 09:31:35 * psygnisfive plucks anmaster's guitar strings <-- I don't have a guitar. Nor do I play violin (I do play piano) 09:31:48 AnMaster: will you use my server? i would feel bad if nobody did ;'( <-- probably not, but what about yourself 09:38:17 -!- psygnisfive has quit (Read error: 104 (Connection reset by peer)). 09:40:51 -!- oerjan has joined. 09:41:16 -!- psygnisfive has joined. 09:41:51 who said my name 09:42:00 when 09:42:08 recently like 09:42:10 ten minutes ago 09:42:26 AnMaster 09:42:37 oerjan, yes? 09:42:47 ^ 09:43:00 oerjan, infinite loop? 09:43:09 anmaster 09:43:25 psygnisfive, why didn't you read it before you quit then? 09:43:28 * psygnisfive plucks anmaster's guitar strings <-- I don't have a guitar. Nor do I play violin (I do play piano) 09:43:31 afk 09:43:34 my computer choked on me 09:43:40 infact 09:43:48 it choked because i came back just to read it :P 09:49:47 -!- Corun has joined. 10:16:03 -!- moozilla has joined. 10:16:25 -!- moozilla has quit (Client Quit). 10:23:58 -!- KingOfKarlsruhe has joined. 11:08:39 -!- kar8nga has quit (Read error: 131 (Connection reset by peer)). 11:10:54 -!- oerjan has quit ("leaving"). 11:38:52 -!- Corun has quit (Read error: 131 (Connection reset by peer)). 11:39:05 -!- Corun has joined. 11:48:11 -!- Azstal has joined. 11:56:26 -!- Corun has quit (Read error: 110 (Connection timed out)). 12:18:23 -!- puzzlet_ has quit (Read error: 60 (Operation timed out)). 12:18:31 -!- puzzlet has joined. 12:19:26 -!- Slereah has joined. 12:23:30 -!- Slereah2 has quit (Read error: 60 (Operation timed out)). 13:09:16 -!- Corun has joined. 13:14:23 -!- KingOfKarlsruhe has quit (Remote closed the connection). 13:27:46 -!- olsner_ has changed nick to olsner. 13:46:02 -!- kar8nga has joined. 13:59:22 -!- sebbu2 has quit (Client Quit). 14:04:04 -!- ehird has left (?). 14:04:37 -!- ehird has joined. 14:04:45 -!- ehird has left (?). 14:04:49 -!- ehird has joined. 14:04:51 -!- ehird has left (?). 14:04:55 -!- ehird has joined. 14:04:57 -!- ehird has left (?). 14:05:01 -!- ehird has joined. 14:05:03 -!- ehird has left (?). 14:05:07 -!- ehird has joined. 14:05:09 -!- ehird has left (?). 14:05:13 -!- ehird has joined. 14:14:52 09:43 * psygnisfive plucks anmaster's guitar strings <-- I don't have a guitar. Nor do I play violin (I do play piano) 14:14:56 he was making a sexual joke. 14:15:09 oh 14:15:22 it's psygnisfive; couldn't you have guessed? 14:15:29 -!- sebbu has joined. 14:15:40 He's fingering a minor 14:15:42 WINK WINK 14:18:02 oh lawd 14:18:06 that was terrible 14:23:52 -!- oklopol has quit (Read error: 54 (Connection reset by peer)). 14:23:53 -!- oklofok has joined. 14:31:05 oooooooooooo 14:31:12 umm. 14:31:17 hi oklofok 14:31:21 did i just disconnect a few minutes ago? 14:31:33 i mean. i just got home, and the computer was closed 14:31:37 14:23 oklopol has left IRC (Read error: 54 (Connection reset by peer)) 14:31:38 14:23 oklofok has joined (n=nnscript@a91-153-121-248.elisa-laajakaista.fi) 14:31:39 i think that happened yesterday too 14:31:41 liek, yeah man 14:31:45 umm. 14:31:45 it's 14:31 rite nao 14:31:46 so 14:32:02 when i touch the computer, it disconnects, and wants my password 14:32:15 but until then, it's nicely sitting on irc, connected 14:32:19 i mean that's pretty awesome 14:32:43 hmm... what OS is this? 14:33:01 oklofok uses windoze 14:33:16 I seem to recall Windows XP does some odd stuff with networking when you use fast user switching. 14:33:43 no this is the new one 14:33:48 -!- Slereah has quit. 14:33:59 Asztal: he uses vistah. 14:34:30 ehird: could you just say my lines too from n 14:34:45 Asztal: i'm just going to say what oklofok says, forever. 14:35:10 feeling kinda t 14:35:19 Asztal: he's feeling kind of T. 14:35:24 ok. 14:35:41 oklofok: Asztal's ok. 14:35:50 that thing where vista shows the windows like all 3d 14:35:58 flip 3d? 14:36:17 http://drunkmenworkhere.org/170 <- I had it down to 4 incorrect answers at one point. Now I've gone and messed it up :( 14:36:18 everyone was like oh my god it's cool 14:36:24 i mean, you know, all the idiots i know 14:36:35 which is just i myself 14:36:40 i thought it looked pretty cool 14:36:42 i've never used it 14:36:49 Asztal: he thinks flip 3d looks pretty cool 14:36:51 but he's never used it 14:36:52 it just doesn't fit the rest at all 14:36:56 but all the idiots he knew like it 14:37:01 and it doesn't fit with the rest of the os 14:37:09 in his opinion 14:37:17 i mean using it would be like driving a car, and once in a while using the flying mode to park it 14:37:27 because it's simpler that way 14:37:37 Asztal: he says using it would be like driving a car but it has a flying mode but you can only use it to park it 14:38:05 -!- Slereah_ has joined. 14:38:07 I pretty much just never use it because I can't break my Alt-Tab reflex. 14:38:21 don't you agree with flying cars? 14:38:26 oh yes 14:38:55 i mean not agreeing with flying cars would be like... well i can't really think of another analog. 14:39:17 would be like sucking. 14:39:18 a flying car analog for flying cars would be okay though, because, well, they can fly 14:39:28 oklofok: the word is analogy 14:40:31 umm 14:40:49 well i can't really correct it anymore 14:40:53 because you did 14:41:08 please use pm's next time, so i can look like i spotted the error myself. 14:41:24 :D 14:41:27 okay, IE froze up. 14:41:33 seems it can do that 14:41:34 oklofok: LET'S MAKE AN ESOLANG. :| 14:42:15 could it consist entirely of emoticons, but without emoticons actually having any meaning, the semantics just force you to have them everywhere for different reasons 14:42:35 like j, but instead of : and . suffixes, you have ; and : prefixes 14:42:36 maybe 14:42:51 well no, that would pretty much just be having emoticons 14:42:59 maybe it could not have any point at all 14:43:15 umm. 14:43:25 the problem with ie is, if it frozes, i can't actually do anything. 14:43:34 well i can close it, but afaik it doesn't save state 14:44:28 ohhhhhh 14:44:34 this wasn't ie's problem, vista's 14:44:46 i have the maximum ~30 windows open 14:48:12 oh, there's a freebie 14:49:54 also a pretty funny one 15:05:26 hehe 15:06:01 @ 11, ask how many B's, i've deduced enough to know exactly that the amount of B's is between the given range of options :D 15:06:10 which helps a zero amount \o/ 15:07:37 wait. i probably misunderstood the questions that ask what the answer of another questino is 15:07:39 *question 15:07:49 does that mean the question letter, or the actual answer? 15:07:49 hmm 15:07:54 "all of the above" 15:07:58 so i guess kinda obvious 15:11:05 blargh 15:11:24 but then 6 and 17 will just be the same, that doesn't seem very sensible either... 15:11:25 -!- jix has joined. 15:11:39 oh you can clean the thing ofc 15:12:26 hmm. 15:12:32 so okay 15:12:47 if i choose A from both 6 and 17 15:12:49 it's wrong 15:13:03 therefore the question must mean "what is the answer's label" 15:13:12 now, unless the thing is absolutely retarded 15:13:24 then 10 and 16 must work the same way 15:13:33 then 15:13:43 10A 16D is the only solution 15:13:52 so clearly 9 is A 15:14:01 in which case 13 is A too, contradicting itself 15:14:16 either the test or my logic is flawed 15:14:35 probably the first one, but i won't continue unless someone feels like explaining why 15:15:06 which i don't assume anyone does, just saying 15:15:34 Asztal: highlight for you since you said you were playing 15:16:10 presumably by pressing random buttons with some heuristic because you "had it down to 4 incorrect answers" 15:16:14 but still 15:17:04 no wait 15:17:11 10A 16A is okay it seems 15:17:27 and right my logic was indeed flawed 15:17:34 What is the wrong answer to this question? 15:17:35 A: B 15:17:37 B: A 15:17:46 (For extra lulz, A: A and B: B.) 15:17:54 9 can't be deduced to be A from 10A, of course 15:17:57 (Or A: B, B : C and C : A.) 15:18:07 -!- psygnisfive has quit (Read error: 104 (Connection reset by peer)). 15:18:19 -!- psygnisfive has joined. 15:25:55 I'm down to 3 now 15:26:14 but I suspect I can't solve it by merely changing these 3 15:28:54 actually, I think there's a bug in the checking, because I have 9B and 11C. 15:29:08 (and 9 isn't red) 15:29:41 well i at least need to wait a mo before they change, you might not have noticed if the lag is in my end 15:30:40 it can be slow :( 15:31:33 i currently have 4 correct, 1 with 2 choices, 3 with 3 choices, 9 with 4 choices, 3 with 5 choices 15:32:15 i'm assuming this is solvable without any major long-term problems, because, well, it looks like a puzzle 15:32:31 not long-term, more like something else. 15:35:22 one red one... but all the options contradict something else :( 15:35:51 don't show the solution yet when you're finished 15:36:02 I probably won't :D 15:41:22 GregorR: I just saw someone link to extra-www in an interwebs argument. 15:41:24 You are famous. 15:41:38 15 is a fun one 15:41:47 i bet it's there just out of necessity 15:42:35 i wanna bruteforce it 15:43:23 5^20 15:43:23 9.53674e13 15:43:41 * ehird bruteforces 15 to bruteforce 12 15:43:42 except maybe if i give you the few things i've deduced 15:43:43 let's see 15:43:45 not quite, since 20, 10, and 16 can be solved easily 15:44:08 WTF 15:44:09 also 6 and 17, but not that easily 15:44:10 #15 15:44:13 is WRONG on ALL OF THEM 15:44:20 WHATTTTTTTTT 15:44:22 you have to answer 12 15:44:23 ehird: it's about answer labels 15:44:27 Asztal: o 15:44:28 oklofok: i no 15:44:58 oh, you thought they are red if the answer isn't in the actual correct solution 15:45:05 there's also a lot of restricted choices because only one odd answer can be A, and only one pair of consecutive answers can be equal 15:45:06 that would be a fun problem solving interface, yes. 15:47:02 I have: 15:47:06 6,10,16,17 15:47:07 20 15:47:09 down 15:47:33 you mean actually solved, or solved on your screen? 15:47:57 They're pretty much self-contained 15:48:07 6 and 17 aren't 15:48:12 they have two choices 15:48:23 I got 6 = D17 = B 15:48:31 me too 15:48:34 or should I say D6B17 15:48:49 ehird: based on what? 15:48:59 based on love. 15:49:01 why not 6B17D 15:49:06 dunno 15:49:08 i mean 15:49:12 the decision, not the syntax 15:49:12 tha's just what i did 15:49:15 'cuz I did 6 first 15:49:16 then 17 15:49:18 so. 15:49:26 okay. well it's correct. 15:49:27 because then 16 and 17 would be consecutive and equal, and 2 would cry 15:49:30 yes 15:49:39 Azstal: yes, naturally, i just doubted ehird saw that 15:49:44 :) 15:49:56 I don't think I saw that 15:49:59 the ones I hate are the ones where I have to solve every other question first. 15:50:09 whoa, #19 is, um, ... 15:50:10 lol 15:50:13 you mean the ones that actually make sense? 15:50:19 that actually require thinking? 15:50:21 * ehird brutforcez 15:50:23 oklofok: :DD 15:50:44 i hate those too, they make puzzles too hard :<<<<<<<<<< 15:51:08 i agree, yo 15:52:05 hokay, I've done all the self contained ones 15:52:06 now what 15:56:14 yay. 15:56:22 i found another one with just 2 choices 15:56:29 I'M PRETTY CLOSE. 15:56:59 oklofok: do you just like brute force it? 15:57:08 i can't think of any way of answering the non-self contained ones other than guessing 15:59:09 i mostly think 15:59:18 yay, third with just 2 15:59:22 oklofok: but how, i mean, i can't answer any of them since I have to solve all the other ones first to do them 15:59:31 which then depends on the answer to it 15:59:52 ehird: afaik you can't solve them directly without making a really long inference chain that branches. 15:59:58 well more like "probably" 16:00:12 oklofok: so that's what you do? :<<< 16:00:14 but you can store certain information about what the answers must be, and make inferences. 16:00:20 no 16:00:22 that's cheating 16:00:24 what do you do then 16:00:37 :oo 16:00:42 systematically make short inferences 16:01:00 that give me less information 16:01:21 i just have a list of possibilities for all questions ofc 16:01:22 ah. 16:01:29 well "just" wasn't ofc 16:01:37 but the fact i have a list for each of them was 16:01:48 because i've spilled parts of its content 16:03:51 well it 16:04:00 's not cheating if you check every branch 16:04:14 but educated guessing is, unless you can justify it 16:05:06 what are you discussing? 16:05:23 http://drunkmenworkhere.org/170 16:05:27 self-referential puzzle. 16:05:50 seems it's a bit too hard for me. 16:06:01 oklofok: DON'T ADMIT DEFEAT 16:06:31 question 20 isn't self ref it seems? 16:06:32 or? 16:06:51 no, it isn't 16:07:06 though I don't know what the answer is for it 16:07:07 AnMaster: i think there has to be non self-referential question to have a consistent, unique anserset 16:07:10 *answerset 16:07:19 yes probably 16:07:25 also, it's E 16:07:30 it doesn't really matter so yeah 16:08:44 AnMaster: and the self-contained ones are: 16:08:52 6,17 16:08:57 10,16 16:09:07 19 16:09:08 20 16:09:19 so nothing depends on 19? 16:09:20 i.e., beyond that they all depend on multiple questions 16:09:26 AnMaster: no, most things depend on everything 16:09:31 but those don't depend on anyhitng out of their pair 16:09:31 ehird, right true 16:09:34 so you can complete them first 16:09:40 a search of all possibilities to find a consistent set seems the only way then 16:09:47 yeah, with your brain :P 16:09:53 well, 19 isn't really eslf-contained 16:09:57 since all answers are correct 16:10:08 you have to match it so it match up with what you answer elsewhere 16:10:17 AnMaster: yes, incrementally 16:10:17 for "number of consonants" 16:10:18 and such 16:10:26 so you can just backtrack when you can't get it further 16:10:28 I hate 12 16:10:32 ehird, true 16:10:39 prolog should be great for this I assume 16:10:51 ehird: nah you don't need a non self-referential question 16:10:59 oklofok: so 20 is just silly 16:11:04 AnMaster: no, you're meant to use your brain. 16:11:06 what's the answer to this question? A: A, B: C, C: B 16:11:06 not a computer. 16:11:08 it's called a puzzle. 16:11:12 ehird, also some are invalid, like 1-A 16:11:16 oklofok: a 16:11:17 :P 16:11:24 AnMaster: well, duh 16:11:24 AnMaster: it just checks current state of affairs 16:11:40 oklofok, what checks? 16:11:46 AnMaster: the site. 16:11:53 ah some javascript there? 16:11:59 no 16:12:01 it's server-side 16:12:04 well 16:12:07 it uses javascript to submit 16:12:08 yes 16:12:08 I see no submit button 16:12:13 * AnMaster enables scripts then 16:12:14 it auto-submits wen you change answer 16:12:15 :P 16:12:21 woo, i did 9 16:12:30 and 2 16:12:32 awesome 16:12:34 i'm getting somewhere 16:12:49 hm 16:13:02 with javascript on it take ages 16:13:02 strange 16:13:03 ages to load that is 16:13:03 and 13 16:13:03 woop woop 16:13:05 er 16:13:06 nope 16:13:17 AnMaster: slow server 16:13:22 ah 16:13:23 oklofok: can you hal 16:13:24 p 16:13:40 it would be funny if there was no solution 16:13:46 heh 16:14:43 6,17 is impossible? 16:15:08 it is not. 16:15:13 ah right 16:15:17 heh 16:15:20 oklofok: see /msgs 16:15:22 :{ 16:15:25 i hate sayng that 16:15:56 came, saw, solved. 16:16:04 ...that is, your message ;) 16:16:22 lawl 16:17:30 i have 2,5,17,9,10,16,17,19,20 done 16:17:52 i finally solved a sixth one 16:18:00 question 1 16:18:10 it's of course one of the simple ones 16:18:13 you only had 5 done?! 16:18:26 yes. 16:19:15 well now 7 of course, 1 kinda does that 16:19:16 I've got 2 answers for #1 :( 16:19:42 Azstal: it's actually a rather short inference to get it 16:32:36 I have all by 4 solved now 16:33:14 s/by/but/ 16:36:25 i have 10 solved 16:40:39 isn't 10 A? 16:42:55 well yes 16:49:05 I give up 16:49:08 too much work 17:06:11 okay solved 17:06:23 the beginning was quite hard 17:06:29 hmm 17:06:32 well i'll check it 17:08:16 yeah 17:08:22 not that it's very surprising 17:08:26 should probably do something 17:08:28 now 17:08:37 maybe, like, read 17:09:10 ehird: you need some simple algebra with the amounts of characters in addition to just simple inference 17:09:22 but like. 4+3>6 17:11:06 also god that took long :D 17:11:14 over 2 hours 17:11:26 i thought it was like 20 minutes or something 17:13:09 the longest "let's try this and see what happens" chain you need is length 3; but there's are pretty obvious signs you should try it 17:13:49 (getting that answer is the only thing that can conceivably give you any data, so there must be a solution given what you currently have) 17:14:48 hmm yeah i should probably analyze this a bit longer 17:15:48 so, err. seriously -> 17:16:04 also if someone wants the solution, i can give it 17:16:15 -> 17:17:36 -!- kar8nga has quit (Read error: 60 (Operation timed out)). 17:18:22 blargl 17:24:30 <- 17:24:38 although i do kinda wanna try prolog on that 17:25:33 then again i'm not sure how to get anything that efficient out of the sum ones 17:33:26 -!- kar8nga has joined. 18:04:59 -!- jix has quit ("..."). 18:20:47 oklofok, sure I want the solution 18:21:04 anyway there are certain ones that are impossible, quite a lot in fact 18:21:40 like 1-{A,B} (Since if 2 was B then A and B would have the same value) 18:21:58 err 18:22:05 like 1-{A,B} (Since if 2 was B then 1 and 2 would have the same value) 18:22:06 I mean 18:22:08 well yes, that's one of the trivial things you can conclude 18:22:21 well, explaining is for humans 18:22:22 oklofok, I managed to get all except 4 to match 18:22:34 i prefer to think of it as checking all (1,2)-pairs :P 18:22:36 but I couldn't make 4 work without breaking everything else 18:22:53 oklofok, so I would like to see the solution 18:23:41 umm 18:23:49 well, it's in your priv now 18:23:50 but... 18:23:57 thanks 18:24:04 that's pretty sick when you read it out loud :D 18:24:11 hah 18:24:12 oklofok: what??? 18:24:12 tell me 18:24:14 tell me tell me 18:24:18 the solution 18:24:18 well not sick 18:24:18 thatis 18:24:20 not the sick 18:24:22 i get that 18:24:24 but 18:24:26 ssolutioant 18:24:33 just pornative 18:24:35 umm 18:24:50 well i'll priv it too 18:25:00 in case Asztal is still trying or something 18:25:19 it wasn't as sick as i thought 18:25:30 i mean i didn't realize at first it was actually completely sensible 18:25:42 so i just thought it was about having sex with dead babies 18:25:54 "ded" 18:26:36 Dad bedded a bad, bad babe. 18:26:47 did he now? 18:28:12 there are two possible solutions I think 18:28:26 yeah right. 18:28:36 seriously i didn't make one guess solving that. 18:28:49 ah wait 18:28:52 Wow, apple just removed all the drm from their itunes store [source: http://daringfireball.net/linked/2009/01/06/drm-free] 18:28:54 then 6&7 doesn't match 18:28:59 Hey, I might actually use it now. :P 18:28:59 AnMaster: shocking 18:29:04 oklofok, ? 18:29:09 AnMaster: nm 18:29:36 oklofok, the pair 6,17 in itself have 2 possible solution 18:30:11 AnMaster: but only one is consistent 18:30:13 with all the others 18:30:13 yes. also the singleton {19} has 5 possibles solution 18:30:24 i could write this in prolog easy prolly 18:30:25 ehird, true 18:30:39 and prolog would indeed be a good language to solve it 18:31:06 or some other back tracking language 18:31:17 prolog is just a DSL for exponential-time algorithms. 18:31:23 :D 18:31:39 heh 18:31:52 ehird, can't you write user interfacing programs in it? 18:32:02 -!- kar8nga has quit (Read error: 60 (Operation timed out)). 18:32:03 yes, but you don't want to. 18:32:14 hah 18:32:17 sure you do, imperative prolog is fun 18:32:25 it kind of sucks. 18:32:39 hm, xcut? oh wait that is used, it would be somewhat like xmonad otherwise 18:32:45 well it's pretty eso used like that 18:32:52 probably wouldn't be fun to write 18:32:55 true 18:33:05 * AnMaster has looked a bit at prolog, not much though 18:33:15 more like it's funny to read what weirness results when ppl write imperativish stuff with it 18:33:26 i've read a book about it 18:33:30 never used it iirc 18:33:33 * ehird writes solver for dis in prolooooog 18:33:37 oklofok, about prolog or about imperative prolog? 18:33:43 AnMaster: what's imperative prolog? 18:33:49 more like it's funny to read what weirness results when ppl write imperativish stuff with it 18:34:05 ok... s/imperative/imperativish/ 18:34:11 well prolog is pretty sequential 18:34:18 you can write io stuff with it 18:34:21 that's what i meant really. 18:34:33 getting input, outputting, doing computation in between 18:34:38 anyway that sounds fun... imperative haskell and functional basic 18:34:39 :D 18:34:46 ehird: I DOUBT IT'LL BE AS FAST AS MY 2 HOURS 18:34:53 :DD 18:35:01 well 18:35:11 actually imperative haskell is something i would very much like. 18:35:12 how many possible combinations of the options are there if you brute force 18:35:14 lets see 18:35:16 i was just thinking that the other day 18:35:18 20 options 18:35:20 too many AnMaster 18:35:21 not worth it 18:35:37 5 alternatives each 18:35:38 so 18:35:40 5^20 18:35:44 right, too many 18:35:51 i mean it's so perfect, but usually i just don't feel like functional, because, well, it requires me to know more in advance about what i want the prog to do 18:36:00 so it's not as good for randomly hacking stuff up imo 18:36:17 oklofok, you have a point there 18:36:20 oklofok: refactoring. 18:36:21 yo. 18:36:21 * AnMaster was hacking a script in awk 18:36:29 hack some shit up, mess it up if it doesn't fit 18:36:31 repeat until works 18:36:33 in retrospect... it would have been better in some other language 18:36:39 however it is almost done 18:36:41 ehird: yeah that's so much fun. you're missing the point. 18:36:45 it is fun 18:36:47 it's trivial 18:37:18 well whatever, either agree or don't. 18:37:30 lol 18:37:54 oklofok, depends on if you have an IDE (select, click extract method) or an unix-like system (sed, awk and grep will fix it most of the time) or just a simple text editor (it is not fun then) 18:38:04 for the first two it is easy enough 18:38:11 fix what? 18:38:32 oklofok, fix the function names and so on after refactoring 18:38:38 ... 18:38:44 you fail to understand what i meant by refactoring. 18:39:02 ehird, I assumed you meant the normal mainstream meaning of it? 18:39:02 i meant hacking up the structure of the program, not renaming bloody functions 18:39:55 having to do refactoring in a quick hack pretty much proves my point functional paradigm is often not as nice for it. not that i agree you need to do it. 18:40:00 ehird, true, but sometimes you end up renaming functions as a part of refactoring 18:40:17 no. 18:40:18 it's just it takes a little longer to write a program because you need to know a bit more about what the end result will look like 18:40:23 if you just rename functions and that's it, you fail. 18:40:30 ehird, true 18:40:32 you do more 18:40:35 oklofok: refactoring is a quick hack though 18:40:39 it's quicker 18:40:48 quick hacks are easy in functional langs 18:41:20 whatever, i don't see how you can argue what experience has shown me about my brain. 18:41:57 so plz just agree or don't, stop teaching me, i hate you doing that. 18:44:03 :D 18:44:23 :) 18:45:16 oklofok, s/or/and/ 18:45:46 AnMaster: correcting my sentence? 18:45:51 i mean, i liked it the way it was 18:46:13 oklofok, I prefer it with "agree and don't" 18:46:22 well 18:46:29 okay then 18:46:46 ehird: whichever you chose, could you try doing the other thing too? 18:47:12 what other thing 18:47:20 ehird: nm 18:47:25 no what 18:47:33 to cover a lot of cost you must use a lot of weight...... 18:48:02 how do you split an atom into its chars in prolog 18:48:26 umm. that's kinda technical, i suggest ggl. 18:48:31 unless #prolog 18:48:34 or something 18:48:38 also ggl 18:49:47 one(R, X) :- opt(X, [1,2,3,4,5], Y), Y2 is Y+1, at(R, Y2, b). 18:49:51 woop 18:50:58 actually 18:51:01 one(R, X) :- opt2(X, Y), Y2 is Y+1, at(R, Y2, b). 18:51:56 -!- Corun has quit ("This computer has gone to sleep"). 18:52:41 holy shit 18:52:42 | ?- solve(R). 18:52:42 R = [_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_|_] ? ; 18:52:44 zsh: bus error gprolog 18:52:46 i crashed fucking gprolog 18:52:48 :D 18:53:43 2. The only two consecutive questions with identical answers are questions: 18:53:45 bah that's just too hard. 18:53:48 to formulate. 18:54:04 ehird, oh? 18:54:10 in prolog. 18:54:16 for me. 18:54:17 mh 18:54:19 hm* 18:54:59 i don't think i have time to do it myself 18:55:01 but would be cool 18:55:05 so maybe after this week 18:55:12 if i remember the whole thing anymoer 18:55:48 hm 18:56:06 hm 18:56:42 well I was thinking of how many ways existed to build cfunge... 18:57:07 too many compile time options to test all combinations (and that not including cflags) 18:57:29 http://www.apple.com/pr/library/2009/01/06itunes.html 's official 19:05:30 -!- psygnisfive has quit (Read error: 110 (Connection timed out)). 19:41:08 hm 19:41:20 there is diff for comparing 2 files, and diff3 for comparing 3 files 19:41:28 what I'm missing is a diffn for comparing n files 19:41:55 because currently I want to compare 36 different test result output of mycology from building in different configurations with different compilers 19:44:32 AnMaster: pipe diff3's 19:44:36 or use kdiff or sth 19:44:41 kdiff? 19:44:48 kompare? 19:44:54 anyway kompare just does 2 files 19:45:18 kdiff3 exists 19:45:23 but that doesn't solve it 19:48:45 AnMaster: write it. 19:49:01 hm 19:50:03 AnMaster: it's just longest common subsequence :P 19:50:08 just generalize it for multiple sequences 19:50:18 hm maybe 19:50:31 http://en.wikipedia.org/wiki/Longest_common_subsequence_problem 19:51:11 "The problem is NP-hard for the general case of an arbitrary number of input sequences." 19:51:15 right 19:52:13 sure. 19:52:15 36 doesn't sound like too many though 19:52:23 Deewiant, true 19:52:36 Depends on the complexity of the best algos of course 20:05:24 -!- Corun has joined. 20:31:54 -!- psygnisfive has joined. 20:32:59 ehird, in all likelihood it'll be in the typical prologish fashion like atom_equates_to_string(TheAtom, TheString) 20:59:16 err 20:59:25 AnMaster: you don't need the np-hard algo 20:59:39 well 20:59:40 oklofok, true 20:59:45 umm, yeah, maybe you do 20:59:45 anyway I solved it another way 20:59:47 but 20:59:54 i assumed you needed to get just all pairs 21:00:04 but then again why would there be diff3 if that's what you wanted 21:00:14 I want a diff36 21:00:21 like all files side by side with differences 21:00:23 yes but what does diff36 do 21:00:28 hmm okay 21:00:32 yeah then it's exactly that. 21:00:37 sorry, i'm a guesser 21:10:05 -!- GreaseMonkey has joined. 21:24:53 -!- ais523 has joined. 21:34:34 hi ais523 21:34:46 hi AnMaster 21:36:09 ais523, just about half an hour ago I was looking for something like "diff36", that is like diff takes 2 files diff3 takes 3 files, even better would be a diffn. I solved the issue in another way, but do you know any software which can diff n files? I may write my own one for the future if not 21:37:01 I've had a similar problem before 21:37:09 I found a utility called interdiff, which diffs diffs 21:37:15 repeatedly applying that and diff2 and diff3 works I think 21:37:28 although I'm not entirely sure if it works in all cases 21:37:32 ais523, diff2 *and* diff3? 21:37:38 yes 21:37:42 why? 21:37:43 because there's more than one way to do a diff4 21:37:53 the way you apply things depends on exactly what you're trying to do 21:38:01 combine 2 diff2? 21:38:10 well, what is a diff4? 21:38:25 all the 4 files side by side in a GUI showing differences in my case 21:38:35 oh, that's quite different from what I was doing 21:38:43 ais523, think something like "kompare" 21:38:48 but with 4 files side by side 21:38:50 I was trying to work out differences from C to D which weren't changed from A to B 21:38:56 or in my case 36 files 21:38:58 side by side 21:38:59 besides, a diff3 is not what you're describing 21:39:14 ais523, hm what exactly is a diff3 then 21:39:23 diff3 combines changes in a diff from A to B with changes in a diff from A to C 21:39:38 in other words, it merges two working versions given a base version 21:40:15 ais523, so what about the thing I want? 21:40:28 ais523, I want to inspect 36 outputs for differences, some differences are ok, some are not 21:40:37 and only manual inspection will work well sadly 21:40:49 do you have a base case to compare against? 21:40:54 if so, then just diff2 them all against the base case 21:41:04 hmm... actually, do you know about comm? 21:41:05 ais523, no clear base case no 21:41:18 ais523, and sure I know about comm, but I would like context 21:41:23 like in a -u diff 21:41:41 AnMaster: comm does provide context by default, although its output format is weird 21:41:51 it sounds like what you're trying to do now is like a multi-file comm with a saner output format 21:41:58 rather than a multi-file diff with a saner output format 21:42:05 ais523, basically I had mycology output from building 36 combinations of compile time options and compilers 21:42:16 mkdir $(for i in build_{,gc_}{,nothr_}{32,64}_{mud,gcc,gcc-346,icc,llvm}; do echo $i; done | sed '/gc.*_mud/d') 21:42:37 AnMaster: I suggest you construct a base case by hand which simply omits all the lines you expect to change 21:42:43 then diff everything against that 21:42:50 ais523, hm but I want to make sure the change is sane 21:42:56 yes, exactly 21:43:01 all the lines that change 21:43:05 and all the lines which aren't in the base case 21:43:08 show up in the diff 21:43:18 ais523, well what if one says "The time is 27 : 17 : 18" 21:43:21 sure it changes 21:43:25 but 27 would be invalid 21:43:26 AnMaster: well, that line isn't in the base case 21:43:34 so it shows up in every single diff 21:43:54 ais523, also thread/no-threading, hm 2 base cases 21:44:00 yes, ok 21:44:18 actually, why aren't you just inspecting the whole output? Because lots of it's boilerplate? 21:44:38 ais523, well I did a hackish and rather complex way of solving it, I did sed -i on all files to change any small differences to N 21:44:48 thus reducing the interesting info 21:44:53 after aroudn 40 sed expressions 21:45:01 so I could compare md5sum 21:45:21 still this is not a simple way of doing it 21:48:12 AnMaster: there is no simple way of doing it, mostly because you aren't entirely sure what you're doing 21:48:23 ais523, oh and this script proved quite useful in a backwards kind of way: http://rafb.net/p/K2KrwY85.html 21:48:49 ais523, I want to check if there are any "bad" output differences between lots of different builds of cfunge built with different combinations 21:48:52 of options 21:49:06 ais523, and that is just a few of the possible combinations 21:49:17 AnMaster: yes, but translating that into speak a computer will understand is not trivial 21:49:22 ais523, indeed 21:49:41 ais523, oh and if you know prolog well I think ehird had a prolog issue 21:49:46 maybe you can help him 21:50:00 2. The only two consecutive questions with identical answers are questions: 21:50:00 AnMaster: I thought ehird didn't believe in Prolog 21:50:00 bah that's just too hard. 21:50:00 to formulate. 21:50:02 No i did not. 21:50:14 It's not hard. 21:50:16 just tedious. 21:50:21 Adn I didn't have much of an attention span on it anyway. 21:50:43 ais523, it was about http://drunkmenworkhere.org/170 21:50:53 ais523, needs javascript 21:56:29 Huh. I went to reddit.com and saw my submission at #1. That was...unexpected. 21:56:39 ehird: is it still there? 21:56:45 Yeah. Might be #2 now. 21:56:52 main reddit, or proggit? 21:56:53 still #1! 21:56:54 Main. 21:57:05 Well, obviously it's at the top of proggit too. 21:57:24 well, that is major news, well done for being the first to submit it 21:57:31 ehird, heh first comment says "Not programming." 21:57:33 I agree 21:57:39 AnMaster: subreddits are communities, not tags 21:57:49 this has been stated by the team many, many times before but nobody listens 21:57:58 DRM is a very relevant issue to the -community- of /r/programming 21:57:58 ehird, well it would make more sense in "music" 21:58:03 no, it wouldn't 21:58:04 but also true 21:58:06 im such a horrible person 21:58:13 I like the reply which says it should be in religion, though 21:58:13 psygnisfive: yes. yes you are 21:58:22 ais523: indeed. 21:58:30 ive been spreading lies and deceit throughout the little conlang community i frequent 21:58:40 everything is lies and deceit so yous hould be ok 21:59:05 the other day i lied about how pol pot got his inspiration for his xenophobic policies from the khmer language's lack of tones compared to all the surrounding languages which have tones 21:59:31 horrific. 21:59:32 * ais523 reckons it'll end up twice on Slashdot, once in the Apple section and once in YRO 21:59:48 and just now i apparently convinced someone else that miscellaneous section of the skype eula that was showing up as just blocks on his screen was actually in a central african writing system called mfune block writing 22:00:05 how can you be so awful. 22:00:28 people are naive so i take advantage of it. 22:00:28 ais523: of course, apple are still charging 30c per song to "upgrade" the drmed files to non-drm 22:00:29 :D 22:00:30 By being a faggot 22:00:42 but they deserve what they get anyway for buying that 22:00:51 they do :D 22:00:58 ehird: charging to upgrade to non-DRM doesn't surprise me at all 22:01:11 in fact I guessed that before you told me, and even guessed the price point pretty accurately 22:01:25 they call it iTunes Plus because it sounds so much better than calling everything else iTunes Minus (- mark pilgrim) 22:01:30 im going to take these little lies to absurd extremes 22:01:39 to see how far i can go 22:01:42 I think I once convinced someone I was bill gates 22:01:54 ehird: that's quite impressive, really 22:01:59 ais523: they were an idiot, though. 22:02:06 was this online or in RL? 22:02:10 RL might be hard given the age difference 22:02:12 hahhahaha, online 22:02:18 also, I have a beard 22:02:22 which would make RL convincing hard 22:02:23 is it turing complete 22:02:36 ehird: no idea 22:02:42 probably, most sufficiently complex things are 22:02:50 probably a volume of empty space is TC 22:03:04 or indeed, uncomputable 22:03:30 hm 22:03:38 it's strange that the record labels agreed 22:03:38 not that many of you will be interested but 22:03:38 http://www.spinnoff.com/zbb/viewtopic.php?p=658125#658125 22:03:43 AnMaster: not really. 22:03:50 amazon has been offering drm-free mp3s for like a year now 22:03:50 ehird, oh? What about RIAA? 22:04:05 also, the riaa are too busy eating babies 22:11:43 is reddit www.reddit.com? 22:13:17 i mean that's a finnish page for me, which feels kinda wtfy. 22:13:25 empty too 22:13:29 err 22:13:30 screenshot? 22:14:59 too complicated 22:15:10 oklofok: well 22:15:11 i wanna see 22:15:33 http://www.vjn.fi/pb/p455455412.txt 22:15:49 dude 22:15:51 so not helpful. 22:16:27 http://www.vjn.fi/pb/p455455412.txt 22:16:28 err 22:16:30 t��ll� ei n�yt� olevan mit��n. 22:16:31 what does that mean 22:16:42 it's a scrambled "seems to be nothing here" 22:16:47 ah. 22:16:52 well your browser is le fucked 22:16:58 :D 22:16:59 that's not how it looks 22:17:02 just change it to english 22:17:03 or sth 22:17:06 how? 22:17:13 umm change your windoze language to english/ 22:17:14 XD 22:17:27 there's just a little content, and that's clearly finnish 22:17:27 umm 22:17:40 there's nothing finnish about my windows except my keyboard layout 22:17:50 its detecting it from your ip then 22:17:50 hm 22:18:01 ask #reddit 22:18:02 poll: what is your favourite music format? 22:18:05 oh 22:18:05 oklofok: 22:18:08 probably. i was mainly wondering if it did that for, say, the swede, and he could tell me what to do. 22:18:09 http://en.reddit.com/ 22:18:21 AnMaster: lossless FLAC (but I use ALAC for iTunes), lossy ogg or aac 22:18:34 oklofok: en.reddit.com 22:18:36 try it 22:18:36 ALAC? I think it is called AAC? 22:18:40 AnMaster: no 22:18:40 ehird: that's in finnish too. 22:18:43 ehird, oh? 22:18:43 and empty. 22:18:47 http://en.wikipedia.org/wiki/Apple_Lossless 22:18:48 i mean 22:18:50 ah 22:18:58 i've been to reddit 22:19:03 it hasn't done that 22:19:04 ehird, FLAC, OGG, WAW > * for me 22:19:06 ask #reddit :P 22:19:08 in that order 22:19:14 WAW? 22:19:23 ehird, to get everyone asking 22:19:24 -!- psygnisfive has quit ("Leaving..."). 22:19:31 ehird, no I don't really use it 22:19:35 wha tis waw 22:19:48 ehird indeed 22:19:51 what is it? 22:19:57 i dont know 22:20:12 ehird, I would think it is a merge of the two words wav and wow 22:20:14 not sure 22:20:17 and no idea why 22:20:31 also what about .au? 22:20:36 it seems like the worst format ever 22:20:42 nope. 22:20:44 audacity uses it internally 22:20:48 oh? 22:20:52 really hm 22:21:27 Although the format now supports many audio encoding formats, it remains associated with the µ-law logarithmic encoding. This encoding was native to the SPARCstation 1 hardware, where SunOS exposed the encoding to apps through the /dev/audio interface. This encoding and interface became a de facto standard for Unix sound. 22:21:38 /dev/audio is in the de-facto au format 22:21:58 hm 22:22:02 ehird, I have no such device 22:22:10 did you mean /dev/dsp? 22:22:12 no. 22:22:27 22:22 oklofok, ill give you an ip 22:22:27 wat 22:22:37 i wondered too 22:22:43 WHY THANK YOU FAWKESMULDER FOR THAT FRESH IP 22:22:48 oh ip of reddit 22:22:50 22:22 oklofok, just put it in the address bar of the browser 22:22:51 DNS fail 22:23:01 huh? 22:23:07 oklofok, you have dns issues? 22:23:12 no 22:23:16 #reddit is just retarded 22:23:18 then why... 22:23:31 i think fawkesmulder is computer illiterate but doesn't know it 22:24:40 i would've thought a browser would try to read that ip's 80 22:24:45 ehird, I get English reddit 22:24:53 oklofok, it does 22:26:24 AnMaster: uhhuh. then what's ehird bitching about, and what's the 400 about 22:26:37 AMAZING GREEN GREEN 22:26:42 oklofok: its http shit 22:26:44 Host: header 22:26:46 not specified in the req 22:26:50 so server go barf barf. 22:26:57 oklofok, what 400? 22:27:30 ehird, ah you mean missing host header right 22:28:17 ehird: i see. 22:29:01 -!- jix has joined. 22:51:20 -!- Sgeo has joined. 22:56:41 night 22:58:51 -!- psygnisfive has joined. 23:35:26 -!- jix has quit ("...").