00:00:57 <newsham> i'll frien dyou on facebook and then you'll be super famouse like me!
00:01:16 -!- myndzi has joined.
00:02:10 <Phantom_Hoover> Oh wait turns out I have an uncle who once had an article in a newspaper about his company.
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 <newsham> "'I'm not on facebook' is the new 'I don't have a TV'"
00:07:12 <newsham> fwiw, I dont use facebook either (though I do have 2 accounts)
00:07:45 <newsham> once at a Berlin concert I touched the bodyguard who was carrying Terri Nunn
00:09:05 <elliott> <newsham> "'I'm not on facebook' is the new 'I don't have a TV'"
00:09:19 <elliott> it's perfectly alright not to own a TV, it's just mentioning that you don't all the time that's annoying
00:10:08 <newsham> i'm watching tv as we speak, but i have a high opinion of people who manage to avoid it
00:10:31 <Phantom_Hoover> newsham, turns out said uncle's company helped make the first mobile phone topup things.
00:10:46 <Phantom_Hoover> Also I was once totally in the same room as Iain Banks.
00:11:25 <newsham> why dont you come up when i google "same room as iain banks"?
00:11:32 <elliott> 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:48 <oerjan> Phantom_Hoover: bah boring. see if your great great grandfather was involved in the first telegraph, or something.
00:11:56 <newsham> elliott: the coffee happens to be Law&Order
00:12:02 <elliott> his great great grandfather _was_ the first telegraph
00:12:13 <elliott> newsham: why do people like police procedurals :/
00:12:13 <Phantom_Hoover> oerjan, unlikely, given that my family is basically all boring Irish people after a point.
00:12:35 <elliott> http://upload.wikimedia.org/wikipedia/en/4/4f/The_Clang.ogg ;; put on repeat, go insane
00:12:44 <Phantom_Hoover> Although I guess maybe one of them moved crates for Marconi when he broadcast that transatlantic signal or something.
00:12:59 <newsham> elliott: did I mention, "no colon"?
00:13:25 <oerjan> i once played sprouts with john conway. so there.
00:13:28 <newsham> i'm not talking L&O:LA or SVU or anything
00:13:41 -!- CakeProphet has quit (Ping timeout: 240 seconds).
00:13:49 <newsham> i once made out with ladyada, is that worth anything?
00:14:13 <Phantom_Hoover> newsham, depends, was it the real Ada, or some cheap imitator?
00:14:59 <newsham> it was countace lovelace.. i was young and needed th emoney
00:15:02 <Phantom_Hoover> Did you solicit a prostitute to pretend to be Ada Lovelace is basically what I am asking.
00:15:11 -!- CakeProphet has joined.
00:15:12 -!- CakeProphet has quit (Changing host).
00:15:12 -!- CakeProphet has joined.
00:15:39 <Phantom_Hoover> newsham, also you're an internet celebrity yourself, so that doesn't count.
00:16:08 <elliott> yeah everyone knows the famous news ham
00:17:39 <Phantom_Hoover> newsham, you have a WP article; that's good enough for me.
00:18:03 <newsham> they'll give those out to anybody
00:18:12 <oerjan> 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 <Sgeo> My dad is offering to send me to another country away from him
00:20:00 <Sgeo> (Sorry about the blogging)
00:20:13 <elliott> that seems rather excessive
00:20:19 <elliott> (what do you mean it's just passive-aggressiveness)
00:20:24 <Sgeo> elliott, I'm wondering if I should
00:20:30 <Sgeo> Get away from him for a while
00:20:30 <Phantom_Hoover> elliott, yeah, it's effectively the same as getting a transfer.
00:20:30 <monqy> better education????
00:20:57 <Sgeo> I don't know if or how education plays into it
00:21:00 <newsham> dad doesnt care for proximity?
00:21:05 <elliott> 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 <Sgeo> Erm, should have mentioned that it's temporary
00:21:53 <elliott> I suggest joining a circus (note: I do not really suggest this)
00:22:55 <Sgeo> Phantom_Hoover, a choice, I think. Between England, Israel, and Australia
00:23:11 <elliott> You don't want to come to England. Or Israel.
00:23:14 <elliott> But they don't have running water in Australia.
00:23:34 <newsham> just waiting for mean reversion on those zimbabwe dollars! :)
00:23:37 <Phantom_Hoover> Sgeo, you should totally come to Scotland. It's like England, but with worse food.
00:23:37 <oerjan> sure they have. i'm not sure you'll be able to catch it.
00:23:56 <monqy> is australian weather good this time of year
00:24:01 <monqy> is english weather good this time of year
00:24:08 * oerjan swats that e off newsham -----###
00:24:12 <elliott> monqy: English weather is as good as English weather gets this time of year, i.e. not
00:24:31 <elliott> "Australian weather" is a bit of a misnomer isn't it, which of the five thousand climates do you mean :P
00:24:32 <Phantom_Hoover> 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 <Sgeo> 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 <Sgeo> Or some other sort of bar
00:25:22 <oerjan> elliott: did you miss http://www.girlgeniusonline.com/comic.php?date=20070625
00:25:32 <elliott> oerjan: I couldn't think what to say
00:25:56 <monqy> what is this nonsens
00:27:06 <oerjan> monqy: which nonsense?
00:27:18 <monqy> is there more than one
00:32:23 -!- CakeProphet has joined.
00:32:23 -!- CakeProphet has quit (Changing host).
00:32:23 -!- CakeProphet has joined.
00:34:15 <elliott> data AnteValue ref = AnteNil
00:34:16 <elliott> | AntePair !(ref (AnteValue ref)) !(ref (AnteValue ref))
00:34:30 <elliott> copy :: (Ref a, Ref b) => AnteValue a -> IO (AnteValue b)
00:34:31 <elliott> copy (AntePair car cdr) = ...
00:34:39 <elliott> because the types don't match for the last line
00:34:49 <elliott> so I have to write four boring copiers
00:35:49 <lambdabot> forall k a b. (k -> a -> b -> b) -> b -> M.Map k a -> b
00:35:59 <oerjan> elliott: some kind of GADT maybe?
00:36:03 <elliott> :t Data.Map.foldWithKey (\k a m -> liftM3 Data.Map.insert (copy k) (return a) m) (return Map.empty)
00:36:07 <elliott> :t Data.Map.foldWithKey (\k a m -> liftM3 Data.Map.insert (copy k) (return a) m) (return Data.Map.empty)
00:36:12 <elliott> :t Data.Map.foldWithKey (\k a m -> liftM3 Data.Map.insert (?copy k) (return a) m) (return Data.Map.empty)
00:36:13 <lambdabot> forall k (m :: * -> *) k1 a. (Ord k1, ?copy::k -> m k1, Monad m) => M.Map k a -> m (M.Map k1 a)
00:36:47 -!- CakeProphet has quit (Ping timeout: 252 seconds).
00:37:15 <elliott> :t Data.Map.foldWithKey (\k a m -> liftM2 (Data.Map.insert k) (?copy a) m) (return Data.Map.empty)
00:37:16 <lambdabot> 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 <elliott> ?pl sequence [return x, copy f]
00:38:54 -!- CakeProphet has joined.
00:39:22 <elliott> :t liftM2 (:) (return ?x) (return `fmap` copy ?y)
00:39:24 <elliott> :t liftM2 (:) (return ?x) (return `fmap` ?copy ?y)
00:39:25 <lambdabot> forall a1 (m :: * -> *) t. (?x::a1, Monad m, ?copy::t -> m a1, ?y::t, Functor m) => m [a1]
00:39:32 <elliott> :t \x y -> liftM2 (:) (return x) (return `fmap` ?copy y)
00:39:33 <lambdabot> forall a1 (m :: * -> *) t. (Monad m, ?copy::t -> m a1, Functor m) => a1 -> t -> m [a1]
00:39:43 <elliott> ?pl liftM2 (:) (return x) (return `fmap` ?copy y)
00:39:48 <elliott> ?pl \x y -> liftM2 (:) (return x) (return `fmap` copy y)
00:39:48 <lambdabot> (. ((return `fmap`) . copy)) . fmap . (:)
00:39:51 <elliott> ?pl \y -> liftM2 (:) (return x) (return `fmap` copy y)
00:39:52 <lambdabot> ((x :) `fmap`) . (return `fmap`) . copy
00:39:55 <elliott> ?pl liftM2 (:) (return x) (return `fmap` copy y)
00:39:55 <lambdabot> (x :) `fmap` (return `fmap` copy y)
00:40:20 <newsham> can i friend you on oercut, elliott?
00:41:03 <oerjan> oercut, my cutting edge site
00:41:49 <lambdabot> forall (m :: * -> *) a. (Monad m) => [m a] -> m [a]
00:42:00 <newsham> beta invites is such a clever marketting scheme for google
00:42:13 <newsham> i kinda wanna be on google+, and I hate social networking sites
00:42:43 <Phantom_Hoover> newsham, I want to be on Google+, but they don't let under-18s on.
00:43:14 <newsham> wait, a social networking site that excludes people under 18?
00:43:14 <Phantom_Hoover> 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:27 <lambdabot> forall b k a. (b -> k -> a -> b) -> b -> M.Map k a -> b
00:45:01 <elliott> monqy: http://sprunge.us/Gghf
00:45:08 <elliott> monqy: this is much nicer than before
00:45:13 <elliott> monqy: no unsafeness whatsoever
00:45:35 <elliott> monqy: well it grew before this :P
00:45:51 <elliott> monqy: the only added code is the Ref typeclass and copy + uses, pretty much
00:45:57 <elliott> now I can write the reader
00:50:19 <elliott> AntePair (ID {unID = AnteSymbol "eval"}) (ID {unID = AntePair (ID {unID = AnteEnv (Env (ID {unID = fromList [(AnteSymbol "eval",AntePrim <Prim eval>)]}) NullEnv)}) (ID {unID = AntePair (ID {unID = AnteSymbol "eval"}) (ID {unID = AnteNil})})})
00:50:43 <elliott> AntePair (ID (AnteSymbol "eval")) (ID (AntePair (ID (AnteEnv (Env (ID (fromList [(AnteSymbol "eval",AntePrim <Prim eval>)])) NullEnv))) (ID (AntePair (ID (AnteSymbol "eval")) (ID AnteNil)))))
01:19:10 <elliott> monqy we have neglected booleans
01:21:27 <monqy> i guess if integers deserve language membership booleans do too
01:21:56 <elliott> monqy: maybe i should just use symbols
01:22:01 <elliott> monqy: maybe numbers should just be symbols too
01:22:09 <elliott> maybe everything should be a symb- HELLOOOOOOO TCL
01:22:23 <monqy> symbols or functions or environments
01:30:57 <Sgeo> symbols, lists, and numbers
01:31:22 <Sgeo> 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 <oerjan> 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 <elliott> *** Exception: AnteException (AntePair (ID (AnteSymbol "unbound-name")) (ID (AntePair (ID (AnteInt 120)) (ID AnteNil))))
01:55:25 <elliott> that's it failing to find a readtable entry for 'x', btw, not it failing to look up the name x
01:58:48 <monqy> oh it's not a symbol?
01:59:06 <monqy> and what's with it being in a pair with nil
02:07:41 <elliott> Hello world!!! = ) You stumbled in my page? are you serious? are you a cute girl? = )
02:07:42 <elliott> --http://en.wikipedia.org/wiki/User:Fuwikepedia
02:09:28 <elliott> monqy: i don't think lisp is a zero-lookahead language :(
02:09:42 <monqy> who handcodes parsers
02:13:35 <elliott> (def (get-char p) ((p 'get-char))) ;; this leaves something to be desired
02:13:48 <elliott> I guess I could have some sugar like (def (get-char p) (p.get-char)) but still
02:14:02 <elliott> It would be nice if it didn't need declaring at all
02:16:59 <elliott> monqy: oh i actually do need a buffer of some kind
02:17:24 <monqy> any kind in particular?
02:21:14 <monqy> 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 <elliott> monqy: technically i only need a one-char buffer
02:22:41 <elliott> that seems... gross, though
02:22:45 <elliott> I should have an arbitrary-length one
02:24:22 <monqy> how will syntax extension work
02:28:44 <oerjan> <elliott> 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 <oerjan> ending a (...) is obviously zero-lookahead
02:31:24 <elliott> 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:56 <oerjan> you have not tweaked the grammar :P
02:32:32 <oerjan> list ::= "(" rest-list
02:33:12 <elliott> oerjan: well if you're constrained to readtable form...
02:33:42 <elliott> ok, if every readtable function gets the character it was triggered with
02:33:49 <elliott> oh wait it doesn't even need to be
02:33:57 <Sgeo> elliott, did we ever play the Birds map?
02:33:59 <Sgeo> I think we did
02:34:26 <Sgeo> elliott, the hard map for Tube Trap
02:35:57 <elliott> we played the hardest one, yes
02:36:38 -!- elliott has quit (Read error: Connection reset by peer).
02:36:42 -!- elliott_ has joined.
02:37:12 <Sgeo> Um, does my mentioning its existence count as "just"?
02:37:36 <Sgeo> You said you just remembered it existed right after I reminded you
02:38:06 <Sgeo> Not now, I want to watch some Doctor Who
02:38:13 <Sgeo> But soon, as in in some days maybe
02:39:11 <elliott_> That's a strange definition of soon
02:42:48 * Sgeo waits while his font cache is rebuilt.
02:43:27 <Sgeo> I have no idea why a font cache should need to be rebuilt in order to watch a video
02:43:34 <Sgeo> I remember seeing something about it thought
02:44:55 <elliott_> oerjan: oh noi think i need language extneiosna s :(
02:45:08 <Sgeo> Found an article about disabling it, not sure I should trust the author, but it makes sense
02:45:21 <Sgeo> http://techdows.com/2010/12/disable-building-font-cache.html
02:45:33 <elliott_> OH NO THE OWNER OF TECHDOWS IS A VIRUS WRITER DUDE
02:45:53 <Sgeo> I think I may be stereotyping :(
02:47:03 <Sgeo> Based on the English failures :(
02:53:06 <elliott_> 00:55:56 <Giraffer> 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:59 -!- elliott_ has changed nick to elliott.
02:54:09 -!- elliott has quit (Changing host).
02:54:09 -!- elliott has joined.
02:54:35 <oerjan> elliott: i take it he's not a regular
03:15:32 <newsham> so now michael jackson's black again?
03:17:13 <elliott> <nand`> 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 <elliott> don't the two have identical performance due to laziness
03:17:23 <elliott> gotta ask here so i don't look like an idiot :D
03:17:49 <newsham> when they're forced wont the times be diff?
03:18:08 <oerjan> a ++ (b ++ c) only traverses a once, while (a ++ b) ++ c does it twice, conceptually.
03:18:55 <oerjan> this is sort of why why ShowS exists.
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 <Sgeo> Friend decided to try a supposed hacking tool to get back into his email address
04:38:47 <Sgeo> I try the tool, give it a mailinator address, and ... it returns a hash
04:40:09 <monqy> "get back into his email address" how does one get back into an address what
04:40:29 <Sgeo> http://www.learntohack.co.uk/
04:40:41 <monqy> quality site design
04:43:04 <Sgeo> I just realized "hacking" by this POS into an example.com address would have been funnier
04:43:28 <monqy> i like how it's called learntohack.co.uk and there is no learning it is just what
04:44:34 <Sgeo> "Your email selbri@example.com is invalid or has been banned."
04:45:09 <Sgeo> Wait, that's the "real" email it asked for, not the one I tried to "hack" into
04:45:29 <monqy> i do not like this site
04:45:32 <monqy> im staying away from it
04:46:14 <Sgeo> Now that I changed my "real" email address, it's going through, hacking "sumti@example.com"
04:47:19 <Sgeo> "Hacking process completed
04:47:19 <Sgeo> Example.com Account: sumti@example.com
04:47:19 <Sgeo> MD5 Hash Password found:
04:47:19 <Sgeo> 0bcdf471234c4ed69707aca9ab859e0e"
04:48:05 <monqy> now get the real password
04:48:14 <monqy> and ruin sumti@example.com's life
05:11:39 <fizzie> Certainly it's worth the 90 €.
05:17:24 <elliott> does it just hash the email
05:19:33 <oerjan> yes, but using only the finest salt.
05:20:11 -!- aloril has quit (Ping timeout: 258 seconds).
05:20:18 <elliott> i love slat, it is the best
05:20:50 <monqy> too much salt makes things yucky
05:21:54 <elliott> 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 <elliott> you wacky americans and your wacky tv shows
05:23:31 <monqy> this wacky american tv show is so wacky
05:25:11 <oerjan> you should not have juggled knives while chatting on irc
05:26:00 <elliott> monqy: it's great i love it
05:27:28 <elliott> "marshmallow...y...ness of the marshmallow" good quotes
05:28:20 <elliott> 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:32:01 <elliott> monqy: he makes like peanut maple bacon later :(
05:32:07 <elliott> its so nice ive forgotten what it actually is
05:32:40 <monqy> right now hes using a ruler to make papercraft
05:33:10 <elliott> oh god i forgot the toffee he means
05:33:48 -!- aloril has joined.
05:35:32 <monqy> adding soy sauce now
05:36:18 <elliott> "invented after French sometime after fire, but before the plane"
05:39:08 <monqy> wow did he grow another arm
05:39:28 <elliott> god this caramel looks so lovely in the pan
05:39:35 <monqy> how was he holding the knife and the scissors and the pizza cutter
05:39:47 <elliott> yess break down those glucose and fructose
05:39:54 <elliott> i don't want them to be atoms any more
05:41:48 <elliott> monqy: i love how much of a salt nerd eh is
05:41:52 <elliott> i dont know what all these salts are
05:43:46 <elliott> lol at three and a half hours
05:44:15 <elliott> monqy: yes i can confirm he grew another arm
05:46:22 <elliott> what do americans consider thick cut bacon
05:47:29 <elliott> "pat it down lightly; don't pat, just give it a pat"
05:47:52 <elliott> monqy: god on top of ice cream yes
05:48:12 <elliott> 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 <elliott_> "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 <elliott_> 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:14 <elliott_> random blog comments are great
06:05:18 <elliott_> why do i even have this tab open
06:06:10 <oerjan> "an almost perfect map from the mathematical model of information to natural languages
06:06:24 <elliott_> http://theslipstream.net/drupal1/sites/default/files/garland_logo.png what the fuck
06:06:27 <oerjan> my crackpot sense is tingling...
06:06:32 <elliott_> oerjan: why do you think i quoted it :D
06:06:42 <monqy> last time i heard something like that it was vortex math
06:06:44 <elliott_> http://theslipstream.net/drupal1/sites/default/files/garland_logo.png <-- this is the logo of their...thing
06:06:52 <elliott_> Imagine being able to access your documents, files, and applications from anywhere in the world, on any device, at any time.
06:06:52 <elliott_> Imagine customizing your every computer screen according to your needs.
06:06:52 <elliott_> Imagine sharing knowledge at lightning speed and becoming an authority in an information community.
06:06:52 <elliott_> Imagine a world where you are always in control of your personal information.
06:06:52 <elliott_> Imagine a world where medical cures are researched, discovered, and put to market within six months.
06:06:54 <elliott_> Imagine a world where political decisions are made by reason rather than shouting matches at the nearest town hall.
06:07:06 <elliott_> it's going to literally cure disease and politics
06:07:39 <monqy> 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 <elliott_> monqy: http://www.scribd.com/doc/40697621/Mathematics-Ends-in-Meaninglessness-ie-self-contradiction
06:19:59 <elliott_> all the best papers site mathsisfun.com
06:20:17 <elliott_> 2)The Australian leading erotic poet philosopher colin leslie dean points out1+1=1
06:20:39 <elliott_> AUSTRALIAS LEADING EROTIC POET COLIN LESLIE DEAN
06:20:45 <monqy> This paper is a case study in regard to the view that all views collapse intomeaninglessness or absurdity or self contradiction.
06:20:49 <monqy> wtf kind of view is this
06:21:00 <elliott_> monqy: an self-contradictory one
06:21:12 <monqy> what if its just absurd
06:21:31 <monqy> Mathematic is noexception Mathematics has many paradoxes which show mathematics ends inmeaninglessness
06:21:45 <monqy> mathematics: a view????
06:22:15 <pikhq_> monqy: Reality has paradoxes, so reality ends in meaninglessness.
06:22:43 <elliott_> BeedaWeeda: do you mean to prove that alien life exists, or that alien life forms have visited Earth
06:22:47 <monqy> i like these reasons
06:22:55 <monqy> x can = 1 and .999[bar] at the same time or in other words1=.999[bar]-to infinity ie a finite number = an infinite number- acontradictions in terms
06:23:03 <monqy> MATHEMATICS JUST AD HOC ARBITRARILY DEFINESAWAY THE SELF-CONTRADICTIONS IN MATHEMATICS IETHE AXIOM OF SEPARATION –which is impredicative and thusinvalid
06:23:19 <monqy> MATHEMATICS IS NOT THE LANGUAGE OFTHE UNIVERSE as it is mathematics is just abunch of meaningless symbols connected byrules
06:23:21 <pikhq_> elliott_: Both would be fairly interesting.
06:23:34 <elliott_> pikhq_: the former can be proved: whoops probability qed
06:23:35 <pikhq_> (though only one would be *surprising*)
06:23:47 <monqy> is this paper thing
06:23:54 <pikhq_> elliott_: If the universe is finite, then there's a chance there exists no alien life.
06:23:56 -!- cheater_ has joined.
06:24:04 <BeedaWeeda> elliot: aliens have visited earth but i cant prove it, i can only prove they exist
06:24:13 <pikhq_> Though it would be more surprising for that to be the case than for there to be aliens.
06:24:34 <BeedaWeeda> http://apod.nasa.gov/apod/image/9702/deep_hst_big.jpg
06:24:43 <BeedaWeeda> that is absolutely proof of extra terrestrials
06:24:45 <elliott_> wow, it's from nasa too, i can believe that
06:24:49 <elliott_> BeedaWeeda: ok can you point to the alien in that image?
06:24:56 <monqy> its right over there
06:25:42 <BeedaWeeda> each one has hundreds of trillions of stars
06:25:44 <elliott_> BeedaWeeda: ok: is the proof: There are a huge number of galaxies which are all immensely large in themselves and contain countless numbers of planets; it is absurd to suppose that none of them would have any extraterrestrial life; therefore extraterrestrial life exists?
06:25:59 <elliott_> I can accept that, it's obviously not a formal proof but it basically works out
06:26:08 <elliott_> BeedaWeeda: So, you suppose that some of these extraterrestrials have developed faster-than-light travel?
06:26:14 <elliott_> That is the only way they could have visited Earth.
06:26:33 <pikhq_> I'm not *quite* willing to accept that, but I'm willing to accept that there's something like a 99.9% chance that there's extraterrestrial life. So, no *notable* argument from me. :P
06:26:47 <BeedaWeeda> theres probably a shitload of life within our own galaxy
06:27:01 <elliott_> BeedaWeeda: Why do you believe this? i.e., why do you not instead believe that extraterrestrials have not visited earth, and faster-than-light travel is impossible, as all current physical theories state?
06:27:13 <elliott_> Is it because you have evidence of extraterrestrials visiting Earth?
06:27:34 <elliott_> I'm not sure I understand; I'm interested to know what you mean.
06:27:47 <pikhq_> ... Is your argument "science is primitive therefore aliens", or is there something I'm missing?
06:27:50 <BeedaWeeda> how long has science really been around
06:27:55 <elliott_> BeedaWeeda: do you have an objection to the scientific method?
06:28:01 <elliott_> i.e., do you believe it is not an effective way of figuring things out?
06:28:09 <elliott_> or do you just object to current scientific theories?
06:28:19 <elliott_> if so, do you believe that current scientific theories were not developed correctly according to the scientific method?
06:28:50 <BeedaWeeda> you are asking too many questions my friend
06:29:03 <elliott_> BeedaWeeda: I'm just trying to understand
06:29:12 <elliott_> I don't believe what you believe, but if I ask you questions,
06:29:23 <elliott_> then I can get information about what you believe; and if I think you're convincing, then I could start believing it.
06:29:29 <elliott_> I'm just trying to expand my worldview.
06:29:44 <elliott_> Can I ask another question?: Do you think I've been asking the wrong questions/bad questions?
06:30:03 <monqy> in what way does science "have" dogma
06:30:37 <elliott_> BeedaWeeda: ok, here's a simpler question: Why do you believe aliens have visited earth?
06:31:01 -!- CakeProphet has joined.
06:31:01 -!- CakeProphet has quit (Changing host).
06:31:01 -!- CakeProphet has joined.
06:31:12 <BeedaWeeda> ufo reports have clearly documented them for the past 60 years
06:31:35 <elliott_> BeedaWeeda: do you know what this channel is about, btw?
06:31:42 <pikhq_> How does that demonstrate aliens have visited earth? There are many things those could be.
06:32:04 <elliott_> BeedaWeeda: oh, wait: did Cocytus send you here?
06:32:09 <BeedaWeeda> they did recover crashed discs after all
06:32:20 <pikhq_> Hallucinations, military secrets, hoaxes, etc.
06:32:23 <monqy> wasn't beedaweeda here a few days ago too or was it yesterday or am I confusing him with someone else
06:32:30 <BeedaWeeda> the airforce said it themselves after the roswell incident
06:32:38 <BeedaWeeda> they quickly changed their story of course
06:32:50 <pikhq_> Of course, we can't immediately *rule out* aliens, but it's not the only possible, or even probable, answer.
06:32:50 <elliott_> BeedaWeeda: do you know what this channel is for? just a question
06:33:34 <elliott_> freenode is mostly about open source stuff, so you're unlikely to find a relevant channel on this network
06:33:35 <BeedaWeeda> i thought this was a kind of occult/paranormal/metaphysics chatroom
06:34:10 <oerjan> you're not the first to think that.
06:34:16 <BeedaWeeda> in certain megalithic structures around the world
06:34:47 <elliott_> did they have electric drills is this what you're saying
06:35:09 <BeedaWeeda> they probably had something better than that
06:36:10 <BeedaWeeda> do a little research on this place called puma punku
06:36:22 <BeedaWeeda> the megaliths found there are freakin huge
06:36:31 <BeedaWeeda> and they interlock together like a puzzle
06:36:55 <BeedaWeeda> you mean to tell me people of this time period were moving those!?
06:37:03 <elliott_> have you heard of ropes and stuff
06:37:16 <pikhq_> BeedaWeeda: Moving large objects is actually nowhere near as hard as you think.
06:37:34 <pikhq_> Only takes a single clever man and some carpentry to pull off, TBH.
06:38:19 <BeedaWeeda> some of the megaliths are so perfectly and precisely carved that modern engineers have come forth saying they couldn't even replicate it if they tried
06:38:34 <elliott_> there are millions of engineers
06:38:40 <elliott_> and a lot of them believe really stupid stuff
06:38:54 <pikhq_> Now, the *cutting* of the structures at Pumapunku is more impressive, and I can't say I have any particular explanation for how that happened.
06:38:59 <elliott_> unless they're experts in their field, "an engineer" saying something means very little
06:39:06 <oerjan> "this engineer is so stupid he couldn't even make a megalith"
06:39:18 <pikhq_> Though it must be said, my not having an explanation does not imply that any explanation someone comes up with must be true.
06:39:37 <monqy> no it means mind lasers
06:39:44 <elliott_> but anyway, whatever the reason is for whatever mysteries of construction remain, there is undoubtedly a simpler answer than "all of our current physics is totally incorrect, and intelligent extraterrestrials built ancient structures"
06:39:56 <elliott_> because "ancient humans built it with this tool or method we forgot about" is WAY simpler than that
06:40:53 <oerjan> mind the lasers, or you may get cut
06:41:43 <BeedaWeeda> i think your speaking out of ignorance
06:42:07 <elliott_> BeedaWeeda: and _i_ think you're a gullible idiot.
06:42:16 <elliott_> sorry, i tried to humour you, but you couldn't justify a single thing to me.
06:42:24 -!- aloril has quit (Read error: Operation timed out).
06:43:37 <BeedaWeeda> oh, so you have activated some of your logic, is that what your telling me?
06:43:55 <elliott_> I've activated my logic beams and they're cutting perfect holes into megalithic structures.
06:44:02 <elliott_> Sorry if you get caught in the blast.
06:44:08 <pikhq_> BeedaWeeda: I'll make this easy for you. "Extraordinary claims require extraordinary evidence." You have extraordinary claims. Where is your extraordinary evidence?
06:44:32 <monqy> those pictures just dont say "mind lasers" to me
06:44:39 <pikhq_> elliott_: We always are. :P
06:45:50 <BeedaWeeda> what mind lasers? did i say that or are you making things up?
06:45:58 <oerjan> I DECREE THIS CONVERSATION TO BE NO WEIRDER THAN WHAT WE USUALLY TALK ABOUT
06:46:31 <elliott_> BeedaWeeda: You've basically rejected logic by calling anyone who asks questions that conform to a logical structure of debate closed-minded and ignorant, and telling us instead to basically just decide you're right based on unfounded claims and pictures.
06:46:47 <elliott_> BeedaWeeda: Since you're not being reasonable, we don't have to be either.
06:46:55 <elliott_> You've forfeited your right to a logical debate.
06:47:35 <olsner> oerjan: Nothing is weird.
06:48:10 <BeedaWeeda> UFO's have been documented for hundreds of years, and im not being reasonable or logical by suggesting that aliens are and have been visiting us for a long time?
06:48:34 <pikhq_> BeedaWeeda: The documentation of UFOs does not imply there must be aliens.
06:48:37 <elliott_> BeedaWeeda: Those stories are widely regarded by experts to be untrue.
06:48:41 <BeedaWeeda> i showed a picture of 1,000 galaxies with quadrillions of stars and suggest that alien life exists, and thats not logical or reasonable?
06:48:46 <elliott_> You didn't provide evidence otherwise or give a reason for dismissing those judgements.
06:48:50 <monqy> elliott_: experts who havent researched the field
06:48:50 <pikhq_> BeedaWeeda: It implies something unknown.
06:48:54 <monqy> elliott_: (clearly)
06:49:01 <elliott_> BeedaWeeda: Besides, your claims about the megaliths are more important.
06:49:02 <pikhq_> BeedaWeeda: When something is unknown, you don't get to fill in the gaps with whatever you feel like.
06:49:06 <elliott_> BeedaWeeda: You haven't justified those at all.
06:49:29 <BeedaWeeda> excuse me elliott, im not doing your research for YOU, go research it yourself instead of harping on me to educate you
06:49:40 <elliott_> BeedaWeeda: If you're not trying to educate me, then... go away?
06:49:45 <elliott_> You're the one who said you could prove that aliens existed.
06:49:56 <elliott_> You're the one who then went off on a tangent about UFOs visiting earth.
06:50:01 <pikhq_> elliott_: I did actually look into that specific megalith a bit. Pumapunku exhibits some fairly impressive stoneworking.
06:50:10 <elliott_> You are the one who initiated this, so you can't exactly complain that I'm not doing my research.
06:50:28 <BeedaWeeda> you probably believe everything the media tells you
06:50:38 <elliott_> yes i watch fox news every day
06:50:43 <elliott_> they let me know about the threats to my great country
06:50:48 <pikhq_> BeedaWeeda: *Ahahahah*. You think we believe everything the media tells you? Not even slightly.
06:50:55 <pikhq_> BeedaWeeda: We believe what can be shown by evidence.
06:51:02 <elliott_> BeedaWeeda: im glad that you believe that anyone who disagrees with you on a single thing, must necessarily be a complete sheep
06:51:05 <elliott_> so everyone is either a clone of you
06:51:14 <elliott_> because it means you never have to take anyone seriously who says you're full of shit
06:51:19 <elliott_> you are a boring idiot go away
06:51:25 <pikhq_> (which, incidentally, *is* science.)
06:51:34 <elliott_> pikhq_: you might not want to speak for everyone in the channel.
06:51:43 <pikhq_> elliott_: Okay, okay, s/we/I/
06:51:52 <monqy> science is (big rocks => mind lasers) shoo
06:52:09 <elliott_> Big Rocks, Mind Lasers -- good album title
06:52:21 <BeedaWeeda> elliott, only some fucking moron like you could turn a calm and peaceful discussion into some ridiculous argument like this
06:52:31 <monqy> welcome to esoteric
06:52:35 <monqy> home of fucking morons
06:52:45 <pikhq_> BeedaWeeda: Evidence. Do you have it?
06:52:51 <elliott_> BeedaWeeda: you realise ive just been doing this for entertainment from the start
06:53:02 <elliott_> BeedaWeeda: Anyway: I was completely civil from you until the moment where you stopped answering my questions and just called me ignorant.
06:53:17 -!- BeedaWeeda has left.
06:53:44 <elliott_> <elliott_> have i upset you i'm sorry
06:53:52 <elliott_> maybe he'll be entertaining now
06:54:04 <elliott_> oerjan cant ban me for this because its not in channel mwa ha ha ha ha
06:54:12 <pikhq_> It's amusing how utterly foreign science seems to be for people.
06:54:31 <elliott_> oerjan: im trying to antagonise em in /msg
06:54:52 <monqy> harrassments not cool 8(
06:54:55 <pikhq_> I mean, you'd think "Believe that which can be shown by evidence" wouldn't be hard, but... Holy fuck people.
06:54:57 <elliott_> <elliott_> <elliott_> have i upset you i'm sorry
06:55:19 <elliott_> im going to code more ante-zepto now its good and nice
06:57:48 -!- aloril has joined.
06:58:50 -!- oerjan has set topic: Do not feed the elliotts | Logs: http://codu.org/logs/_esoteric/ and http://tunes.org/~nef/logs/esoteric/?C=M;O=D.
06:59:07 <elliott_> we were keeping that topic............
06:59:10 <elliott_> zzo set it and it was amazing.....
06:59:50 <oerjan> sorry, i needed to include an important safety message
07:01:28 * oerjan gives elliott_ some bacon ===\__/
07:02:19 <elliott_> "Unlike Heidegger, the Ancient Egyptians were normal people who had normal thoughts."
07:02:51 <oerjan> sounds obvious when you put it that way
07:03:43 <olsner> normal? they were Ancient Egyptians, they should have ancient thoughts - in egyptian!
07:05:43 <elliott_> oerjan: do you think i upset beedaweeda
07:05:58 <elliott_> i will have to track them down in real life and say sorry with a big hammer
07:10:26 <elliott_> oerjan: did you know that carpal tunnel is now illegal
07:10:41 <oerjan> elliott_: um yes you did
07:11:00 <elliott_> oerjan: no, they upset themselves :D
07:11:20 -!- CakeProphet has quit (Ping timeout: 252 seconds).
07:18:58 <elliott_> monqy: ante-zepto is almost three hundred lines : O
07:19:09 <monqy> are they good lines
07:20:01 <elliott_> "Once you understand Monads, I think you have made the transition from a beginner haskell programmer to an intermediate haskeller." oh my god what is this shit
07:21:14 <pikhq_> Funny, I thought understanding Monads was a trivial exercise. :P
07:22:35 <elliott_> total used in directory 28 available 67807276
07:22:35 <elliott_> drwxr-xr-x 2 elliott elliott 4096 2011-07-05 08:17 .
07:22:35 <elliott_> drwxr-xr-x 55 elliott elliott 4096 2011-07-05 04:11 ..
07:22:35 <elliott_> -rw-r--r-- 1 elliott elliott 5982 2011-07-04 10:04 ante.greatawesomegoodyes.hs
07:22:37 <elliott_> -rw-r--r-- 1 elliott elliott 9436 2011-07-05 08:17 ante.yesthebestfuckinganteeverfuckingyessedsozeptoohmygodyouhavenoidea.hs
07:22:54 <elliott_> im considering... splutting it... into maltiple... fules....
07:23:46 <olsner> if you read about monads before having a clue, you'd be likely to conclude that they are really scary and require loads of work to understand
07:23:58 <oerjan> wait you don't have to capitalize module file names?
07:24:17 <elliott_> oerjan: you can name haskell files whatever you want.
07:24:24 <elliott_> "import Foo.Bar" will look at Foo/Bar.hs, though.
07:27:01 <elliott_> monqy: oh god no i cant split it up
07:39:22 <elliott_> monqy should i sleep or code zepto and eat bacon
07:39:31 -!- Lymia has changed nick to Lymee.
07:39:32 <monqy> is it sugared bacon
07:44:29 <elliott_> monqy: im not sure if i can zepto any more
07:44:40 <elliott_> maybe i'll have some bacon while sleeping...
07:44:59 <monqy> that might be bad????
07:45:40 <oerjan> hm, sweet and sour bacon
07:46:03 <elliott_> ok im going to try and find bacon or sleep
07:46:23 <elliott_> too find out watch thing is true....... buy the shirt?
07:59:20 -!- monqy has quit (Quit: hello).
08:34:05 -!- oerjan has quit (Quit: leaving).
08:47:17 -!- Vorpal has joined.
08:51:00 -!- foocraft_ has joined.
08:51:18 -!- foocraft has quit (Read error: Connection reset by peer).
08:57:02 -!- foocraft_ has changed nick to foocraft.
09:24:45 -!- ais523_ has joined.
09:27:48 -!- ais523 has joined.
09:34:31 -!- ais523 has quit (Read error: Connection reset by peer).
09:34:53 -!- ais523 has joined.
10:20:05 -!- falso___ has joined.
10:20:24 <falso___> just to tell that i have released a IDE form Brainfuck for OSX
10:20:55 <ais523> hmm, the world needs more esolang IDEs
10:20:59 <ais523> even if they are all for BF
10:21:42 <falso___> next stop: create one for malbolge
10:21:50 <falso___> http://blol.org/1742-brainfucker
10:22:03 <falso___> doesnt support INPUT yet, just OUTPUT
10:22:40 <coppro> `addquote < falso___> its also open sores
10:22:41 <HackEgo> 481) < falso___> its also open sores
10:22:47 -!- cheater_ has quit (Ping timeout: 250 seconds).
10:22:57 <falso___> yap, i always say open sores instead of open source
10:23:02 <falso___> because that just what it is :-P
10:23:03 <coppro> ais523: hmm... do you think it needs more context?
10:23:10 <ais523> nah, it's fine as it is
10:25:05 -!- cheater_ has joined.
10:27:11 <ais523> in that case, we need a decent befunge IDE
10:27:30 <falso___> im strill trying to understand how that 99 bottles of beer in malbolge was done
10:27:41 <falso___> i wanted to make a simpler algorithm
10:27:54 <Deewiant> I've started some very minimal work on one twice but never got anywhere
10:27:55 <falso___> but dont know how to start..., just bruteforcing every combination
10:28:00 <falso___> and thats... not really programming
10:28:11 <ais523> bruteforcing Malbolge has been tried
10:28:13 <falso___> a friend of mine did a "MALBOLGE-SDK"
10:28:21 <ais523> it eventually resulted in a hello world, that wasn't even capitalised correctly
10:28:25 <falso___> i did two algorithms in bruteforce
10:28:30 <ais523> (as in, random capitalisation for each letter)
10:28:46 <falso___> i fixed that Hello World in wikipedia
10:30:03 <falso___> for the bruteforce theres this application: http://www.cs.uit.no/~johnm/code/hacks/
10:30:16 <coppro> ais523: My first idea is a control flow graph
10:30:40 <coppro> overlaid on the source
10:31:11 <falso___> --- translated from portuguese to english - http://translate.google.com/translate?js=n&prev=_t&hl=en&ie=UTF-8&layout=2&eotf=1&sl=pt&tl=en&u=http%3A%2F%2Fblol.org%2F735-malbolge-desmistificado&act=url
10:32:04 <falso___> i really wish i could contact the japaneses that did the 99 bottles of beer
10:32:13 <falso___> to understand how did he do that
10:51:33 -!- foocraft has quit (Quit: if you're going....to san. fran. cisco!!!).
10:53:03 -!- cheater_ has quit (Ping timeout: 255 seconds).
11:04:47 -!- Phantom_Hoover has joined.
11:38:31 -!- choochter has joined.
11:46:35 -!- Lymee has quit (Ping timeout: 241 seconds).
12:02:21 -!- Lymee has joined.
12:06:33 -!- Lymee has quit (Ping timeout: 240 seconds).
12:14:43 -!- CakeProphet has joined.
12:14:43 -!- CakeProphet has quit (Changing host).
12:14:43 -!- CakeProphet has joined.
12:17:09 -!- Lymee has joined.
12:27:45 <ais523> bleh, Ubuntu bug 290204 really makes me lose hope in humanity, or at least small subsets of it
12:28:13 <ais523> https://bugs.launchpad.net/ubuntu/+source/gnome-session/+bug/290204
12:28:32 <ais523> basically, shutting down Ubuntu works indirectly by calling shutdown(1)
12:28:36 <ais523> which plays a beep through the PC speaker
12:28:47 <ais523> the fix they used was to blacklist the kernel driver for the PC speaker
12:29:04 <ais523> rather than just adding an option to shutdown to not beep, or using telinit, or, really, anything else
12:31:33 <coppro> ais523: on the plus side
12:34:45 <coppro> http://llvm.org/bugs/show_bug.cgi?id=1000
12:36:01 <ais523> that's just a joke bug, I'm fine with those
12:36:17 <coppro> its a most excellent joke bug
12:36:25 <coppro> the best is who it's assigned to
12:38:17 <coppro> ok, that's enough william hartnell for this what-is-quickly-becoming-an-allnighter
12:51:41 <Phantom_Hoover> ""The whole notion of replacing π by 2π is silly since we all are very comfortable with π and multiplication by two."
12:51:52 <Phantom_Hoover> I think this is the best summary of the entire tau movement to date.
13:07:11 -!- oerjan has joined.
13:17:18 -!- copumpkin has joined.
13:23:04 <coppro> Phantom_Hoover: and yet mathematicians strive for perfection
13:23:28 <coppro> note that the physicists found h/2pi to be so useful they invented a symbol for it
13:23:39 <Phantom_Hoover> coppro, not the kind of perfection that comes from changing some factors.
13:25:27 <oerjan> pi vs. tau is only considered important by the same kind of people who insist on punishing pupils for putting a single line under the final answer when the school rules say there should be two.
13:26:28 <CakeProphet> > let { infixr 6 >=; x >= f = f x } in 10 >= 11 >= (+)
13:26:56 <CakeProphet> > let { infixr 6 >=; (>=) = flip ($) } in 10 >= 11 >= (+)
13:28:01 <CakeProphet> nah, no one uses comparison operators in modern programming anyways
13:28:03 <oerjan> although i think that's infixl
13:28:23 <ais523> coppro: engineers have separate names for units which are just 1 divided by existing units
13:28:33 <coppro> ais523: So do physicists
13:28:41 <ais523> well, it's the same units
13:29:02 <coppro> This is more because the English language sucks at expressing inverse units
13:29:03 <oerjan> inverse femtobarns ftw
13:29:36 <coppro> and also to avoid confusion
13:29:36 <CakeProphet> you coould just add the prefix in- to the unit name.
13:30:03 <coppro> since dimensions do not uniquely identify the physical properties of a unit
13:30:36 <CakeProphet> some are un-, some allow both. English is weird.
13:31:03 <coppro> dammit I need a snuggy
13:31:47 <oerjan> rather smaller, i believe :P
13:31:47 <Phantom_Hoover> A really, really small unit of area; it was used for nuclear physics.
13:32:15 <CakeProphet> oerjan: this seems like a clever way to advertise a barn your selling, by saying it the size of many barns.
13:32:46 <coppro> Phantom_Hoover: also known as Galileos
13:32:59 <oerjan> inverse femtobarns is the unit used for measuring the total amount of collision data collected by the LHC
13:34:21 <oerjan> i think it somehow measures how small an area they have statistically managed to hit with those collisions, or something
13:34:45 <CakeProphet> A barn (symbol b) is a unit of area. Originally used in nuclear physics for expressing the cross sectional area of nuclei and nuclear reactions, today it is used in all fields of high energy physics to express the cross sections of any scattering process.
13:34:55 <Phantom_Hoover> The electric constant would be in square amp-4th seconds-inkilograms-cubic inmetres?
13:35:06 <coppro> I much prefer microouthouse to femtobarn
13:35:48 <CakeProphet> so in fact, I could advertise my barn to be the size of over one thousand barns.
13:36:07 <CakeProphet> except for the whole size not being area thing.
13:36:14 <coppro> also, really, the unit used for measuring collision rate is finverse femtobarn-seconds
13:36:29 <coppro> or inverse femtobarn-hours or what have you
13:37:48 <CakeProphet> if I worked with the LHC I would convert all of my measurements to invese (beardseconds squared)-seconds
13:40:03 <CakeProphet> or I guess it would be (inverse beardseconds squared)-seconds
13:41:08 <oerjan> "Geneva, 17 June 2011. Today at around 10:50 CEST, the amount of data accumulated by LHC experiments ATLAS and CMS clicked over from 0.999 to 1 inverse femtobarn, signalling an important milestone in the experiments' quest for new physics."
13:41:52 <oerjan> "The number signifies a quantity physicists call integrated luminosity, which is a measure of the total number of collisions produced."
13:45:01 * Sgeo must not be allowed to fall asleep
13:47:25 * oerjan gently pushes Sgeo into a vat of chloroform
13:51:57 <oerjan> ars for dyeing your bears
13:52:46 <CakeProphet> huh, so the average beard only grows about 15 cm in a year. I guess that makes sense.
14:01:25 <oerjan> "Is benzene and chloroform mixture a good eluent?
14:02:33 <oerjan> i find the relevance somewhat elusive, at least
14:04:39 -!- Sgeo has quit (Ping timeout: 250 seconds).
14:06:28 <ais523> elliott_: how's scapegoat getting on?
14:06:38 <ais523> I just got into a darcs vs. svn flamewar in my boss's office
14:07:20 <ais523> and need a version control system that is unambiguously superior to all others in order to justify advocating it
14:07:51 <ais523> oerjan: it is also not a particularly good story
14:09:08 <ais523> in fact, it's probably not even worth randomly referencing
14:09:10 * ais523 glares at Phantom_Hoover
14:09:25 -!- copumpkin has quit (Remote host closed the connection).
14:09:50 -!- copumpkin has joined.
14:09:50 -!- copumpkin has quit (Changing host).
14:09:50 -!- copumpkin has joined.
14:12:11 * oerjan wonders what ais523 and Phantom_Hoover did, and whether it was entirely legal.
14:12:26 <ais523> oerjan: I didn't do anything
14:12:33 <ais523> in fact, I was on the other side of the argument
14:12:47 <oerjan> ic. that would increase the chances it wasn't legal, i guess.
14:13:26 <ais523> OK, so I was on the boring (and yet legal) side of the argument
14:13:45 <ais523> I still think it was a better side than yours
14:13:58 <ais523> and OK, there are some stupid laws around
14:14:19 <ais523> but the law in question is an entirely sensible one, and I would likely advocate for its adoption if for some reason it hadn't been introduced
14:15:04 * oerjan wasn't aware that there was some concept of "truly illegal"
14:15:09 <Phantom_Hoover> Well sure, but you're a joyless automaton with no love for the finer things.
14:15:39 <CakeProphet> oerjan: probably similar to "illegal and easily enforceable"
14:15:46 <ais523> oerjan: Phantom_Hoover seems to be using it as "illegal and I agree with it being illegal"
14:16:22 <Phantom_Hoover> Or at least a crime with no victims worth speaking of.
14:16:38 <oerjan> there was nothing of the victim left to complain!
14:17:24 <ais523> Phantom_Hoover: well, it never happened (I hope, at least)
14:17:38 <ais523> so it was victimless in the sense that it was never committed
14:28:38 <ais523> <Bob the Stupid Hamste> You have stumbled upon the difference between music lovers and audiophiles. Music lovers listen to music, where audiophiles listen to stereos.
14:33:17 -!- oerjan has quit (Quit: Good night).
14:37:30 <CakeProphet> I am a music lover that prefers higher quality speakers, but realizes that there's an upper ceiling where quality begins to matter less.
14:38:01 <CakeProphet> but I'll amend this situation when I get my first paycheck Thursday..
14:39:12 <CakeProphet> anyways, I'm going to do that thing animals do where there heart rate and brain activity slows down and the eyes experience phases of rapid movement.
14:39:28 <CakeProphet> *their ...I am messing those up a lot right now.
14:40:49 <CakeProphet> I will probably begin to hallucinate as I lie in a state of paralysis.
14:40:59 <CakeProphet> but I will have difficulty remember what it was that I hallucinated.
14:55:34 -!- Nisstyre has quit (Ping timeout: 240 seconds).
14:59:43 -!- BeholdMyGlory has joined.
15:27:31 -!- ais523 has quit (Read error: Connection reset by peer).
15:32:49 -!- ais523 has joined.
15:53:31 -!- sebbu has quit (Ping timeout: 260 seconds).
15:54:34 -!- sebbu has joined.
15:54:34 -!- sebbu has quit (Changing host).
15:54:35 -!- sebbu has joined.
16:05:15 -!- monqy has joined.
16:05:52 -!- derrik has joined.
16:10:21 -!- calamari has joined.
16:30:04 -!- MigoMipo has joined.
16:31:28 -!- calamari has quit (Quit: Leaving).
16:49:38 -!- Nisstyre has joined.
16:50:17 -!- derrik has quit (Ping timeout: 240 seconds).
16:52:03 -!- jcp has quit (Ping timeout: 276 seconds).
16:52:12 -!- jcp|1 has quit (Ping timeout: 240 seconds).
17:02:49 -!- ais523 has quit (Remote host closed the connection).
17:03:58 -!- ais523_ has quit (Quit: Page closed).
17:04:55 -!- cheater_ has joined.
17:33:40 -!- Sgeo has joined.
17:38:27 -!- Sgeo has quit (Ping timeout: 264 seconds).
17:42:44 -!- Sgeo has joined.
17:43:15 -!- Wamanuz4 has quit (Remote host closed the connection).
17:47:27 -!- Wamanuz has joined.
17:59:23 -!- azaq23 has joined.
18:31:18 -!- hiato has quit (Ping timeout: 276 seconds).
18:37:13 <Sgeo> Need to save power
18:37:43 <quintopia> i recommend rechargeable batteries
18:37:47 -!- Sgeo has quit (Quit: Leaving).
18:37:49 -!- hiato has joined.
18:38:31 -!- cheater_ has quit (Ping timeout: 250 seconds).
18:39:36 -!- cheater_ has joined.
18:42:19 -!- pikhq has joined.
18:43:29 -!- pikhq_ has quit (Read error: Operation timed out).
19:14:18 <quintopia> does a double fill only one word in 64-bit systems?
19:14:23 -!- jcp has joined.
19:24:30 <Phantom_Hoover> http://www.reddit.com/r/pics/comments/elnr4/our_heater_is_shit_so_this_is_how_were/c1915ub
19:24:33 -!- pikhq_ has joined.
19:24:40 -!- pikhq has quit (Ping timeout: 252 seconds).
19:27:23 <Phantom_Hoover> But you go on and uh...talk about computers..and kJ of energy..."
19:27:52 <Phantom_Hoover> Fun fact: these people were being upvoted until someone called in /r/Physics.
19:42:39 -!- jcp|other has joined.
19:51:58 -!- BeedaWeeda has joined.
19:52:09 <quintopia> "Its because oven heating elements generally aren't built for continuous duty, they're designed to cycle on and off. My guess is that some parts that normally don't get hot could get hot and become a fire hazard."
19:52:19 <quintopia> it's like this guy has never heard of broiling
19:54:01 <newsham> anyone can find a stupid person on the internet, only the truely talented time wasters actually bother to read them.
19:54:26 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net).
19:54:40 <Phantom_Hoover> newsham, I think the thing that hooked me was the fact that the hivemind was initially on the side of the idiots.
19:55:23 <quintopia> most of the people in this thread are not stupid. only about the usual amount
19:55:47 <quintopia> but i'm above and beyond the average time-waster. i'm a time-waster extraordinaire
19:55:52 <Phantom_Hoover> Yes, but some of them are really stupid, and it seems that they were initially the ones with upvotes.
19:56:08 -!- Vorpal has joined.
19:56:31 <newsham> maybe people are upvoting the idiots so we can all share in their glory
20:20:59 <Phantom_Hoover> Yes. That is what we shall tell ourselves from now on.
20:22:21 -!- Lymee has quit (Read error: Connection reset by peer).
20:22:30 <Gregor> http://sttngfashion.tumblr.com/post/5550581072/special-report-star-trek-the-next-generation-a-xxx Best
20:26:50 -!- boily has quit (Read error: Operation timed out).
20:32:44 <pikhq_> quintopia: Uh, I could've sworn that a 100% duty cycle was, in fact, designed for in electric heating elements.
20:38:43 -!- Sgeo has joined.
20:50:26 <quintopia> pikhq_: indeed. but it's been an hour since i was talking about idiots on reddit, and the moment has passed
20:54:52 <Phantom_Hoover> "Sorry, cows, your skin is really nice-looking when it gets made into shoes and jackets."
20:56:38 <olsner> a cow killed for meat and leather is still killed for leather?
20:56:50 <quintopia> i don't actually have many things made of cow leather
20:57:00 <quintopia> some kangaroo leather, some sheep leather...
20:57:08 <Phantom_Hoover> olsner, I suspect the demand for cows for food exceeds that for leather.
20:57:46 <quintopia> poll question: how would you interpret the following sentence: "Of course, this same person apparently knows casey through six degrees."
21:04:17 -!- augur has quit (Remote host closed the connection).
21:24:40 -!- Phantom__Hoover has joined.
21:24:44 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
21:25:19 <Phantom__Hoover> I am arriving at the hypothesis that Wine's D3D support crashes my computer.
21:43:49 -!- MigoMipo has quit (Read error: Connection reset by peer).
21:50:18 -!- NihilistDandy has joined.
21:50:34 -!- augur has joined.
22:10:25 <Gregor> http://www.facebook.com/photo.php?pid=32182066&l=d213217594&id=1055580469 Great advancement in ties, or /greatest/ advancement in ties?
22:11:32 <quintopia> man, content not found is my favorite kind of tie
22:17:49 <Gregor> quintopia: Content not found? wtf?
22:18:01 <Gregor> This is supposed to be a "for anyone, even not on Facebook" permalink: http://www.facebook.com/photo.php?pid=32182066&l=d213217594&id=1055580469
22:18:13 <Gregor> And it appears to be the same link I gave before ...
22:18:43 <Gregor> Argh, fuggin Facebook.
22:19:04 <Gregor> http://codu.org/tmp/futuretie.jpg
22:19:23 <quintopia> you can just right click->copy image location
22:19:54 <Gregor> http://a6.sphotos.ak.fbcdn.net/hphotos-ak-snc6/260546_1982623639337_1055580469_32182066_4949751_n.jpg lulsecurity
22:20:23 <quintopia> so you just tied two together backtoback?
22:21:04 <Gregor> Uhh, no, if that was what I had done it wouldn't look anything like that.
22:22:01 <Gregor> Have you never tied a tie before? X-D
22:22:11 <Gregor> Well, that is two ties, but the knot is, to my knowledge, unique.
22:22:44 <Gregor> Not that there's much knot there, it's just an up-and-over for the wide parts, the thin parts are tied for flourish :)
22:23:32 <quintopia> it looked about like how i imagine two ties tied in a standard fashion but with their knots intermingled would look
22:23:59 <Gregor> "Up-and-over" is the first step of nearly every tie knot.
22:24:05 -!- terix has joined.
22:24:26 <Gregor> Where you push the long part up through the loop created by wrapping it 'round the short part.
22:24:52 <Phantom__Hoover> (The only tie knot I know is the Windsor, which is apparently weird.)
22:25:03 <Gregor> It's not particularly weird, no ...
22:25:12 <Gregor> It's the canonical knot, although most people do the pussy half-windsor nowadays.
22:25:40 <quintopia> i usually do either a full windsor or fourinhand
22:25:41 -!- terix has left.
22:26:20 <Phantom__Hoover> Do you wrap the big end around the small end when tying it?
22:26:28 <quintopia> painted on the side of a building in reykjavik
22:27:55 <Gregor> Anyway, this isn't any standard tie knot, as indicated by the fact that it involves TWO EFFING TIES
22:28:08 <Gregor> But anyway, real question: Me wearing a double-tie all the time from now on. Yes/no?
22:32:02 <Phantom__Hoover> http://stackoverflow.com/questions/4272067/what-does-mean-in-mathematica
22:36:27 <Gregor> quintopia: I would need a pretty impressive collar for that :P
23:02:03 -!- Sgeo has quit (Ping timeout: 255 seconds).
23:28:22 <elliott_> 12:28:47: <ais523> the fix they used was to blacklist the kernel driver for the PC speaker
23:31:13 <elliott_> 13:23:04: <coppro> Phantom_Hoover: and yet mathematicians strive for perfection
23:31:22 <elliott_> 13:25:27: <oerjan> pi vs. tau is only considered important by the same kind of people who insist on punishing pupils for putting a single line under the final answer when the school rules say there should be two.
23:31:29 <elliott_> heh, but I'm not sure that's accurate
23:33:43 <elliott_> 13:41:08: <oerjan> "Geneva, 17 June 2011. Today at around 10:50 CEST, the amount of data accumulated by LHC experiments ATLAS and CMS clicked over from 0.999 to 1 inverse femtobarn, signalling an important milestone in the experiments' quest for new physics."
23:34:01 <elliott_> I would like to think that the only results kept at the end of the LHC experiments will be the single inverse femtobarn number.
23:34:08 <elliott_> All the rest will be thrown away now that we have THE RESULT.
23:35:11 <elliott_> 13:47:25: * oerjan gently pushes Sgeo into a vat of chloroform
23:35:21 -!- cheater_ has quit (Ping timeout: 255 seconds).
23:37:48 <newsham> its odd that his last name is almost "the gay"
23:37:51 <quintopia> george takei was hilarious in larry crowne
23:47:27 -!- mycrofti1 has changed nick to mycroftiv.
23:47:41 -!- cheater_ has joined.
23:51:35 -!- augur has quit (Remote host closed the connection).
23:55:09 -!- cheater_ has quit (Ping timeout: 255 seconds).