00:00:15 woooooo 00:05:48 > map ord ['1'..'0'] 00:05:49 [] 00:05:55 > map ord ['0'..'9'] 00:05:56 [48,49,50,51,52,53,54,55,56,57] 00:07:12 > map ord $ ['0'..'9'] ++ ['A'..'F'] 00:07:16 [48,49,50,51,52,53,54,55,56,57,65,66,67,68,69,70] 00:07:29 handy 00:08:02 >65-57 00:08:28 > map (chr . (\x -> 48+x+(8*(toIntegral$x/10))) [0..15] 00:08:29 : parse error (possibly incorrect indentation) 00:08:37 > map (chr . (\x -> 48+x+(8*(toIntegral $ x / 10))) [0..15] 00:08:38 : parse error (possibly incorrect indentation) 00:08:42 > map (chr . (\x -> 48+x+(8*(toIntegral $ x / 10)))) [0..15] 00:08:43 Not in scope: `toIntegral' 00:08:54 @hoogle Rational -> Integral 00:08:54 Warning: Unknown type Integral 00:08:55 Numeric fromRat :: RealFloat a => Rational -> a 00:08:55 Prelude fromRational :: Fractional a => Rational -> a 00:09:00 > ord . intToDigit <$> [0..15] 00:09:01 > map (chr . (\x -> 48+x+(8*(fromRational $ x / 10)))) [0..15] 00:09:02 [48,49,50,51,52,53,54,55,56,57,97,98,99,100,101,102] 00:09:02 Couldn't match expected type `GHC.Types.Int' 00:09:02 against inferred type ... 00:09:06 char in C++ is unsigned by default yes? 00:09:23 -!- tiffany has quit (Quit: Leaving). 00:09:37 > intToDigit <$> [0..15] 00:09:38 "0123456789abcdef" 00:09:46 CakeProphet: char's signedness is undefined. 00:09:49 at least in C 00:09:55 glibc/linux uses signed char 00:10:04 erm 00:10:04 ah 00:10:05 gcc/linux 00:10:27 return ((int)data)-48 //so then this probably isn't sensible where data is declared char. 00:10:45 and guaranteed at this point to be a char from 0 to 9 00:11:16 I may just convert the char to a string and use atoi... 00:11:23 iirc the 0-127 ascii range is guaranteed to be positive 00:11:37 ah right 00:11:42 it shouldn't matter... 00:32:01 -!- derdon has quit (Remote host closed the connection). 00:33:43 -!- augur has joined. 00:43:46 -!- ive has quit (Ping timeout: 244 seconds). 00:46:13 -!- Zondartul has joined. 00:48:29 Hey. I bet this question gets asked a hundred times a day... but what do is your stance on the fictional language ~ath from homestuck? 00:48:42 what is your stance guys* 00:49:14 hm are any of the homestuck readers active... 00:49:34 also, i haven't heard it before. 00:49:46 good esolang 00:49:49 I'm awake 00:49:51 except that there's no spec for it so not really. 00:51:33 aww... I thought one of you esolang programmers would hack together something that resembles it by now :P 00:52:12 We have almost as many Homestuck readers as Finns now. 00:53:00 *gasp* 00:53:11 ...is there any overlap? 00:53:39 the world-destroying semantics have been a little tricky to implement. 00:54:07 oerjan: By one, yes. 00:55:38 -!- ive has joined. 01:23:38 -!- Nisstyre has quit (Ping timeout: 255 seconds). 01:26:55 -!- tswett has quit (Quit: leaving). 01:27:56 -!- Warrigal has joined. 01:28:01 -!- Warrigal has changed nick to tswett. 01:30:14 elliott: There's a complication. I can't just randomly block the thread making the AW calls 01:30:42 Because that needs to call aw_wait() on a regular basis. And during the aw_wait() calls is when events are triggered 01:30:49 Sgeo|web: It wouldn't block. 01:31:18 Sgeo|web: I can help you hash out an actual design sometime, but not right now. You can definitely make it work out though. 01:33:17 elliott is busy taking over the world. 01:34:24 Someone did write code using .NET's new async stuff 01:34:42 Which kind of makes me jealous since I kind of wanted to show off making async calls look synchroneous 01:35:32 -!- Zondartul has quit. 01:36:09 Continuations? 01:36:10 :V 01:37:14 -!- Nisstyre has joined. 01:37:19 STM 01:37:22 does that. 01:37:56 N... 01:37:59 o... 01:38:00 it doesn't. 01:38:05 STM is something completely different. 01:38:15 well not calls... 01:38:20 elliott: just curious, why use an MVar instead of STM? 01:38:31 Sgeo|web: STM buys you nothing here. I presume you mean TMVars. 01:38:42 You don't want transactional semantics, you want the lower-level interface of MVar. 01:38:54 There's never a conflict by definition anyway. 01:41:40 -!- pikhq_ has joined. 01:41:55 so what's wrong with "using namespace std"? 01:41:55 -!- pikhq has quit (Ping timeout: 260 seconds). 01:41:59 people don't seem to like it. 01:42:22 but I really don't enjoy the propagation of stds in my code. 01:43:24 Well, if you're using it in a header, then you're forcing it on people, is one issue 01:43:29 "More typing is good" 01:44:05 In Haskell, it is 01:44:07 >.> 01:44:49 Sgeo|web: what about outside of headers? 01:47:29 "If you import the right header files you suddenly have names like hex, left, plus or count in your global scope. This might be surprising if you are not aware that std:: contains these names. If you also try to use these names locally it can lead to quite some confusion." 01:47:37 http://stackoverflow.com/questions/1452721/why-is-using-namespace-std-considered-a-bad-practice-in-c 01:48:37 okay but what about when I'm not a header file. 01:48:58 ...that applies to even in a non-header file 01:49:44 eh 01:49:48 * CakeProphet uses namespace std. 01:53:28 -!- Nisstyre has quit (Ping timeout: 240 seconds). 01:54:04 -!- Nisstyre has joined. 01:58:28 -!- augur has quit (Remote host closed the connection). 01:59:17 -!- quintopia has quit (Ping timeout: 252 seconds). 02:09:27 -!- pikhq has joined. 02:09:35 -!- quintopia has joined. 02:09:39 -!- pikhq_ has quit (Ping timeout: 258 seconds). 02:40:00 -!- augur has joined. 02:40:20 -!- augur has quit (Remote host closed the connection). 02:55:06 -!- ive has quit (Ping timeout: 256 seconds). 02:59:06 -!- augur has joined. 02:59:19 -!- augur has quit (Remote host closed the connection). 03:07:34 uh what was the option to get debugging symbols from g++? 03:07:39 -g 03:07:46 I... don't believe you. 03:07:51 I do 03:08:02 pooppy's right on this one. 03:08:07 It's the same as any other GCC compiler. 03:08:19 I don't know the option for those either. 03:08:27 but I recall it being a longer option name. 03:08:29 last time I asked. :P 03:08:51 I assume by "get debugging symbols" you mean "have debugging symbols in the output binary"? 03:11:53 correct. 03:14:31 Ohhh, then you want -gdwarf-2 -feliminate-dwarf2-dups -fno-merge-debug-strings -fmem-report -fprofile-arcs. 03:15:50 hmmm 03:15:52 I think O' 03:15:57 I'll just valgrind instead. 03:16:06 * Gregor lols. 03:16:29 -!- coppro has set topic: Agora invades BlogNomic! | #include "stdio.h". 03:16:29 int main() { auto anonfunc = [](int a) { return a;}; printf("%s\n", typeid(anonfunc.operator()).name()); } 03:16:33 oops 03:16:39 noooo 03:16:44 why did you make me look at the ugly lambda syntax 03:16:50 anyone have the log link? 03:16:53 mispaste :( 03:16:58 -!- Gregor has set topic: pooppy is now banned from changing the topic | http://codu.org/logs/_esoteric/. 03:17:12 -!- coppro has set topic: Agora invades BlogNomic! | http://codu.org/logs/_esoteric/. 03:17:43 a very esoteric matter 03:17:58 the esotericest matter 03:17:58 * Sgeo|web wants a language where time and space complexity are part of types 03:18:05 -!- oerjan has set topic: Agora invades BlogNomic! | 12345678^&!* | http://codu.org/logs/_esoteric/. 03:19:11 Sgeo|web: I would like some runtime value constraints as part of types. 03:19:31 so you could say "this value is between in this interval of integers" for example. 03:19:44 er, insert grammatical correctness 03:20:14 I suppose that would be some form of dependent typing. 03:34:15 -!- pikhq_ has joined. 03:34:29 -!- pikhq has quit (Ping timeout: 259 seconds). 04:03:54 Homestuckers other than tswett: EoA5 progress bar UPDATE to 96% 04:04:37 96% party 04:12:15 -!- kwertii has quit (Quit: kwertii). 04:12:19 friendship 96% 04:12:24 friendship 96% party 04:18:38 hey monqy design my file format 04:22:23 Cale... actually agreed with something I said 04:22:35 YOU'RE A CELEBRITY NOW. 04:25:40 -!- Jafet has joined. 04:25:41 -!- Jafet has quit (Changing host). 04:25:41 -!- Jafet has joined. 04:28:28 what sort of file format 04:29:53 -!- oerjan has quit (Quit: Good night). 04:29:54 monqy: reverse-context tree 04:30:18 can't say I know much about those 04:30:47 monqy: yeah but i mean i just need like 04:30:49 b-trees and shit 04:30:50 ;__; 04:31:35 I've never been fond of bee trees. 04:31:38 those things hurt, you know 04:36:16 `pastelogs Oranjer 04:36:26 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.4459 05:25:30 craaazy people http://www.tpuc.org/node/609 05:25:42 The DECEPTION of: INCLUDE(S) used by TV LICENSING oop's sorry! CONSIGNIA (CUSTOMER MANAGEMENT) LTD also Traded as TV LICENSING 05:25:52 me 05:26:58 wow this webs ite sure is angry 05:27:14 stop ylling my ears are senseteve i have problems 05:27:49 -!- sebbu has quit (Read error: Connection reset by peer). 05:28:12 Please note the CAPITALISATION should not be seen as shouting, but is simply being used to highlight the LEGAL ILLUSION. 05:28:24 (however, it is much funnier if you yell the more bolded/capitalized/underliend it is) 05:28:32 Patashu: did you read that Free Man site where like 05:28:42 it's a contract for your legal fiction which is distinguished by being ALL CAPITALS 05:28:43 -!- sebbu has joined. 05:28:43 -!- sebbu has quit (Changing host). 05:28:43 -!- sebbu has joined. 05:28:48 and if you go into court and demand they address you by their firts name 05:28:49 it's not binding 05:28:50 elliott: that's this website 05:28:51 its so fucking amazing 05:28:51 -!- Jafet has quit (Quit: Leaving.). 05:28:52 basically 05:28:59 Patashu: no it was much more lo-fi but yes i am sure it is peddled in many places 05:29:49 when i read "free man site" i thought timecube 05:29:53 Because the LEGAL world can only ACT (CONTRACT) upon LEGAL PERSONALITIES (PIECES of PAPER) they need the Man or Woman to REPRESENT a BIRTH CERTIFICATE, LEGAL PERSONALITY, a PIECE of PAPER. 05:29:56 the freeest man site 05:30:28 freeest is the freeest usage of English gramar. 05:30:35 you know, if the legal system was run by robotic beings 05:30:42 freemen would actually have a chance 05:30:56 -!- kwertii has joined. 05:31:09 * CakeProphet can only act upon legal personalities. 05:31:30 -!- Slereah_ has quit (Ping timeout: 256 seconds). 05:31:38 * Patashu is a function that takes a pointer to a legal personality 05:32:49 has anyone seen C++ code that takes references to pointers? 05:32:59 also can you have points to references? that sounds weird to me. 05:33:03 *pointers 05:33:35 -!- GreaseMonkey has joined. 05:34:11 pointers are weird 05:34:31 references too 05:34:32 http://msdn.microsoft.com/en-us/library/1sf8shae(v=vs.80).aspx references to pointers 05:34:49 can't find pointer to reference. I don't think that even makes sense 05:37:06 -!- Jafet has joined. 05:37:19 -!- sebbu has quit (Read error: Connection reset by peer). 05:37:42 -!- sebbu has joined. 05:37:42 -!- sebbu has quit (Changing host). 05:37:42 -!- sebbu has joined. 05:39:24 Patashu: http://www.cnet.com/8301-30976_1-20068778-10348864.html 05:42:34 im going to operate a nuclear facilities using itunes 05:42:42 every time I try to load that page google chrome's tab crashes 05:42:44 weird....... 05:42:51 then put them on aircraft and operate the aircraft using itunes 05:43:00 stuff itunes operated life support systems into it 05:43:43 -!- augur has joined. 05:44:01 man eulas are nuts 05:44:39 legal systems are nuts in general. 05:45:18 seriously we should probably utilize this great new invention called the computer to assist us with categorizing and maintaining laws. 05:45:55 CakeProphet: they tried that 05:45:58 and look where blognomic is now 05:46:02 coppro: Sgeo|web: TOPICAL JOKE 05:46:30 -!- coppro has set topic: BlogNomic invades BlogNomic! | 12345678^&!* | http://codu.org/logs/_esoteric/. 05:46:43 coppro++ 05:46:48 :D 05:46:56 a stunning success and therefore failure 05:47:25 elliott: I mean things like "modularizing" law. 05:47:25 what is blognomic? 05:47:38 -!- Slereah_ has joined. 05:47:53 so that you can refer to previous laws or a category of laws systematically, use consistent terminology, etc. 05:48:12 Patashu: fucked 05:49:01 I guess in some countries this is basically how laws work. 05:49:15 but there's no accessible means by which the average person can sit and learn about it all. 05:49:25 too much legalese to sift through without obvious definitions. 05:49:33 this is why hypertext would be good, for legal bodies. 05:49:47 http://agora.qoid.us/current_flr.html 05:49:51 *legal documents 05:50:07 and a category/template system. essentially like a wiki. 05:50:14 but without the anonymous editing part. 05:50:29 you have weighted powers? 05:50:51 Patashu: a game where, supposedly, all rules including the rules regarding rule changes can change 05:51:02 In reality, it's looking more like "Ignore the rules if someone abuses them" 05:51:15 * CakeProphet pursues the victory condition of Anarchy. 05:51:36 elliott: can I play? pretend I never said that. :P 05:51:42 CakeProphet: what, agora? 05:51:44 yes. 05:51:46 sure 05:51:54 sign up for the lists, post saying you're registered 05:52:02 nice ASCII whale. 05:52:12 Try not to look like a BlogNomic player, and that's not a whale 05:52:22 come on it has a blowhole 05:52:30 what else is a big fat fish with a blowhole. 05:52:35 Regarding the file format, following oerjan I suggest {a^i b^i c^i | i > 0}, as it cannot be recognized by a pushdown automaton. 05:52:50 Whales aren't fish, but it's been a while since I saw the ruleset 05:53:03 Oh 05:53:35 which is permitted only when the Rules explicitly or implicitly permit it. 05:53:36 The @ makes it look a bit dizzy. 05:53:38 implicitly, eh? 05:54:42 spivak pronouns? 05:54:44 weijiwejriuhwejr 05:56:07 spivak pronouns = pirate pronouns 06:09:58 [CFJ 2410 (called 11 March 2009): Consent to join a binding agreement 06:09:59 may be given privately.] 06:10:01 oh snap. 06:10:11 CakeProphet: been exploited in literally every way you can imagine, don't bother 06:11:17 the rule itself is a kind of exploit. 06:11:25 nope 06:11:26 anyway 06:11:28 a, legal... exploit. 06:11:28 i'm too busy to talk about agora 06:11:29 LO 06:11:46 ...you're welcome to be busy and not reply then. :P 06:12:52 in any case if I were planning to exploit something I surely wouldn't make mention of it. 06:16:11 -!- nooga has joined. 06:48:56 pizzas are a good way to describe composing data types in Haskell 06:49:14 a cheese pizza is basically the most basic kind of pizza, a pizza with nothing on it. 06:49:19 apart from 06:49:20 cheese 06:49:30 right but almost every other kind of pizza has cheese 06:49:33 it's the baseline. 06:49:36 for being a pizza. 06:50:16 so in a pepperoni pizza, you just include the cheese pizza, and pepperonis :P 06:50:45 that's... basically as far as I've gone with this analogy. It breaksdown rapidly from there. :P 06:52:36 I know a person who only eats pizza with no cheese on it. 06:52:46 So it's definitely not a requirement for being a pizza. 06:53:53 well pizza does have a very wide definition. 06:54:47 none of the typical definitions of pizza eliminate the cheese and only a few eliminate tomato sauce ("white" pizzas) 06:54:57 typical kinds of pizzas, rather. 06:55:01 not definitions. 06:55:26 Yes, that was confusing. Anyway, there are several "standard" no-cheese pizza flavours in Italy. 06:55:58 Sadly I can't recall the names; they're not exactly widely available e.g. in Finland. 06:56:25 white pizza is the best. 06:56:29 definitely my favorite. 06:57:17 a "vegan pizza" would certainly have no cheese. 06:58:03 Pizza Marinara is at least a no-cheese thing. 06:58:40 And it's very much a "standard" pizza. 07:00:51 (It's listed as one of the three official Neapolitan pizzas in the Wikipedia article; it seems that means one of the three mentioned in the EU trademark for "Pizza Napoletana". 07:01:13 "‘Pizza Napoletana’ TSG is round with a variable diameter not exceeding 35 cm and a raised rim and 07:01:13 is garnished and baked in the oven. The central part is 0,4 cm thick, with a tolerance of ± 10 %, and 07:01:13 the rim is 1-2 cm thick. The overall pizza must be tender, elastic and easily foldable into four." 07:01:28 "The ‘Pizza Napoletana’ is seasoned as follows: 07:01:29 — using a spoon, place 70 to 100 g of crushed, peeled tomatoes in the centre of the disc of dough, 07:01:29 — using a spiralling motion, spread the tomato over the whole central surface, 07:01:29 — using a spiralling motion, add the salt to the surface of the tomato, 07:01:29 — in the same manner, scatter a pinch of oregano on the surface, 07:01:29 — chop a peeled clove of garlic into thin slices and place them on top of the tomato, 07:01:31 — using an oil dispenser with a spout and a spiralling motion, distribute over the surface area, from 07:01:33 the centre outwards, 4-5 g of extra virgin olive oil, with a tolerance of + 20 %." 07:01:35 The best trademark document. 07:01:56 It doesn't even specify the direction of the spiralling motion. :( 07:02:31 I do believe the defining aspect of pizza is that it is flattened bread with toppings. 07:02:40 It depends on which hemisphere you live in 07:03:10 European food laws = the most ridiculous thing. 07:03:15 especially in Italy. 07:03:34 "Italian open pie made of thin bread dough spread with a spiced mixture of e.g. tomato sauce and cheese" --wordnet. 07:03:48 well, I can see benefits of having food laws and drawbacks. 07:04:02 the pizza has largely become the amazing thing it is today thanks to American corruption. 07:04:11 "A savoury dish of Italian origin, consisting of a flat, usually round base of dough, baked with a topping of tomatoes, cheese, and any of various other ingredients, such as meat, anchovies, or olives." --OED: so as a corollary, if it tastes bad, it's not a pizza? 07:04:22 CakeProphet: s/American/Italian/ 07:04:23 You could get a refund based on that. 07:04:30 The corruption was the doing of Italians in America. 07:05:12 yes, many Americans were, are, and come from European immigrants. 07:06:26 What I mean is "it was literally done by first-generation Italian immigrants". 07:06:31 as a downside to loose food regulation, American food companies can package almost any concoction with a few basic ingredients and call it something that it really shouldn't be called at that point. 07:07:20 Coincidentally, fi:pissa = en:pee. 07:07:50 CakeProphet: Actually, it's not quite that loose. 07:09:08 comparatively it is, but yes there are regulations. 07:09:17 wyngz 07:09:25 Wyngz is actually a regulated term. 07:10:13 i know 07:10:29 "FSIS has a standard of identity in Title 9 of the Code of Federal Regulations (CFR), Section 381.170(b)(7) that defines a poultry "wing." The use of the term "wing" cannot be used on any poultry product unless it complies with this standard of identity. In comparison, FSIS allows the use of the term "wyngz" to denote a product that is in the shape of a wing or a bite-size appetizer type product under the following conditions in which the Agency considers its u 07:10:29 se fanciful and not misleading: [5 conditions]" 07:10:56 "-- the smallest letter in the descriptive name is no smaller than 1/3 the size of the largest letter used in "wyngz;" and --" 07:11:02 And you call the pizza trademark silly. 07:11:22 I don't. If anything, US food regulations are even more silly. 07:12:02 I meant "ridiculous" in the sense that they're unecessarily strict, not silly. 07:12:11 they are certainly better worded. 07:12:16 there is no mistaking what an Italian pizza is. 07:12:29 American wings = ?????? 07:14:53 Has to be an actual wing from a chicken. 07:14:57 what "wyngz" are is even more confusing. 07:15:08 Wyngz are... Perverse. 07:15:36 so if I create a solid block of macaroni and cheese in the shape of a wing, then that could be wyngz? 07:15:43 I guess the Agency has to decide. 07:16:38 I know that in order to be "potato chips" it must be fried. 07:16:45 thus why Pringles are "potato crisps" 07:17:14 Per their current definition of wyngz, it has to be white chicken meat in a bite-sized form... 07:17:28 bite...sized? 07:17:49 Erm. 07:17:53 I should sleep. 07:17:55 lol 07:18:10 I don't think it needs to be bite-sized: "in the shape of a wing *or* a bite-size appetizer type product" [emphasis mine]. 07:18:27 But it does need to be white chicken. 07:18:33 Right, right. 07:18:35 ah 07:18:41 I suppose you could have a giant wyngz. 07:18:57 so I could make a wing-shaped product that is not capable of being eaten in a single mouthful. 07:19:11 or a unicorn shaped product that is edible in one "bite" 07:19:14 good to know. 07:19:15 Yes. 07:21:14 CakeProphet: Remember to submit your "wyngz" label to the Labeling and Program Delivery Division for sketch approval, because it is considered a special statement that cannot be generically approved. 07:21:31 ah. 07:21:45 does that apply for all names not regulated? 07:21:50 such as wyngicorns? 07:22:03 or... 07:22:08 great cubicuboctahedrons? 07:22:11 "The statement may only reference the term "wyngz" (no other misspellings are permitted)." 07:22:27 ah so I'd need one of those subtext things. 07:22:33 below my wyngicorns brand. 07:22:49 in order to be... considered wyngz 07:22:51 whatever that is. 07:23:23 Possibly "wyngicorn" is far-enough removed from "wing" that it doesn't need special handling? I don't know. 07:24:10 Goal: chicken wyngicornz available in every bar. 07:25:26 well it said I "may" name them wyngz but don't have to if they fit this definition. 07:25:44 so it's more like... a helpful suggestion. 07:26:00 CakeProphet: but if it's too close to wings, you'll get dinge 07:26:00 d 07:26:05 because wings is regulated 07:26:06 and like 07:26:09 wiingz 07:26:11 is misleading 07:26:32 http://www.youtube.com/watch?v=u88AOoYAOQE this is pretty much the best TAS 07:26:38 I assure you that both wyngicorns and great cubicuboctahedrons will be nothing like wings. 07:27:02 If it's not a poultry product at all, though, there may be more latitude. I think you can have edible "cardboard wiingz" without problems. 07:27:12 Edible cardboard? 07:27:21 It's just a matter of seasoning. 07:30:03 -!- monqy has quit (Quit: hello). 07:31:25 there's edible styrofoam. 07:31:52 i hate styorofoamfs texture so much uuuurgh 07:32:16 though nothing on the internet seems to suggest there's such a thing. 07:32:37 maybe my childhood friend's mom was pranking me into eating styrofoam. 07:33:09 what a mean adult. 07:33:44 oh no there's such a thing as "corn plastic" 07:34:45 maillard reaction: great reaction or greatest reaction? 07:34:47 discuss 07:35:47 -!- nooga has quit (Ping timeout: 255 seconds). 07:41:30 -!- SimonRC has quit (Ping timeout: 252 seconds). 08:02:52 -!- SgeoN1 has quit (Read error: Connection reset by peer). 08:02:53 -!- SgeoN2 has joined. 08:04:31 -!- SimonRC has joined. 08:11:46 -!- kwertii has quit (Quit: bye). 08:14:41 Piet program spotted in the wild: http://www.businessweek.com/magazine/the-rare-find-reinventing-recruiting-10132011.html (The whole puzzle thing is old, I guess, but didn't spot Piet in there.) 08:15:10 heh 08:19:00 > intercalate "?" (repeat "?") 08:19:01 "??????????????????????????????????????????????????????????????????????????... 08:19:53 elliott: good porgram 08:20:03 SgeoN2's 08:20:14 ...whut 08:20:15 why 08:22:36 elliott: why would anyone write that. 08:23:55 If this were pure math and not Haskell, would it... oh, still countably infinite 08:24:40 Stupid hotel story for kids has _still_ infected my mind and made me thing wrong thoughts 08:24:41 > intercalate "!" (repeat "?") 08:24:41 "?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!?!... 08:24:47 :t repeat 08:24:48 forall a. a -> [a] 08:24:52 :t intercalate 08:24:53 forall a. [a] -> [[a]] -> [a] 08:25:01 fizzie: dude Facebook should totally hire me because I can recognize Piet programs. 08:25:10 :t \x -> intercalate x . repeat 08:25:11 forall a. [a] -> [a] -> [a] 08:25:42 I don't get it. How do you pass an [a] into a [[a]] 08:27:16 Feces has always been associated with the lowest people among society, the social outcasts, the pariahs, the social discards. The Caste system in India was created along the lines of profession and the dalits or shudras (untouchables) were left to do work related to human emissions. They did such work as clean and pick feces from streets, clean toilets, work with dead bodies. Such practices are prevalent even today in th 08:27:23 I like how it says "shit" 08:27:32 where 08:27:48 http://en.wikipedia.org/wiki/Feces#Social_Implications 08:27:54 there. 08:28:17 Sgeo|web: help what is that program for. 08:28:41 CakeProphet: i probablys hould have realiesd that page would contain pictures of feces 08:28:43 euuuuuurgh 08:29:17 It's missing the "bear scat showing a diet of prime numbers" picture. 08:29:33 elliott: no human feces oddly enough 08:29:42 I remember at one point there was a picture of human shit. 08:29:45 on a plat 08:29:46 e 08:30:03 someone shat on a plate and took a picture of it for Wikipedia. 08:30:26 `addquote It's missing the "bear scat showing a diet of prime numbers" picture. 08:30:32 688) It's missing the "bear scat showing a diet of prime numbers" picture. 08:31:00 Perhaps someone shat on a plate and took a picture of it, and then later realized "oh, I can upload this to Wikipedia too, to do my part of the encyclopedia-making". 08:32:42 Sgeo|web: Hotel story? 08:33:08 Some rendition of Hilbert Hotel 08:33:37 Ending had an infinite number of infinite-sized busses, and at the time, it seemed as though it was left ambiguous as to whether that was doable (countably infinite) 08:34:29 http://en.wikipedia.org/wiki/Everyone_Poops 08:34:30 best book. 08:34:51 deserves a nobel prize in literature. 08:36:13 http://www.ccs3.lanl.gov/mega-math/workbk/infinity/inhotel.html 08:51:41 -!- nooga has joined. 09:05:47 Sgeo|web: What's wrong with Hilbert's hotel? 09:05:49 It works fine. 09:06:34 Sure you can enumerate an that. It's just (N,N) ~ Q 09:07:11 The part with the infinite people on infinite buses, I mistook what the story said wrt building catching on fire to mean that it wouldn't work 09:07:25 This was quite some time ago 09:10:15 fizzie: still, I imagine there are plenty of good programmers who have never heard of Piet. 09:10:32 and so missed an opportunity to solve the actual puzzle. 09:10:37 -!- ais523 has joined. 09:10:40 -!- ais523 has quit (Changing host). 09:10:40 -!- ais523 has joined. 09:19:15 -!- ais523 has quit (Read error: Connection reset by peer). 09:21:46 -!- ais523 has joined. 09:56:05 -!- sebbu has quit (Read error: Connection reset by peer). 09:56:39 -!- sebbu has joined. 09:56:39 -!- sebbu has quit (Changing host). 09:56:39 -!- sebbu has joined. 09:57:06 -!- Mynick has joined. 09:59:06 -!- ais523 has quit (Remote host closed the connection). 09:59:49 -!- hagb4rd has joined. 10:02:25 -!- Mynick has quit (Ping timeout: 276 seconds). 10:30:26 -!- GreaseMonkey has quit (Quit: The Other Game). 10:32:47 -!- nooga has quit (Ping timeout: 244 seconds). 10:38:22 -!- Jafet has quit (Quit: Leaving.). 10:40:39 -!- nooga has joined. 10:49:35 -!- Vorpal has joined. 11:42:01 I seem to be slowly shaking away that "put a space after a trailing ?" habit: http://sprunge.us/cQhA 11:42:13 heh 11:42:39 fizzie: so if i made a bot that just happened to ... 11:43:08 Other people might find such a bot quite irritating. 11:43:24 SHEESH 11:58:22 Ssy, does anyone know that thing that goes "da da da DA da da da"? I think it's not from Homestuck. 12:01:40 katamari damacy\ 12:06:09 -!- ais523 has joined. 12:16:15 -!- ais523 has quit (Read error: Connection reset by peer). 12:18:53 -!- ais523 has joined. 12:21:11 -!- Jafet has joined. 12:28:55