00:00:57 i'll frien dyou on facebook and then you'll be super famouse like me! 00:01:16 -!- myndzi has joined. 00:01:40 newsham: omg me too 00:01:42 (i have no facebook) 00:01:51 whats facebook 00:01:56 un-zepto 00:02:10 Oh wait turns out I have an uncle who once had an article in a newspaper about his company. 00:02:23 spiffy 00:04:53 -!- CakeProphet has quit (Ping timeout: 252 seconds). 00:06:38 -!- CakeProphet has joined. 00:06:38 -!- CakeProphet has quit (Changing host). 00:06:39 -!- CakeProphet has joined. 00:07:03 "'I'm not on facebook' is the new 'I don't have a TV'" 00:07:12 fwiw, I dont use facebook either (though I do have 2 accounts) 00:07:45 once at a Berlin concert I touched the bodyguard who was carrying Terri Nunn 00:08:01 my claim to fame 00:09:05 "'I'm not on facebook' is the new 'I don't have a TV'" 00:09:08 meh, I don't bring it up 00:09:19 it's perfectly alright not to own a TV, it's just mentioning that you don't all the time that's annoying 00:09:56 i 00:10:08 i'm watching tv as we speak, but i have a high opinion of people who manage to avoid it 00:10:28 whats tv 00:10:31 newsham, turns out said uncle's company helped make the first mobile phone topup things. 00:10:46 Also I was once totally in the same room as Iain Banks. 00:11:25 why dont you come up when i google "same room as iain banks"? 00:11:32 newsham: i don't know how anyone could watch tv when they have an internets in front of them, it's like ... taking both caffeine and heroin and going "whoa, this coffee!!!!" 00:11:32 WHO KNOWS 00:11:34 that made no sense, but. 00:11:48 Phantom_Hoover: bah boring. see if your great great grandfather was involved in the first telegraph, or something. 00:11:56 elliott: the coffee happens to be Law&Order 00:11:57 the original 00:11:59 no colon! 00:12:02 his great great grandfather _was_ the first telegraph 00:12:13 newsham: why do people like police procedurals :/ 00:12:13 oerjan, unlikely, given that my family is basically all boring Irish people after a point. 00:12:35 http://upload.wikimedia.org/wikipedia/en/4/4f/The_Clang.ogg ;; put on repeat, go insane 00:12:44 Although I guess maybe one of them moved crates for Marconi when he broadcast that transatlantic signal or something. 00:12:59 elliott: did I mention, "no colon"? 00:13:12 newsham: and? :P 00:13:25 i once played sprouts with john conway. so there. 00:13:28 i'm not talking L&O:LA or SVU or anything 00:13:30 this is the real thing!@# 00:13:41 -!- CakeProphet has quit (Ping timeout: 240 seconds). 00:13:44 oerjan, I once... um... dammit. 00:13:49 i once made out with ladyada, is that worth anything? 00:14:13 newsham, depends, was it the real Ada, or some cheap imitator? 00:14:59 it was countace lovelace.. i was young and needed th emoney 00:15:02 Did you solicit a prostitute to pretend to be Ada Lovelace is basically what I am asking. 00:15:06 lord byron was pissed 00:15:11 -!- CakeProphet has joined. 00:15:12 -!- CakeProphet has quit (Changing host). 00:15:12 -!- CakeProphet has joined. 00:15:39 newsham, also you're an internet celebrity yourself, so that doesn't count. 00:16:08 yeah everyone knows the famous news ham 00:17:01 rec.arts.ham 00:17:39 newsham, you have a WP article; that's good enough for me. 00:18:03 they'll give those out to anybody 00:18:12 elliott: http://www.girlgeniusonline.com/comic.php?date=20070625 00:18:32 -!- CakeProphet has quit (Client Quit). 00:18:49 -!- CakeProphet has joined. 00:18:49 -!- CakeProphet has quit (Changing host). 00:18:50 -!- CakeProphet has joined. 00:19:48 My dad is offering to send me to another country away from him 00:20:00 (Sorry about the blogging) 00:20:13 that seems rather excessive 00:20:19 (what do you mean it's just passive-aggressiveness) 00:20:24 elliott, I'm wondering if I should 00:20:30 Get away from him for a while 00:20:30 elliott, yeah, it's effectively the same as getting a transfer. 00:20:30 better education???? 00:20:57 I don't know if or how education plays into it 00:21:00 dad doesnt care for proximity? 00:21:05 Sgeo: There are rather less drastic ways to get away from someone, but if he's actually seriously offering to help make that happen, then it might be the easiest... 00:21:23 Erm, should have mentioned that it's temporary 00:21:29 oh 00:21:30 Well yeah. 00:21:34 That was obvious. 00:21:41 stay away forever 00:21:53 I suggest joining a circus (note: I do not really suggest this) 00:22:25 Sgeo, *which* country. 00:22:54 another one 00:22:55 Phantom_Hoover, a choice, I think. Between England, Israel, and Australia 00:22:56 Zimbabwe. 00:23:11 You don't want to come to England. Or Israel. 00:23:14 But they don't have running water in Australia. 00:23:34 just waiting for mean reversion on those zimbabwe dollars! :) 00:23:37 Sgeo, you should totally come to Scotland. It's like England, but with worse food. 00:23:37 sure they have. i'm not sure you'll be able to catch it. 00:23:52 and better whiskey 00:23:55 What an endorsement. 00:23:56 is australian weather good this time of year 00:23:57 So you can get over your eating problems! 00:24:01 is english weather good this time of year 00:24:01 newsham: whisky. 00:24:08 * oerjan swats that e off newsham -----### 00:24:10 whisk{ey,y} 00:24:12 monqy: English weather is as good as English weather gets this time of year, i.e. not 00:24:31 "Australian weather" is a bit of a misnomer isn't it, which of the five thousand climates do you mean :P 00:24:32 I mean the pain is reduced when you can eat a single deep-fried Mars Bar and be over your recommended daily everything. 00:25:16 I wish I could take "deep-fried Mars Bar" as a serious nutritional suggestion. I wouldn't mind that being a main food source 00:25:17 -!- CakeProphet has quit (Ping timeout: 240 seconds). 00:25:19 Or some other sort of bar 00:25:22 elliott: did you miss http://www.girlgeniusonline.com/comic.php?date=20070625 00:25:29 oerjan: no 00:25:32 oerjan: I couldn't think what to say 00:25:56 what is this nonsens 00:25:56 e 00:27:06 monqy: which nonsense? 00:27:14 that nonsense 00:27:18 is there more than one 00:27:23 always 00:32:23 -!- CakeProphet has joined. 00:32:23 -!- CakeProphet has quit (Changing host). 00:32:23 -!- CakeProphet has joined. 00:34:04 you know what sucks 00:34:13 vacuum! 00:34:15 data AnteValue ref = AnteNil 00:34:15 | AnteSymbol !String 00:34:16 | AnteInt !Integer 00:34:16 | AntePrim !Prim 00:34:16 | AntePair !(ref (AnteValue ref)) !(ref (AnteValue ref)) 00:34:16 | AnteEnv !(Env ref) 00:34:18 I can't write 00:34:30 copy :: (Ref a, Ref b) => AnteValue a -> IO (AnteValue b) 00:34:31 copy (AntePair car cdr) = ... 00:34:31 obviously 00:34:34 copy (AnteEnv e) = ... 00:34:36 copy x = return x 00:34:39 because the types don't match for the last line 00:34:49 so I have to write four boring copiers 00:35:46 :t Map.foldWithKey 00:35:46 Couldn't find qualified module. 00:35:48 :t Data.Map.foldWithKey 00:35:49 forall k a b. (k -> a -> b -> b) -> b -> M.Map k a -> b 00:35:59 elliott: some kind of GADT maybe? 00:36:03 :t Data.Map.foldWithKey (\k a m -> liftM3 Data.Map.insert (copy k) (return a) m) (return Map.empty) 00:36:04 Couldn't find qualified module. 00:36:07 :t Data.Map.foldWithKey (\k a m -> liftM3 Data.Map.insert (copy k) (return a) m) (return Data.Map.empty) 00:36:08 Not in scope: `copy' 00:36:12 :t Data.Map.foldWithKey (\k a m -> liftM3 Data.Map.insert (?copy k) (return a) m) (return Data.Map.empty) 00:36:13 forall k (m :: * -> *) k1 a. (Ord k1, ?copy::k -> m k1, Monad m) => M.Map k a -> m (M.Map k1 a) 00:36:31 oh wait 00:36:31 duh 00:36:47 -!- CakeProphet has quit (Ping timeout: 252 seconds). 00:37:15 :t Data.Map.foldWithKey (\k a m -> liftM2 (Data.Map.insert k) (?copy a) m) (return Data.Map.empty) 00:37:16 forall a (m :: * -> *) k a1. (Ord k, ?copy::a -> m a1, Monad m) => M.Map k a -> m (M.Map k a1) 00:38:48 ?pl sequence [return x, copy f] 00:38:49 sequence [return x, copy f] 00:38:54 -!- CakeProphet has joined. 00:39:22 :t liftM2 (:) (return ?x) (return `fmap` copy ?y) 00:39:23 Not in scope: `copy' 00:39:24 :t liftM2 (:) (return ?x) (return `fmap` ?copy ?y) 00:39:25 forall a1 (m :: * -> *) t. (?x::a1, Monad m, ?copy::t -> m a1, ?y::t, Functor m) => m [a1] 00:39:32 :t \x y -> liftM2 (:) (return x) (return `fmap` ?copy y) 00:39:33 forall a1 (m :: * -> *) t. (Monad m, ?copy::t -> m a1, Functor m) => a1 -> t -> m [a1] 00:39:43 ?pl liftM2 (:) (return x) (return `fmap` ?copy y) 00:39:43 (line 1, column 38): 00:39:43 unexpected "?" 00:39:43 expecting space or simple term 00:39:48 ?pl \x y -> liftM2 (:) (return x) (return `fmap` copy y) 00:39:48 (. ((return `fmap`) . copy)) . fmap . (:) 00:39:51 ?pl \y -> liftM2 (:) (return x) (return `fmap` copy y) 00:39:52 ((x :) `fmap`) . (return `fmap`) . copy 00:39:55 ?pl liftM2 (:) (return x) (return `fmap` copy y) 00:39:55 (x :) `fmap` (return `fmap` copy y) 00:40:20 can i friend you on oercut, elliott? 00:40:39 oercut? ...orkut? 00:41:03 oercut, my cutting edge site 00:41:13 sharp 00:41:48 :t sequence 00:41:49 forall (m :: * -> *) a. (Monad m) => [m a] -> m [a] 00:42:00 beta invites is such a clever marketting scheme for google 00:42:13 i kinda wanna be on google+, and I hate social networking sites 00:42:43 newsham, I want to be on Google+, but they don't let under-18s on. 00:43:14 wait, a social networking site that excludes people under 18? 00:43:14 elliott had the prescience to lie about his age, but I foolishly associated my real age with my YouTube account ages ago and it's stuck now. 00:43:18 how is that gonna work 00:43:23 It's an initial legal thing. 00:43:27 :t Data.Map.foldlWithKey 00:43:27 forall b k a. (b -> k -> a -> b) -> b -> M.Map k a -> b 00:45:01 monqy: http://sprunge.us/Gghf 00:45:08 monqy: this is much nicer than before 00:45:13 monqy: no unsafeness whatsoever 00:45:16 longer too 00:45:35 does it work 00:45:35 monqy: well it grew before this :P 00:45:51 monqy: the only added code is the Ref typeclass and copy + uses, pretty much 00:45:52 and yes, it does 00:45:57 now I can write the reader 00:50:18 *Main> freeze code 00:50:19 AntePair (ID {unID = AnteSymbol "eval"}) (ID {unID = AntePair (ID {unID = AnteEnv (Env (ID {unID = fromList [(AnteSymbol "eval",AntePrim )]}) NullEnv)}) (ID {unID = AntePair (ID {unID = AnteSymbol "eval"}) (ID {unID = AnteNil})})}) 00:50:19 good 00:50:43 AntePair (ID (AnteSymbol "eval")) (ID (AntePair (ID (AnteEnv (Env (ID (fromList [(AnteSymbol "eval",AntePrim )])) NullEnv))) (ID (AntePair (ID (AnteSymbol "eval")) (ID AnteNil))))) 00:50:43 better 01:19:10 monqy we have neglected booleans 01:21:27 i guess if integers deserve language membership booleans do too 01:21:56 monqy: maybe i should just use symbols 01:22:01 monqy: maybe numbers should just be symbols too 01:22:09 maybe everything should be a symb- HELLOOOOOOO TCL 01:22:23 symbols or functions or environments 01:22:28 or lists????????? 01:30:57 symbols, lists, and numbers 01:31:08 what 01:31:22 Oh, remind me to read context next time. But just thinking of Picolisp 01:33:12 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:36:32 http://www.reddit.com/r/math/comments/ig4qb/results_from_the_rmath_survey/c23ihcq?context=1 XD 01:42:41 -!- CakeProphet has quit (Read error: Operation timed out). 01:55:03 *Main> test 01:55:03 x 01:55:03 *** Exception: AnteException (AntePair (ID (AnteSymbol "unbound-name")) (ID (AntePair (ID (AnteInt 120)) (ID AnteNil)))) 01:55:05 monqy: excellent 01:55:25 that's it failing to find a readtable entry for 'x', btw, not it failing to look up the name x 01:57:00 what's that 120 01:58:20 monqy: ascii 'x' 01:58:25 well unicode 'x' 01:58:48 oh it's not a symbol? 01:58:58 yeah 01:59:06 and what's with it being in a pair with nil 01:59:28 or is that a list 02:01:13 monqy: list, yeah 02:01:21 it's (unbound-name 120) 02:07:41 Hello world!!! = ) You stumbled in my page? are you serious? are you a cute girl? = ) 02:07:42 --http://en.wikipedia.org/wiki/User:Fuwikepedia 02:09:28 monqy: i don't think lisp is a zero-lookahead language :( 02:09:42 who handcodes parsers 02:11:50 monqy: readtables, man 02:11:59 monqy: EXTENSIBLE SYNTAX 02:12:00 it's zepto 02:12:08 oh 02:12:12 zepto 02:13:35 (def (get-char p) ((p 'get-char))) ;; this leaves something to be desired 02:13:48 I guess I could have some sugar like (def (get-char p) (p.get-char)) but still 02:14:02 It would be nice if it didn't need declaring at all 02:16:59 monqy: oh i actually do need a buffer of some kind 02:17:24 any kind in particular? 02:21:14 as for the get-char thing my solution would be either not to have it as a function or do something bizarre to make explicit definition unnecessary (not vague at all) 02:22:39 monqy: technically i only need a one-char buffer 02:22:41 that seems... gross, though 02:22:45 I should have an arbitrary-length one 02:24:22 how will syntax extension work 02:28:44 monqy: i don't think lisp is a zero-lookahead language :( <-- i think you can tweak the grammar so it is, though 02:29:28 ending a (...) is obviously zero-lookahead 02:31:05 oerjan: it's not 02:31:23 why not 02:31:24 get char -> is it a )? end the list; is it a .? ok, then it's a dotted ending; or we just used up the first character of the object we want to read 02:31:25 "fuck" 02:31:56 you have not tweaked the grammar :P 02:32:32 list ::= "(" rest-list 02:33:12 oerjan: well if you're constrained to readtable form... 02:33:28 hm wait... 02:33:42 ok, if every readtable function gets the character it was triggered with 02:33:49 oh wait it doesn't even need to be 02:33:52 ok it is zero lookahead 02:33:53 I think 02:33:57 elliott, did we ever play the Birds map? 02:33:59 I think we did 02:34:01 Sgeo: whuh? 02:34:26 elliott, the hard map for Tube Trap 02:35:54 oh 02:35:57 we played the hardest one, yes 02:35:58 yeah that one 02:36:38 -!- elliott has quit (Read error: Connection reset by peer). 02:36:42 -!- elliott_ has joined. 02:36:48 * elliott_ is up for a W:A game, btw 02:36:52 just remembered it existed :D 02:37:12 Um, does my mentioning its existence count as "just"? 02:37:21 what? 02:37:36 You said you just remembered it existed right after I reminded you 02:37:45 yeah 02:37:47 that reminded me 02:38:06 Not now, I want to watch some Doctor Who 02:38:13 But soon, as in in some days maybe 02:39:11 That's a strange definition of soon 02:42:48 * Sgeo waits while his font cache is rebuilt. 02:43:27 I have no idea why a font cache should need to be rebuilt in order to watch a video 02:43:34 I remember seeing something about it thought 02:44:55 oerjan: oh noi think i need language extneiosna s :( 02:45:08 Found an article about disabling it, not sure I should trust the author, but it makes sense 02:45:14 what video player 02:45:15 and link 02:45:21 http://techdows.com/2010/12/disable-building-font-cache.html 02:45:22 VLC 02:45:33 OH NO THE OWNER OF TECHDOWS IS A VIRUS WRITER DUDE 02:45:53 I think I may be stereotyping :( 02:46:42 Sgeo: stereotyping what 02:47:03 Based on the English failures :( 02:53:06 00:55:56 When I was 11 years old I visited Neverland Ranch for 3 days and had a ball with Michael Jackson. We would go gokarting around sipping jesus juice and cuddling. My favorite moment was when we climbed a tree, and he pulled off my shorts and underoos to stick his nice hot nigger dick into my ass while I grabbed a giraffe's head by the horns to felate me! 02:53:07 a day in #haskell 02:53:59 -!- elliott_ has changed nick to elliott. 02:54:09 -!- elliott has quit (Changing host). 02:54:09 -!- elliott has joined. 02:54:35 elliott: i take it he's not a regular 02:55:02 :D 02:55:03 you don't say 02:57:30 eek spam 03:15:32 so now michael jackson's black again? 03:17:13 Is a ++ b ++ c processed as (a ++ b) ++ c or a ++ (b ++ c)? (Yes, I know they are the same due to the rules of monoids, but this makes a difference in execution time due to the nature of linked lists) 03:17:19 don't the two have identical performance due to laziness 03:17:23 gotta ask here so i don't look like an idiot :D 03:17:31 no. 03:17:45 oh 03:17:49 when they're forced wont the times be diff? 03:18:08 a ++ (b ++ c) only traverses a once, while (a ++ b) ++ c does it twice, conceptually. 03:18:53 oh right 03:18:55 this is sort of why why ShowS exists. 03:18:57 *-why 03:24:50 -!- hagb4rd has quit (Ping timeout: 255 seconds). 03:41:29 -!- azaq23 has quit (Ping timeout: 255 seconds). 03:44:57 -!- azaq23 has joined. 04:22:40 -!- BeholdMyGlory has quit (Ping timeout: 252 seconds). 04:27:00 -!- azaq23 has quit (Quit: Leaving.). 04:38:22 Friend decided to try a supposed hacking tool to get back into his email address 04:38:47 I try the tool, give it a mailinator address, and ... it returns a hash 04:39:22 link 04:40:09 "get back into his email address" how does one get back into an address what 04:40:29 http://www.learntohack.co.uk/ 04:40:35 promising url 04:40:41 quality site design 04:40:45 looks legitimate 04:41:22 wow this video 04:43:04 I just realized "hacking" by this POS into an example.com address would have been funnier 04:43:28 i like how it's called learntohack.co.uk and there is no learning it is just what 04:44:34 "Your email selbri@example.com is invalid or has been banned." 04:44:50 lol 04:45:09 Wait, that's the "real" email it asked for, not the one I tried to "hack" into 04:45:29 i do not like this site 04:45:32 im staying away from it 04:46:14 Now that I changed my "real" email address, it's going through, hacking "sumti@example.com" 04:47:19 "Hacking process completed 04:47:19 Example.com Account: sumti@example.com 04:47:19 MD5 Hash Password found: 04:47:19 0bcdf471234c4ed69707aca9ab859e0e" 04:48:05 now get the real password 04:48:14 and ruin sumti@example.com's life 05:11:39 Certainly it's worth the 90 €. 05:17:24 does it just hash the email 05:19:33 yes, but using only the finest salt. 05:19:36 genuine maldon. 05:20:11 -!- aloril has quit (Ping timeout: 258 seconds). 05:20:18 i love slat, it is the best 05:20:19 salt 05:20:37 how ionic 05:20:50 too much salt makes things yucky 05:20:56 real yucky 05:21:54 http://www.youtube.com/watch?v=oGjcuFzSkqE http://www.youtube.com/watch?v=0yOLKotyDBY <-- i was profoundly affected by this work of art, namely in that it made me want to put salt on everything for the remainder of the month 05:22:04 you wacky americans and your wacky tv shows 05:22:09 so... wacky 05:23:31 this wacky american tv show is so wacky 05:24:19 wow im dying 05:25:11 you should not have juggled knives while chatting on irc 05:26:00 monqy: it's great i love it 05:27:28 "marshmallow...y...ness of the marshmallow" good quotes 05:28:20 monqy: he ends up arguing with mary poppins later i want to know who caused this show to come into being and hug them 05:29:10 missy puffinstuff 05:32:01 monqy: he makes like peanut maple bacon later :( 05:32:07 its so nice ive forgotten what it actually is 05:32:40 right now hes using a ruler to make papercraft 05:33:10 oh god i forgot the toffee he means 05:33:11 with soy sauce 05:33:16 makes 05:33:18 nt means 05:33:21 oh god 05:33:26 it looks delicious 05:33:28 trust me 05:33:29 :< 05:33:48 -!- aloril has joined. 05:35:32 adding soy sauce now 05:36:18 "invented after French sometime after fire, but before the plane" 05:37:02 edible bling 05:39:08 wow did he grow another arm 05:39:13 what 05:39:28 god this caramel looks so lovely in the pan 05:39:30 i want to lick it 05:39:35 how was he holding the knife and the scissors and the pizza cutter 05:39:47 yess break down those glucose and fructose 05:39:54 i don't want them to be atoms any more 05:39:56 caramel plasma 05:41:48 monqy: i love how much of a salt nerd eh is 05:41:52 i dont know what all these salts are 05:41:56 edible 05:41:56 [asterisk]he 05:41:57 bling 05:42:09 sugar that bacon 05:43:00 smoked sea salt mmmm 05:43:46 lol at three and a half hours 05:43:49 for the edible bling 05:44:15 monqy: yes i can confirm he grew another arm 05:44:29 god these look delicious 05:46:22 what do americans consider thick cut bacon 05:46:26 it looks not very thick 05:47:29 "pat it down lightly; don't pat, just give it a pat" 05:47:52 monqy: god on top of ice cream yes 05:48:01 :( 05:48:04 food shows are bad 05:48:12 they make me want to eat more things than people can eat 05:56:11 -!- Lymia has quit (Ping timeout: 240 seconds). 05:56:52 -!- Lymia has joined. 06:03:45 -!- elliott_ has joined. 06:03:57 -!- elliott has quit (Read error: Connection reset by peer). 06:05:05 "Luke, this is Bruce from the FPUG. I really like your idea. It’s very similar to mine, except that I have been working on it full-time for many years and I am putting on the final touches. I know that if I met someone who was almost done with what I was just starting I would have a lot of strong feelings about having my idea and motivation stolen. (Then I’d get over it:) ) The thing is, it was MUCH harder than I ever thought it would be and I had 06:05:05 to learn and invent a lot of mathematics. I also found some really cool things that will totally change the way we interact with computers; e.g., an almost perfect map from the mathematical model of information to natural languages. I also found that what I was doing was really discovery and that there is very close to one way to do it." 06:05:10 hehehe 06:05:14 random blog comments are great 06:05:18 why do i even have this tab open 06:05:22 dunno where it came from 06:06:10 "an almost perfect map from the mathematical model of information to natural languages 06:06:24 http://theslipstream.net/drupal1/sites/default/files/garland_logo.png what the fuck 06:06:27 my crackpot sense is tingling... 06:06:32 oerjan: why do you think i quoted it :D 06:06:42 last time i heard something like that it was vortex math 06:06:44 http://theslipstream.net/drupal1/sites/default/files/garland_logo.png <-- this is the logo of their...thing 06:06:52 Imagine being able to access your documents, files, and applications from anywhere in the world, on any device, at any time. 06:06:52 Imagine customizing your every computer screen according to your needs. 06:06:52 Imagine sharing knowledge at lightning speed and becoming an authority in an information community. 06:06:52 Imagine a world where you are always in control of your personal information. 06:06:52 Imagine a world where medical cures are researched, discovered, and put to market within six months. 06:06:54 Imagine a world where political decisions are made by reason rather than shouting matches at the nearest town hall. 06:07:06 it's going to literally cure disease and politics 06:07:29 wowee 06:07:39 sign everybody up this isntant 06:10:30 -!- Nisstyre has quit (Remote host closed the connection). 06:11:09 -!- Nisstyre has joined. 06:11:34 -!- Nisstyre has quit (Remote host closed the connection). 06:11:47 -!- monqy has quit (Disconnected by services). 06:11:49 -!- monqy_ has joined. 06:11:54 -!- monqy_ has changed nick to monqy. 06:12:36 -!- Nisstyre has joined. 06:13:38 -!- Nisstyre has quit (Remote host closed the connection). 06:14:51 -!- Nisstyre has joined. 06:18:18 -!- sebbu has quit (Read error: Connection reset by peer). 06:18:50 -!- sebbu has joined. 06:18:50 -!- sebbu has quit (Changing host). 06:18:50 -!- sebbu has joined. 06:19:36 monqy: http://www.scribd.com/doc/40697621/Mathematics-Ends-in-Meaninglessness-ie-self-contradiction 06:19:59 all the best papers site mathsisfun.com 06:20:17 2)The Australian leading erotic poet philosopher colin leslie dean points out1+1=1 06:20:17 06:20:17 get a salt shaker 06:20:30 i can prove that aliens exist 06:20:39 AUSTRALIAS LEADING EROTIC POET COLIN LESLIE DEAN 06:20:44 06:20:45 This paper is a case study in regard to the view that all views collapse intomeaninglessness or absurdity or self contradiction. 06:20:46 BeedaWeeda: orly 06:20:49 wtf kind of view is this 06:20:55 yes 06:21:00 monqy: an self-contradictory one 06:21:01 OH THE IRONY 06:21:03