00:18:18 -!- coppro has quit (Remote closed the connection). 01:06:49 -!- inurinternet has quit (No route to host). 01:21:35 S :: Set 01:21:35 S = { 2*x | x <- Naturals, x^2 > 3 } 01:21:38 I love dependent types. 01:22:17 o.O 01:22:56 pikhq: Lemme explain. 01:23:00 S is the set of natural numbers for which half of their value squared is greater than 3? 01:23:12 pikhq: Normally, you have values indexing on values — i.e. values depend and interact with values and nothing else — 01:23:15 and types indexing on types. 01:23:20 With typeclasses, values index on types — 01:23:27 so that (foo::A) and (foo::B) can differ. 01:23:33 With dependent typing, TYPES index on VALUES. 01:23:44 So, e.g. "printf :: (s :: String) -> PrintfType s". 01:23:49 PrintfType :: String -> Set 01:23:56 And it looks at the string and decides a type. 01:24:16 Since you can't know the values at type-time, you have to provide enough proofs to make it sure of the type. 01:24:20 (Unless it's obvious, e.g. a literal). 01:24:31 pikhq: And yes. 01:24:45 pikhq: Then, (36 :: S) types but (7 :: S) doesn't. 01:24:57 That... That is awesome. 01:25:02 Yes. 01:25:05 That is awesome. 01:25:17 I think I love Haskell's type system even more. 01:25:21 > [ 2*x | x <- [0..], x^2 > 3] 01:25:22 [4,6,8,10,12,14,16,18,20,22,24,26,28,30,32,34,36,38,40,42,44,46,48,50,52,54... 01:25:24 pikhq: Oh, Haskell doesn't do it. 01:25:27 oerjan: that's a list, not a type. 01:25:46 don't be so listless 01:25:52 ehird: Oh, right. Wasn't there some Haskellido that added dependent types? 01:26:05 pikhq: But it's not objectively a good thing: you can't infer types in all cases (Haskell can't either but it's much rarer), it's a lot of complexity, and you have to prove a lot of stuff a lot of the time. Also, typechecking might not halt. 01:26:21 Also, Agda is quite like Haskell and has dependent types. "She" also does it, but hackily. 01:26:24 (It's just a haskell preprocessor) 01:26:32 http://www.e-pig.org/epilogue/ 01:26:57 It's not like it's a bad thing that typechecking might not halt. 01:27:12 pikhq: Sure it is; the whole point is to catch errors in a predictable way :) 01:27:13 Oh, wait. Only other language with that property that I can think of is C++. 01:27:15 NEVER MIND. 01:27:18 pikhq: Lawl. 01:27:30 pikhq: Also, if you do a lot of type-computation, you'll be sitting there wondering if it'll halt. 01:27:38 pikhq: Hmm. Total FP + dependent types? 01:27:39 >:D 01:28:11 You know it halts, you know it's safe! Category theorists, switch to this post haste! For we have dependent tyyyyypes! (For- we- have- dependent- tyyyyyyyyyyyyyyyyyyyyyyyypes!) 01:28:14 ↑ Jingle. 01:28:41 >:D 01:29:03 I think regular data types will prolly look like: 01:29:14 Tuple :: Set -> Set -> Set 01:29:24 Tuple A B = { Tuple x y | x <- A, y <- B } 01:29:36 well. using constructors as the same name as types prolly won't work. 01:29:39 Tuple A B = { (,) x y | x <- A, y <- B } 01:29:55 I never realised that a type system could be so awesome. 01:30:02 So then (() , ()) :: Tuple Null Null. 01:30:30 pikhq: Type system? Isn't that thing those Javaheads use where a variable can only have a string, number or class? 01:30:32 Ha! That's just stupid. 01:32:04 pikhq: Incidentally, you could probably express "list of strings and integers" with this system. 01:32:11 Just union string and integer and do (List Foo). 01:32:26 Then { "foo", 2, "bar", 77, 3, "hello", "world" } :: List Foo should type. 01:32:40 -!- sgeo has joined. 01:35:26 @src odd 01:35:27 odd = not . even 01:35:39 @src even 01:35:39 even n = n `rem` 2 == 0 01:42:59 * ehird invents the bestest type: EvenInteger. 01:44:03 -!- Associat0r has quit ("#proglangdesign #ltu ##concurrency"). 01:44:14 It is like an integer, but has to be even. 01:44:48 EvenSo 01:47:08 Why can't I do what the f*** I want to with the WTFPL? 01:48:52 sgeo: Because only idiots self-censor. 01:49:10 That does not answer the question 01:49:17 Idiots who have no concept of what offensive means, idiots who haven't considered why they do it other than a vague notion of "politeness" and otherwise. 01:49:23 sgeo: What the hell is the question? 01:49:26 You can do what the fuck you want to. 01:49:39 Oh, you mean the license itself? 01:49:40 I can't change the content of the license itself without changing the name 01:49:41 yes 01:49:50 Because a circular dependency Wouldn't Work. 01:50:59 On the topic of censorship: http://www.giantitp.com/comics/erf0162.html (you have to understand that all swear words in Erfworld are replaced with "boop") 01:52:19 Two exclamation marks I espy. A true sign of utter inanity, or in rare cases pure insanity. 01:54:54 sgeo: sounds like you're eking close to a russell's paradox there 01:55:55 (that seems not a correct use of "eke", anyway) 02:05:06 -!- inurinternet has joined. 02:06:05 -!- sgeo has quit (Remote closed the connection). 02:11:00 -!- oerjan has quit ("Good night"). 02:12:58 -!- Sgeo has joined. 02:20:00 -!- immibis has quit ("On the other hand, you have different fingers."). 02:32:28 -!- upyr[emacs] has quit (Read error: 54 (Connection reset by peer)). 02:44:13 -!- icefox has quit (Read error: 104 (Connection reset by peer)). 03:00:11 -!- icefox has joined. 03:10:20 -!- Pthing has quit (Remote closed the connection). 05:25:42 ehird: have you considered why you pronounce everything the way you do? 05:25:53 If not, I guess you're an idiot, because you do something without considering why you do it. 05:28:34 -!- coppro has joined. 05:29:33 If imitating language habits that you've seen and you like makes you an idiot, f*** that. 05:51:24 Anyway... 05:52:03 Shall we invent a constructed language that can be parsed by giving it directly to a Haskell interpreter? 05:52:32 no. 05:53:21 * Warrigal does so anyway. 05:56:40 * Warrigal gets bored quickly. 06:02:41 * Zuu creates a foot tickling machine and attaches it to Warrigal's feet 06:04:03 that could be quite mean actually 06:04:13 * Zuu just invented a new kind of torture 06:10:03 * Warrigal tries to remember what that one motion is called. 06:10:17 * Warrigal performs it in the interim. 06:11:28 huh? 06:12:36 Maybe I'll have to invent a word for it. 06:14:29 I wonder if I can reborrow something. 06:18:35 Zuu: http://en.wikipedia.org/wiki/Tickle_torture 06:19:06 Lol!, what a coincidence :P 06:19:41 But still sad, then i didnt invent it anyways :/ 06:20:54 what is 'nobility' ? 06:21:06 Nobles 06:21:13 zuu: its when you get to fuck your relatives and noone minds 06:21:31 see, i dont understand how tickle torture could genuinely be torture 06:21:37 as in having intercource ? 06:21:54 zuu: what? 06:22:09 .. with relatives ? 06:22:17 what 06:22:21 Yes. 06:22:27 hmmm 06:22:29 ... 06:22:51 i was just trying to understand if you meant 'fuck' literally 06:23:07 ... 06:23:28 oh you'll just '...' for anything :P 06:23:52 no, i ... for completely absurd questions 06:24:00 anyways, getting tickled under your feet for extended periods of time is indeed extremely unpleasant 06:24:28 you should get one of your friends to do that to you, then you'll understand :) 06:25:18 It is cited that the Burmese king Nanda Bayin, in 1599 "laughed to death when informed by a visiting Italian merchant that Venice was a free state without a king." 06:25:32 apparently so was burma, after that little bout of stupidity! 06:25:47 zuu: i have a tickle fetish 06:25:48 soooooo... 06:26:06 Uh, oh... 06:28:02 ive had laughter fits. those are fun. :o 06:28:13 Haha, that gif anumation on that article is fun, kittens licking feet ^^ 06:29:14 zuu, are you an adorable boy between the ages of 18 and 25? 06:29:41 adorable, i wouldnt know, but otherwise, yes :) 06:29:53 well show me a picture and ill let you know :o 06:30:09 Haha... naah 06:30:14 aww lame 06:30:23 :> 06:30:37 are you a homosexual 06:30:56 if i am, i dont know it yet 06:30:59 (if youre not you should probably leave; its a law tht everyone in #esoteric is a homosexual) 06:31:21 -!- Gracenotes has quit (""). 06:31:27 Oh, right, i suppose ill just wait till i get kicked 06:32:17 i wish i had ops so i could kick you for humors sake :( 06:32:24 :< 06:32:41 you'd learn your lesson then! 06:32:56 Noooh! 06:32:57 And dont come back till you love cock! >| 06:33:13 :/ 06:33:51 * Zuu suddently finds this conversation unpleasant 06:34:13 awkward is better than unpleasant. 06:34:15 far more interesting 06:34:22 does doing text processing in SQL count as esoteric? 06:34:49 only by virtue of SQL being esoteric. 06:35:11 SQL for simple retrieval for storage is hardly esoteric! 06:35:14 -!- Gracenotes has joined. 06:35:22 pfft 06:36:30 how about doing string processing using tuple calculus 06:36:58 with a suitably inappropriate string encoding 06:38:06 UTF64 06:38:39 unicode codepoints written in hex 06:38:43 (in ascii) 06:39:37 CESSMASTER: so just unicode codepoints as you normally see them denoted. 06:39:41 actually it would have to be a tuple set that represent the string, otherwise it is not possible 06:40:10 but and inappropriate scheme for construction of that set :P 06:40:31 how about 06:40:56 text encoded as non-uniform natural-language descriptions of the shapes of the characters 06:41:08 in a language like, say, ... Ojibwa. 06:41:09 Haha 06:41:54 or really just, map the use of language to the particular code points 06:42:06 the ojibwa descriptions will, ofcourse, be written in an ascii encoding of the native ojibwa writing system 06:42:18 zuu: thats why i said non-uniform 06:42:20 suc that the round shape in o must be expressed in one language while the round shape in Q must be expressed in another 06:42:21 so there is no mapping 06:42:35 :> 06:44:29 how about expressing it as decimal comma separated integers representing the bytes of just what you said 06:45:54 no reason to make it easyperhaps even with binary checksums every 8 byte of that 07:00:52 -!- Associat0r has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:08:01 -!- Associat0r has quit ("#proglangdesign #ltu ##concurrency"). 08:47:56 -!- upyr[emacs] has joined. 09:02:28 -!- Sgeo has quit (Read error: 104 (Connection reset by peer)). 09:07:11 -!- jix has joined. 09:21:36 -!- Associat0r has joined. 09:25:22 -!- Associat0r has quit (Read error: 104 (Connection reset by peer)). 09:26:43 -!- GreaseMonkey has quit (Read error: 110 (Connection timed out)). 09:27:53 -!- Associat0r has joined. 09:31:00 -!- Associat0r has quit (Read error: 104 (Connection reset by peer)). 11:32:34 -!- dbc has quit (Read error: 60 (Operation timed out)). 11:33:40 -!- dbc has joined. 11:38:03 -!- BeholdMyGlory has joined. 11:57:07 -!- MigoMipo has joined. 11:58:09 -!- FireFly has joined. 12:12:58 -!- KingOfKarlsruhe has joined. 12:38:51 -!- KingOfKarlsruhe has quit (Remote closed the connection). 12:45:20 -!- KingOfKarlsruhe has joined. 12:54:15 -!- jix has quit ("Lost terminal"). 12:55:32 -!- jix has joined. 13:33:23 -!- oerjan has joined. 13:35:07 -!- Pthing has joined. 13:37:17 -!- KingOfKarlsruhe has left (?). 13:53:45 -!- MigoMipo has quit ("QuitIRCServerException: MigoMipo disconnected from IRC Server"). 13:55:38 -!- pikhq has quit (Connection reset by peer). 14:14:18 -!- Judofyr has quit (Remote closed the connection). 14:39:43 -!- oerjan has quit ("leaving"). 14:47:17 -!- jix has quit (Read error: 113 (No route to host)). 14:59:16 -!- MigoMipo has joined. 15:26:47 -!- ais523 has joined. 15:35:41 hi ais523 15:35:45 hi 15:35:51 busy in RL, I may not talk much 15:35:52 ais523, any progress on feather? 15:35:53 * AnMaster ducks 15:35:59 AnMaster: ducking a feather is easy 15:36:05 or maybe it's a duck feather? 15:36:07 err what 15:36:29 -_- 15:49:50 -!- jix has joined. 15:50:27 aargh I'm stuck in tvtroupes 15:50:34 tropes* 15:54:57 ah I managed to get out 16:03:02 ais523, what does "Hofstadterially" mean? It is in the hover text in xkcd today and google's define: doesn't know. 16:03:14 Nor does plain google yeild any *useful* results 16:03:25 AnMaster: it means "in a manner reminiscent of Douglas Hofstadter" 16:03:31 and googling him should yield useful results, hopefuly 16:03:38 *hopefully 16:03:42 ah wikipedia 16:04:08 oh GEB 16:05:03 -!- pikhq has joined. 16:08:17 -!- inurinternet has quit (Success). 16:15:30 -!- ais523 has quit (Read error: 104 (Connection reset by peer)). 16:16:37 http://code.google.com/p/awib/ 16:20:02 Deewiant, old 16:22:09 -!- inurinternet has joined. 16:26:04 Yes, I can see that from the dates 16:31:21 How does its optimization compare to your recent efforts? 16:34:34 Deewiant, iirc lifthrasiir mentioned on his page about esotope-bfc 16:35:08 as for mine? no idea. in-between is dormant btw 16:35:13 working on other stuff currently 16:37:08 Yep, http://code.google.com/p/esotope-bfc/wiki/Comparison has it 16:38:31 looking there then in-btween is way better 16:48:03 lifthrasiir, "and propagates all constants (something other compiler doesn't do)" <-- technically in-between does that, but possibly not all of them 16:48:17 and since it is dormant atm I know it is broken in some parts. 17:09:04 -!- Judofyr has joined. 17:32:51 -!- CESSMASTER has quit ("☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃"). 18:30:42 -!- GuestShadowSkunk has joined. 18:39:51 -!- jix has quit (Read error: 110 (Connection timed out)). 18:42:03 -!- Slereah has quit (Read error: 110 (Connection timed out)). 19:03:36 -!- ais523 has joined. 19:41:38 !c printf("%x",'u'); 19:41:39 75 19:46:28 !haskell ord 'u' 19:46:49 I FAIL! YAY! 19:46:59 > chr 'u' 19:47:01 Couldn't match expected type `GHC.Types.Int' 19:47:06 > ord 'u' 19:47:08 117 19:47:26 Oh, wait. %x. ... Screw you, Alex Smith. 19:48:07 shouldn't be too hard, surely? 19:49:10 No. 19:49:10 I'm just lazy. 20:29:03 -!- pikhq has quit ("New parts = YES."). 20:43:05 -!- comex_ has joined. 20:44:03 -!- comex has quit (Read error: 104 (Connection reset by peer)). 20:44:12 -!- jix has joined. 20:44:26 -!- comex_ has changed nick to comex. 20:58:01 -!- ais523 has quit (Remote closed the connection). 21:00:54 -!- jix has quit ("Lost terminal"). 21:26:21 @hoogle Int->[a]->String 21:26:22 Prelude drop :: Int -> [a] -> [a] 21:26:22 Prelude take :: Int -> [a] -> [a] 21:26:22 Data.List drop :: Int -> [a] -> [a] 21:26:26 yah not what i meant lambdabot 21:26:30 @hoogle Int->Integer->String 21:26:30 Prelude encodeFloat :: RealFloat a => Integer -> Int -> a 21:26:31 Data.Generics.Basics gmapQi :: Data a => Int -> (a -> u) -> a -> u 21:26:31 Prelude flip :: (a -> b -> c) -> b -> a -> c 21:26:33 @hoogle Int->Int->String 21:26:34 Distribution.Simple.Command commandShowOptions :: CommandUI flags -> flags -> [String] 21:26:34 Data.Generics.Basics gmapQi :: Data a => Int -> (a -> u) -> a -> u 21:26:34 Data.Fixed div' :: (Real a, Integral b) => a -> a -> b 21:26:37 hmm 21:26:40 i swear there's a function for it 21:26:43 :t toBase 21:26:44 Not in scope: `toBase' 21:27:17 ?ty showIntAtBase 21:27:19 forall a. (Integral a) => a -> (Int -> Char) -> a -> String -> String 21:27:40 ugh, i hate that function 21:27:43 it's so complicated 21:29:21 ?ty flip showIntAtBase intToDigit :: (Integral a) => a -> a -> ShowS 21:29:23 forall a. (Integral a) => a -> a -> String -> String 21:38:20 -!- oerjan has joined. 21:42:10 !c int x; for (x=32;x<255;x++) printf("%x ", x); 21:42:11 20 21 22 23 24 25 26 27 28 29 2a 2b 2c 2d 2e 2f 30 31 32 33 34 35 36 37 38 39 3a 3b 3c 3d 3e 3f 40 41 42 43 44 45 46 47 48 49 4a 4b 4c 4d 4e 4f 50 51 52 53 54 55 56 57 58 59 5a 5b 5c 5d 5e 5f 60 61 62 63 64 65 66 67 68 69 6a 6b 6c 6d 6e 6f 70 71 72 73 74 75 76 77 78 79 7a 7b 7c 7d 7e 7f 80 81 82 83 84 85 86 87 88 89 8a 8b 8c 8d 8e 8f 90 91 92 93 94 95 96 97 98 99 9a 9b 9c 9d 9e 9f a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 aa ab ac ad ae af b0 b1 b2 b3 b4 b5 b6 b7 21:42:22 ah 21:45:05 :t showIntAtBase 21:45:06 forall a. (Integral a) => a -> (Int -> Char) -> a -> String -> String 21:46:04 > showIntAtBase 256 chr 0xdeadbeef "" 21:46:06 "\222\173\190\239" 21:46:23 > flip showIntAtBase intToDigit 256 0xdeadbeef 21:46:25 Overlapping instances for GHC.Show.Show 21:46:25 (GHC.B... 21:46:29 > flip showIntAtBase intToDigit 256 0xdeadbeef "" 21:46:31 "* Exception: Char.intToDigit: not a digit 239 21:46:35 Meh 21:47:58 21:47 roconnor: ehird: CReal isn't FewDigits // in lambdabot 21:48:01 huh 21:48:38 > Nothing :: CReal 21:48:39 Couldn't match expected type `Data.Number.CReal.CReal' 21:48:59 @hoogle Data.Number.CReal 21:48:59 No results found 21:49:05 @hoogle CReal 21:49:06 No results found 21:49:09 it's Data.Numbers 21:49:12 from numbers on hackage 21:49:19 21:49 roconnor: ehird: numbers is faster and lies more 21:49:42 erm it clearly says Data.Number.CReal there 21:49:48 oerjan: the type is CReal. 21:49:51 it is not Few Digits' CReal. 21:50:01 it is less accurate, sez roconnor 21:50:05 ehird: erm, *whoosh* 21:50:19 Couldn't match expected type `Data.Number.CReal.CReal' 21:50:19 eh? 21:50:26 whoosh is for jokes, oerjan :P 21:50:32 What's Few Digits 21:50:32 no it isn't 21:51:23 21:51 Cale: > 1/(10^100) == (0 :: CReal) 21:51:24 21:51 lambdabot: True 21:51:28 Deewiant: a computable reals library 21:51:32 http://r6.ca/FewDigits/ 21:51:42 which can represent any computable real exactly, and compute on it without error 21:52:30 Nice, == doesn't terminate :-) 21:53:21 Deewiant: due to a little thing called "impossibility" 21:54:28 What makes it impossible 21:54:39 Deewiant: pi == pi 21:54:48 have fun traversing all those infinity digits to find out if they ever differ 21:54:54 1 == 1 21:54:55 One digit 21:55:02 what 21:55:13 Deewiant: 1 is represented at 1.00000000000000000000000000000… 21:55:25 Okay, so that's why. Thanks. 21:55:28 Deewiant: besides, why have a semi-broken (==)? 21:55:31 It doesn't have to be like that. 21:55:33 it'd still be bad to use it in general 21:55:42 Yeah, why break something halfway if you can break it all the way? 21:55:54 Deewiant: predictability 21:56:22 in fact this reminds me of yesterday's wolfram alpha critique on reddit 21:56:27 exactly 21:56:28 predictability 21:57:43 wolfram alpha's "natural language" user interface is so bad because (1) it obviously cannot be perfect (2) because it is complicated but not perfect, it's impossible for users to do things reliably with it 21:57:50 was part of the gist of it 21:57:51 oerjan: okay blame byorgey, i'm going to bug you about continued fractions now 21:58:15 -!- bsmntbombdood_ has joined. 21:58:18 Yeah, I read that post. 21:58:25 oerjan: heyyyyyyyyy, I have an idea 21:58:38 oerjan: data Butt = Div Integer Butt | StopHammerTime Integer 21:58:43 oerjan: 1.5 = 1/2/3 21:58:51 well, 1/(2/3) 21:59:36 well that's just numerator/denominator, or possibly some factorization 22:00:15 you cannot represent anything other than (a1*a2*...*an)/(b1*b2*...*bn) that way. and those are all rational too 22:00:20 um 22:00:46 you could also get some infinite expressions i guess, but they wouldn't correspond to reals in any obvious way 22:00:54 oh, duh 22:01:54 the fact that continued fractions actually converge as limits is important. :) 22:01:57 -!- bsmntbombdood has quit (Read error: 110 (Connection timed out)). 22:11:04 -!- bsmntbombdood_ has changed nick to bsmntbombdood. 22:20:45 -!- jix has joined. 22:58:37 -!- Judofyr has quit (Remote closed the connection). 23:06:03 why has nobody made a hard drive with 2 r/w heads? 23:06:15 bsmntbombdood: erm aren't platters equivalent 23:06:18 multiple ones 23:06:24 wouldn't that be like have 2 hard drives in raid0? 23:06:33 bsmntbombdood: not if they hit into each other 23:06:49 there is plenty of room to have two heads 23:06:54 think about it 23:06:59 good idea 23:07:21 bsmntbombdood, wouldn't fit in the normal form factor though 23:07:29 i'm fairly sure it's not a good idea because (a) it's so obvious that you have to try really hard not to think of it and (b) it hasn't been done in all the decades we've had hard drives, evre 23:07:30 why not? 23:07:30 *ever 23:07:40 so i can only conclude that it is flawed, or the world is utterly bonkers 23:07:45 `addquote there is plenty of room to have two heads 23:07:49 28| there is plenty of room to have two heads 23:08:12 `addquote IN AN ALTERNATE UNIVERSE: there is plenty of room to get head twice at once 23:08:13 29|IN AN ALTERNATE UNIVERSE: there is plenty of room to get head twice at once 23:08:21 I pride myself on unfunny alternate universe requotes. 23:08:24 `help 23:08:24 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 23:10:20 In an alternate universe, ehird has taste 23:10:31 Now youdunnit. 23:10:36 `addquote In an alternate universe, ehird has taste 23:10:37 30| In an alternate universe, ehird has taste 23:10:44 so i can only conclude that it is flawed, or the world is utterly bonkers <-- the latter. We all know it. 23:10:50 `addquote IN AN ALTERNATE UNIVERSE: In an alternate universe, I would say "In an alternate universe, ehird has taste" 23:10:51 31|IN AN ALTERNATE UNIVERSE: In an alternate universe, I would say "In an alternate universe, ehird has taste" 23:11:03 AnMaster: i just ended it with a cyclic quote structure ↑ 23:11:05 so it's okay 23:11:21 heh 23:11:32 ? addquote so i can only conclude that it is flawed, or the world is utterly bonkers 23:11:34 err 23:11:36 `addquote so i can only conclude that it is flawed, or the world is utterly bonkers 23:11:37 32| so i can only conclude that it is flawed, or the world is utterly bonkers 23:11:46 #esoteric, where recursion is considered humor 23:11:55 oerjan, :D 23:12:46 `addquote IN EINEM ALTERNATIVEN UNIVERSUM (WO DIE NAZIS WON): So kann ich nur schließen, dass es falsch ist, oder die Welt ist völlig BONKERS. Gegrüßet seist du der Führer Hitler! 23:12:47 33|IN EINEM ALTERNATIVEN UNIVERSUM (WO DIE NAZIS WON): So kann ich nur schließen, dass es falsch ist, oder die Welt ist völlig BONKERS. Gegrüßet seist du der Führer Hitler! 23:12:48 Failed to record changes. 23:12:51 ! 23:12:55 Unicode issues? 23:13:14 wow: 23:13:14 IN AN ALTERNATIVE UNIVERSE (WHERE THE NAZIS WON): So I can only conclude that it is wrong or the world is completely BONKERS. Hail the leader Hitler! 23:13:16 ehird, google translate? 23:13:19 it translated almost perfectly 23:13:36 `addquote IN EINEM ALTERNATIVEN UNIVERSUM (WO DIE NAZIS WON): So kann ich nur schließen, dass es falsch ist, oder die Welt ist völlig BONKERS. Gegrüßet seist du der Führer Hitler! 23:13:37 33|IN EINEM ALTERNATIVEN UNIVERSUM (WO DIE NAZIS WON): So kann ich nur schließen, dass es falsch ist, oder die Welt ist völlig BONKERS. Gegrüßet seist du der Führer Hitler! 23:13:38 Failed to record changes. 23:13:41 bah 23:13:45 I'll just deunicode it 23:13:53 ehird, poke GregorR 23:13:56 `addquote IN EINEM ALTERNATIVEN UNIVERSUM (WO DIE NAZIS WON): So kann ich nur schliessen, dass es falsch ist, oder die Welt ist vollig BONKERS. Gegrusset seist du der Fuhrer Hitler! 23:13:58 33|IN EINEM ALTERNATIVEN UNIVERSUM (WO DIE NAZIS WON): So kann ich nur schliessen, dass es falsch ist, oder die Welt ist vollig BONKERS. Gegrusset seist du der Fuhrer Hitler! 23:14:08 GregorR: consider yourself poked. 23:14:09 AnMaster: Done. 23:14:09 that translate-retranslate of Heil Hitler seems a bit out of place 23:14:19 oerjan: I said "Hail the Fuhrer Hitler!" 23:14:23 Because I wanted Fuhrer in it. 23:14:35 sure, but the german translation contains no "heil" 23:14:44 That's true. 23:14:46 Oh well. 23:14:47 oooh 23:14:53 it is probably hail as in hailstorm 23:14:54 :D 23:15:00 I said "Heil". :P 23:15:04 What's wrong with ü? 23:15:06 oh ok 23:15:10 no i don't think so 23:15:23 FireFly: HackEgo fails at jew-knee-coeducation. 23:15:36 Ah 23:15:57 i'm pretty sure "grüß" is "greet" 23:15:57 FireFly: I stripped the ss-s too. 23:16:11 or something close 23:16:38 i'm pretty sure "grüß" is "greet" <-- actually it is "grub" but with a bad typesetter. 23:17:21 * oerjan swats AnMaster -----### 23:17:58 `addquote SUPLENTES EN UN UNIVERSO (MUSSOLINI CUANDO CONQUISTÓ EL MUNDO): i tan sólo puede concluir que es defectuoso, o el mundo está absolutamente loco. Todos a la gloria Il Duce! 23:17:59 34|SUPLENTES EN UN UNIVERSO (MUSSOLINI CUANDO CONQUISTÓ EL MUNDO): i tan sólo puede concluir que es defectuoso, o el mundo está absolutamente loco. Todos a la gloria Il Duce! 23:17:59 oerjan, ...? I thought you would like that joke... 23:18:00 Failed to record changes. 23:18:12 `addquote SUPLENTES EN UN UNIVERSO (MUSSOLINI CUANDO CONQUISTO EL MUNDO): i tan solo puede concluir que es defectuoso, o el mundo esta absolutamente loco. Todos a la gloria Il Duce! 23:18:13 34|SUPLENTES EN UN UNIVERSO (MUSSOLINI CUANDO CONQUISTO EL MUNDO): i tan solo puede concluir que es defectuoso, o el mundo esta absolutamente loco. Todos a la gloria Il Duce! 23:18:18 ... 23:18:29 Dictatorship translation is all the rage nowadays, or so I hear. 23:18:56 `run echo ö 23:18:56 ö 23:19:02 It's an hg(1) problem. 23:19:02 `run echo ö > tmp.txt 23:19:03 No output. 23:19:04 Failed to record changes. 23:19:07 ah 23:19:07 Further proof that Mercurial is like unto a shit. 23:19:08 yes 23:19:11 ehird, no 23:19:19 ehird, just that GregorR fails to set it up 23:19:25 it isn't a general proof it fails 23:19:54 GregorR, seriously, fix this problem. 23:20:16 ehird, he doesn't read away log iirc. 23:20:20 > "testing oerjan " 23:20:21 "testing oerjan " 23:20:22 so poke him when he is around 23:20:24 darn 23:20:26 also, what monitor should i get? 23:20:27 Erm. 23:20:28 Via Korean: 23:20:29 IN AN ALTERNATE UNIVERSE (WHERE EVERYONE IS KOREAN (NOTE: AS FAR AS I KNOW THIS HAS NEVER COME REMOTELY CLOSE TO HAPPENING, EVER)): 23:20:32 → 23:20:34 23:20:36 I never know this happened in another universe have come remotely close (both where (Note: South Korea, the enemy)): 23:20:39 South Korea, the enemy? I never know this happened? 23:20:41 Bit of bias, that. 23:20:50 bsmntbombdood: a viewsonic or lg or something. 23:20:50 heh... 23:20:57 bsmntbombdood: 24" @ 1920x1200. 23:21:12 ehird: something like that 23:21:21 bsmntbombdood: Not 1920x1080; the 16:9, it burns. 23:21:23 ehird, ask lifthrasiir about it 23:21:26 for how it works 23:21:27 is it even possible to get a bigger resolution than that? 23:21:30 I mean 23:21:30 ehird: why? 23:21:37 give him the translated version 23:21:38 AnMaster: google translate is based on heuristics and suggestions and articles i think 23:21:40 so /shrug 23:21:48 hm 23:21:59 bsmntbombdood: because 16:10 is closer to the golden ratio, and 16:9 is just too widescreen; you can't make a nice square-ish window big enough. 23:22:20 heh 23:22:38 isn't 4:3 even closer to the golden ratio iirc 23:22:56 16:10 = 1.6:1 23:23:03 That's 0.01 off. 23:23:05 hm ok 23:23:05 IN AN ALTERNATIVE UNIVERSE (WHERE EVERYONE IS KOREAN (NOTE: AS FAR AS I'M AWARE THIS HAS NEVER COME REMOTELY CLOSE TO HAPPENING, EVER)): 23:23:05 → 23:23:07 I know I'm not growing as much as possible remotely close like this happening in an alternative universe (where all (see: Korea, red)): 23:23:12 I think this Korean translation is... a bit buggy. 23:23:37 ehird, either English->Korean or Korean->English is yes 23:23:41 hard to know which 23:23:53 maybe both 23:23:55 AnMaster: 4/3 = 1.3; 16/10 = 1.6 23:24:03 bsmntbombdood, ok. I stand corrected 23:24:37 `addquote באופן חלופי ביקום זה כרוך כולם מדברים עברית מסיבה כלשהי: אז אני יכול רק להסיק כי הוא פגום, או את העולם, הוא מטורף לגמרי 23:24:38 35|באופן חלופי ביקום זה כרוך כולם מדברים עברית מסיבה כלשהי: אז אני יכול רק להסיק כי הוא פגום, או את העולם, הוא מטורף לגמרי 23:24:39 Failed to record changes. 23:24:40 :( 23:25:53 how in the world can you expect it to record korean when it fails on characters 128-255? 23:26:03 > "testing oerjan " 23:26:05 "testing oerjan " 23:26:09 gah 23:26:11 `addquote PA ET ANNET UNIVERSET DER DE ENESTE PERSONEN OERJAN: sa jeg kan bare konkludere med at det er feil, eller er verden helt bonkers 23:26:12 35|PA ET ANNET UNIVERSET DER DE ENESTE PERSONEN OERJAN: sa jeg kan bare konkludere med at det er feil, eller er verden helt bonkers 23:26:19 why the heck is it blue, not red as i requested 23:26:42 lawl 23:26:43 http://www.nextag.com/NEC-MultiSync-21-3-510541635/prices-html 23:26:48 surprisingly close... 23:27:02 eeeeeeeeeeexpensive 23:27:06 bsmntbombdood: Yeah, I'm gonna go with "no". If you wanna spend that much, get an IBM T221 and revel in the tiny 1920x1200 VMs you have. 23:27:08 but still broken 23:27:21 ehird: vm? 23:27:22 (It costs around $2-3k now; it costed $20,000 when it came out in 2001-2002.) 23:27:28 bsmntbombdood: Allow me to demonstrate. 23:27:42 bsmntbombdood: http://www.novoventus.com/pics/T2211x.jpg 23:27:50 bsmntbombdood: The monitor is 22". That top-left virtual machine is 1920x1200. 23:27:55 Its DPI exceeds 200. 23:27:59 oh snap 23:28:00 Bring your own graphics cards. 23:28:11 22"? 23:28:18 Well, I think it's 1920x1200. 23:28:19 Dunno. 23:28:19 that's ridiculous 23:28:25 bsmntbombdood: That's quite big actually. 23:28:33 Do you just mean for the resolution? 23:28:41 In which case, yes, the resolution is gloriously, gloriously excessive. 23:29:45 wouldn't you rather have a lower dpi? 23:29:51 bsmntbombdood: Why? 23:30:09 because 23:30:09 bsmntbombdood: It doesn't affect how big things are, necessarily; fontconfig has a dpi setting. 23:30:13 So the text will be the same physical size. 23:30:18 sure 23:30:22 But it will be smoother, images can be higher-resolution at the same size, etc. 23:30:24 nice nice monitor 23:30:28 if only it was colour 23:30:30 but you could display so much more 23:30:32 AnMaster: What? 23:30:33 It is. 23:30:36 Are you blind? 23:30:42 http://www.nextag.com/NEC-MultiSync-21-3-510541635/prices-html 23:30:44 that one? 23:30:49 ehird: the one i linked 23:30:51 We're not talking about that one. 23:30:56 bsmntbombdood: Actually... 23:30:57 ehird, sorry, but I am 23:31:04 bsmntbombdood: The T221 is 3840x2400. 23:31:11 bsmntbombdood: There aren't any higher single-display resolutions, afaik. 23:31:21 And, heck, it beats a lot of two-displays. 23:31:29 And they don't have the DPI to boot. 23:31:38 bsmntbombdood: http://www.novoventus.com/pics/T2211x.jpg <-- specs? 23:31:45 AnMaster: Which ones 23:31:55 bsmntbombdood: Obvious disadvantage: you need a lot of graphics horsepower; it will never play games; overly pixel-oriented stuff will be tiny; its refresh rate isn't so hot. 23:31:57 http://www.pcpro.co.uk/reviews/63390/ibm-t221.html 23:31:59 ehird, luminance 23:32:00 *disadvantages 23:32:02 Advantages: OMG WANT. 23:32:06 AnMaster: jfgi 23:32:09 ehird, oh and colour stuff. 23:32:18 contrast too 23:32:24 AnMaster: Contrast is irrelevant. 23:32:35 ehird, oh? 23:32:36 Anything above 800:1 is = 800:1 in room lit by just one candle. 23:32:42 Any higher lighting? Doesn't matter one iota. 23:33:00 AnMaster: Anyway, it retailed at $20,000. I'm gonna go out on a limb and say the panel is good quality. 23:33:02 ehird, depends on ambient light? 23:33:09 hehe 23:33:13 ehird, refresh rate? 23:33:14 AnMaster: Is your room lit by just one candle? 23:33:21 if so, then don't buy a monitor under 800:1 (hint: these don't exist) 23:33:28 Otherwise, if there's actual light... 23:33:41 ehird, no... One fluorescent lamp 23:33:43 bsmntbombdood: "And, like Formula 1, the technology will filter down to the rest of us before too long; you shouldn't have to wait another ten years to get hold of something similar at an affordable price." 23:33:47 2014 is looking pretty close :) 23:33:48 :P 23:33:59 ehird 23:34:00 AnMaster: Then contrast is irrelevant above a ridiculously low amount. 23:34:01 2014? 23:34:03 be serious 23:34:09 the worlds going to end in 2012 23:34:10 augur: that review was written in 2004 23:34:11 ehird, *turns off lamp* 23:34:14 no lights now 23:34:16 i dunno 23:34:20 just the monitor itself 23:34:33 AnMaster: Hey, if you buy a monitor under 300:1, you might even be able to distinguish it with a magnifying glass. 23:34:37 seems like it would be nicer to have a 30" or 36" or something display at that resolution 23:34:40 Clearly, this is highly important. 23:34:43 which lights up the keyboard pretty well 23:34:46 ehird, hah 23:34:54 bsmntbombdood: i dunno about you but i can see my pixels quite easily 23:34:58 ehird, isn't high contrast better? 23:35:01 bsmntbombdood: with high enough dpi we don't need hacks like font antialiasing 23:35:06 screen will finally be as good as print 23:35:20 AnMaster: Wow, the marketeers have done a good job with you. 23:35:31 AnMaster: "Actually it's irrelevant" "...but isn't it better?" 23:35:33 ehird, actually I never bothered 23:35:39 ehird, why is it irrelevant 23:35:45 Physics. 23:35:48 Optics 23:35:49 etc 23:36:06 ehird, the black on this monitor seems off-black compared to the black foot of it. 23:36:09 AnMaster: http://www.practical-home-theater-guide.com/contrast-ratio.html 23:36:13 it = the monitor 23:36:21 AnMaster: that applies to all non-OLEDs. 23:36:25 well, maybe CRTs too. 23:36:27 all LCDs have that. 23:36:34 AnMaster: Anyway, read that file and stop being duped. 23:36:52 lol @ dvi only supporting a low resolution 23:36:54 " With this much light in the room, there is no difference between 500:1 and 10000:1 Contrast Ratio!" 23:36:54 I am reading it 23:36:56 (talking about a single candle) 23:36:58 -!- jix has quit ("leaving"). 23:37:00 So not even 800:1. 23:38:41 ehird: you don't use your computer in the dark? 23:38:52 Yes I do. 23:38:58 However, two things. 23:39:11 Firstly, I find it incredibly unlikely that you are using your computer under ZERO lighting conditions. 23:39:23 Secondly, I find it incredibly unlikely that you have the spectacular vision required to distinguish such things. 23:39:25 And finally, 23:39:35 even with barely any lighting at all, contrast ratios still don't matter. 23:39:57 (Apart from ridiculously low ones that don't exist in any display like 50:1.) 23:48:29 -!- MigoMipo has quit ("QuitIRCServerException: MigoMipo disconnected from IRC Server"). 23:55:10 what I'm really missing is a wider gamut 23:55:20 yes I know that means less details with 8 bits per pixel 23:55:34 per channel* 23:56:16 but I want 16 bits per channel and a wide gamut monitor 23:56:20 And a pony. 23:56:35 ehird, nah, I'm allergic to them 23:56:47 Impossible. 23:56:54 not at all 23:57:47 btw there is actually some music with beat that I like. Not a lot, but some. 23:59:35 ehird, ^ 23:59:58 -!- CESSMASTER has joined. 23:59:59 (a) That is not a non-sequitur, (b) I care and (c) this is not sarcastic.