00:04:26 <Gregor> AnMaster: Yes, www.www.extra-www.org is my site
00:04:40 <ehird> Oh yeah, I didn't finish logreading
00:09:12 <ehird> 09:14:36 <AnMaster> oerjan, I know you are just joking
00:09:12 <ehird> 09:14:41 <AnMaster> and want to get it fixed too
00:09:12 <ehird> reading this is like nails down a blackboard
00:09:20 <ehird> and i have an urge to make them scratch your eyeballs out instead
00:09:42 <ehird> 09:17:07 * AnMaster makes a mental note to always use as much unicode notation when talking to oerjan as possible
00:09:42 <ehird> "Why don't I be a dick. Guys, guys, I'm joking. It's funny. Laugh."
00:10:50 <ehird> 09:22:31 <AnMaster> isn't it some windows only font?
00:10:50 <ehird> 09:22:53 <AnMaster> which raises the question: why the hell windows?
00:10:50 <ehird> gahh can't someone in here passively use windows without you ragging on them?
00:12:41 <ehird> 09:39:50 <AnMaster> <Deewiant> As I stare at it it shifts between symmetric and asymmetric. <-- hit that auto button on your TFT front panel RIGHT NOW!
00:12:41 <ehird> lol, using analog cables to digital devices, lol
00:14:03 <Deewiant> ?
00:14:18 <ehird> 10:05:16 <ais523> A y = B y doesn't necessarily imply A = B
00:14:19 <ehird> 10:05:20 <ais523> it does if it's true for all y, though
00:14:19 <ehird> false
00:14:27 <ehird> Deewiant: The "auto button" means "readjust for retarded VGA cable, lol"
00:14:34 <ehird> You click it, and the screen blurs in entirely different ways!
00:14:42 <Deewiant> Oh, okay.
00:14:46 <Deewiant> I always wondered what it was for.
00:15:08 <ehird> Believe me, a VGA cable makes TFTs reaaaaaaally crappy.
00:16:39 <ehird> 10:30:34 <oklopol> so this openoffice i've been hearing so much about for the last day or 10 years or something
00:16:39 <ehird> Turn back, before shitty software... ENVELOPS YOU!
00:21:37 -!- Gracenotes has joined.
00:29:46 <ehird> 11:20:32 <AnMaster> how does one list X resources...
00:29:47 <ehird> O_O
00:31:20 -!- augur has quit (Read error: 110 (Connection timed out)).
00:31:40 <ehird> 11:43:43 <AnMaster> sounds like OS X...
00:31:41 <ehird> 11:43:48 <AnMaster> all about the user experience
00:31:41 <ehird> 11:43:59 <AnMaster> how very relevant fungot's comment was
00:31:42 <ehird> was any of that meant to make sense
00:31:42 <fungot> ehird: set to latin-1 for another app, looks better with -o2 though.
00:31:49 <ehird> fungot just said some random shit, like usual
00:31:49 <fungot> ehird: and it exposes it doesn't matter? if so, that is
00:32:43 <ehird> 12:46:14 <AnMaster> Is 3↑↑↑↑3 too large to write out in this universe? (that is g₁ btw)
00:32:44 <ehird> um, yes
00:33:11 <ehird> G_1 is unfathomable multiples larger than 10^(10^100), i.e. a googolplex, which is too big
00:33:24 <ehird> the number of the atoms in the universe is 2**80 or something, or was it 10**80
00:33:29 <ehird> ** = ^
00:36:48 <Deewiant> 10**80 observable
00:36:59 <Deewiant> (estimated)
00:37:28 <Deewiant> And minimum, IIRC.
00:38:02 <ehird> whatever, clearly the number is below a googolplex unless the universe is way different than we thought
00:39:17 <oklopol> killing pigeons
00:39:30 <ehird> I LOVE KILLING PIGEONS? wait what
00:41:03 <oklopol> so sleepy
00:41:15 <oklopol> i'mgona, umm~>
00:41:40 -!- Warrigal has quit ("Reconnecting").
00:41:43 -!- Warrigal has joined.
00:51:54 -!- coppro has joined.
00:56:11 -!- augur has joined.
00:56:35 <ehird> asdjfkghjkl;'
01:19:12 -!- coppro has quit (Remote closed the connection).
01:20:09 <ehird> http://www.wolframalpha.com/input/?i=how+much+does+wolfram+alpha+cost
01:21:53 -!- Pthing has quit (Remote closed the connection).
01:25:08 -!- coppro has joined.
01:27:56 -!- coppro has quit (Remote closed the connection).
01:28:57 -!- coppro has joined.
02:08:34 -!- jix has quit (Read error: 113 (No route to host)).
02:52:32 <Gregor> `wolfram how much does wolfram alpha cost
02:52:43 <HackEgo> how much does wolfram alpha cost \  \ Input interpretation: \  \ If you have to ask... \ Result: \  \ ...you can' t afford it. \ according to the common aphorism \  \ Generated by Wolfram|Alpha (www.wolframalpha.com) on October 19, 2009 from Champaign, IL. © Wolfram Alpha LLC—A Wolfram Research Company \  \ 1 \  \ 
03:38:44 -!- coppro has quit (Remote closed the connection).
03:39:37 -!- ehird has quit (Read error: 145 (Connection timed out)).
03:40:23 -!- coppro has joined.
05:08:47 <MizardX> universe = everything. space = nothing
05:25:57 <augur> so
05:26:00 <augur> i saw zombieland
05:29:07 * Sgeo officially hates supybot
05:31:18 -!- puzzlet has quit (Remote closed the connection).
05:31:30 -!- puzzlet has joined.
05:51:46 -!- Sgeo has quit ("Leaving").
05:53:34 -!- Asztal has quit (Read error: 110 (Connection timed out)).
06:17:26 -!- oerjan has joined.
07:17:09 -!- oerjan has quit ("leaving").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:24:06 <AnMaster> <Gregor> AnMaster: Yes, www.www.extra-www.org is my site <-- php warning on validator page
08:24:06 <AnMaster> <ehird> 12:46:14 <AnMaster> Is 3↑↑↑↑3 too large to write out in this universe? (that is g₁ btw) <-- that no longer looks like unicode to me
08:24:06 <AnMaster> huh
08:24:06 <AnMaster> bbl university
08:28:26 <fizzie> Ooh, the famous BBL University.
08:29:49 -!- Rugxulo has joined.
08:30:10 <Rugxulo> so nobody here has mcbc10.zip lying around??
08:30:24 <Rugxulo> (Ben Olmstead's Befunge93 compiler using NASM)
08:34:17 <Rugxulo> what about Ryan Kusnery? anybody know how to contact him?
08:51:32 <Rugxulo> anyways, I converted his tiny DOS B93 interpreter to FASM/NASM/YASM (from TASM) ... and his site is mostly down now anyways   :-(
08:52:05 <Rugxulo> 1023 bytes (aPACK'd, otherwise 1213)
09:16:42 <Rugxulo> oh well, FYI:
09:16:44 <Rugxulo> http://board.flatassembler.net/download.php?id=4619
09:16:48 -!- Rugxulo has left (?).
10:27:52 -!- BeholdMyGlory has joined.
10:29:00 -!- MigoMipo has joined.
10:29:20 -!- MigoMipo has changed nick to migomipo.
11:13:27 -!- jix has joined.
11:53:57 -!- sebbu has joined.
11:54:25 -!- BeholdMyGlory has quit (Remote closed the connection).
11:56:40 -!- sebbu3 has joined.
12:10:15 -!- sebbu2 has quit (Read error: 110 (Connection timed out)).
12:12:14 -!- sebbu has quit (Read error: 110 (Connection timed out)).
12:14:40 -!- migomipo has quit ("Page closed").
12:35:18 -!- Asztal has joined.
12:50:06 -!- jix has quit (Read error: 110 (Connection timed out)).
12:56:42 -!- jix has joined.
13:30:53 -!- M0ny has joined.
13:31:59 -!- M0ny has quit (Client Quit).
13:56:58 -!- jix has quit (Read error: 110 (Connection timed out)).
14:24:40 -!- coppro has quit (Read error: 60 (Operation timed out)).
14:26:51 -!- Pthing has joined.
14:30:11 -!- oerjan has joined.
14:43:05 -!- BeholdMyGlory has joined.
14:56:25 <AnMaster> <fizzie> Ooh, the famous BBL University. <-- yeah. Almost as famous as MIT
14:57:25 <fizzie> "BBL can refer to: Baltic Basketball League". Must be that.
14:57:45 <AnMaster> fizzie, nah. Bitwise Binary Logic
14:58:23 <oerjan> AnMaster: now what the heck is shakespeare doing in the 17th century.
14:58:38 <AnMaster> oerjan, argh I haven't had time to read it yet. That breaks all rules
14:58:46 <AnMaster> oerjan, you can say "iwc" but not *what it was about*
14:58:51 <oerjan> *MWAHAHAHAHAHAHAHAHAHAHA*
14:59:01 <AnMaster> oerjan, so that means you are disqualified
14:59:13 <oerjan> don't worry it's not really a part of the punchline
14:59:29 <oerjan> or well it is, but not that particular absurdity
14:59:48 * oerjan realizes he just digged himself in deeper
15:00:30 <oerjan> also, it's clearly Booze, Boobs and (very occasionally) Lectures
15:01:43 <AnMaster> oerjan, D&D XD
15:03:27 <oerjan> poor kindly old palpatine, the players are clearly manipulating him towards evil.
15:05:18 <AnMaster> hm yeah
15:05:21 <oerjan> *the PCs
15:18:08 -!- ais523 has joined.
15:18:49 <AnMaster> hi ais523
15:18:49 <ais523> hi
15:28:56 -!- FireFly has joined.
15:36:16 -!- Gracenotes has quit ("Leaving").
15:46:59 -!- fax has joined.
15:52:35 -!- jix has joined.
15:55:38 -!- BeholdMyGlory has quit (Remote closed the connection).
16:00:45 -!- BeholdMyGlory has joined.
16:05:01 -!- ehird has joined.
16:05:16 <ehird> THE WORLD IS OVER!
16:06:41 <ehird> 00:24:06 <AnMaster> <ehird> 12:46:14 <AnMaster> Is 3↑↑↑↑3 too large to write out in this universe? (that is g₁ btw) <-- that no longer looks like unicode to me
16:06:43 <ehird> copied from logs.
16:06:57 <AnMaster> hm
16:08:00 <oerjan> double UTF-8 encoding
16:08:11 <oerjan> well, heck if i know what it's _this_ time
16:08:15 <ehird> More secure than ROT-26!
16:09:05 <oerjan> hm i guess it's triple encoded this time
16:10:01 <oerjan> except the euro char is not in Latin-1, must be something else it went through
16:10:08 <ehird> AnMaster sent as UTF-8, Safari misdecodes as whatever, when copied and sent in Colloquy, the misdecoding is encoded as UTF-8
16:10:17 <ehird> oerjan: Windows codepage thing, probably.
16:10:34 -!- MigoMipo has joined.
16:11:11 -!- kar8nga has joined.
16:12:43 <AnMaster> ehird, ah
16:13:01 <oerjan> oh wait IE actually _does_ show a euro when setting Western European ISO (and also Windows)
16:13:09 <oerjan> must not be actual latin-1 then
16:18:32 <fizzie> Latin-9, also called ISO-8859-15.
16:18:41 <fizzie> That's what every non-multibyte-eer's using nowadays.
16:19:05 <fizzie> There's just 8 characters changed from Latin-1: http://en.wikipedia.org/wiki/Iso-8859-15
16:27:44 <Deewiant> Silly them, don't they know that ISO-8859-15 is considered harmful? http://hsivonen.iki.fi/iso-8859-15/ Maybe they don't understand because the text is in Finnish
16:29:30 <ais523> what's the complaints there about?
16:29:34 <ais523> I don't understand Finnish either
16:32:36 <fizzie> Seems to be mostly about the general pointlessness of fiddling around with eight-bit encodings when you could be using UTF-8 and the full Unicode set instead. Also few cripes for latin-9 especially: not codepoint-wise forward-compatible with Unicode (like latin-1 is), and only fixes things the "language people" (as opposed to typographists) dislike.
16:38:45 -!- ehird has quit (Read error: 145 (Connection timed out)).
16:43:15 <Deewiant> fizzie: Typographers.
16:43:34 <fizzie> Though, why would not understanding a language be a problem any more? It's 2009! Just apply some machine translation.
16:43:43 <fizzie> "In 1999 there were already 8-bit encoding, which is both a language that people typograafikoiden pet signs: Windows-1252. The reasons for the avoidance of the encoding are not practical but principled (Spex comes from Microsoft) and theoretical (a muinaispääte may leave the most significant bit ignored and treated as an indication of control characters are printed).
16:43:43 <fizzie> ISO-8859-1 is printed on the signs of tavuittain forward compatible with Windows-1252's with. ISO-8859-1 is koodinumeroittain forward compatible with Unicode. ISO-8859-15 does not have to be compatible.
16:43:43 <fizzie> In 1999, there was also its tavuesitys Unicode and UTF-8. In fact, the ISO-8859-15 ratio is defined Unicode! "
16:44:15 <Deewiant> In fact, the ISO-8859-15 ratio is defined Unicode!
16:44:23 <fizzie> Indeed!
16:44:54 <Deewiant> speksi -> Spex, o_O
16:45:23 <fizzie> That's statistics (as opposed to linguistics) for you.
16:45:53 <fizzie> Admittedly I'm not quite sure what sort of statistics yield that particular translation.
16:46:07 <fizzie> But I'm sure it was no-one's decision.
16:54:23 -!- BeholdMyGlory has quit (Read error: 54 (Connection reset by peer)).
16:57:04 <oklopol> muinaispääte
16:57:09 -!- adam_d has joined.
17:00:04 -!- ehird has joined.
17:02:28 -!- BeholdMyGlory has joined.
17:23:59 -!- kar8nga has quit (Remote closed the connection).
17:34:01 -!- BeholdMyGlory has quit (Remote closed the connection).
17:37:03 -!- BeholdMyGlory has joined.
17:42:03 -!- ehird has quit.
17:42:21 -!- sebbu has joined.
17:49:12 -!- sebbu3 has quit (Connection timed out).
17:51:25 -!- puzzlet has quit (Remote closed the connection).
17:51:30 -!- puzzlet has joined.
18:00:57 -!- ais523 has quit ("Page closed").
18:19:05 -!- comex_ has changed nick to comex.
18:34:33 -!- augur has quit (Read error: 113 (No route to host)).
18:53:48 -!- augur has joined.
19:54:45 <fax> wdat abot turing oracle
19:58:07 <Slereah_> I'm a turing oracke
19:58:15 <Slereah_> I will solve your halting problems
19:58:18 <Slereah_> Are you halting?
19:58:21 <Slereah_> I will solve you
19:59:43 <fax> thank you
20:00:17 <fax> hey does anyone tabulate termination of programs?
20:00:25 <fax> for example + terminates, . terminates, ....
20:00:29 <fax> you might get a nice fractal?
20:01:05 <Slereah_> wat
20:01:13 <Slereah_> Oh.
20:01:29 <Slereah_> Well, the termination of a program is defined by the Turing set.
20:01:38 <Slereah_> It's an incompressible number
20:01:38 <fax> I never heard of Turing set.
20:01:45 <Slereah_> So it has no pattern.
20:01:58 <fax> oh oh really
20:02:04 <fax> but the complement has pattenr
20:02:07 <fax> pattern*
20:02:15 <Slereah_> Complement?
20:02:28 <fax> actually maybe I lid
20:02:33 <fax> I was going to say: for example X is a terminating program so is XX
20:02:37 <fax> but that's not true!
20:02:51 <Slereah_> Turing set, or equivalently the Turing number, of a machine is, for the nth element, 0 if the program defined by the Gödel number n halts, 1 otherwise
20:03:51 <fax> in the future we will use bits of turing set as currency
20:04:57 <Slereah_> IIRC, as an incompressible number, it has every pattern possible in it
20:05:14 <Slereah_> As the bits are random
20:09:13 -!- fax has quit (Nick collision from services.).
20:09:34 -!- fax has joined.
20:21:31 -!- oklopol has left (?).
20:43:48 -!- Rugxulo has joined.
20:48:39 -!- KingOfKarlsruhe has joined.
21:05:46 -!- Rugxulo has left (?).
21:18:05 <pikhq> The Turing set is also uncomputable. Hooray.
21:18:47 <fax> there should be a challenge to write short programs that produce most bits of turing set
21:45:05 <Slereah_> pikhq : Incompressible numbers are uncomputable :3
21:45:13 <Slereah_> That's why they're incompressible
21:45:44 <pikhq> Slereah_: Well... Yes...
21:48:53 * AnMaster stabs random apps that keeps thinking you want letter instead of A4.
21:49:23 <AnMaster> System wide settings: A4. But yet some apps 1) ignore it 2) refuse to remember your change to A4
21:49:36 <AnMaster> thunderbird is one example
21:50:38 <AnMaster> yes CUPS is set to A4 in all places
21:53:32 <Slereah_> fax : Writing bits of the Turing set is machine dependant
21:54:43 <Slereah_> Hell, it can be computable and all if it's for a non-TC machine!
21:55:26 <Slereah_> Computing the turing number of H9Q
21:55:27 <Slereah_> heheheh
22:01:38 -!- MigoMipo has quit ("Page closed").
22:07:01 <AnMaster> olsner, btw Länstrafiken Örebro's router finder has gone mad now... It suggested I should go by Eskilstuna to go between Örebro and my home (a few Scandinavian miles away)
22:07:11 <AnMaster> route*
22:07:27 <AnMaster> unable to reproduce it sadly :(
22:10:20 <oerjan> it's part of a great conspiracy to make all swedes get lost
22:10:43 <oerjan> (i hope it's not norwegian, i may have just committed treason then)
22:10:49 <AnMaster> XD
22:11:29 -!- KingOfKarlsruhe has quit (Remote closed the connection).
22:22:40 -!- oerjan has quit ("Good night").
22:26:27 <olsner> oh noes, I missed oerjan before I had time to make a witty remark about norway
22:27:02 -!- jix has quit (Read error: 110 (Connection timed out)).
22:29:00 -!- jix has joined.
22:29:32 -!- adam_d has quit ("Leaving").
22:41:19 <AnMaster> olsner, which one?
22:50:44 -!- ehird has joined.
22:53:01 <ehird> 08:43:34 <fizzie> Though, why would not understanding a language be a problem any more? It's 2009! Just apply some machine translation.
22:53:02 <ehird> he prefers bugging people to using google search, it's a fair assumption he prefers bugging people to using google translate
23:02:48 <olsner> AnMaster: not sure... probably something like "well, norway is owned by sweden, so technically it's also norwegian"
23:26:24 <ehird> huh, gwern is deaf?
23:36:02 -!- FireFly has quit ("Later").
23:37:23 -!- BeholdMyGlory has quit (Remote closed the connection).
23:49:23 <ehird> "Introducing Magic Mouse. The world’s first Multi-Touch mouse.
23:49:24 <ehird> Now included with every new iMac. And available on its own for just $69."
23:49:32 <ehird> It's pretty!
23:49:43 <ehird> (It's a touchpad!)
23:50:04 <ehird> Well, okay, it's also a regular mouse.
23:50:10 <ehird> But it's also a touchpad.
23:51:46 <fax> I'd get one if I wasn't allergic to wireless
23:53:03 <ehird> cxnkjxnjksdfndjksf new iMacs!!
23:53:04 <ehird> fax: Don't worry, Bluetooth wireless = fine
23:53:08 <ehird> It's just the radio wireless that fucks up all the time
23:53:23 <ehird> GAH YOU SLOW INTERNET CONNECTION, YOU ARE IMPEDING ON MY APPLE.COM BINGE
23:53:38 <ehird> Holy shit the new iMac... looks weird.
23:53:43 <ehird> NEW MACBOOK WTF
23:53:56 <ehird> Rocks fall, everything changes!
23:54:22 <ehird> The new MacBook is... uh... almost identical to the Pro.
23:54:31 <ehird> That white sure is ugly though!
23:54:33 -!- jix_ has joined.
23:55:29 -!- jix has quit (Read error: 104 (Connection reset by peer)).
23:55:59 <ehird> The iMac really looks weird.
23:56:04 <ehird> Oh GOD... that's why...
23:56:09 <ehird> IT'S 16:9!!!
23:56:28 <ehird> Damn, I'm cutting myself
23:56:30 <ehird> Why have you forsaken me, Jobs?!
23:56:46 <ehird> wat new apple remote
23:57:29 <ehird> Huh, it's ugly.