| rindolf | Pythack now was able to get the fc-solve test suite up and running. |
| Zuu | eh?! |
| * Zuu | solves rindolf |
| rindolf | Zuu: http://fc-solve.berlios.de/ |
| rindolf | Zuu: I am not solvable. |
| rindolf | I am Turing hard. |
| Zuu | :S |
| * Zuu | never heard of anything called 'turing hard' |
| joeyadams | lol. Zuu's probabilistic, so maybe he can solve you. |
| Zuu | but i guess i have now |
| joeyadams | Formal definition of Turing hard: blah blah blah hard blah blah Turing blah. |
| Zuu | Hahahaha :D |
| joeyadams | Wikipedia: Given a set X in P(N), a set A in N is called Turing hard for X if X <=_T A for all X in X. If additionally A is in X, then A is called Turing complete for X. |
| joeyadams | Does that clarify? |
| joeyadams | (see http://en.wikipedia.org/wiki/Turing_reduction for the actual math symbols) |
| * joeyadams | assumes you get the point |
| Zuu | yeah, i think i'll have to put significant time into that, for me to comprehend it :) |
| Zuu | but maybe i will, some day :P |
| joeyadams | My point is that people like to use mumbo jumbo to describe more concise mumbo jumbo. |
| joeyadams | E.g. A problem is NP-hard if it is at least as hard as all the problems in NP. |
| Zuu | i understand enough of it, to be fairly confident that rindolf being turing hard, will not say much about his ability to be solved |
| joeyadams | I'm guessing Turing-hard means you can't solve a problem with a Turing machine (e.g. the halting problem) |
| joeyadams | (substitute Turing machine with "your computer" :) ) |
| Zuu | no, turing hard has something to do with expressiveness |
| joeyadams | okay, Zuu > joeyadams, so I can't help you :) |
| * Zuu | tickles joeyadams ^^ |
| joeyadams | A delicious apple is any fruit ∈ apple that is at least as tasty as any other fruit ∈ apple. |
| joeyadams | In other words, apples are in the set of recursively nommable fruits. |
| rindolf | joeyadams: what's up? |
| joeyadams | I'm babbling. |
| rindolf | joeyadams: Apple is one of my least favourite fruits. |
| * Zuu | watches a number of apples that recursively NOM's each other |
| rindolf | It tends to be too commonplace. |
| rindolf | Or simpleton. |
| joeyadams | whoops, my logic is incorrect |
| joeyadams | Only delicious apples are ∈ the nommable fruits. |
| joeyadams | (recursively is just a word you throw in to sound smart) |
| * Zuu | NOMs joeyadams :> |
| rindolf | joeyadams: a friend of one of my sisters said that Apple is his favourite fruit. |
| rindolf | Ta-zuu! |
| * joeyadams | has quit (Read error: 104 (Connection nommed by peer)) |
| Zuu | yeah, unfortunately a lot of people throw with a lot of words to sound smart :/ |
| Zuu | my favourite fruit is a recursive banana! |
| joeyadams | although it certainly helps to use complex terminology to solve complex problems. As Aristophanes said, "High thoughts must have high language." |
| Zuu | .. along with immutable polymorphic pears |
| joeyadams | Zuu> I guess you have to peel it indefinitely? |
| joeyadams | lol |
| Zuu | Hahah, yeah :P |
| joeyadams | I tend to eat bananas in deterministic polynomial time. |
| Zuu | i eat them in linear time, but uses exponential space |
| joeyadams | lol |
| rindolf | Heh. |
| joeyadams | eww |