00:13:39 http://www.scala-lang.org/node/114 < This would have been useful to know when I was writing packet parsing for a Minecraft server.. I think. 00:18:15 i hope the style used in that example isn't idiomatic 00:19:03 Why do you care if it is idiomatic? 00:21:16 awful idioms 00:21:31 if I'd ever have to work with scala code, I'd die 00:38:52 -!- nooga has quit (Ping timeout: 260 seconds). 00:43:16 -!- evincar has joined. 00:43:29 When using php's mysql functions to retrieve values from a database, does it return integers in the datasbase as integers or as strings? 00:44:16 Patashu: As integers, so far as I know. 00:44:50 Not that it particularly matters, right? 00:45:04 It shouldn't... Something is being wonky 00:46:23 What database type are you using 00:46:25 *? 00:46:28 mysql 00:46:44 No, like MyISAM or InnoDB. 00:47:30 At FreeGeek I have a SQLite reporting program, as well as a separate CGI program allowing it to be accessed by HTTP servers; even write access to databases is permitted. 00:48:08 Patashu: http://stackoverflow.com/questions/5323146/ 00:48:10 Oh, sorry, I don't know, but I'm doing this test: if ((int) $row['enabled'] != 1) in a table where enabled always equals 1, and it's triggering 00:48:42 Why don't you use SQL as a templating language? 00:48:57 Apparently PHP' 00:49:03 always returns values as strings. 00:49:09 Hooray for typos involving newlines. 00:49:19 zzo38: Can you give an example? 00:49:25 hmm, wait 00:49:39 if I do (int) $row['enabled'] != 1 does it turn the whole boolean expression into an int or just the left hand? 00:49:40 X.X 00:49:51 maybe that's why 00:50:02 evincar: It is a program I wrote that allows you do that. Currently the only file is internal use at FreeGeek. 00:51:25 But I can explain how it works. A query block must start with #Q and a SQL statement on a line by itself, and then you can have stuff inside, and #Z is end of block. Everything inside is done for each record of output. Lines without # are copied directly to output except for field names in `...` 00:51:29 nope, it's still ont working 00:51:54 You can use #F to define a custom function, which is given a name and a SQL statement that returns one record with one field. 00:52:48 In a function definition, you can use ?1 ?2 ?3 etc to access function parameters. Outside of a function definition, ?1 ?2 ?3 etc access command-line parameters, and you can use $ and a field name to access a field of the result of the query block that this query is inside of. 00:53:25 Why wouldn't you appropriate the stored procedure syntax for function definition? 00:53:40 You wouldn't create the functions in the database of course, just in the template engine. 00:53:42 SQLite does not have stored procedures. 00:55:44 Well, no, but I think it would be nicer to see "#Q create procedure `name` ..." than "#F name ..." or whatever. 00:56:58 I suppose that if you want to modify the program to support other database engines that do have stored procedures, you can do that. 00:57:47 -!- MichaelBurge has quit (Remote host closed the connection). 00:57:58 If you wanted to continue using SQLite, you would just need to parse the "create procedure" statement without passing it to the DB engine. 00:58:08 -!- MichaelBurge has joined. 00:58:32 And then you would have uniform syntax. 00:58:38 Simplifying things. 01:00:31 I was doing research for an essay for class, and I came upon a very interesting study from 2001. 01:00:43 I don't even know how stored procedures work in SQL. SQLite has a function in C which is used to create new functions for use by SQL statements. 01:00:54 It was studying the language that non-programmers used to specify solutions to programming-style problems. 01:01:52 I think it would be interesting to do some research into making a language that adheres as closely as possible to the expectations of beginners. 01:01:54 But I don't know if database engines other than SQLite support the ?1 ?2 $NAME kind of syntax; these are parameters that you must bind using C functions. 01:02:10 evincar: OK, try. 01:02:11 I'm not sure. "?" is pretty universal. 01:02:26 But I don't know about positional and named arguments. 01:03:37 The study found that most people tend to avoid named state, and state in general. 01:03:55 -!- DH____ has joined. 01:04:13 They establish solutions through events, constraints, rules, and declarations primarily. 01:04:27 Only those things that need to be sequenced are done so explicitly with imperative instructions. 01:04:39 In that sense, Haskell is one of the more "natural" languages out there! 01:04:53 Though by no means the most natural... 01:05:40 But even Haskell, by itself, does not have events, and does not support complete rule-based and constraint-based programming either 01:06:41 -!- tswett has changed nick to kerlo. 01:11:00 -!- Vorpal has quit (Ping timeout: 258 seconds). 01:11:22 I made the program, it represents floating point literals by the integer value and the ten shift. Such as, (FloatLit 5 (-1)) for "0.5" and (FloatLit 42 0) for "4.2e+01" 01:17:39 I think that's more of a scientific notation storage, considering that floating-point would be... what, similar but in a different base? 01:17:53 * Sgeo|web is unsure 01:24:34 -!- MSleep has changed nick to MDude. 01:26:07 Sgeo|web: Floating-point is essentially scientific notation. 01:26:21 significand * base ^ exponent 01:26:53 All IEEE-754 does is specify a packed storage format, and a base (2). 01:28:00 zzo38: Haskell is missing those features, certainly. I was making a comment about how people find mutable state and imperative instructions unnatural. 01:29:53 Most of the time, natural language refers to things by class specifiers and set operations. 01:30:14 evincar: OK. I might understand what you meant, then. 01:30:15 "Do X to all Y that are Z." 01:30:45 Another interesting thing is that people expect time to be continuous. 01:31:28 So, for instance, animation should be done through physical analogies, totally hiding the fact that timing is not continuous on a computer. 01:40:41 @pl g x = 9*x*x*x*x-x 01:40:41 g = (-) =<< (*) =<< (*) =<< (*) =<< (9 *) 01:40:52 @pl g x = 9*x^4-x 01:40:53 g = (-) =<< (9 *) . (^ 4) 02:13:07 -!- myndzi has joined. 02:20:11 -!- tiffany has quit (Quit: Leaving). 02:23:32 -!- tiffany has joined. 02:32:00 -!- DH____ has quit (Read error: Connection reset by peer). 02:32:04 -!- DHeadshot has joined. 02:37:49 Is this correctly parsing a Haskell qualified name as you can tell? 02:37:50 -!- DHeadshot has quit (Read error: Connection reset by peer). 02:37:51 qualifyName :: (Name -> Token) -> Parser String -> Parser Token; 02:38:04 qualifyName f p = f . ExternalName <$> liftM2 (++) (join . fmap (++ ".") <$> (many . try $ liftM2 (:) (oneOf c'upper) (many $ oneOf c'letter) <* char '.')) p; 02:38:52 It seems to work but maybe I missed something in the Haskell specification or something else. 02:40:46 Maybe it is too messy. 02:41:07 -!- tiffany has left ("Leaving"). 02:43:09 Maybe there ought to be an infix form of liftM2 (++) 02:50:17 -!- evincar has quit (Quit: ChatZilla 0.9.87 [Firefox 7.0.1/20110928134238]). 03:05:29 -!- Madoka-Kaname has quit (Ping timeout: 255 seconds). 03:06:17 zzo38: I once considered the idea of having nested infix expressions 03:06:25 a `f x y` b 03:06:58 I like that 03:09:52 a `x `g y` z` b 03:09:57 best nesting 03:10:11 is that why you stopped considering it? 03:10:41 i guess you could require paren usage or think of some fancy new quotes but there aren't enough quote things for it to work?? 03:10:47 -!- Madoka-Kaname has joined. 03:10:48 it/that 03:10:57 monqy: no that actually didn't change my opinion of it at all. 03:11:00 oh 03:11:49 just a horrid use case that was possible. 03:12:09 er ambiguity even. 03:12:27 ambiguity is bad??? and shouldn't be allowed to happen??? 03:12:40 so obviously infix nesting just shouldn't be possible without different quoting. 03:13:12 `( and )` would be ok for infix expressions imo 03:13:17 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: (: not found 03:13:29 hackego.... 03:14:04 > let f x y = y in 1 `f ` 2 03:14:05 2 03:14:19 hmmm, okay. 03:16:15 monqy: ASCII obviously needs more brackets 03:16:19 or keyboards need more Unicode. 03:16:30 latter is more sensible. 03:16:45 I'm fine with `( )`; it's the conclusion i came to when i entertained the idea of infix expressions a while back 03:18:30 eh 03:18:39 I like the idea of finally incorporating Unicode into programming syntax. 03:19:09 in a way that's not annoying. 03:22:14 "in a way that's not annoying" good luck 03:22:27 what do you mean by that anyway 03:23:17 that I can type it on a keyboard. 03:23:30 quickly 03:26:03 CakeProphet: agda has latex-like input 03:26:21 I prefer to do it without Unicode since the ASCII is a simpler code and can be typed more easily too. 03:26:25 if you type \x you get the cross product x, or if you type \to or \-> you get a right arrow 03:26:33 and so forth 03:26:42 mind you this is agda mode for emacs 03:27:08 Unless "-" was made a letter the \-> in TeX would be \- followed by > rather than a single control sequence 03:28:10 right I think Unicode can be incorporated into programming but it's something you'd have to do in an interface 03:28:11 You can use TeX to print out a program with fancy symbols and bold and everything, such as WEB. 03:28:30 for example ctrl/alt or using numpad keys (since I never use those :P ) 03:28:33 Input can be plain ASCII and it can work 03:28:56 zzo38: i said latex-like 03:29:16 when you type \-> it gets automatically replaced with the arrow 03:29:23 -!- MDude has changed nick to MSleep. 03:29:30 augur: Does LaTeX redefine "-" to be a letter? 03:29:37 no its not latex 03:29:42 it looks like latex 03:29:46 hence latex-like 03:30:08 its just an input method for unicode 03:30:21 it does use all of the standard latex names tho, i think 03:30:28 so \langle and \rangle work, for instance 03:31:35 CakeProphet: Well, if you have a specific set of symbols you use, you could create a character set for the programming language, and then use CTRL, ALT, and/or function keys, to select the extra characters (you could even have a character with code 1 and use CTRL+A to enter it, for example; or you could use ALT to add 128 so that the high codes in 8-bit are the special ones). 03:31:47 You can convert to/from Unicode if necessary, I suppose. 03:33:19 CWEB will work with Unicode input, but only for identifiers. However you can have macros and formatting codes to make them into operators. (I do not know if WEB has this feature) 03:41:10 zzo38: I think Unicode would work best simply because it's an existing standard. 03:41:34 I'm must not sure what kind of syntax could be incorporated into a language from Unicode. 03:41:38 I don't know much about Unicode. 03:42:13 CakeProphet: I don't think so. Unicode is badly designed. 03:44:17 zzo38: in what ways? badly organized? poor arithmetic properties? 03:44:47 All sorts of things. Those are some of them. 03:44:57 either way those are ancillary. it offers a large range of standardized characters that already have fonts made for them. 03:45:13 that's really all I would need to incorporate more symbols into the syntax of a language. 03:45:49 Yes; unless you need something that Unicode doesn't have (it does not include the complete Commodore 64 character set), in which case you can still use private use blocks but then you would need a font for them. 03:46:13 And sometimes the way variations are selected in Unicode are not exactly as you might want. 03:46:29 ...what does the Commodore 64 character set have that I might want? 03:46:51 retro hipster cred? :P 03:46:57 Complex scripts result in a lot of difficulties, especially since you need a database to decide what character is processed in what way! 03:47:24 CakeProphet: Probably nothing for what you are trying to make. But it still makes it insufficient. 03:47:53 so sufficient = incorporates every arbitrary character set ever made and organizes them sensibly. 03:48:44 Perhaps "insufficient" is the wrong word. But it does make in insufficient for a few uses. 03:52:23 so in-all-encompassing. :P 03:52:59 I think Unicode is mostly interested in encoding most of the world's writing systems and less about including every computer encoding that ever existed. 03:53:30 It does not even include all writing systems due to people make up their own. 03:54:04 And some people made up the TRON encoding because they dislike the way variation selection works in Unicode (I don't know anything else about TRON). 03:55:11 is "oh well it doesn't include every artificial script that invented" a valid complaint? 03:55:16 how do you go about standardizing that? 03:55:30 -!- banjomonster has joined. 03:55:30 also the private use block is probably the best way to handle those situations, really. 03:55:35 No you cannot standardize it. 03:55:35 so, way to go, Unicode. 03:55:41 That is why the private block exists. 03:55:49 But it still means you need specialized fonts. 03:56:04 -!- banjomonster has left. 03:56:11 how do you propose to solve this problem 03:56:45 And you also need to agree on their use (for many invented scripts, there are organizations which specify which Unicode code points correspond to them, but they are not a Unicode standard). 03:57:15 CakeProphet: You have to just do it on each individual case, I suppose. In some cases simply don't use Unicode if Unicode will not help. 03:58:01 you could have unicode telnet 03:58:41 Some telnet clients will support Unicode; some of which are part of a terminal emulator and not really part of the telnet client program itself. However, you can also have telnet without unicode. 03:58:52 so two abstract devices that are communicating with unicode start a telnet session at which point they can agree on which scripts/non-standard things they're using. :P 03:59:06 best solution 03:59:34 telnet is best for all porpoise. 03:59:59 Yes, that is one way. But Unicode does not help this at all. 04:00:22 right, how could it? without being telnet, of course. 04:00:23 If you need to agree on what you are using anyways, why do you use Unicode? 04:01:03 Unicode wiki 04:01:10 people can make pages for their scripts 04:01:19 and it automatically becomes part of Unicode. 04:01:59 I do not quite consider that the best way either; although in some cases, that might be the way to do it. 04:02:03 there's machine readable data to help programs handle the scripts and such. 04:02:21 Yes, if it has the complex script data and character property data. 04:02:36 ...it was a joke, really. I don't think the problem you're desribing is completely contrived and is one of the inherent problems of any standard. 04:02:42 er 04:02:48 I do think it is completely contribed rather 04:02:51 *contrived even 04:02:56 But of course that requires that the program access the wiki by internet always to access a file! 04:03:05 Which also is not a good way to do it. 04:03:22 best solution: the world is perfect. everything does everything the way you want. 04:03:29 problem solved\ 04:04:23 The way TeX does it works OK for typesetting; you have a metric file and a METAFONT to generate the font metric and character bitmaps for whatever printer you are using. 04:04:45 -!- oerjan has joined. 04:05:03 so you're saying the Unicode standard could include a way to specify typesetting and script data? 04:05:12 No! 04:05:34 I am saying to ignore Unicode for typesetting. 04:05:53 I thought we were talking about Ways Unicode Could Be Better 04:06:08 is that not what we're talking about? 04:06:14 am I missing something? 04:06:19 help 04:06:50 Unicode works for some things, but you should not always use it, please. 04:07:16 I use Unicode for everything. I draw in Unicode. 04:07:39 I write abstract Unicode poetry. 04:15:13 -!- hagb4rd has quit (Ping timeout: 260 seconds). 04:36:11 An actual on topic esoforum post has been spotted! 04:36:23 oh my 04:36:30 I completely forgot about the forum 04:36:57 hm, it looks like the guy who made brains also made a post 04:37:02 good thing nobody cares about brains 04:40:38 "Having decided to invent an extremely innovative and creative esoteric programming language of my own, I spent several days and nights feverishly working on my masterpiece. While taking a break from this, I invented CAPS 4D." 04:42:26 I liked that part 05:09:54 -!- Jafet has joined. 05:12:40 -!- CakeProp1et has joined. 05:13:20 -!- CakeProphet has quit (Ping timeout: 252 seconds). 05:20:16 There are such things as Japanese Korean chess rules, which are the same as Korean Korean chess rules except that it has promotation (which is mandatory). 05:44:19 @hoogle (a->Boolean) -> [a] -> ([a],[a]) 05:44:19 Warning: Unknown type Boolean 05:44:19 No results found 05:44:23 @hoogle (a->Bool) -> [a] -> ([a],[a]) 05:44:23 Prelude break :: (a -> Bool) -> [a] -> ([a], [a]) 05:44:23 Prelude span :: (a -> Bool) -> [a] -> ([a], [a]) 05:44:24 Data.List break :: (a -> Bool) -> [a] -> ([a], [a]) 05:44:32 @hoogle (a->b) -> [a] -> [[a]] 05:44:33 Prelude dropWhile :: (a -> Bool) -> [a] -> [a] 05:44:33 Prelude filter :: (a -> Bool) -> [a] -> [a] 05:44:33 Prelude takeWhile :: (a -> Bool) -> [a] -> [a] 05:44:47 :t partition 05:44:48 forall a. (a -> Bool) -> [a] -> ([a], [a]) 05:44:54 Thanks. 05:45:29 I did invent a different character coding that I will use for a different kind of computer. It is a sixteen-bit encoding called FBUCE, compatible with printable ASCII, but far simpler than Unicode. However, you usually will use NK encoding which is compatible with ASCII control characters as well as ASCII printable characters. 05:46:54 Madoka-Kaname: groupBy and sortBy might also be relevant 05:47:28 :t sortBy . comparing 05:47:29 forall a a1. (Ord a1) => (a -> a1) -> [a] -> [a] 05:47:35 Double thanks 05:47:55 :t groupBy . on (==) 05:47:56 forall a b. (Eq b) => (a -> b) -> [a] -> [[a]] 05:48:23 :t on 05:48:24 forall b c a. (b -> b -> c) -> (a -> b) -> a -> a -> c 05:48:35 @src on 05:48:35 (*) `on` f = \x y -> f x * f y 05:49:00 Madoka-Kaname: oh and ghc has some new list comprehension additions for grouping and sorting which i've never really looked at 05:49:16 iirc 05:49:20 Thanks. 05:51:09 There are things that FBUCE intentionally lacks: character properties, complex script support, variation selectors, right-to-left, etc. FBUCE does, however, support the entire Commodore 64 printable character set. Unlike Unicode, FBUCE would hardly ever be used directly; you normally use a mapping table. FBUCE has 512 defined control characters, though. 05:51:21 and something using a Data.Map.Map can also be useful 05:52:38 Madoka-Kaname: note that groupBy only groups _adjacent_ elements, so it may be necessary to use sortBy first 05:52:39 Sorry, I am wrong. It has 256 control characters. 05:53:02 How rude. 05:53:52 @djinn (a -> b -> c) -> (a -> d -> e) -> a -> b -> d -> e 05:53:52 f _ a b _ c = a b c 05:54:08 @djinn (a -> b -> c) -> (a -> c -> d) -> a -> b -> c 05:54:08 f a _ b c = a b c 05:54:26 @djinn (a -> b -> c) -> (a -> c -> d) -> a -> b -> d 05:54:26 f a b c d = b c (a c d) 05:54:33 @. pl djinn (a -> b -> c) -> (a -> c -> d) -> a -> b -> d 05:54:33 f = flip (liftM2 (.)) 05:55:13 :t liftM2 (>>>) 05:55:14 forall (cat :: * -> * -> *) a b c (m :: * -> *). (Control.Category.Category cat, Monad m) => m (cat a b) -> m (cat b c) -> m (cat a c) 05:55:32 eek 05:55:57 i _think_ that specializes to what you want 05:56:43 Do you mean the (->) category and the (e ->) monad? 05:56:47 yes 05:58:29 -!- derrik has joined. 05:58:54 :t sortBy 05:58:55 forall a. (a -> a -> Ordering) -> [a] -> [a] 05:58:56 :t groupBy 05:58:57 forall a. (a -> a -> Bool) -> [a] -> [[a]] 05:59:04 ... 05:59:06 Kya! 05:59:12 > groupBy ((&&) `on` isSpace) "testing a b c" 05:59:12 ["t","e","s","t","i","n","g"," ","a"," ","b"," ","c"] 06:00:55 Madoka-Kaname: their first arguments are analogous to compare and (==) respectively, which is why you might want to use "on" with those 06:07:05 -!- Ngevd has joined. 06:07:34 Hello! 06:08:13 morning 06:08:34 possibly a good one, even 06:09:30 I have woken up 5 times today 06:09:56 so now you don't have to wake up for the rest of the week! 06:10:02 :D 06:10:25 In here it is night time 06:19:10 I have idea functional program representation. data Exp = Apply Exp Exp | Case [(Pat,Exp)] | Global GlobalID | Local LocalID | Literal Literal | Primitive PrimitiveID; data Pat = Constructor ConstructorID [Pat] | LiteralP Literal | LocalP; 06:21:43 zzo38: aren't you missing a LocalID before ; at the end 06:22:29 oerjan: No. The LocalID would be a type synonym for a number, so you select them in order, I think. 06:22:37 Maybe I am wrong, though. 06:23:02 zzo38: but you need to be able to use them in the Exp part of the Case 06:23:45 Well, yes. Maybe you are correct, it should have LocalID there 06:24:02 or you could use deBruijn indices 06:24:14 What are deBruijn indices? 06:24:42 Special lambda calculus things destroying the need for variables 06:24:55 http://en.wikipedia.org/wiki/De_Bruijn_index 06:26:10 Something like that, is what I was thinking of. 06:26:59 the thing about these is that you don't just give each variable a fixed number, but you use a number depending on how far away its binding is 06:27:15 But there is still a difference, due to matching constructors with multiple parameters. 06:27:30 oerjan: Yes I understand that; I did read the Wikipedia article now. 06:27:46 yes. but i guess there you'd just have to count the LocalP's in some order 06:28:23 Yes you would have to count them in some order. 06:31:57 Case [(LocalP, e)] would be how you'd express an ordinary lambda expression, i assume 06:32:14 oerjan: Yes. That is my intention. 06:34:38 Does anyone know of a python module for multiplying matrices? 06:34:57 The program would be represented by a list of expressions (Exp) and the GlobalID type is an index into the program; exported functions are listed first and are in the specific order. 06:35:32 Ngevd: for loops (ahahahahahahahhahahahahhahahahahahha) 06:35:46 Ngevd: alternative joke: ask #python (ahahahahhahahahahahahahhahahahhahah) 06:36:03 I'm tired and I haven't had breakfast 06:36:04 I did not count has so I do not know which of those I laughed more at 06:36:14 So I will ask Python 06:36:22 *#python 06:39:14 > let a `mult` b = map (map (zipWith (*)) $ transpose b) a in [[1,0],[0,1],[1,-1]] `mult` [[1,2,3],[4,5,6]] 06:39:15 Couldn't match expected type `a -> b' 06:39:15 against inferred type `[[a1] ... 06:39:20 wat 06:39:59 oh 06:42:06 > let a `mult` b = map (\av -> map (zipWith (*) av) $ transpose b) a in [[1,0],[0,1],[1,-1]] `mult` [[1,2,3],[4,5,6]] 06:42:07 [[[1,0],[2,0],[3,0]],[[0,4],[0,5],[0,6]],[[1,-4],[2,-5],[3,-6]]] 06:42:25 too tired to free the points 06:42:39 > let ass `mult` bss = [[sum $ zipWith (*) as bs | as <- ass] | bs <- transpose bss] in [[1,0],[0,1],[1,-1]] `mult` [[1,2,3],[4,5,6]] 06:42:40 [[1,4,-3],[2,5,-3],[3,6,-3]] 06:42:53 There, Python code for multiplying matrices 06:42:56 ...and to fix the last bug :P 06:43:30 Jafet: you've nested them in the wrong order 06:43:53 Bah, I thought the type system would catch that. 06:44:06 for integer matrices? :P 06:44:11 > let ass `mult` bss = [[sum $ zipWith (*) as bs | bs <- transpose bss] | as <- ass] in [[1,0],[0,1],[1,-1]] `mult` [[1,2,3],[4,5,6]] 06:44:12 [[1,2,3],[4,5,6],[-3,-3,-3]] 06:44:21 there you go 06:49:18 Breakfast time, bye 06:49:20 -!- Ngevd has quit (Quit: what a big quitter he is, eh?). 06:57:55 ....oh I missed him. 06:58:21 -!- Jafet has quit (Quit: Leaving.). 06:58:36 @tell Ngevd Dude, numpy, bro. It's what you want. To multiply the matrices. 06:58:36 Consider it noted. 06:59:30 surely #python told him though. 06:59:37 I have faith. 07:01:41 -!- Ngevd has joined. 07:01:49 Ngevd: numpy 07:01:51 is what you want 07:01:53 dude. bro. 07:02:09 That's what #python told me 07:02:09 Ngevd: You have 1 new message. '/msg lambdabot @messages' to read it. 07:02:15 and now lambdabot 07:02:18 will tell you 07:02:22 triple affirmation 07:02:52 I'm having trouble installing it, though 07:03:17 do you have pip? 07:03:44 pip install numpy 07:04:30 64 bit Windows 07:04:33 So probably not 07:04:36 if you don't it might be in in apt-get under pip or python-pip depending on your -- oh 07:04:52 well, okay 07:04:54 I think I've cracked it 07:05:14 I don't think you're allowed to write programs in Windows 07:05:32 against the rules. 07:05:38 I'm in an off-shore oil platform 07:05:51 I... see? 07:06:04 no the platform is invisible 07:06:06 so you can't see it 07:06:38 it's a secret platform 07:08:06 monqy: do you use the fenestrated operating system? 07:08:26 -!- CakeProp1et has changed nick to CakeProphet. 07:08:32 ??????? 07:08:42 fenestra is latin for window 07:08:51 im linux, sorry 07:09:01 no sorry yes good 07:10:06 Going to switch to Ubuntu now 07:10:09 Actually... 07:10:11 Hmm... 07:10:19 but Ubuntu is going to be bad soon. 07:10:32 * CakeProphet is switching to Debian soon (actually) 07:11:02 whenever I finally feel like doing it. 07:11:13 I'm going to try and use DSL 07:11:28 why? 07:11:38 because it's ds? 07:12:29 Because it's l 07:12:38 Didn't work 07:12:41 It's not l enough 07:12:43 brb 07:13:08 -!- Ngevd has quit (Read error: Connection reset by peer). 07:14:52 -!- Ngevd has joined. 07:15:28 Back 07:23:46 -!- monqy has quit (Quit: hello). 07:25:09 Assange was a hacker in his youth, before becoming a computer programmer. 07:25:18 wouldn't it be more likely that he became the latter before the former? 07:25:45 Maybe he was one of those hackers who just went around calling everything 1337 07:26:13 And themselves 1337 |-|4><><0rz 07:27:18 You can 'hack' without programming skill, it'll just be very uninteresting hacks. 07:50:07 -!- CakeProphet has quit (Ping timeout: 252 seconds). 08:00:43 -!- oerjan has quit (Quit: Later). 08:32:05 I just followed my old english teacher on twitter 08:32:18 That is, a person who used to teach me english 08:32:32 Not a person who teaches me old english 08:32:36 Shame, too. 08:32:43 And not an old person who teaches me english 08:32:55 Though understandable; Old English is not *that* well-attested. 08:33:32 It's not like there's going to be many classes for learning how to understand the small handful of things written in it we have. 08:35:34 There are Old English teachers? Never thought about that 08:36:24 It's certainly plausible. 08:36:30 But just barely. 08:36:57 My mother studies the geneology of our family tree, so she has to read centuries old handwriting all the time 08:36:59 I guess that's not THAT old 08:37:13 How many centuries? 08:37:32 I dunno, 0-3? I'd have to ask her how far back she's ever gone 08:37:40 That's still modern English 08:37:45 But I see her squinting at things like church marriage records 08:37:46 Yeah 08:37:57 Just hard to read because it's all...curvy and slanted 08:38:00 I tried to do my family tree 08:38:08 Didn't get very far 08:40:08 She'd probably have as much trouble today if handwriting weren't outmoded. 08:40:24 Let's face it: unless you're careful, handwriting is pretty hard to read. 08:43:09 My handwriting is irredeemably awful 08:43:22 Same 08:43:38 My handwriting's quality depends on language. 08:43:53 My English handwriting? Essentially illegible. 08:44:08 My Japanese handwriting? Merely below average. 08:44:39 My handwriting's legibility is inversely proportional to how fast I write 08:44:50 And yes, English is my native language. 08:44:59 Which dialect? 08:45:21 Something roughly General American. 08:45:24 Okay 08:45:35 I'm roughly general British 08:45:45 With a small amount of Victorian Australian and Geordie 08:45:52 (General American is an *actual accent*, BTW) 08:46:04 I knew that 08:46:13 As far as I know, general British isn;t 08:46:18 Yeah. 08:46:19 I'm using it to refer to a soft RP 08:46:25 Ah. 08:46:27 Hence the lower case g 08:46:39 *That* seems like an actual accent, though. :P 08:49:11 I still don't understand how Red Hot Chilli Peppers manage to rhyme "bra" and "wall" 08:49:58 But then again, I can rhyme "vampires" with "stairs" 08:52:45 And I don't understand how I can do that 08:56:00 This has given me an idea 08:56:05 An IPA based language 08:56:20 That enforces pronounceability 08:58:14 Including the Bilabial percussive 08:59:45 You can't enforce pronounceability 08:59:49 Unless you have like...a pronounciation police 08:59:52 It'll drift anyway 09:00:16 All programmers must also record an audio version of their program 09:00:20 Scratch also 09:00:27 That audio version is the program 09:00:39 LOL 09:01:03 So this is a programming language you can't write in any public place 09:01:08 Yes 09:01:31 Next, we need a programming language based on the kinect 09:01:34 Functions are written with a lisp 09:01:39 so that in addition you can't write it while sitting down 09:24:35 -!- pikhq_ has joined. 09:25:28 -!- pikhq has quit (Ping timeout: 276 seconds). 09:26:05 -!- Phantom_Hoover has joined. 09:35:52 -!- Ngevd has quit (Ping timeout: 276 seconds). 09:41:52 -!- Ngevd has joined. 09:51:09 -!- Ngevd has quit (Ping timeout: 252 seconds). 09:53:15 -!- nooga has joined. 10:28:11 -!- myndzi has quit (Read error: Connection reset by peer). 10:40:41 -!- sllide has joined. 11:00:09 -!- Ngevd has joined. 11:00:24 Hello! 11:04:51 -!- pikhq has joined. 11:05:09 -!- pikhq_ has quit (Ping timeout: 260 seconds). 11:08:04 -!- nooga has quit (Ping timeout: 260 seconds). 11:08:34 -!- nooga has joined. 11:12:47 -!- Ngevd has quit (Ping timeout: 256 seconds). 11:13:32 -!- Vorpal has joined. 11:15:07 -!- Jafet has joined. 11:15:07 -!- Jafet has quit (Changing host). 11:15:07 -!- Jafet has joined. 11:15:12 -!- Ngevd has joined. 11:16:08 -!- zzo38 has quit (Remote host closed the connection). 11:16:21 ping 11:17:09 -!- Ngevd has quit (Client Quit). 11:17:40 -!- Ngevd has joined. 11:32:12 -!- derrik has quit (Quit: gtg). 12:02:02 -!- Jafet1 has joined. 12:04:36 -!- Jafet has quit (Ping timeout: 265 seconds). 12:19:01 -!- Ngevd has quit (Ping timeout: 244 seconds). 12:22:08 -!- Phantom_Hoover has quit (Ping timeout: 248 seconds). 12:23:38 -!- Ngevd has joined. 12:40:05 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 .). 12:42:03 -!- Phantom_Hoover has joined. 13:35:14 -!- copumpkin has joined. 13:39:28 -!- Phantom_Hoover has quit (Ping timeout: 248 seconds). 13:39:40 -!- pikhq_ has joined. 13:40:06 -!- pikhq has quit (Ping timeout: 260 seconds). 13:56:31 -!- Phantom_Hoover has joined. 14:02:30 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 14:45:22 -!- ais523 has joined. 14:55:17 -!- derdon has joined. 14:56:13 Sgeo|web: are you there? 14:56:27 Sgeo|web: do you know the qntm guy? 14:56:48 The qntm guy? 14:57:20 hmm, silly news story of the week: Belgian court orders ISPs to block www.thepiratebay.org; this is not actually an URL for the Pirate Bay 14:57:35 Hehe 14:57:43 Yes it is? 14:57:56 Anyway, cheater, you're supposed to say "the qntm guy!" 14:57:57 Deewiant: looks like people are mentally adding/filtering www even nowadays 14:58:02 it's .com 14:58:09 No wait 14:58:11 Is it? 14:58:23 ais523: Well of course it redirects to the non-www, but it's still "an URL for the Pirate Bay" 14:58:32 Deewiant: it doesn't redirect, apparently 14:58:46 Oh, that's just my browser then 14:59:02 But that doesn't matter, it still goes to the pirate bay :-P 14:59:05 not that I've tested 15:02:34 the student loans website I was trying to visit a couple of weeks ago works with a www and puts up a "down for maintenance" error without one 15:02:37 that was pretty confusing too 15:07:35 @ask Sgeo|web hey sgeo, do you know the guy running the qntm website? 15:07:35 Consider it noted. 15:10:28 Hi 15:10:29 Sgeo|web: You have 1 new message. '/msg lambdabot @messages' to read it. 15:10:33 Not personally... 15:12:04 cheater: what exactly are you asking? 15:15:15 -!- MSleep has changed nick to MDude. 15:17:13 Sgeo|web: do you know if he hangs out on irc somewhere? 15:17:17 i think he does 15:18:45 I think he either does or did, and I don't know where. And I'm not going to devote any energy in helping you cybertstalk him. 15:23:22 -!- Ngevd has quit (Ping timeout: 258 seconds). 15:24:10 no one asked you to devote energy, sillyhead. 15:30:50 -!- CakeProphet has joined. 15:37:25 -!- monqy has joined. 15:51:34 -!- Jafet1 has quit (Quit: Leaving.). 15:54:20 -!- Ngevd has joined. 16:01:36 -!- Nisstyre has changed nick to ircWisdom. 16:01:52 -!- ircWisdom has changed nick to Nisstyre. 16:32:27 -!- kerlo has changed nick to tswett. 16:37:41 -!- tiffany has joined. 16:46:28 -!- elliott has joined. 16:47:22 -!- derrik has joined. 16:59:01 hey ais523, do you know the game Neutrino? 16:59:10 no 16:59:53 it's a simple game 17:00:04 someone says a sentence, say "Neutrinos are faster than light" 17:00:29 the next person has to say a sentence that leads ip to it, that is, something that would make sense if said before that sentence 17:00:40 then writes it under the first sentence on a piece of paper 17:00:58 then the next person has to add something that makes sense said before the other two sentences 17:01:00 and so on 17:01:12 then you read it back in the "correct" direction 17:01:59 there are lots of ways to score a game 17:02:09 but you don't have to if you don't want to 17:02:52 basically it's like having a conversation, but back in time 17:02:57 it's really fun 17:09:24 -!- pikhq has joined. 17:10:13 -!- pikhq_ has quit (Ping timeout: 276 seconds). 17:16:17 -!- Ngevd has quit (Quit: Leaving). 17:19:56 Help it's cold. 17:20:03 * Phantom_Hoover grabs cat for warmth. 17:20:57 Phantom_Hoover: That is not fair you can't just do that. 17:22:10 Well why don't you just use a rabbit OH WAIT I FORGOT RABBITS SUCK 17:36:34 -!- sllide has quit (Ping timeout: 258 seconds). 17:47:38 -!- Ngevd has joined. 18:14:34 -!- MDude has quit (Ping timeout: 276 seconds). 18:16:20 -!- augur has quit (Remote host closed the connection). 18:20:25 -!- pikhq has quit (Ping timeout: 276 seconds). 18:28:15 -!- derrik has quit (Ping timeout: 252 seconds). 18:33:12 "In reality, cats do possess the ability to turn themselves right side up in mid-air if they should fall upside-down." --Wikipedia 18:33:41 Time to test the buttered cat paradox 18:33:55 elliott, fetch me your best cat and finest butter! 18:34:07 Ngevd: That was from [[buttered cat paradox]], you fool. 18:36:19 -!- asiekierka has joined. 18:36:29 busy ripping my ISP's online TV stream... http://i.imgur.com/MCr1y.jpg 18:37:00 asiekierka: Why the hell are you running that as root. 18:37:07 Hey, you're the binodu person! 18:37:17 elliott because its a quick hack? 18:37:27 a very, VERY quick hack? 18:37:30 Ngevd yes, hi! 18:37:32 asiekierka: Yes, so it'd take a lot much more work to type "sudo " and your password than to just run it. 18:37:40 I used to be called Taneb! 18:37:46 oh, that's you! hi! 18:37:50 elliott i can't turn it off now 18:37:55 the election night is in progress 18:38:08 which country's elections? 18:38:12 Poland 18:38:18 I'm still not sure how that makes running it as root /quicker/, but okay. 18:38:51 still, it does a good job at annoying nerds like us 18:39:37 Generally it isn't other people who get annoyed when your system gets compromised due to running things as root. 18:39:50 it's a tablet 18:39:50 I HAVE JUST HAD AN IDEA FOR AN ESOTERIC PROGRAMMING LANGUAGE 18:39:54 i don't have anything worthwhile for it 18:40:06 ONE THAT CAN EMBED MANY OTHER ESOTERIC PROGRAMMING LANGUAGES! 18:40:15 not like you can't copy the plaintext passwords android stores without root 18:40:40 I'm... pretty sure you can't. 18:40:50 it's important to point it out to anyone doing stuff as root, so that you have the right to say "we told you so" when they do get compromised 18:40:59 i AM aware of it 18:41:02 and i am aware of the dangers 18:41:09 THE DANGERS(TM) 18:41:19 the dangers(tm) 18:41:22 i hope there are no grues around here 18:41:38 eHHHHHHHH? 18:42:12 asiekierka: whether you're already aware of The Dangers is irrelevant, we have to tell you anyway 18:42:31 feel free to compromise my system, then 18:42:52 acquire IP by whois 18:43:16 good ideas for good people 18:43:21 but then it'd partially be my fault you get compromised 18:44:09 olsner: it's considered acceptable to -- as they call it in the hood -- "own someone's b0xx" -- if they have disclosed they are being an idiot as root 18:44:24 well go for it 18:44:32 the only thing running as root right now is a wget process 18:44:35 the URL is disclosed 18:44:50 if you want to hijack my WRT54GC router, the wifi is open (my DS only supports WEP and WEP is useless) somewhere in Poland 18:45:10 my ISP's domain name in the IP leaks the town 18:45:14 you just need to find the hotspot 18:45:19 as the tablet will be up for 10 more hours 18:45:22 that gives you plenty of time 18:45:39 ok 18:46:11 just... dont stop that wget 18:46:14 the recording is important for me 18:46:23 "please stop that wget i beg you" 18:51:24 -!- sadhu has joined. 18:51:46 -!- augur_ has joined. 19:12:08 -!- pikhq has joined. 19:15:52 monqy: What's an alphabetical letter. 19:16:31 q?????? or maybe q is not an alhbeptical lette.r. 19:16:41 a is a safe bet, i think 19:17:31 monqy: i went for q but shachaf said ... that that was ... taken ... 19:17:34 q is my favourite letter though 19:17:40 :( 19:17:44 is q really taken 19:17:47 or is shachaf a 19:17:48 liar 19:17:54 i dont know he said qhc was taken.... 19:18:04 also disadvantage of qhc: when module-named as Qhc it's not quite as nice 19:18:07 (QHC is worse) 19:18:25 eww capital q 19:18:27 (jhc has this problem too, Jhc is a pretty bad module name, it solves this by putting most things in a different top-level) 19:18:34 (like "E", "E" is one of jhc's module names) 19:18:40 (well actually I think it's all E.Something but still) 19:18:47 what is a letter which looks good as caps 19:19:12 and good as lowers 19:19:14 yhc seems like the sort of thing that would be taken.. 19:21:51 monqy: surely even you know about Yhc 19:22:11 -!- sadhu has quit (Ping timeout: 258 seconds). 19:22:28 i think i saw it somewhere but wasn't sure 19:22:40 and I know uhc is taken, I thinjk 19:22:57 yes, utrecht 19:23:12 "so weird"(tm) 19:24:20 monqy: i'll just list... all the options.. 19:24:26 ok 19:25:31 ahcAhcAHC 19:25:31 bhcBhcBHC 19:25:31 chcChcCHC 19:25:32 dhcDhcDHC 19:25:32 ehcEhcEHC 19:25:32 fhcFhcFHC 19:25:34 ghcGhcGHC 19:25:36 hhcHhcHHC 19:25:38 ihcIhcIHC 19:25:39 jhcJhcJHC 19:25:41 khcKhcKHC 19:25:43 lhcLhcLHC 19:25:45 mhcMhcMHC 19:25:47 nhcNhcNHC 19:25:49 ohcOhcOHC 19:25:51 phcPhcPHC 19:25:53 qhcQhcQHC 19:25:55 rhcRhcRHC 19:25:57 shcShcSHC 19:25:59 thcThcTHC 19:26:01 uhcUhcUHC 19:26:03 vhcVhcVHC 19:26:05 whcWhcWHC 19:26:07 xhcXhcXHC 19:26:09 yhcYhcYHC 19:26:11 zhcZhcZHC 19:26:13 http://sprunge.us/EaDR 19:26:15 now to filter out the taken ones... 19:26:40 ok 19:26:42 monqy: http://sprunge.us/GHiL 19:26:58 (shachaf says thc and qhc are both taken by probably-dead projects I think.........) 19:29:24 xhc is good. 19:29:33 Phc and Thc almost look ok but capital letters are really gross ew 19:30:23 .... 19:30:37 I don't see how any of these are more gross than any other. 19:30:59 except the voweled ones. 19:31:09 ihc, ahc, ehc. 19:31:11 well ohc is okay 19:31:21 uhc is... uhc 19:31:42 but yeah you definitely want eXtreme Haskell Compiler. 19:32:07 yhc and qhc and uhc and ghc and maybe dhc are the best for lowercase 19:32:18 nothing is really good uppercase 19:32:32 monqy: i linked to the untaken ones... 19:32:37 because you just listed... two taken ones.... 19:32:38 yes i know 19:32:44 i know 19:32:46 right 19:32:48 that was intentional 19:32:57 comment on aesthetic not what to take 19:33:03 monqy: if I was going for thc I would go THC uppercase, but it is... too pun even for me................................. 19:33:17 CakeProphet also listed two taken ones 19:33:26 ZHC 19:33:29 phc is pretty nice, and PHC isn't too bad 19:33:38 yeah that one's okay. 19:35:40 elliott: Chc is gross. 19:36:01 no shit 19:36:19 Nhc and Mhc actually isn't too bad, I think. 19:36:37 Dhc too. 19:37:41 Lhc = lulz 19:38:07 Someone discussing my compiler? 19:38:43 maybe? we're mostly discussing the aesthetics of titlecase haskell compiler acronyms... 19:39:07 Phantom_Hoover: ? 19:39:25 dhc Dhc DHC -- not bad 19:39:44 phc is pretty nice, and PHC isn't too bad 19:39:53 ah 19:40:05 Phantom_Hoover: Did you reserve that name : ' ( 19:40:14 >_> 19:40:18 wait for it. 19:40:23 *P*hantom *H*oover *C*ompiler 19:40:29 yes i know 19:40:33 i'm just asking if Phantom_Hoover has actually used it 19:40:50 you're asking if there's a phantom hoover compiler? 19:40:54 ... 19:40:54 ... 19:40:56 Yes, it's the... um... 19:41:02 CakeProphet: Stop being dense. 19:41:38 elliott: noep 19:41:44 Does it have to be *HC? 19:41:45 obviously a ridiculous question. 19:41:51 Why not *CfH? 19:42:03 well as far as acronym expansion you can pretty much always get away with recursion. 19:42:13 DHC = DHC Haskell Compiler 19:42:28 *CfH = *CfH compiler for Haskell 19:43:01 Better still: HaskellC 19:43:09 pikhq: grose, imgagery 19:43:33 LHC = Large Hadron Collider Haskell Compiler 19:43:34 Invoking the Gregor compiler notation. 19:43:39 LHC Haskell Compiler for short 19:43:42 Okay, CakeProphet wins. 19:43:57 CakeProphet: I removed LHC from the "unused" list for a reason. 19:44:16 pikhq: When has Gregor used that? 19:44:26 elliott: plofc 19:44:34 That's lowercase. :p 19:44:39 That's me being lazy. 19:44:40 :P 19:44:47 Anyway, plofc should be a C interpreter written in Plof. 19:44:52 Evidence: {c,d}plof 19:44:59 Bah, right. 19:45:03 elliott: but it's definitely the best name for a haskell compiler. 19:45:10 CakeProphet: It's also taken. 19:45:20 LHCHC is taken? 19:45:36 is it taken by a haskell compiler? I think you're allowed to re-use acronyms 19:45:47 Hmm. 米HC. There. 19:45:49 pikhq: well no it would be LHC 19:45:56 but it could be LHCHC I guess 19:46:06 The American Haskell Compiler. 米HC for short. 19:47:17 pikhq: LHC would be short for LHC Haskell Compiler, which is short for... yeah. 19:47:20 you got it. 19:47:49 Call it "Hird's Compiler for Haskell" 19:47:57 Then for bonus points port it to Hurd 19:48:34 The Jeff Bridges Haskell Compiler, or 男円HC. 19:48:42 ... 19:48:49 Phantom_Hoover: That... Doesn't make sense. 19:48:54 Man-money? 19:48:55 No, you're right. 19:49:08 円男HC. 19:49:13 Money-man? 19:49:21 No, Tron-man. 19:49:24 Either that or circle-man. 19:49:28 Um. 19:49:29 No. 19:49:33 Yes. 19:49:47 what does that have to do with Jeff Bridges.. 19:50:05 Beats me. 19:50:17 DHC = The Dude Haskell Compiler 19:50:21 "Some of his best-known films include Tron," 19:50:35 oh okay. 19:50:43 * CakeProphet does not know the best-known films then. 19:51:15 http://2.bp.blogspot.com/-SSyo7A8y_J4/TlxUY-DMBLI/AAAAAAAAAZc/Z4EeBuTl8AQ/s400/jeff_bridges2.jpeg 19:51:18 captivating 19:51:49 phc 19:51:52 pico haskell compiler 19:52:08 No, Phantom_Haskell Compiler. 19:52:13 -!- Phantom_Hoover has changed nick to Phantom_Haskell. 19:52:14 or ahc - atheist haskell compiler, or ehc - elliott haskell compiler 19:52:25 what 19:52:35 Pico atheist: elliott. 19:52:46 pae 19:54:18 elliott: would it be unacceptable to use all uppercase for the module name? 19:54:27 CakeProphet: "Qhc" is unacceptable. 19:54:35 "QHC" as much so. 19:54:35 er, I mean QHC 19:54:36 Other names may be acceptable uppercase. 19:54:38 oh okay. 19:54:45 I mean like... 19:54:53 is that acceptable for naming conventions. 19:54:58 to name modules in all caps. 19:55:03 For instance phc/PHC is acceptable. 19:55:06 Phc is not. 19:55:40 I don't really see the problem with LHC. Acronyms are re-used all the time... 19:56:17 Help I don't approve of the Darwin Awards any more I liked being a misanthrope :( 19:56:29 Phantom_Haskell: what. 19:56:31 Phantom_Haskell: Ha, I've been disapproving of them since before it was cool. 19:57:02 elliott: me too dawg. I didn't even know it was cool. That's how cool I am. 19:57:07 made cool cred up in here. 19:57:35 s/made/mad/ 19:57:41 elliott call it dhc - dawkins haskell compiler 19:57:48 asiekierka shut up 19:57:56 :< 19:58:22 :< 19:58:31 | 19:58:36 =|:{C 19:58:36 I don't even like Dawkins but your bitterness is hilarious. 19:58:36 | 19:58:39 Lhc, Mhc, Dhc, Ohc these are all good. 19:59:04 told you, Dhc 19:59:09 elliott, didn't you like him a while ago? 19:59:47 Phantom_Haskell: I liked him well enough but then he was terrible so I didn't any more. (I can elaborate in /msg if you want.) 20:09:51 -!- TeruFSX has quit (Remote host closed the connection). 20:10:43 http://www.codinghorror.com/blog/2006/09/has-joel-spolsky-jumped-the-shark.html 20:10:56 Waitwaitwait, I though Atwood and Spolsky loved each other. 20:12:03 dawkins 20:12:04 dawkins 20:12:06 dawkins 20:12:13 I read that and now I feel dirty. 20:13:32 -!- jix has quit (Remote host closed the connection). 20:13:48 coppro, have you turned into some kind of antitheist chicken? 20:14:51 Phantom_Haskell: dawkins 20:16:16 Waitwaitwait, I though Atwood and Spolsky loved each other 20:16:17 Observe date. 20:16:34 LaunchedAugust 2008 20:16:37 --[[Stack Overflow]] 20:19:53 -!- zzo38 has joined. 20:25:34 Phantom_Haskell: That article sure does have high-quality arguments: "At the risk of being rude, Joel is a pompous ass and hasn't said anything interesting for years. He's now also plainly gone completely insane, and the poor old dear should be taken out and shot..." 20:26:06 s/arguments/comments/ 20:26:14 What is words; furthermore, what are typing? 20:27:03 -!- tiffnya has joined. 20:29:02 -!- tiffany has quit (Ping timeout: 260 seconds). 20:30:33 -!- sllide has joined. 20:36:12 -!- tiffnya has changed nick to tiffany. 20:36:57 Our long national nightmare is over thanks to tiffany. 20:37:03 .-. 20:38:36 -!- sllide has quit (Read error: Connection reset by peer). 20:39:43 I wonder if a lexical context stack is ~as useful as a stack trace for Haskell. 20:39:58 "On 11 July 1985, news reporter Peter Jennings interrupted General Hospital for a special news bulletin: After a mere 79 day furlough, the original-recipe Coke was back on the market as “Coca-Cola Classic.”" 20:39:59 I... 20:40:00 I guess it's kind of non-trivial in some ways. 20:40:06 -!- TeruFSX has joined. 20:40:14 Phantom_Haskell: Wouldn't you? 20:40:31 You forgot to close that ~. 20:40:55 What. 20:42:52 different ~ there 20:42:55 I wonder if a lexical context stack is ~as useful as a stack trace for Haskell. 20:43:04 ~ being "approximately" i assume 20:43:10 Phantom_Haskell: Yeah what monqy said. 20:43:14 I do that all the time man jeez. 20:43:57 You use them for ~sarcasm~ more. 20:44:00 -!- MSleep has joined. 20:44:00 -!- MSleep has changed nick to MDude. 20:45:08 Goodnight 20:45:09 -!- Ngevd has quit (Quit: Leaving). 20:57:14 -!- Zuu has quit (Ping timeout: 244 seconds). 20:58:09 -!- tiffany has quit (Quit: Leaving). 21:00:43 -!- tiffany has joined. 21:04:48 -!- Zuu has joined. 21:07:49 -!- Patashu has joined. 21:09:07 -!- Zuu has quit (Ping timeout: 244 seconds). 21:10:35 -!- Zuu has joined. 21:14:30 Why is 'corridor' such a nice word? 21:15:39 -!- sllide has joined. 21:16:01 It isn't. 21:16:15 -!- TeruFSX has quit (Read error: Connection reset by peer). 21:16:56 what if elliott and I were actually the same person 21:17:09 You aren't. 21:17:16 It would be a miracle that I managed to say all my stupid lines under a different name. 21:17:21 how do you know? 21:17:33 for the reason elliott said 21:17:48 you'd have to be a very good actor!! 21:18:15 hmm. 21:18:18 yeah I guess you're right. 21:18:30 -!- TeruFSX has joined. 21:18:59 bahahahaha I was just acting I'm actually 21:19:04 lying 21:19:07 ahahahahahahahaha 21:19:29 you'll never know whether or not elliott and I are the same person. 21:19:31 -!- TeruFSX has quit (Read error: Connection reset by peer). 21:19:39 ok 21:20:00 I'm so glad I remembered to say that in my Stupid Window. 21:21:22 monqy: Did you pick a letter. 21:22:45 no im bad at choices 21:23:23 badhc, goodhc 21:23:45 http://t.co/euelGmPG hello what is this 21:23:54 phc is kind of tempting but Phantom_Haskell will never let me rest. 21:24:02 Although I'm tempted to go with Atheist Haskell Compiler just for the hilarity. 21:24:19 Patashu: ah. 21:24:45 You're implementing Haskell now? 21:24:47 it's like someone took php and turned it into javascript, or C# 21:24:58 n = 3 21:24:59 a = select name from foo where id < $n 21:24:59 foreach(a as key: value) { 21:24:59 echo "row: " + key + " name: " + value.name 21:24:59 } 21:24:59 I'm not actually sure how this is related to PHP 21:25:11 Deewiant: MAYBE...... 21:25:28 Deewiant: Shut up I've had like two successful projects in a row that I'm still going at I can THINK BIG now I have mastered project management. 21:25:43 Two? 21:25:43 zepto 21:25:49 -!- TeruFSX has joined. 21:26:01 Deewiant: shiro, mchost 21:26:01 mchost, elliottcraft, @ 21:26:13 aqh,.. shiro 21:26:19 aqh? 21:26:27 trying to type ahh but it came out wronge 21:28:28 Totally demand Deewiant retract his indignance 21:28:44 is mchost successful? 21:28:57 I wasn't indignant, I just forgot about shiro 21:29:12 monqy: It's at a pretty good stage and has had sustained development for quite a while, so sure 21:29:24 good 21:29:25 Obviously it's not "done" but neither is Shiro :P 21:29:28 woah, what the hell? jigglypuff is top tier in ssbm now 21:30:45 Hmm, I think a lexical context stack in Haskell is really easy 21:30:57 http://www.smashboards.com/showthread.php?t=294748 21:31:13 Patashu: wat 21:31:24 Just push name, file, line and column information whenever you see a definition, and pop it when it ends, and the stack's state when you look at a definition is the lexical context. 21:31:26 You can even include lambdas. 21:31:38 Patashu: my guess is some kind of lame infinite chaingrab combo thing 21:31:40 or something. 21:31:54 maybe people figured out how to use rest proly 21:32:57 Jigglypuff has always been stupidly high-tier. 21:33:17 Yeah but I mean 21:33:19 fox tier?!? 21:33:42 It used to be because she had one or two boring air combos. 21:34:04 (unrelated) ness has the best air moves in brawl... 21:34:13 er, I mean, not the best. they're just good. 21:34:29 Will you please stop being such a Ness fanboy. 21:34:45 you just don't understand man 21:34:50 PSYCHIC JAPANESE BOYS YESSSS 21:35:14 This sounds like the kind of unsettling thing Madoka-Kaname says. 21:35:15 japanese? 21:36:26 CakeProphet, yes, what monqy said, we all know Ness is from whatever it was called. 21:36:34 eagleland was it 21:38:17 Yeah, I wasn't sure. 21:38:36 no he's obviously Japanese 21:38:45 he just lives in a fantasy world. 21:38:52 but is still Japanese. 21:39:19 in much the same way that everyone is Anglo-Saxon in LotR. 21:39:37 hello 21:39:42 hi 21:40:11 -!- augur has joined. 21:40:12 -!- augur_ has quit (Ping timeout: 258 seconds). 21:45:03 New Pork City is a deep metaphorical exposition on obesity in America. 21:45:37 I'm currently writing my thesis on symbology in the earthbound series. 21:45:46 ok 21:47:39 does anyone die and then come back to life to save the world? 21:47:42 that's insta-Jesus reference. 21:48:23 ok 21:50:45 monqy: are you Jesus? 21:51:38 maybe are you Jesus&? 21:52:12 Can any Haskell compiler have something to compile into like the representation I have described for functional programming? It is not the same as GHC Core; mine lacks unsafe functions, casts, let, source info, and other things. The program is a list of expressions, a GlobalID indexes the program, and exported functions are given GlobalID numbers. 21:53:02 zzo38: not any, no. 21:53:09 .. 21:53:44 Would you know how such a thing could be made, or whether any Haskell compiler has similar features? 21:56:18 zzo38: I would need to know more about the intermediate form and how it works to answer the first question. and no I don't know the answer to the second question 21:56:26 Muxin Wang. 21:57:06 zzo38: how do you do let? 21:57:41 CakeProphet: You can transform let to lambda. 21:57:48 You can even then eliminate lambda by doing lambda-lifting if you want. 21:58:15 I posted the representation I had idea of, on this IRC, yesterday. 21:58:21 elliott: I thought about lambda but how do you do things like mutual recursion? 21:58:29 Well, that was let, not letrec. 21:58:45 CakeProphet: Just float them to the top level with lambda-lifting. 21:59:04 It did not actually have lambdas, instead it used Case [(LocalP, e)] for a lambda expression. 21:59:10 e.g.: Add every variable in scope as an argument to the definitions in the "let", float out to top level, eliminate unused parameters. 22:00:07 And a global is still capable of referencing itself; it also has support to have primitives if you need them. 22:11:57 -!- ais523 has quit (Remote host closed the connection). 22:25:16 -!- jix has joined. 22:27:20 -!- Phantom_Haskell has quit (Quit: Leaving). 22:27:26 -!- CakeProphet has quit (Ping timeout: 260 seconds). 22:29:10 -!- CakeProphet has joined. 22:29:11 -!- CakeProphet has quit (Changing host). 22:29:11 -!- CakeProphet has joined. 22:31:46 -!- zzo38 has quit (Remote host closed the connection). 22:34:40 -!- Madoka-Kaname has quit (Read error: Connection reset by peer). 22:34:43 -!- Lymee has joined. 22:41:18 -!- Lymee has quit (Ping timeout: 252 seconds). 22:54:01 -!- Madoka-Kaname has joined. 22:54:01 -!- Madoka-Kaname has quit (Changing host). 22:54:01 -!- Madoka-Kaname has joined. 22:54:37 monqy: phc or qhc....... 22:54:53 P is better than Q in this font at least but q is better than p aaaghhh 22:55:13 especially next to h, q is so much better 22:55:22 Hopefully I didn't spew this in here: 22:55:24 by next to i mean as in qh not hq 22:55:26 sudo halt 22:55:28 EllIoTTSuCkS 22:55:37 what 22:55:46 ITT: worry about frivolous things. make bad burns. 22:56:00 My screen blanked, and I tried to issue a clean shutdown. 22:56:07 >> 22:56:33 .. 22:56:38 good password. 22:57:04 I like how the alternating case doesn't alternate across double consonants. 22:57:17 nice choice. 22:57:27 since we're discussing the aesthetics of letters and case. 22:57:33 for some reason. 22:58:32 elliott: Hhc 22:58:36 Haskell Haskell Compiler. 22:58:50 Madoka-Kaname: is that your pass 22:58:56 word 22:58:58 I doubt it. 22:58:59 also 22:59:03 Madoka-Kaname: learn to reisub nub 22:59:20 Sysrq disabled. 22:59:50 Madoka-Kaname: why 22:59:58 Because Debian default, and too lazy to fix it. 23:00:00 elliott: oh neat. 23:00:17 Madoka-Kaname: echo 1 > /proc/sys/kernel/sysrq 23:00:25 I know. 23:00:29 Still need to put it into init or something. 23:01:06 Madoka-Kaname: echo '/proc/sys/kernel/sysrq = 1' >>/etc/sysctl.conf 23:01:22 EXTREME DIFFICULTY 23:01:36 oh hmm 23:01:42 echo 'sys.kernel.sysrq = 1' >>/etc/sysctl.conf 23:01:46 my badde 23:01:53 ^^; 23:02:08 do it now or i will most verily get mad 23:02:28 elliott: is it on by default in ubuntu? 23:03:11 tias 23:03:20 else... maybe... cat /proc/sys/kernel/sysrq?????? 23:03:54 1 23:04:06 also I dislike remembering your obscure acronyms. 23:04:59 also I believe I've already mentioned tihs 23:05:07 but I don't own a Target Identification and Acquisition System. 23:05:30 -!- nooga has quit (Ping timeout: 252 seconds). 23:09:40 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 23:28:39 -!- Jafet has joined. 23:39:45 monqy: phc or qhc.... 23:39:53 and then Phc/PHC or Qhc/QHC for the module name 23:40:14 phc -- the open source PHP compiler 23:40:14 www.phpcompiler.org/ 23:40:15 20 Sep 2011 – What is phc? phc is an open source compiler for PHP with support for plugins. In addition, it can be used to pretty-print or obfuscate PHP code, ... 23:40:19 monqy: oh man, now you only have one question to answer 23:40:21 monqy: Qhc or QHC 23:40:24 aaaaaaaaa 23:40:44 is that aaaaaaaaa to the question or to phc 23:40:47 they're both ugly in their own special ways ;_; 23:40:51 to the qusetion 23:41:41 Qhc is imbalance but QHC has lots of caps 23:42:02 what do the other compilers use? 23:42:12 inconsistent across them? 23:43:01 -!- sllide has quit (Ping timeout: 240 seconds). 23:43:12 jhc uses Jhc for like primitive parts of its standard library, and unprefixed things for others like FrontEnd.Blah and E.Blah; GHC uses GHC for primitive parts of its standard library and non-portable stuff, and maybe parts of the compiler I dunno, and doesn't have a prefix outside of that 23:44:43 decisions :( 23:44:59 I could look at UHC I guess 23:45:03 even if it is.... Utrehct............. 23:45:08 monqy: oh and Yhc uses Yhc but it's /called/ Yhc 23:45:13 (jhc is called jhc and GHC is called GHC) 23:46:32 wow how the fuck is this thing organised 23:46:48 ok i have no idea about uhc 23:47:04 utrehct 23:47:29 yes 23:47:30 utrecht 23:49:58 monqy: qhc or QHC HELp[;,............ 23:49:59 erm 23:49:59 Qhc 23:50:04 i'm leaning towards Qhc because QHC yuck 23:50:21 ok 23:50:49 monqy: ehpl 23:51:15 QHC is way better than Qhc 23:51:20 im bad at leaning when both are so yukc.....but if there must be a choice,,, 23:52:05 if only lowercase module names :( 23:52:18 qHC (dont worrY: im just kidding) 23:52:29 (ha ha h ha) 23:56:33 CakeProphet: except the name of the compiler is qhc