00:02:04 <oerjan> Ilari: http://en.wikipedia.org/wiki/Permanent
00:02:56 <oerjan> "Moreover, computing the permanent of a 0-1 matrix (matrix whose entries are 0 or 1) is #P-complete."
00:03:14 <oerjan> i think that's equivalent to your problem
00:03:49 <oerjan> "Thus, if the permanent can be computed in polynomial time by any method, then FP = #P which is an even stronger statement than P = NP."
00:04:46 <Ilari> But, P = NP impiles P = PH... Are there any problems known to be in P^#P but not in PH?
00:06:50 <oerjan> well given that P^FP = P if P=NP, plus the above, i'd say no...
00:09:19 <oerjan> "One consequence of Toda's theorem is that a polynomial-time machine with a #P oracle (P#P) can solve all problems in PH, the entire polynomial hierarchy. In fact, the polynomial-time machine only needs to make one #P query to solve any problem in PH." (http://en.wikipedia.org/wiki/Sharp-P)
00:09:30 <oerjan> but i guess that's what you were referring to
00:10:51 <oerjan> a couple more links brings us to http://en.wikipedia.org/wiki/PP_(complexity)
00:12:33 <oerjan> "PP is contained in PSPACE"
00:13:47 <oerjan> Ilari: i think that means no, because it is not known that P != PSPACE
00:14:37 <oerjan> so if P = PSPACE then P^PP = P containing everything else mentioned
00:15:58 <Ilari> oerjan: The canonical PSPACE-complete problem: Is boolean formula with arbitrary existential and universal operators true?
00:18:59 <Ilari> And for many problems that for turing machine are recursively enumerable (undecidable) are PSPACE-complete for linearly bounded automata.
00:47:03 -!- Slereah has quit (Read error: 60 (Operation timed out)).
00:48:50 -!- Slereah has joined.
00:57:06 -!- coppro has quit (Remote closed the connection).
00:57:36 -!- oerjan has quit ("Lost terminal").
01:09:07 -!- Asztal has joined.
01:16:09 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net).
01:21:21 -!- coppro has joined.
01:21:40 -!- fungot has quit (farmer.freenode.net irc.freenode.net).
01:21:40 -!- dbc has quit (farmer.freenode.net irc.freenode.net).
01:21:40 -!- yiyus has quit (farmer.freenode.net irc.freenode.net).
01:21:40 -!- Cerise has quit (farmer.freenode.net irc.freenode.net).
01:22:06 -!- fungot has joined.
01:22:06 -!- dbc has joined.
01:22:06 -!- yiyus has joined.
01:22:06 -!- Cerise has joined.
01:32:47 -!- Pthing has joined.
01:32:49 -!- Deewiant has joined.
01:35:33 -!- oerjan has joined.
01:45:47 -!- adu has joined.
01:56:01 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net).
02:10:58 -!- Deewiant has joined.
02:15:25 -!- lifthrasiir has quit (farmer.freenode.net irc.freenode.net).
02:15:25 -!- mtve has quit (farmer.freenode.net irc.freenode.net).
02:18:20 -!- lifthrasiir has joined.
02:18:20 -!- mtve has joined.
02:18:57 -!- Asztal has quit (Read error: 60 (Operation timed out)).
03:57:40 -!- FireFly has quit ("Leaving").
03:58:23 -!- BeholdMyGlory has quit (Remote closed the connection).
03:58:31 -!- adam_d has quit (Read error: 110 (Connection timed out)).
04:17:00 * uorygl ponders the permanent of a 0-1 matrix.
04:18:17 <uorygl> You have n objects and n categories. Each object belongs to some arbitrary set of categories. How many ways are there to pick one object from each category?
04:18:48 <coppro> Is that what the permanent of a 0-1 matrix amounts to?
04:21:02 <uorygl> Well, the number of objects is equal to the number of categories either.
04:21:13 <uorygl> If you're picking at least one from each category, you're picking exactly one from each category.
04:21:35 <oerjan> you always pick all the objects, and all the categories. it's the _pairing_ that needs to be picked.
04:22:47 -!- coppro has quit (Read error: 60 (Operation timed out)).
04:24:29 <oerjan> uorygl: it's the number of ways of pairing objects one-to-one with categories
04:28:06 <uorygl> I guess "ways" is kind of ambiguous.
04:57:43 -!- coppro has joined.
05:03:21 -!- adu has quit.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:38:19 -!- jpc has quit (Read error: 60 (Operation timed out)).
08:59:49 -!- ehirdiphone has joined.
09:00:50 <ehirdiphone> C abusers: is there a way to tell if an expression is a constant string or not? Typeof or sizeof magic, etc. Constant meaning things like "abc", "abc" "def", etc.
09:01:46 -!- MizardX has joined.
09:02:03 <soupdragon> if all the strings are in the .text section the pointer values will be below (above) some threshold
09:02:58 <ehirdiphone> Use case (hiding the magic) #define REGEXP(s) if (constant(s)) compile in the corresponding compiled regexp else compile in a rubtime call to the regexp compiler
09:03:05 <ehirdiphone> soupdragon: in the C itself, not post-linking.
09:04:38 <ehirdiphone> I guess the bigger issue is compiling a regexp at compile time, requiring either C execution or spawning a command.
09:04:57 <soupdragon> seems like something you'd normally want to use lisp for
09:05:20 <ehirdiphone> soupdragon: Yes, but it's not an interesting task in Lisp.
09:06:09 <ehirdiphone> Looks for some magic planted by the macro, compiles the regexp and links it in.
09:07:50 -!- ehirdiphone has quit ("Get Colloquy for iPhone! http://mobile.colloquy.info").
09:34:45 -!- soupdragon has quit ("Leaving").
10:16:02 -!- ehirdiphone has joined.
10:16:30 <ehirdiphone> AnMaster: a lot of what augur said about Haskell was outright wrong or explained badly.
10:16:56 <augur> ehirdiphone: a lot of it was right and explained correctly. until the monad stuff
10:17:01 <augur> cause god only knows about monads man
10:17:06 <ehirdiphone> Btw, anyone trying to prove dupdog sub TC could try to implement it in Total FP.
10:18:05 <ehirdiphone> augur: No, you made factual errors, and your explanations were of your usual style, glossing over and bending around in confusing twists.
10:18:23 <augur> no i didnt and no they werent. :|
10:18:32 <augur> malcontent extraordinaire
10:18:44 <ehirdiphone> Besides, anyone who couldn't even write a monad tutorial based around a terrible metaphor shouldn't be teaching it.
10:18:54 <oerjan> hey hey relax, why can't you _both_ be right
10:19:05 <oerjan> or wrong, as the case may be
10:19:06 <ehirdiphone> augur: You made factual errors. End of story.
10:19:11 <augur> couldnt even write a monad tutorial? what?
10:19:15 <augur> which factual erors
10:19:45 <ehirdiphone> One being that you can make multiple functions of the same name as long ad their type
10:20:25 <ehirdiphone> This is false. You apparently discover typeclasses a few lines after stating this.
10:21:06 <augur> well, perhaps you cannot do it precisely as i said
10:21:10 <augur> but you pretty much can, ehird.
10:21:14 <oerjan> ehirdiphone: dupdog in Total FP seems unlikely. after all iirc it is pretty clear that some dupdog programs don't terminate
10:21:15 <augur> typeclasses _do_ do this.
10:21:20 <ehirdiphone> I would write more but seeing as all your explanations last five years i've forgotten most of it
10:22:03 <augur> well then ill let you bullshit an explanation for how you can have >>= defined differently for different kinds of monads.
10:22:22 <augur> in a way thats dependent on the particular monad involved
10:22:44 <ehirdiphone> Those are not multiple definitions of (>>=).
10:23:01 <augur> its just >>= appearing in multiple places
10:23:11 <augur> with different type signatures in each place
10:23:49 <ehirdiphone> oerjan: please tell him to shut up. your name is in the report after all
10:24:09 <ehirdiphone> else I'll be forced to explain what typeclasses actually are
10:24:18 <oerjan> that would be an argument by miniscule authority? :D
10:24:28 <augur> ehird, iknow well enough what type classes are
10:24:33 <ehirdiphone> To an arrogant person who thinks he knows haskell
10:24:42 <augur> ehird stop talking about yourself
10:25:19 <augur> oh god if only there were some sort of tutorial
10:25:28 <augur> that explained overloading of functions!
10:25:34 <augur> http://www.haskell.org/tutorial/classes.html
10:26:47 <augur> could it BE that this document actually says that you can overload a function by defining it differently for different types as they vary under a type class?
10:27:14 <ehirdiphone> You are honestly the most ignorant, self-centered person I have ever had the displeasure of being talked at by on this channel. Cue "I know you are but what am I".
10:27:37 <augur> oh god ehird im so hurt by your displeasure at my being ignorant
10:27:47 <ehirdiphone> (>>=)'s polymorphism does not mean it is more than one function.
10:28:02 -!- ehirdiphone has quit ("Get Colloquy for iPhone! http://mobile.colloquy.info").
10:28:15 <oerjan> must be them hormones :D
10:28:38 <augur> "oh its not more than one function! i swear! its just defined COMPLETELY dependent upon the type, meaning there are different LAMBDAS but its the same NAME so its only one function!"
10:29:50 <augur> "and you're an arrogant fool who goes around talking about haskell but _I_ know more about haskell! more than spj himself!"
10:30:19 <oerjan> augur: for the millionth time, stop exaggerating
10:30:36 <augur> sorry; i respond to cunty behavior with cunty behavior.
10:30:41 <augur> not that hes here anymore or anything buit
10:32:48 <augur> there is probably a point to which ehird is correct, ofcourse.
10:33:46 <augur> type classes do actually enforce certain type restrictions so having f :: a -> a and f :: a -> a -> a isnt possible i think
10:34:13 <augur> see, im not above acknowledging when someone is correct
10:35:01 <augur> unfortunately thats about it. other than, the functions _do_ differ in type
10:37:18 -!- ehirdiphone has joined.
10:37:38 <ehirdiphone> class WrongAgainBatman a b where f :: a -> b
10:38:03 <ehirdiphone> instance WrongAgainBatman a (a -> a) where ...
10:38:39 <augur> class IHaveToHaveTheLastWord a where idiot :: a -> Bool
10:39:07 <augur> instance IHaveToHaveTheLastWord Ehird where idiot a = true
10:39:13 <augur> TEEHEE I MADE A HASKELL INSULT
10:40:06 <ehirdiphone> Shit insults without substance, hastily translated into code. I was proving you wrong, not saying "augur is a nitwit on crack", although indeed that is accurate.
10:40:34 <augur> you were proving me wrong huh
10:40:37 <augur> WAT A PROOF OH MAN
10:40:43 <ehirdiphone> I see any further interaction will be epitomic in its boringness.
10:41:24 <augur> maybe you should leave again!
10:41:35 <ehirdiphone> augur: I showed a direct counter example to the statements you made immediately preceding it.
10:41:56 <ehirdiphone> How is that in any way not a disproof of those statements?
10:42:05 <augur> how is it a counter example.
10:42:35 <ehirdiphone> Because you can have f :: a -> a -> a and f :: a
10:42:53 -!- Pthing has quit (Remote closed the connection).
10:43:37 <augur> did i? im pretty sure I said I think
10:43:40 <augur> which means i wasn't certain
10:43:41 <ehirdiphone> If you didn't understand the code snippet, well, maybe some Haskell knowledge would help.
10:44:05 <augur> which means demonstrating it (which you didnt, since you didnt exactly type a -> a -> a now did you?) merely clears up uncertainty
10:44:10 <ehirdiphone> augur: You say "think" a lot but all the surrounding language was certain.
10:44:40 <augur> WELL THEN YOU MIGHT WANT TO RECONSIDER HOW YOU UNDERSTAND ENGLISH HUH
10:44:44 <ehirdiphone> Also, I didn't type it out, but my code was a direct counterexample.
10:45:03 <augur> was it? cause i dont see how
10:45:37 <ehirdiphone> Because you do not understand Haskell code. Why am I wasting my time, incidentally?
10:45:40 -!- ehirdiphone has quit ("Get Colloquy for iPhone! http://mobile.colloquy.info").
10:48:25 <MizardX> http://esolangs.org/wiki/Axo <-- Expanded the description. Any comments?
11:04:06 <AnMaster> * oerjan laughs at today's iwc <-- me too!
11:06:16 <AnMaster> <ehirdiphone> Btw, anyone trying to prove dupdog sub TC could try to implement it in Total FP. <--- I have been thinking about various sub-TC languages, and I can't think of a way. Plus what oerjan said later.
11:06:49 <AnMaster> <ehirdiphone> oerjan: please tell him to shut up. your name is in the report after all <--- what report?
11:07:02 <AnMaster> oerjan, what report did he mean?
11:07:33 <AnMaster> <ehirdiphone> To an arrogant person who thinks he knows haskell <-- please tell me when you get back: do you claim you know haskell? ;)
11:08:13 <AnMaster> oerjan, heh, how comes your name is in there?
11:36:38 -!- adam_d has joined.
11:37:59 -!- lament has quit (Read error: 54 (Connection reset by peer)).
11:38:20 -!- lament has joined.
11:40:51 -!- FireFly has joined.
11:55:06 -!- Asztal has joined.
13:19:06 -!- MizardX has quit ("reboot").
13:25:10 -!- MizardX has joined.
14:00:27 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net).
14:01:21 -!- Deewiant has joined.
14:11:38 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net).
14:11:49 -!- Deewiant has joined.
14:14:57 -!- oerjan has quit ("Good night").
14:18:35 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net).
14:18:35 -!- dbc has quit (farmer.freenode.net irc.freenode.net).
14:18:35 -!- fungot has quit (farmer.freenode.net irc.freenode.net).
14:18:35 -!- yiyus has quit (farmer.freenode.net irc.freenode.net).
14:18:35 -!- Cerise has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- Slereah has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- pikhq has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- sebbu has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- SimonRC has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- EgoBot has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- jix has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- HackEgo has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- lifthrasiir has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- mtve has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- puzzlet has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- bsmntbombgirl has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- MizardX has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- Asztal has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- rodgort has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- uorygl has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- fizzie has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- comex has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- Ilari has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- cal153 has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- FireFly has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- lament has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- adam_d has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- coppro has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- augur has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- Gracenotes has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- AnMaster has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- mycroftiv has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- ineiros has quit (farmer.freenode.net irc.freenode.net).
14:29:14 -!- Leonidas has quit (farmer.freenode.net irc.freenode.net).
14:29:15 -!- Deewiant has joined.
14:29:15 -!- MizardX has joined.
14:29:15 -!- Asztal has joined.
14:29:15 -!- FireFly has joined.
14:29:15 -!- lament has joined.
14:29:15 -!- adam_d has joined.
14:29:15 -!- coppro has joined.
14:29:15 -!- mtve has joined.
14:29:15 -!- lifthrasiir has joined.
14:29:15 -!- Cerise has joined.
14:29:15 -!- yiyus has joined.
14:29:15 -!- dbc has joined.
14:29:15 -!- fungot has joined.
14:29:15 -!- Slereah has joined.
14:29:15 -!- augur has joined.
14:29:15 -!- rodgort has joined.
14:29:15 -!- puzzlet has joined.
14:29:15 -!- Gracenotes has joined.
14:29:15 -!- bsmntbombgirl has joined.
14:29:15 -!- pikhq has joined.
14:29:15 -!- uorygl has joined.
14:29:15 -!- sebbu has joined.
14:29:15 -!- AnMaster has joined.
14:29:15 -!- mycroftiv has joined.
14:29:15 -!- fizzie has joined.
14:29:15 -!- EgoBot has joined.
14:29:15 -!- cal153 has joined.
14:29:15 -!- SimonRC has joined.
14:29:15 -!- jix has joined.
14:29:15 -!- comex has joined.
14:29:15 -!- HackEgo has joined.
14:29:15 -!- Ilari has joined.
14:29:15 -!- Leonidas has joined.
14:29:15 -!- ineiros has joined.
14:37:37 -!- BeholdMyGlory has joined.
15:16:18 -!- lament has quit (farmer.freenode.net irc.freenode.net).
15:16:18 -!- adam_d has quit (farmer.freenode.net irc.freenode.net).
15:16:19 -!- AnMaster has quit (farmer.freenode.net irc.freenode.net).
15:16:19 -!- coppro has quit (farmer.freenode.net irc.freenode.net).
15:16:19 -!- Gracenotes has quit (farmer.freenode.net irc.freenode.net).
15:16:19 -!- FireFly has quit (farmer.freenode.net irc.freenode.net).
15:16:19 -!- augur has quit (farmer.freenode.net irc.freenode.net).
15:17:02 -!- anmaster_l has joined.
15:17:22 -!- AnMaster has joined.
15:25:10 -!- FireFly has joined.
15:25:10 -!- adam_d has joined.
15:25:10 -!- coppro has joined.
15:25:10 -!- augur has joined.
15:25:10 -!- Gracenotes has joined.
15:25:34 -!- adam_d_ has joined.
15:26:51 -!- lament has joined.
15:38:46 -!- adam_d__ has joined.
15:41:03 -!- adam_d_ has quit (farmer.freenode.net irc.freenode.net).
15:41:03 -!- adam_d has quit (farmer.freenode.net irc.freenode.net).
15:41:04 -!- coppro has quit (farmer.freenode.net irc.freenode.net).
15:41:04 -!- Gracenotes has quit (farmer.freenode.net irc.freenode.net).
15:41:04 -!- FireFly has quit (farmer.freenode.net irc.freenode.net).
15:41:04 -!- augur has quit (farmer.freenode.net irc.freenode.net).
15:46:15 -!- adam_d_ has joined.
15:46:15 -!- FireFly has joined.
15:46:15 -!- coppro has joined.
15:46:15 -!- augur has joined.
15:46:15 -!- Gracenotes has joined.
16:03:19 -!- adam_d_ has quit (Read error: 110 (Connection timed out)).
16:19:30 -!- adam_d__ has changed nick to adam_d.
17:13:41 -!- Asztal has quit (Read error: 60 (Operation timed out)).
17:14:15 -!- Asztal has joined.
18:17:53 -!- soupdragon has joined.
18:54:15 -!- osaunders has joined.
19:09:04 -!- calamari has joined.
19:48:07 -!- coppro has quit ("I am leaving. You are about to explode.").
19:50:21 -!- coppro has joined.
20:00:34 <augur> hey uorygl you here?
20:14:29 -!- poiuy_qwert has joined.
20:27:42 -!- coppro has quit (Read error: 54 (Connection reset by peer)).
20:39:05 -!- Pthing has joined.
20:54:02 -!- Asztal has quit (Read error: 60 (Operation timed out)).
20:59:55 -!- FireFly has quit (Connection timed out).
21:01:01 -!- FireFly has joined.
21:47:10 <AnMaster> google should have a reverse image search
21:47:26 <AnMaster> you provide an *image* and it tries to locate images like it
21:51:59 <FireFly> I think I've read something about it
22:05:02 <AnMaster> I imagine it would take a lot of computation
22:05:43 <FireFly> I don't know if it _exists_, but I think I saw something on Google about something similar
22:05:51 -!- calamari has quit (Read error: 54 (Connection reset by peer)).
22:36:29 -!- Asztal has joined.
22:47:44 -!- Slereah has quit (Read error: 60 (Operation timed out)).
22:49:02 -!- Slereah has joined.
23:05:25 <AnMaster> hm I should start using gigaångström for measurement
23:06:35 <FireFly> Swedish sounds so wrong in such contexts
23:07:13 <Deewiant> Or a furlong per fortnight, which is around 1 cm / minute
23:07:52 <AnMaster> Deewiant, how long is a furlong?
23:08:25 <AnMaster> yes 201.168 meters says units(1)
23:08:50 <Deewiant> http://en.wikipedia.org/wiki/List_of_unusual_units_of_measurement
23:08:59 <AnMaster> <FireFly> Swedish sounds so wrong in such contexts <-- pronounce it in English "angstrom"
23:09:15 <AnMaster> it sounds like their "smorgasbord"
23:10:03 <FireFly> And what's the reason for having a unit for 0.1nm anyway?
23:10:20 <FireFly> 0.8nm makes more sense than 8Å for me
23:17:39 -!- Sgeo has joined.
23:23:00 -!- MizardX has quit ("zzz").
23:30:40 -!- Azstal has joined.
23:31:21 -!- soupdragon has quit (Read error: 60 (Operation timed out)).
23:36:30 -!- soupdragon has joined.
23:42:23 -!- Asztal has quit (Read error: 110 (Connection timed out)).
23:52:29 -!- Azstal has quit (Connection timed out).
23:53:27 -!- Asztal has joined.