00:01:22 <ehird> ok now ill go prehistoric
00:02:56 -!- seveninchbread has quit (Remote closed the connection).
00:09:00 -!- CakeProphet has quit (Read error: 110 (Connection timed out)).
00:15:38 -!- atrapado has quit (Remote closed the connection).
00:17:50 <oklopol> well. i guess i'm here again
00:18:01 <oklopol> i'm *really* gonna sleep now.
00:18:21 <oerjan> why does ehird keep asking who is alive
00:18:34 <oerjan> does he have some nefarious purpose, picking us off one by one
00:38:21 <oerjan> i guess it's obvious when you think about it
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 <AnMaster> * 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> <ehird> 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:43:25 <AnMaster> psygnisfive, why didn't you read it before you quit then?
09:43:28 <AnMaster> <AnMaster> * psygnisfive plucks anmaster's guitar strings <-- I don't have a guitar. Nor do I play violin (I do play piano)
09:43:48 <psygnisfive> 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 <ehird> 09:43 <AnMaster> <AnMaster> * psygnisfive plucks anmaster's guitar strings <-- I don't have a guitar. Nor do I play violin (I do play piano)
14:14:56 <ehird> he was making a sexual joke.
14:15:22 <ehird> it's psygnisfive; couldn't you have guessed?
14:15:29 -!- sebbu has joined.
14:23:52 -!- oklopol has quit (Read error: 54 (Connection reset by peer)).
14:23:53 -!- oklofok has joined.
14:31:21 <oklofok> did i just disconnect a few minutes ago?
14:31:33 <oklofok> i mean. i just got home, and the computer was closed
14:31:37 <ehird> 14:23 oklopol has left IRC (Read error: 54 (Connection reset by peer))
14:31:38 <ehird> 14:23 oklofok has joined (n=nnscript@a91-153-121-248.elisa-laajakaista.fi)
14:31:39 <oklofok> i think that happened yesterday too
14:31:45 <ehird> it's 14:31 rite nao
14:32:02 <oklofok> when i touch the computer, it disconnects, and wants my password
14:32:15 <oklofok> but until then, it's nicely sitting on irc, connected
14:32:19 <oklofok> i mean that's pretty awesome
14:32:43 <Azstal> hmm... what OS is this?
14:33:01 <ehird> oklofok uses windoze
14:33:16 <Azstal> I seem to recall Windows XP does some odd stuff with networking when you use fast user switching.
14:33:48 -!- Slereah has quit.
14:33:59 <ehird> Asztal: he uses vistah.
14:34:30 <oklofok> ehird: could you just say my lines too from n
14:34:45 <ehird> Asztal: i'm just going to say what oklofok says, forever.
14:35:19 <ehird> Asztal: he's feeling kind of T.
14:35:41 <ehird> oklofok: Asztal's ok.
14:35:50 <oklofok> that thing where vista shows the windows like all 3d
14:36:17 <Azstal> 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 <oklofok> everyone was like oh my god it's cool
14:36:24 <oklofok> i mean, you know, all the idiots i know
14:36:40 <oklofok> i thought it looked pretty cool
14:36:49 <ehird> Asztal: he thinks flip 3d looks pretty cool
14:36:51 <ehird> but he's never used it
14:36:52 <oklofok> it just doesn't fit the rest at all
14:36:56 <ehird> but all the idiots he knew like it
14:37:01 <ehird> and it doesn't fit with the rest of the os
14:37:17 <oklofok> 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 <oklofok> because it's simpler that way
14:37:37 <ehird> 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 <Azstal> I pretty much just never use it because I can't break my Alt-Tab reflex.
14:38:21 <oklofok> don't you agree with flying cars?
14:38:55 <oklofok> i mean not agreeing with flying cars would be like... well i can't really think of another analog.
14:39:17 <ehird> would be like sucking.
14:39:18 <oklofok> a flying car analog for flying cars would be okay though, because, well, they can fly
14:39:28 <ehird> oklofok: the word is analogy
14:40:49 <oklofok> well i can't really correct it anymore
14:41:08 <oklofok> please use pm's next time, so i can look like i spotted the error myself.
14:41:34 <ehird> oklofok: LET'S MAKE AN ESOLANG. :|
14:42:15 <oklofok> 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 <oklofok> like j, but instead of : and . suffixes, you have ; and : prefixes
14:42:51 <oklofok> well no, that would pretty much just be having emoticons
14:42:59 <oklofok> maybe it could not have any point at all
14:43:25 <oklofok> the problem with ie is, if it frozes, i can't actually do anything.
14:43:34 <oklofok> well i can close it, but afaik it doesn't save state
14:44:34 <oklofok> this wasn't ie's problem, vista's
14:44:46 <oklofok> i have the maximum ~30 windows open
15:06:01 <oklofok> @ 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 <oklofok> which helps a zero amount \o/
15:07:37 <oklofok> wait. i probably misunderstood the questions that ask what the answer of another questino is
15:07:49 <oklofok> does that mean the question letter, or the actual answer?
15:11:24 <oklofok> 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 <oklofok> oh you can clean the thing ofc
15:12:47 <oklofok> if i choose A from both 6 and 17
15:13:03 <oklofok> therefore the question must mean "what is the answer's label"
15:13:12 <oklofok> now, unless the thing is absolutely retarded
15:13:24 <oklofok> then 10 and 16 must work the same way
15:13:43 <oklofok> 10A 16D is the only solution
15:14:01 <oklofok> in which case 13 is A too, contradicting itself
15:14:16 <oklofok> either the test or my logic is flawed
15:14:35 <oklofok> probably the first one, but i won't continue unless someone feels like explaining why
15:15:06 <oklofok> which i don't assume anyone does, just saying
15:15:34 <oklofok> Asztal: highlight for you since you said you were playing
15:16:10 <oklofok> presumably by pressing random buttons with some heuristic because you "had it down to 4 incorrect answers"
15:17:27 <oklofok> and right my logic was indeed flawed
15:17:34 <ehird> What is the wrong answer to this question?
15:17:46 <ehird> (For extra lulz, A: A and B: B.)
15:17:54 <oklofok> 9 can't be deduced to be A from 10A, of course
15:17:57 <ehird> (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:26:14 <Azstal> but I suspect I can't solve it by merely changing these 3
15:28:54 <Azstal> actually, I think there's a bug in the checking, because I have 9B and 11C.
15:29:41 <oklofok> 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:31:33 <oklofok> i currently have 4 correct, 1 with 2 choices, 3 with 3 choices, 9 with 4 choices, 3 with 5 choices
15:32:15 <oklofok> i'm assuming this is solvable without any major long-term problems, because, well, it looks like a puzzle
15:32:31 <oklofok> not long-term, more like something else.
15:35:22 <Azstal> one red one... but all the options contradict something else :(
15:35:51 <oklofok> don't show the solution yet when you're finished
15:41:22 <ehird> GregorR: I just saw someone link to extra-www in an interwebs argument.
15:41:47 <oklofok> i bet it's there just out of necessity
15:42:35 <ehird> i wanna bruteforce it
15:43:41 * ehird bruteforces 15 to bruteforce 12
15:43:42 <oklofok> except maybe if i give you the few things i've deduced
15:43:45 <Azstal> not quite, since 20, 10, and 16 can be solved easily
15:44:09 <oklofok> also 6 and 17, but not that easily
15:44:13 <ehird> is WRONG on ALL OF THEM
15:44:23 <oklofok> ehird: it's about answer labels
15:44:58 <oklofok> oh, you thought they are red if the answer isn't in the actual correct solution
15:45:05 <Azstal> 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 <oklofok> that would be a fun problem solving interface, yes.
15:47:33 <oklofok> you mean actually solved, or solved on your screen?
15:47:57 <Azstal> They're pretty much self-contained
15:48:34 <ehird> or should I say D6B17
15:49:12 <oklofok> the decision, not the syntax
15:49:12 <ehird> tha's just what i did
15:49:15 <ehird> 'cuz I did 6 first
15:49:27 <Azstal> because then 16 and 17 would be consecutive and equal, and 2 would cry
15:49:39 <oklofok> Azstal: yes, naturally, i just doubted ehird saw that
15:49:56 <Azstal> I don't think I saw that
15:49:59 <ehird> the ones I hate are the ones where I have to solve every other question first.
15:50:09 <ehird> whoa, #19 is, um, ...
15:50:13 <oklofok> you mean the ones that actually make sense?
15:50:19 <oklofok> that actually require thinking?
15:50:44 <oklofok> i hate those too, they make puzzles too hard :<<<<<<<<<<
15:52:05 <ehird> hokay, I've done all the self contained ones
15:56:22 <oklofok> i found another one with just 2 choices
15:56:59 <ehird> oklofok: do you just like brute force it?
15:57:08 <ehird> i can't think of any way of answering the non-self contained ones other than guessing
15:59:22 <ehird> 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 <ehird> which then depends on the answer to it
15:59:52 <oklofok> ehird: afaik you can't solve them directly without making a really long inference chain that branches.
16:00:12 <ehird> oklofok: so that's what you do? :<<<
16:00:14 <oklofok> but you can store certain information about what the answers must be, and make inferences.
16:00:24 <ehird> what do you do then
16:00:42 <oklofok> systematically make short inferences
16:01:00 <oklofok> that give me less information
16:01:21 <oklofok> i just have a list of possibilities for all questions ofc
16:01:37 <oklofok> but the fact i have a list for each of them was
16:01:48 <oklofok> because i've spilled parts of its content
16:04:00 <oklofok> 's not cheating if you check every branch
16:04:14 <oklofok> but educated guessing is, unless you can justify it
16:05:23 <ehird> http://drunkmenworkhere.org/170
16:05:27 <ehird> self-referential puzzle.
16:05:50 <oklofok> seems it's a bit too hard for me.
16:06:01 <ehird> oklofok: DON'T ADMIT DEFEAT
16:06:31 <AnMaster> question 20 isn't self ref it seems?
16:07:06 <AnMaster> though I don't know what the answer is for it
16:07:07 <ehird> AnMaster: i think there has to be non self-referential question to have a consistent, unique anserset
16:07:30 <ehird> it doesn't really matter so yeah
16:08:44 <ehird> AnMaster: and the self-contained ones are:
16:09:20 <ehird> i.e., beyond that they all depend on multiple questions
16:09:26 <ehird> AnMaster: no, most things depend on everything
16:09:31 <ehird> but those don't depend on anyhitng out of their pair
16:09:34 <ehird> so you can complete them first
16:09:40 <AnMaster> a search of all possibilities to find a consistent set seems the only way then
16:09:47 <ehird> yeah, with your brain :P
16:09:53 <ehird> well, 19 isn't really eslf-contained
16:09:57 <ehird> since all answers are correct
16:10:08 <AnMaster> you have to match it so it match up with what you answer elsewhere
16:10:17 <ehird> AnMaster: yes, incrementally
16:10:26 <ehird> so you can just backtrack when you can't get it further
16:10:39 <AnMaster> prolog should be great for this I assume
16:10:51 <oklofok> ehird: nah you don't need a non self-referential question
16:10:59 <ehird> oklofok: so 20 is just silly
16:11:04 <ehird> AnMaster: no, you're meant to use your brain.
16:11:06 <oklofok> what's the answer to this question? A: A, B: C, C: B
16:11:08 <ehird> it's called a puzzle.
16:11:12 <AnMaster> ehird, also some are invalid, like 1-A
16:11:24 <ehird> AnMaster: well, duh
16:11:24 <oklofok> AnMaster: it just checks current state of affairs
16:12:07 <ehird> it uses javascript to submit
16:12:14 <ehird> it auto-submits wen you change answer
16:12:34 <ehird> i'm getting somewhere
16:13:02 <AnMaster> with javascript on it take ages
16:13:17 <ehird> AnMaster: slow server
16:13:23 <ehird> oklofok: can you hal
16:13:40 <Azstal> it would be funny if there was no solution
16:15:20 <ehird> oklofok: see /msgs
16:16:04 <oklofok> ...that is, your message ;)
16:17:30 <ehird> i have 2,5,17,9,10,16,17,19,20 done
16:17:52 <oklofok> i finally solved a sixth one
16:18:10 <oklofok> it's of course one of the simple ones
16:18:13 <ehird> you only had 5 done?!
16:19:15 <oklofok> well now 7 of course, 1 kinda does that
16:19:16 <Azstal> I've got 2 answers for #1 :(
16:19:42 <oklofok> Azstal: it's actually a rather short inference to get it
17:06:23 <oklofok> the beginning was quite hard
17:08:22 <oklofok> not that it's very surprising
17:08:26 <oklofok> should probably do something
17:09:10 <oklofok> ehird: you need some simple algebra with the amounts of characters in addition to just simple inference
17:11:06 <oklofok> also god that took long :D
17:11:26 <oklofok> i thought it was like 20 minutes or something
17:13:09 <oklofok> 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 <oklofok> (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 <oklofok> hmm yeah i should probably analyze this a bit longer
17:16:04 <oklofok> also if someone wants the solution, i can give it
17:17:36 -!- kar8nga has quit (Read error: 60 (Operation timed out)).
17:24:38 <oklofok> although i do kinda wanna try prolog on that
17:25:33 <oklofok> 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 <AnMaster> oklofok, sure I want the solution
18:21:04 <AnMaster> anyway there are certain ones that are impossible, quite a lot in fact
18:21:40 <AnMaster> like 1-{A,B} (Since if 2 was B then A and B would have the same value)
18:22:05 <AnMaster> like 1-{A,B} (Since if 2 was B then 1 and 2 would have the same value)
18:22:08 <oklofok> well yes, that's one of the trivial things you can conclude
18:22:21 <oklofok> well, explaining is for humans
18:22:22 <AnMaster> oklofok, I managed to get all except 4 to match
18:22:34 <oklofok> i prefer to think of it as checking all (1,2)-pairs :P
18:22:36 <AnMaster> but I couldn't make 4 work without breaking everything else
18:22:53 <AnMaster> oklofok, so I would like to see the solution
18:23:49 <oklofok> well, it's in your priv now
18:24:04 <oklofok> that's pretty sick when you read it out loud :D
18:25:00 <oklofok> in case Asztal is still trying or something
18:25:19 <oklofok> it wasn't as sick as i thought
18:25:30 <oklofok> i mean i didn't realize at first it was actually completely sensible
18:25:42 <oklofok> so i just thought it was about having sex with dead babies
18:26:36 <ehird> Dad bedded a bad, bad babe.
18:28:12 <AnMaster> there are two possible solutions I think
18:28:36 <oklofok> seriously i didn't make one guess solving that.
18:28:52 <ehird> Wow, apple just removed all the drm from their itunes store [source: http://daringfireball.net/linked/2009/01/06/drm-free]
18:28:59 <ehird> Hey, I might actually use it now. :P
18:29:36 <AnMaster> oklofok, the pair 6,17 in itself have 2 possible solution
18:30:11 <ehird> AnMaster: but only one is consistent
18:30:13 <ehird> with all the others
18:30:13 <oklofok> yes. also the singleton {19} has 5 possibles solution
18:30:24 <ehird> i could write this in prolog easy prolly
18:30:39 <AnMaster> and prolog would indeed be a good language to solve it
18:31:06 <AnMaster> or some other back tracking language
18:31:17 <ehird> prolog is just a DSL for exponential-time algorithms.
18:31:52 <AnMaster> 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 <ehird> yes, but you don't want to.
18:32:17 <oklofok> sure you do, imperative prolog is fun
18:32:39 <AnMaster> hm, xcut? oh wait that is used, it would be somewhat like xmonad otherwise
18:32:45 <oklofok> well it's pretty eso used like that
18:32:52 <oklofok> probably wouldn't be fun to write
18:33:05 * AnMaster has looked a bit at prolog, not much though
18:33:15 <oklofok> more like it's funny to read what weirness results when ppl write imperativish stuff with it
18:33:33 * ehird writes solver for dis in prolooooog
18:33:37 <AnMaster> oklofok, about prolog or about imperative prolog?
18:33:43 <oklofok> AnMaster: what's imperative prolog?
18:33:49 <AnMaster> <oklofok> more like it's funny to read what weirness results when ppl write imperativish stuff with it
18:34:05 <AnMaster> ok... s/imperative/imperativish/
18:34:11 <oklofok> well prolog is pretty sequential
18:34:18 <oklofok> you can write io stuff with it
18:34:21 <oklofok> that's what i meant really.
18:34:33 <oklofok> getting input, outputting, doing computation in between
18:34:38 <AnMaster> anyway that sounds fun... imperative haskell and functional basic
18:34:46 <oklofok> ehird: I DOUBT IT'LL BE AS FAST AS MY 2 HOURS
18:35:11 <oklofok> actually imperative haskell is something i would very much like.
18:35:12 <AnMaster> how many possible combinations of the options are there if you brute force
18:35:16 <oklofok> i was just thinking that the other day
18:35:51 <oklofok> 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 <oklofok> so it's not as good for randomly hacking stuff up imo
18:36:17 <AnMaster> oklofok, you have a point there
18:36:20 <ehird> oklofok: refactoring.
18:36:29 <ehird> hack some shit up, mess it up if it doesn't fit
18:36:31 <ehird> repeat until works
18:36:33 <AnMaster> in retrospect... it would have been better in some other language
18:36:41 <oklofok> ehird: yeah that's so much fun. you're missing the point.
18:37:18 <oklofok> well whatever, either agree or don't.
18:37:54 <AnMaster> 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 <AnMaster> for the first two it is easy enough
18:38:32 <AnMaster> oklofok, fix the function names and so on after refactoring
18:38:44 <ehird> you fail to understand what i meant by refactoring.
18:39:02 <AnMaster> ehird, I assumed you meant the normal mainstream meaning of it?
18:39:02 <ehird> i meant hacking up the structure of the program, not renaming bloody functions
18:39:55 <oklofok> 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 <AnMaster> ehird, true, but sometimes you end up renaming functions as a part of refactoring
18:40:18 <oklofok> 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 <ehird> if you just rename functions and that's it, you fail.
18:40:35 <ehird> oklofok: refactoring is a quick hack though
18:40:48 <ehird> quick hacks are easy in functional langs
18:41:20 <oklofok> whatever, i don't see how you can argue what experience has shown me about my brain.
18:41:57 <oklofok> so plz just agree or don't, stop teaching me, i hate you doing that.
18:45:46 <oklofok> AnMaster: correcting my sentence?
18:45:51 <oklofok> i mean, i liked it the way it was
18:46:13 <AnMaster> oklofok, I prefer it with "agree and don't"
18:46:46 <oklofok> ehird: whichever you chose, could you try doing the other thing too?
18:47:33 <oklofok> to cover a lot of cost you must use a lot of weight......
18:48:02 <ehird> how do you split an atom into its chars in prolog
18:48:26 <oklofok> umm. that's kinda technical, i suggest ggl.
18:49:47 <ehird> one(R, X) :- opt(X, [1,2,3,4,5], Y), Y2 is Y+1, at(R, Y2, b).
18:51:01 <ehird> 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:42 <ehird> R = [_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_|_] ? ;
18:52:44 <ehird> zsh: bus error gprolog
18:52:46 <ehird> i crashed fucking gprolog
18:53:43 <ehird> 2. The only two consecutive questions with identical answers are questions:
18:53:45 <ehird> bah that's just too hard.
18:54:59 <oklofok> i don't think i have time to do it myself
18:55:12 <oklofok> if i remember the whole thing anymoer
18:56:42 <AnMaster> well I was thinking of how many ways existed to build cfunge...
18:57:07 <AnMaster> too many compile time options to test all combinations (and that not including cflags)
18:57:29 <ehird> 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:20 <AnMaster> there is diff for comparing 2 files, and diff3 for comparing 3 files
19:41:28 <AnMaster> what I'm missing is a diffn for comparing n files
19:41:55 <AnMaster> because currently I want to compare 36 different test result output of mycology from building in different configurations with different compilers
19:44:32 <ehird> AnMaster: pipe diff3's
19:44:36 <ehird> or use kdiff or sth
19:44:54 <AnMaster> anyway kompare just does 2 files
19:48:45 <ehird> AnMaster: write it.
19:50:03 <ehird> AnMaster: it's just longest common subsequence :P
19:50:08 <ehird> just generalize it for multiple sequences
19:50:31 <ehird> http://en.wikipedia.org/wiki/Longest_common_subsequence_problem
19:51:11 <AnMaster> "The problem is NP-hard for the general case of an arbitrary number of input sequences."
19:52:15 <Deewiant> 36 doesn't sound like too many though
19:52:36 <Deewiant> 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 <psygnisfive> ehird, in all likelihood it'll be in the typical prologish fashion like atom_equates_to_string(TheAtom, TheString)
20:59:25 <oklofok> AnMaster: you don't need the np-hard algo
20:59:45 <AnMaster> anyway I solved it another way
20:59:54 <oklofok> i assumed you needed to get just all pairs
21:00:04 <oklofok> but then again why would there be diff3 if that's what you wanted
21:00:21 <AnMaster> like all files side by side with differences
21:00:23 <oklofok> yes but what does diff36 do
21:00:32 <oklofok> yeah then it's exactly that.
21:10:05 -!- GreaseMonkey has joined.
21:24:53 -!- ais523 has joined.
21:36:09 <AnMaster> 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 <ais523> I've had a similar problem before
21:37:09 <ais523> I found a utility called interdiff, which diffs diffs
21:37:15 <ais523> repeatedly applying that and diff2 and diff3 works I think
21:37:28 <ais523> although I'm not entirely sure if it works in all cases
21:37:43 <ais523> because there's more than one way to do a diff4
21:37:53 <ais523> the way you apply things depends on exactly what you're trying to do
21:38:10 <ais523> well, what is a diff4?
21:38:25 <AnMaster> all the 4 files side by side in a GUI showing differences in my case
21:38:35 <ais523> oh, that's quite different from what I was doing
21:38:43 <AnMaster> ais523, think something like "kompare"
21:38:50 <ais523> I was trying to work out differences from C to D which weren't changed from A to B
21:38:59 <ais523> besides, a diff3 is not what you're describing
21:39:14 <AnMaster> ais523, hm what exactly is a diff3 then
21:39:23 <ais523> diff3 combines changes in a diff from A to B with changes in a diff from A to C
21:39:38 <ais523> in other words, it merges two working versions given a base version
21:40:15 <AnMaster> ais523, so what about the thing I want?
21:40:28 <AnMaster> ais523, I want to inspect 36 outputs for differences, some differences are ok, some are not
21:40:37 <AnMaster> and only manual inspection will work well sadly
21:40:49 <ais523> do you have a base case to compare against?
21:40:54 <ais523> if so, then just diff2 them all against the base case
21:41:04 <ais523> hmm... actually, do you know about comm?
21:41:18 <AnMaster> ais523, and sure I know about comm, but I would like context
21:41:41 <ais523> AnMaster: comm does provide context by default, although its output format is weird
21:41:51 <ais523> it sounds like what you're trying to do now is like a multi-file comm with a saner output format
21:41:58 <ais523> rather than a multi-file diff with a saner output format
21:42:05 <AnMaster> ais523, basically I had mycology output from building 36 combinations of compile time options and compilers
21:42:16 <AnMaster> 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 <ais523> AnMaster: I suggest you construct a base case by hand which simply omits all the lines you expect to change
21:42:43 <ais523> then diff everything against that
21:42:50 <AnMaster> ais523, hm but I want to make sure the change is sane
21:43:01 <ais523> all the lines that change
21:43:05 <ais523> and all the lines which aren't in the base case
21:43:18 <AnMaster> ais523, well what if one says "The time is 27 : 17 : 18"
21:43:26 <ais523> AnMaster: well, that line isn't in the base case
21:43:34 <ais523> so it shows up in every single diff
21:43:54 <AnMaster> ais523, also thread/no-threading, hm 2 base cases
21:44:18 <ais523> actually, why aren't you just inspecting the whole output? Because lots of it's boilerplate?
21:44:38 <AnMaster> 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 <AnMaster> thus reducing the interesting info
21:44:53 <AnMaster> after aroudn 40 sed expressions
21:45:21 <AnMaster> still this is not a simple way of doing it
21:48:12 <ais523> AnMaster: there is no simple way of doing it, mostly because you aren't entirely sure what you're doing
21:48:23 <AnMaster> ais523, oh and this script proved quite useful in a backwards kind of way: http://rafb.net/p/K2KrwY85.html
21:48:49 <AnMaster> ais523, I want to check if there are any "bad" output differences between lots of different builds of cfunge built with different combinations
21:49:06 <AnMaster> ais523, and that is just a few of the possible combinations
21:49:17 <ais523> AnMaster: yes, but translating that into speak a computer will understand is not trivial
21:49:41 <AnMaster> ais523, oh and if you know prolog well I think ehird had a prolog issue
21:50:00 <AnMaster> <ehird> 2. The only two consecutive questions with identical answers are questions:
21:50:00 <ais523> AnMaster: I thought ehird didn't believe in Prolog
21:50:00 <AnMaster> <ehird> bah that's just too hard.
21:50:21 <ehird> Adn I didn't have much of an attention span on it anyway.
21:50:43 <AnMaster> ais523, it was about http://drunkmenworkhere.org/170
21:56:29 <ehird> Huh. I went to reddit.com and saw my submission at #1. That was...unexpected.
21:56:39 <ais523> ehird: is it still there?
21:56:45 <ehird> Yeah. Might be #2 now.
21:56:52 <ais523> main reddit, or proggit?
21:57:05 <ehird> Well, obviously it's at the top of proggit too.
21:57:24 <ais523> well, that is major news, well done for being the first to submit it
21:57:31 <AnMaster> ehird, heh first comment says "Not programming."
21:57:39 <ehird> AnMaster: subreddits are communities, not tags
21:57:49 <ehird> this has been stated by the team many, many times before but nobody listens
21:57:58 <ehird> DRM is a very relevant issue to the -community- of /r/programming
21:57:58 <AnMaster> ehird, well it would make more sense in "music"
21:58:13 <ais523> I like the reply which says it should be in religion, though
21:58:13 <ehird> psygnisfive: yes. yes you are
21:58:30 <psygnisfive> ive been spreading lies and deceit throughout the little conlang community i frequent
21:58:40 <ehird> everything is lies and deceit so yous hould be ok
21:59:05 <psygnisfive> 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:32 * ais523 reckons it'll end up twice on Slashdot, once in the Apple section and once in YRO
21:59:48 <psygnisfive> 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 <ehird> how can you be so awful.
22:00:28 <psygnisfive> people are naive so i take advantage of it.
22:00:28 <ehird> ais523: of course, apple are still charging 30c per song to "upgrade" the drmed files to non-drm
22:00:42 <ehird> but they deserve what they get anyway for buying that
22:00:58 <ais523> ehird: charging to upgrade to non-DRM doesn't surprise me at all
22:01:11 <ais523> in fact I guessed that before you told me, and even guessed the price point pretty accurately
22:01:25 <ehird> they call it iTunes Plus because it sounds so much better than calling everything else iTunes Minus (- mark pilgrim)
22:01:30 <psygnisfive> im going to take these little lies to absurd extremes
22:01:42 <ehird> I think I once convinced someone I was bill gates
22:01:54 <ais523> ehird: that's quite impressive, really
22:01:59 <ehird> ais523: they were an idiot, though.
22:02:06 <ais523> was this online or in RL?
22:02:10 <ais523> RL might be hard given the age difference
22:02:22 <ais523> which would make RL convincing hard
22:02:23 <ehird> is it turing complete
22:02:42 <ais523> probably, most sufficiently complex things are
22:02:50 <ais523> probably a volume of empty space is TC
22:03:04 <ais523> or indeed, uncomputable
22:03:38 <AnMaster> it's strange that the record labels agreed
22:03:38 <psygnisfive> not that many of you will be interested but
22:03:38 <psygnisfive> http://www.spinnoff.com/zbb/viewtopic.php?p=658125#658125
22:03:43 <ehird> AnMaster: not really.
22:03:50 <ehird> amazon has been offering drm-free mp3s for like a year now
22:04:05 <ehird> also, the riaa are too busy eating babies
22:13:17 <oklofok> i mean that's a finnish page for me, which feels kinda wtfy.
22:15:33 <oklofok> http://www.vjn.fi/pb/p455455412.txt
22:16:27 <ehird> http://www.vjn.fi/pb/p455455412.txt
22:16:30 <ehird> t��ll� ei n�yt� olevan mit��n.
22:16:31 <ehird> what does that mean
22:16:42 <oklofok> it's a scrambled "seems to be nothing here"
22:16:52 <ehird> well your browser is le fucked
22:17:02 <ehird> just change it to english
22:17:13 <ehird> umm change your windoze language to english/
22:17:27 <oklofok> there's just a little content, and that's clearly finnish
22:17:40 <oklofok> there's nothing finnish about my windows except my keyboard layout
22:17:50 <ehird> its detecting it from your ip then
22:18:02 <AnMaster> poll: what is your favourite music format?
22:18:08 <oklofok> probably. i was mainly wondering if it did that for, say, the swede, and he could tell me what to do.
22:18:09 <ehird> http://en.reddit.com/
22:18:21 <ehird> AnMaster: lossless FLAC (but I use ALAC for iTunes), lossy ogg or aac
22:18:34 <ehird> oklofok: en.reddit.com
22:18:36 <AnMaster> ALAC? I think it is called AAC?
22:18:40 <oklofok> ehird: that's in finnish too.
22:18:47 <ehird> http://en.wikipedia.org/wiki/Apple_Lossless
22:19:04 <AnMaster> ehird, FLAC, OGG, WAW > * for me
22:19:24 -!- psygnisfive has quit ("Leaving...").
22:19:31 <AnMaster> ehird, no I don't really use it
22:20:12 <AnMaster> ehird, I would think it is a merge of the two words wav and wow
22:20:36 <AnMaster> it seems like the worst format ever
22:20:44 <ehird> audacity uses it internally
22:21:27 <ehird> 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 <ehird> /dev/audio is in the de-facto au format
22:22:27 <ehird> 22:22 <fawkesmulder> oklofok, ill give you an ip
22:22:43 <ehird> WHY THANK YOU FAWKESMULDER FOR THAT FRESH IP
22:22:50 <ehird> 22:22 <fawkesmulder> oklofok, just put it in the address bar of the browser
22:23:16 <ehird> #reddit is just retarded
22:23:31 <ehird> i think fawkesmulder is computer illiterate but doesn't know it
22:24:40 <oklofok> i would've thought a browser would try to read that ip's 80
22:26:24 <oklofok> AnMaster: uhhuh. then what's ehird bitching about, and what's the 400 about
22:26:37 <ehird> AMAZING GREEN GREEN
22:26:42 <ehird> oklofok: its http shit
22:26:46 <ehird> not specified in the req
22:26:50 <ehird> so server go barf barf.
22:27:30 <AnMaster> ehird, ah you mean missing host header right
22:29:01 -!- jix has joined.
22:51:20 -!- Sgeo has joined.
22:58:51 -!- psygnisfive has joined.
23:35:26 -!- jix has quit ("...").