00:01:07 i have this crazy feeling that oerjan won't write my function for me 00:01:51 elliott: i just wrote the first line of the actual function 00:02:05 church ops@(Dup:_) = (1, [], ops) 00:02:17 * oerjan cackles evilly 00:02:29 oerjan: good to know someone is handling the easy bits :P 00:02:53 oerjan: aw c'mon, i'm writing this for YOUU :D 00:02:56 (guilt works right?) 00:03:01 YEAH I'M GOOD AT THE EASY BITS 00:03:13 just one teeny weeny function! 00:03:25 oh wait that first line was wrong XD 00:03:30 (should be Cat) 00:04:03 -!- augur has joined. 00:04:21 sheesh oerjan, all this work for you 00:04:25 AND WHAT DO I GET 00:04:28 ;;;;''''((( 00:04:32 piling on the guilt here 00:05:11 i think i might have disabled oerjan 00:07:24 oerjan: FINE THEN, I'LL TOTALLY PUSH THIS UUUUSELESS THING TO IRC 00:08:05 i'm not sure of this strange belief elliott has that i can program fast... 00:08:15 oerjan: oh i wasn't aware you were actually writing the other lines :D 00:08:22 i thought i had to coerce you into agreeing to do it first 00:10:51 :t (<+>) 00:10:52 Ambiguous occurrence `<+>' 00:10:52 It could refer to either `Control.Arrow.<+>', imported from Control.Arrow at State/L.hs:5:0-19 00:10:52 or `Text.PrettyPrint.HughesPJ.<+>', imported from Text.PrettyPrint.HughesPJ at State/L.hs:53:0-46 00:10:58 -!- iconmaster has joined. 00:11:11 -!- zzo38 has quit (Ping timeout: 272 seconds). 00:12:10 * iconmaster is having fun with a random EXE code generator- Most just crash, but some... 00:12:47 iconmaster: heh 00:12:51 .COM might have better results 00:12:57 since it is just direct machine code 00:13:20 ok! Lets se how bad I can screw up my computer! 00:13:22 you might want to restrict the generated bytes to the valid x86 instructions plus register addresses (of course this restricts the constant literals in there too, but that might be interesting...) 00:13:32 iconmaster: do it in dosbox :P 00:13:41 Good idea. 00:14:17 hm i think it is possible to do monads nicely in a concatenative language... 00:14:34 if do is "() return" and ";" is >>, then we have... 00:14:40 ... do 00:14:44 "hello, world!" print ; 00:14:47 "foo, bar!" print ; 00:15:02 what about >>=... 00:15:03 oh wait 00:15:09 you just want that to push on to the stack, i suppose 00:15:11 using continuations, perhaps 00:15:24 getLine ->; print ; 00:15:32 One of my random progams 'bounces' the pointer across the screen. For some reason, pressing keys speed up this process. 00:15:47 iconmaster: as in, mouse pointer?? 00:15:56 No, the DOS cursor 00:16:02 iconmaster: that's cool 00:16:05 upload it somewhere 00:16:10 maybe we can disassemble it and uncover its secrets :P 00:16:14 Yep, I am 00:16:41 But, where? Know any good file uplading sites I could use? 00:17:03 ; : Monad m => ('a 'm 'b 'm -> 'b 'm) 00:17:07 to use the cat syntax 00:17:16 iconmaster: filebin.ca was good when it still existed ... how long is the file? 00:17:47 643 bytes, apparently. 00:18:00 iconmaster: probably you could just uuencode it 00:18:12 thats a good idea 00:18:18 iconmaster: and put it on a pastebin 00:18:21 sprunge.us say :P 00:18:26 http://www.bastet.com/uue.zip is apparently a uuencoder for windows 00:18:29 k going to now 00:18:53 Wow, thanks guys! Let's find it's secrets! 00:19:24 hey everybody else has been conspicuously silent, maybe I'm the only one who's interested >:D 00:19:26 fear the worst! 00:19:46 i am reading with some interesting 00:19:49 *some interest 00:19:54 meh, muscle memory :| 00:22:32 http://pastebin.com/nwwY8YTr 00:23:02 That good? 00:23:39 well pastebin.com still uses html for its raw page. but copying manually should work. 00:24:10 ok thanks. Now, lemme fid some other interesting programs 00:24:24 ---------------------------------------------------------^M 00:24:24 --^M 00:24:24 -- BF Joust Program Conversion Tool^M 00:24:24 -- Converts BF Joust programs into IconJoust format.^M 00:24:24 -- Made by Joshua Robbins^M 00:24:25 --^M 00:24:27 ---------------------------------------------------------^M 00:24:29 iconmaster: FAIL 00:24:32 -!- MUILTFN_ has quit (Ping timeout: 240 seconds). 00:24:39 try uploading the right file next time ;D 00:24:55 The random EXE maker doesnt actually make them RANDOMLY.... lol 00:25:10 iconmaster: if you want, I can host them on infa.fi 00:25:15 That is the file... put it in exe format. 00:25:33 That would be very nice. Mind taking IconJoust? 00:25:38 if so, I'd prefer for you to dcc them to me 00:25:56 That is the file... put it in exe format. 00:25:57 Umm. 00:26:03 No, I decoded it, it's a BF Joust program conversion tool. 00:26:24 I know. It WAS a lua script, now its an exe. 00:26:31 Oh. 00:26:47 wine doesn't accept it as it's an invalid exe 00:26:49 (doesn't have the right header) 00:26:53 what do you mean by "exe format"? 00:27:17 Basically, i copied 'convert.lua' to 'conver.exe' 00:27:23 *convert.exe 00:27:50 newtype Quote = Quote [Op] 00:27:50 data Op = Dup | Cat | Drop | Push Quote | SomethingElse 00:27:55 Smart of me. (No, Fail!) 00:27:57 iconmaster: it shouldn't even run, I don't think 00:28:00 elliott: is that compatible with what you have? 00:28:03 It does on my comp 00:28:03 it lacks the MZ header 00:28:18 oerjan: s/newtype Quote/data Obj/ 00:28:24 oerjan: also SomethingElse isn't there 00:28:25 obviously 00:28:31 is that the same as invalid code? or just "anything else" in your model 00:28:40 oerjan: oh and s/Push Quote/Push Obj/ 00:28:41 elliott: well i just put that to ensure i included a catch-all option 00:28:46 right 00:28:52 lol. Invalid programs make interesting results. 00:29:02 oerjan: note that the argument to Push is an Obj and can be other things than a Quote 00:29:04 for instance a Church 00:29:10 data Obj = Church Integer Obj -- Obj is for printing 00:29:10 | Quote [Op] 00:29:10 | Catn Obj Obj 00:29:10 | Rept Integer Obj -- FIXME: Use for more things 00:29:10 deriving (Show) 00:29:46 The Insert key seems to speed lol.exe up the most. Other keys speed up lol.exe to a lesser degree. 00:30:04 elliott: ok but this is during parsing stage. may i assume church has already been run when creating that Obj? 00:30:25 oerjan: er. your function _is_ church. but yes, your input will only ever contain (Quote) objects. 00:30:29 which means i should really look for Push (Church _), not Push (Quote _) 00:30:33 oerjan: oh right 00:30:34 yes 00:30:36 it is done recursively 00:30:48 i.e., in (...(...)...), when church gets the outer () pair, the inner pair will have been churched already. 00:30:55 good 00:31:03 oerjan: (Church _ _) 00:31:08 oerjan: the second argument is the actual original quote 00:31:11 which is important 00:31:25 (to concatenate two Objs, use the cat function) 00:31:44 i don't think i will concatenate Obj's 00:31:52 just [Op]'s 00:32:08 oerjan: you shouldn't really do that. cat is more efficient, in theory 00:32:17 but whatever, i'll see it before i comment 00:32:18 Pot of boiling peppermint extract and water: Great way to BURN THE HELL OUT OF YOUR EYES 00:32:26 (because cat makes decisions as to what kind of concatenation to do) 00:32:28 elliott: i am not _returning_ an Obj 00:32:33 oerjan: right. 00:32:39 and i won't be changing anything inside a Push 00:32:58 just checking if it's a church numeral 00:34:29 oerjan: of course note that this function must return the actual /value/ of the numeral 00:34:34 not just check it 00:34:43 church :: [Op] -> (Integer, [Op], [Op]) 00:34:46 at this time 00:34:50 right 00:37:28 oh wait i also need to check for () 00:37:53 and what's more, not for every Church 1 _ 00:38:37 oerjan: () will always be parsed as Church 1 (Push (Quote [])) 00:38:38 if that helps 00:38:42 elliott: () will become Push (Churc ... right 00:38:44 (i am considering making a separate Nil, though) 00:38:48 (but don't worry about that) 00:39:28 um don't you mean Push (Church 1 (Quote [])) 00:39:51 * oerjan assumes so 00:39:58 oerjan: no 00:40:00 er 00:40:02 well, right 00:40:04 inside an [Op] 00:42:07 * iconmaster is sad- no other random program does cool stuff. Oh well. 00:43:52 oerjan: do you handle ":!"? :D 00:43:57 I think subtraction produces that or something 00:44:15 * elliott will have to figure out when to try and convert things to church numerals. maybe whenever you call them? 00:44:39 oerjan: btw it _might_ be useful if you took an Obj instead... 00:44:40 >_> 00:44:50 and with that, I've ensured oerjan hates me 00:48:41 argh 00:50:03 oerjan: you can just make it [Op] if you want to keep your sanity 00:50:14 and i can bug you about it another day ;D 00:50:53 i am doing a lot of "parse this, then whatever follows, then combine" 00:51:01 lists are _useful_ for that 00:51:07 oerjan: that's what everyone who writes a parser manually in haskell ends up with :P 00:51:23 oerjan: also, yes, it's fine; it's just that this way, I can't use your function to detect church numerals _created_ by the program 00:51:27 which is a bit of a problem 00:51:35 elliott: what's your ^ constructor? i want to handle (numeral)^ 00:51:50 data Op = Swap 00:51:51 | Dup 00:51:51 | Drop 00:51:51 | Cat 00:51:51 | Push Obj 00:51:51 | Wrap 00:51:53 | Call 00:51:55 | Print 00:51:57 | Invalid String 00:51:59 deriving (Show) 00:52:01 data Obj = Church Integer Obj -- Obj is for printing 00:52:03 | Quote [Op] 00:52:05 | Catn Obj Obj 00:52:09 | Rept Integer Obj -- FIXME: Use for more things 00:52:11 deriving (Show) 00:52:13 YOU'RE WELCOME :P 00:58:36 break 00:59:03 verily 01:07:02 -!- Mathnerd314 has joined. 01:07:02 -!- elliott has quit (Read error: Connection reset by peer). 01:07:20 -!- elliott has joined. 01:07:53 oerjan's breaks are way too long, i should consider firing him 01:11:34 since when was he hired? 01:12:13 since he was born 01:12:17 contract for life 01:12:27 I thought slavery was illegal 01:14:16 Mathnerd314: not in elliottia. 01:15:59 I gtg. An idea before I leave- How about a compititave version of Underload! 01:16:02 -!- iconmaster has quit (Quit: Yummy, like ircing on a cake! [ http://www.bersirc.org/ - Open Source IRC ]). 01:17:44 compitatave. INTERESTING! 01:18:02 $ ./relief '(:::::::):(:((^:()~((:)*~^)a~*^!!()~^))~*()~^^)~(^a(*~^)*a~*()~^!()~^)a~**^!!^S' 01:18:02 relief: out of stack (church 1) 01:18:03 WHOOPS. 01:26:11 -!- poiuy_qwert has quit (Quit: This computer has gone to sleep). 01:31:16 Church 0 (Quote [Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat, 01:31:17 NOT QUITE. 01:31:55 oh, I think I parse () as 0, heh 01:33:58 1.1 Mio file in 18.4 seconds, not bad 01:34:05 for ()(~:S(/)S(:*)*~:^):^ 01:34:14 hmm, I could do better 01:35:09 $ time ./relief '(:*)(~:S(/)S:*~:^):^' >foo 01:35:10 ^C 01:35:10 real0m19.891s 01:35:10 $ ls -lh foo 01:35:10 -rw-r--r-- 1 elliott elliott 41M 2011-02-22 02:04 foo 01:35:11 not bad. 01:35:24 (in most interpreters that causes blowup... I think it does in mine too, but only because of one thing) 01:35:31 specifically, "cat x x" needs to use Rept. 01:35:39 also preferably cat would find common substrings and use Rept on those, but... 01:35:43 (and Eq on Obj is non-trivial) 01:35:51 well not that non-trivial now I guess 01:49:28 oerjan's breaks are way too long, i should consider firing him <-- had a shower 01:49:46 programmers need to be productive. hygiene is not a requirement. 01:49:52 i find your time management inefficient >:) 01:50:05 here's a wonderful patch of code i just wote 01:50:06 *wrote 01:50:07 -- FIXME: Probably *very* slow 01:50:08 -- FIXME: Choose the "smallest" object of the two somehow 01:50:08 -- FIXME: For Repts, just increment the repeat, don't nest 01:50:08 -- FIXME: Blah blah blah... 01:50:08 cat x y | x == y = Rept 2 x 01:50:24 i am pretty sure this is a severe pessimisation but that could change! 01:50:35 hmm, maybe i could use ghc's "is the exact same pointer" equality instead ;;DD 01:50:50 wth is Rept does church actually have to _know_? 01:51:00 oh right 01:51:02 oerjan: (Rept n x) is just x repeated n times 01:51:07 gah 01:51:14 used e.g. in this generic case: 01:51:16 call (Church n _) (x:xs) = (Rept n x : xs, "") 01:51:20 (for non-zero n, non-church x) 01:51:26 oerjan: but don't make church take an Obj as an argument 01:51:28 no point to at this point 01:51:33 that can home later :P 01:51:46 elliott: um the point is it's hard to retrofit 01:51:59 well er, good luck then 01:52:05 hello oerjan 01:52:05 oerjan: (Catn x y) might give you some trouble... 01:52:20 also i doubt the wisdom of church'ing on concatenations 01:52:21 how's your ~! quest coming along? 01:52:26 unfortunately i think unrolling Catn in general requires expanding Repts 01:52:36 oerjan: don't support that, then 01:52:37 after reaching the heights, did you decide to continue and reach out to new heights? 01:52:49 cat :: Obj -> Obj -> Obj 01:52:49 cat (Church m xs) (Church n ys) = Church (m*n) (cat xs ys) 01:52:49 cat (Quote xs) (Quote ys) = Quote (xs ++ ys) 01:52:49 cat x y = Catn x y 01:53:01 so Catn is just used for e.g. (cat x x), (cat rept church), and all that stuff 01:53:02 cheater-: um it was finished the last time i spoke about it 01:53:07 (cat x x where x is neither Church nor Quote that is) 01:53:24 elliott: well without supporting that it's useless to support Obj's at all 01:53:38 since almost everything which builds a new church numeral is a Catn 01:53:42 oerjan: but i thought maybe you went on to eliminate yet another command 01:53:50 oerjan: are you sure? 01:53:52 cheater-: i may. 01:53:55 (:)(*)*, sure 01:53:57 oerjan: such as??????? 01:54:06 but e.g. (:*)(:*)*? well... 01:54:07 you're right 01:54:10 oerjan: support Catn then :-P 01:54:17 but unrolling isn't an option so uh... good luck 01:54:27 cheater-: either that or prove that you cannot. 01:54:48 well get on with it already 01:55:02 cheater-: shut up 01:55:13 I don't think there's any more TC sets smaller than or equally small as ~:()^ and :*()a^ 01:55:22 oerjan: good luck getting cheater to shut up ... 01:55:44 elliott: i don't _want_ to support Catn becaus church'ing on them can have _horrible_ asymptoticity. consider concatenating ::::::::::::: with ************** 01:55:55 oerjan: then what on earth do you suggest? 01:55:58 reallyUnsafePtrEquality# :: a -> a -> Int# 01:55:58 woot 01:56:24 oerjan: i mean, forming integers like that is quite important 01:56:29 oerjan: at least, you can do that with just counting up then counting down 01:56:41 ofc that doesn't handle :*:*: and *:*, but nobody does that 01:56:45 this is basically a heuristic 01:56:48 elliott: Data.Sequence would help, although that would reduce sharing 01:56:57 STOP SUGGESTING SEQ FOR THINGS :D 01:57:13 oerjan: i mean :^n with *^n is I think fairly common 01:57:16 is it not? 01:57:22 oerjan: no u 01:57:23 elliott: well unbalanced Catn trees is what i see as the problem here 01:57:37 -!- ChanServ has set channel mode: +o oerjan. 01:57:40 oerjan: I don't think you can really get those actually 01:58:01 [+o: about time too] 01:58:02 oerjan: hmm 01:58:10 oerjan: in fact, ::: with *** will produce a single Quote 01:58:15 so in fact [Op] should be fine for everything 01:59:17 oerjan: btw will your function give up immediately if e.g. the input doesn't start with :? that's desirable for cat. otoh churchising _substrings_ (i.e. transforming {:^n}{*^n} in some code to Push (Church n ...), Call) might be useful... 02:00:33 hmm perhaps I should optimise :* as a preprocessing step ... 02:00:49 @hoogle Int# -> Int 02:00:49 Data.Generics.Schemes gdepth :: GenericQ Int 02:00:49 Data.Generics.Schemes glength :: GenericQ Int 02:00:49 Data.Generics.Schemes gnodecount :: GenericQ Int 02:01:50 elliott: the [Op] one i have started writing only looks at the church numerals at the beginning 02:02:02 I could always search or something, sounds inefficient though :) 02:03:11 but it gives the remaining [Op] in the tuple, so you can easily continue with it 02:03:14 right 02:04:23 i think i'll right it this way, and then you can write the Obj version if you want >:) 02:04:26 *write 02:05:10 GODAMMIT I'M CHANNELING A NATIVE ENGLISH SPEAKER WITH BAD SPELLING 02:05:51 you know, they say you're good at english when you start making the same mistakes they do 02:05:51 "write" -> "*write" :-D 02:05:54 oh 02:05:55 heh 02:05:56 -- FIXME: WORST THING EVER 02:05:56 cat x y | I# (reallyUnsafePtrEquality# x y) == 1 = Rept 2 x 02:06:25 -- FIXME: WORST THING EVER, PROBABLY MUTILATES KITTENS IN ITS 02:06:25 -- FREE TIME 02:06:28 cute 02:06:34 cheater-: oerjan is certainly better at English than many native speakers. 02:06:47 not saying he isn't 02:07:15 Granted, this probably says more about the native speakers than oerjan. It continues to disturb me how very bad many people were in my high school English classes. 02:07:25 pikhq: well with most of english being typing i just don't expect to switch _homophones_... 02:07:30 *my 02:07:38 oerjan: Hah. 02:07:41 This is very true. 02:08:36 pikhq: i was told by the british that there was a period on the uk when learning english wasn't mandatory at all 02:09:03 my university actually has a mandatory english exam for all students 02:09:05 cheater-: The UK or the Kingdom of Great Britain or the Kingdom of England? 02:09:08 It matters. :P 02:09:10 on the basis that the high schools aren't good enough 02:09:29 pikhq: i have said "the uk" 02:09:30 oh food 02:09:38 i think it was in the late 80s or early 90s 02:09:42 "by the british" 02:09:49 I talked to the British the other day. 02:09:54 They had bad teeth. 02:10:02 they have. 02:10:24 at least they make copious use of mouthwash when prompted. 02:11:26 cheater-: Yes, but many people end up using it to refer to geographic regions that are now part of the United Kingdom of Great Britain and Northern Ireland. Not to mention telling me which name for the kingdom in use lets me have a rough idea *when* you're talking about. 02:12:07 pikhq: [troll feed etc.] 02:12:14 TL;DR: I'm a pedant. 02:13:44 i told you the dates 02:13:56 Hadn't when I asked. 02:13:57 -!- elliott has quit (Read error: Connection reset by peer). 02:14:17 -!- elliott has joined. 02:14:22 -!- zzo38 has joined. 02:14:25 head explodes 02:15:27 -!- elliott has quit (Read error: Connection reset by peer). 02:15:53 -!- elliott has joined. 02:16:47 pikhq: can i call you sartre 02:20:57 -!- amca has joined. 02:20:57 -!- elliott has quit (Read error: Connection reset by peer). 02:21:17 -!- elliott has joined. 02:24:30 -!- elliott has quit (Client Quit). 02:24:37 -!- elliott has joined. 02:25:50 WHERE IS OERJAN 02:25:51 er 02:25:53 AIS523 02:27:02 oerjan: done yet ;D 02:27:29 BE CAREFUL I HAVE THE OPS 02:27:35 ais523 does not appear to be connected. 02:27:58 oerjan: yeah but to the disappointment of all right-thinking people you have not yet exercised them. OBVIOUSLY I AM TALKING ABOUT GIVING VOICE TO PIKHQ 02:28:09 LET US UNITE IN FAVOUR OF GIVING PIKHQ +V 02:29:09 I do not care whether or not to give voice to pikhq. What effect would be given? To exempt a quiet mode on the channel? 02:29:22 FOR DEMOCRACY 02:29:23 AND FREEDOM 02:29:31 oerjan: MAKE OUR DREAM COME TRUE 02:29:34 oerjan: Give me +o! I just want a taste of ops! JUST A TASTE 02:29:37 -!- amca has quit (Quit: Farewell). 02:29:45 Gregor: YOU DON'T SAY 02:29:53 LET US STAND AGAINST THOSE OPPRESSORS OF DEMOCRACY, THOSE TYRANTS WHO WOULD GAIN THEIR OPS TO DISCARD ALL RATIONALITY 02:29:55 Only him who wanteth it not may have op! 02:29:56 You can even /mode +o-o Gregor Gregor 02:29:57 Gregor: Create a new # type channel you automatically get +o (but can still remove it) 02:30:03 And I wanteth it not! 02:30:06 HAVE FAITH THAT WITH VOICE PRIVILEGES, PIKHQ WILL LEAD US INTO A LAND OF HAPPINESS AND JOY! 02:30:11 LOOK AT HIS DESERVING HUMBLENESS! 02:30:12 Gregor: What happens if you type conflicting modes like that? 02:30:17 elliott: ALSO BEER. 02:30:18 I THINK THIS IS A CAUSE WE CAN ALL GET BEHIND!!!!!!!! 02:30:25 zzo38: They're applied in order, you can't really "conflict" 02:30:27 oerjan: DO IT! DO IT NOW! DON'T DELAY! OR HESITATE! 02:30:29 The operation is atomic in principle. 02:30:37 sheesh 02:30:41 -!- oerjan has set channel mode: -o oerjan. 02:30:47 Awwwwwwwwwwww 02:30:54 (There is also & and ! type which you get +o automatically but Freenode has neither.) 02:30:57 IT SEEMED TO JUST ENCOURAGE PEOPLE 02:30:58 WE ARE ALL DISAPPOINTED IN YOU. also, ban cheater- already. 02:31:14 -!- pikhq has set topic: No happiness and joy for us; oerjan hath spoken. | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 02:31:19 elliott: I think we do not need to ban them? But I don't say. 02:31:25 MWA 02:31:26 HA 02:31:27 HA 02:31:39 zzo38: he's a persistent troll recognised as such by pretty much everyone i've spoken to. 02:31:45 pikhq: LET'S RISE UP AGAINST OERJAN 02:31:48 AND HIS ANTI-HAPPINESS, ANTI-JOY, 02:31:49 ANTI-BEER WAYS 02:31:57 hey i am _not_ anti-beer! 02:32:00 cheater-: are you a troll? 02:32:01 IT'LL BE LIKE LYBIA, BUT WITH +B INSTEAD OF GUNS 02:32:10 He just is against *happy* drunks. 02:32:20 Mathnerd314: I would love to a legal system based on your last line. 02:32:29 "DID YOU KILL THE PUPPY?" "No." "Oh." 02:32:38 "Mwahahahaha! [kills a puppy]" "DID YOU JUST-" "No." 02:32:41 As far as I know we do not need to ban them. 02:32:57 elliott: then you ask "did you lie" under a polygraph test 02:32:58 i didn't ask you :p 02:33:21 Mathnerd314: Genius! Then everyone will go to jail, instead of noone. 02:34:03 elliott: well, I think evidence factors in somehow 02:34:17 so basically your legal system is boring and not at all like that line 02:34:21 Polygraphs are about as reliable as medicine by a witch doctor. 02:34:29 But less awesome. 02:34:32 pikhq: THAT'S OFFENSIVE TO OERJAN'S BELIEFS 02:34:45 elliott: I try! 02:34:56 elliott: no, it's just based around intention first and evidence later 02:35:22 Mathnerd314: So, estabilishing mens rea, then. 02:35:29 mens' rear 02:35:36 *men's 02:35:51 elliott: Only in Gayland, the state that is always happy. 02:36:01