00:01:04 they run with the .NET framework executable.. (mostly piped or passed as a parameter) 00:01:20 but this things are handled with the FTYPE function 00:01:30 give it a try..and you'll see 00:02:02 here a FTYPE entry: 00:02:03 WPDContextMenu.Url="%SystemRoot%\System32\rundll32.exe" "%SystemRoot%\System32\ieframe.dll",OpenURL %l 00:03:06 you see the TYPE WPDContextMenu.Url (define with ASSOC: file extension->filetypename) is handled by another program 00:03:24 the % things are vars 00:03:50 however.. it's just some smalltalk now 00:04:24 windows is so underestimated ..i must say 00:04:28 yea 00:04:42 it's even good 00:08:01 maybe one more thing: %SystemRoot%\System32\rundll32.exe with that native executable you gain access to the whole unmanaged WINAPI libs (+3rd party assembly dlls) 00:18:03 also everything you setup with FTYPE, ASSOC in the shell (user interface ;) is just handling the db-values of the REGISTRY, (cmd regedit).. it takes some tome to find your way through its structure but soon enough you will wonder how much of windows' behaviour is to be configured basically by pulling a chain or pusing another trigger 00:18:39 in that registry 00:21:46 PONG 00:23:43 help. 00:23:50 GNIP 00:28:11 i see your euhoria know no metes or bounds 00:28:15 :p 00:31:08 knows no meets or joins 00:31:28 yea 00:31:48 lattice not overdo this. 00:45:08 -!- Phantom__Hoover has quit (Ping timeout: 245 seconds). 00:52:30 lettuce 00:52:47 semilettuce 00:58:28 Smelly Lattice 00:59:38 -!- sirdancealo2 has quit (Read error: Connection reset by peer). 01:11:24 o.O 01:11:33 Sgeo.O 01:11:36 Got a spam where it pretended to be http://www.dailymail.co.uk/news/article-1326473/Canadian-couple-Allen-Violet-Large-away-entire-11-2m-lottery-win.html 01:11:52 As in, there's this in the email: 01:11:53 You can verify this by visiting the our web pages below. 01:11:53 http://www.dailymail.co.uk/news/article-1326473/Canadian-couple-Allen-Violet-Large-away-entire-11-2m-lottery-win.html 01:12:34 i don't understand what you're saying but, daily mail :( 01:12:38 Of course, if someone actually reads the article, they'd see the email (which claims "we are 01:12:39 donating the sum of 1.million dollars to 6 lucky individual over the world") is false, but there really is an article 01:12:44 Maybe I should paste the spam somewhere 01:12:58 What's the daily mail? 01:13:03 Other than a tabloid. 01:13:03 http://pastie.org/private/2fyt7yhoncha5bluttiy1a 01:13:14 shachaf: terrible 01:14:19 -!- hagb4ked has quit (Ping timeout: 264 seconds). 01:14:30 #define PARENT(type, field, p) ((type *)(void *)((char *)(p) - offsetof(type, field))) 01:14:50 #define HI BIKE 01:14:56 shachaf: a xenophobic, reactionary tabloid 01:15:04 hachet 01:15:17 most recently they publicly mocked a transgender schoolteacher who then committed suicide 01:15:29 their response: to delete the article from their website and pretend it never happened 01:15:56 -!- heroux has quit (Ping timeout: 255 seconds). 01:17:09 -!- sirdancealo2 has joined. 01:17:32 -!- heroux has joined. 01:17:42 kmc, oh wow, link 01:18:10 http://www.huffingtonpost.co.uk/2013/03/23/richard-littlejohn-lucy-meadows_n_2940090.html 01:18:10 what was the author again? littlesomething, littlebottom maybe 01:18:13 john. 01:18:49 oh, i didn't notice the 'then' 01:19:06 http://en.wikipedia.org/wiki/Richard_Littlejohn#Controversy_and_criticism 01:19:09 yeah, she killed herself partly because of the article. 01:19:16 i don't know if that's established 01:19:19 anyone know what gittid(2) is for? 01:19:27 "It is regrettable that this tragic death should now be the subject of an orchestrated twitterstorm, fanned by individuals including former Labour spin doctor Alastair Campbell with agendas to pursue." 01:19:28 gettid(2)? 01:19:35 "Asian hopscotch lessons" 01:19:38 oh god Alastair Campbell 01:19:38 when did the word agenda get so politicised 01:19:53 kmc: as in "man 2 gettid" 01:19:55 all I actually know about Alastair Campbell is that Armando Iannucci really, really hates him 01:20:18 Bike: you said gittid but anywya, it gets the thread id? don't mean to be a jerk but it's what it says on the tin 01:20:38 I mean, why's that there if there's pthread_self? 01:20:49 pthread_self(3) 01:20:51 I don't know much of anything about Linux or POSIX, I guess. 01:20:52 gettid(2) 01:20:53 gittid is the system call used to implement pthread_self I expect 01:20:57 gah now I've done it 01:20:59 It says they're different, though. 01:21:01 screw you Linus Torvalds 01:21:10 what 01:21:14 I expect the userspace pthreads library keeps a mapping between them 01:21:22 " The thread ID returned by pthread_self() is not the same thing as the kernel thread ID returned by a call to get‐tid(2)" 01:21:54 libpthreads will call clone(2) and that returns a TID 01:22:41 -!- btiffin_ has joined. 01:22:50 Oh, I see that in man pthreads. 01:23:00 "Both of these are so-called 1:1 implementations, meaning that each thread maps to a kernel scheduling entity." 01:23:08 Hmm, rethinkdb used syscall(SYS_gettid) instead of pthread_self() 01:23:12 I don't remember why. 01:23:13 you should write a program that uses pthread_self() and then strace it 01:23:19 except the pthreads library might cache the value anyway 01:23:33 shachaf: does it also use clone(2) 01:24:16 It uses pthread_create(), I'm pretty sure. 01:24:39 Also, speaking of gays: http://25.media.tumblr.com/8dd3f1120a544044be9d2aa661dc6846/tumblr_mkf2olVUil1qbrf1vo1_500.jpg 01:24:51 Bike: will clicking this link give me the gay 01:25:16 -!- btiffin_ has changed nick to btiffin. 01:25:28 Quite the opposite.... maybe 01:25:48 isn't lisp slow? 01:25:55 lolololololololol 01:25:56 So slow. 01:26:02 it doesn't even have monoids 01:26:32 that means it's difficult, not slow, kmc!! 01:28:37 -!- hagb4rdoux has joined. 01:29:48 http://shine.yahoo.com/healthy-living/pot-dealer-in-uk-gets-sentenced-to-write-10-page-essay--161750168.html 01:29:55 "“I asked the judge if I could write a balanced argument for and against cannabis, but he said that since it’s illegal, I should only write about the bad things,” said Bennett." 01:30:05 a modern galileo 01:31:15 " Speaking with various UK news outlets, he seemed rather excited about the assignment, saying he’d gotten right to work with online research." 01:31:43 Does the UK have a place to get weed from/send way too many firearms too, like the US does? 01:31:48 to* 01:35:23 you mean mexico? 01:35:53 yes. 01:36:33 i think undocumented workers in the UK are mostly from Poland, and undocumented workers in Poland are from Belarus 01:36:42 and I don't know where from in Belarus 01:36:53 but also Poland is in the EU so maybe this is bullshit? 01:38:06 in belarus they're from the uk, obviously 01:38:44 maybe north korea 01:40:29 i don't think either of those is correct 01:40:43 in belarus they use the mutants left over from chernobyl 01:41:32 oh makes sense 01:41:34 Phantom_Hoover++ 01:41:41 it's so obvious 01:42:02 http://pastebin.com/zTUppyZp i'm starting to think i need to stop reading this source 01:42:04 i have another question: on a boat, does the cabin air conditioner exchange heat with the water rather than the outside air? 01:42:23 if the water is cooler than the cabin air, then you don't even need to run the compressor! 01:42:37 but you probably will anyway, to make it go faster, and also because there's not a way to move the refridgerant around otherwise 01:42:47 somehow i doubt it 01:43:05 i think on a small boat you probably just have a window AC unit, for simplicity, but on a big boat maybe not? 01:43:06 Bike: no you need to keep reading 01:43:07 air conditioning on a boat? 01:43:15 maybe on really big cruise liners that can afford to have a whole dedicated air conditioning system 01:43:21 yes hagb4rdoux boats get hot too 01:43:27 yeah a cruise liner HVAC system must be at least as complicated as a building 01:43:34 probably a lot more 01:43:43 Fiora: "soon you will go insane and lose your ego and i can order you around as i please! MWA HA HA" -- you 01:43:58 no not really >_< 01:44:14 bike what is this code 01:44:14 like ..loveboat 01:44:29 what hath god wrought 01:44:32 "#define DIAG_DECL(decl) decl" thanks 01:44:47 kmc: it puts all the used registers in an array obviously 01:44:48 #unnecessarypreprocessordirectives 01:44:55 is it from a conservative garbage collector 01:45:00 kmc: oh gosh you should see all the stuff bike was pasting 01:45:00 -!- hagb4rdoux has changed nick to hagb4rd. 01:45:13 The linux32 one is http://pastebin.com/wDsaSenA which seems way more sane to me. 01:45:14 even just the C macro abuse is amazing 01:45:21 it does type checking with C macros 01:45:23 It's from a garbage collector, yeah. 01:45:30 I still don't know what the hell is going on with the type checking. 01:45:38 #define DISCARD(expr) \ BEGIN \ (void)sizeof((expr)!=0); \ END 01:45:42 like...?! 01:46:03 is that a type checker? 01:46:12 sounds like just a way to mark 'expr' as used when it isn't really 01:46:18 but that would just be (void)expr; ? 01:46:32 the sizeof is to make sure the compiler looks at it, and barfs if it's not a valid expr 01:46:37 without actually evaluating it 01:46:41 oh 01:46:44 so it's a syntactic check 01:46:46 the type check is: #define ASSERT_TYPECHECK(type,val0 ASSERT(type ## Check(val), "TypeCheck " #type ": " #val) 01:46:47 errrr 01:46:59 (type,val) I mean. 01:46:59 hmmmmmmmmmmmmmmmmmmmmmmmm 01:47:13 I can't for the life of me figure out what this is for. 01:48:03 i think i will drink the rest of this oatmeal stout and then attempt to understand that code (not really) (only the last part is not really, the beginning part is completely really) 01:48:37 kmc: You should make mosh use NaCl. 01:48:54 NaCl only supports weird djbalgorithms yeah? 01:49:21 unless you mean the other NaCl 01:49:21 [TO DO:] crypto_secretbox_aes256gcm 01:49:23 djbalgorithms 01:49:27 wait 01:49:29 that's what you said 01:49:35 i thought shachaf meant the other nacl 01:49:44 the twitter crypto mafia was making fun of gcm the other day 01:49:47 I meant the one with the djbalgorithms. 01:49:51 so i think we shouldn't use gcm 01:49:52 Anyway that's a [TO DO:] 01:49:56 twitter crypto mafia 01:50:02 The one it actually uses is crypto_secretbox_xsalsa20poly1305 01:50:06 swedish house mafia 01:50:21 shachaf: I asked a queston on http://wtfcrypto.com/ but it didn't get answered yet! 01:50:44 What's the question? 01:51:15 whether H(key || nonce || block index) produces a secure stream cipher keystream, in principle 01:51:17 kmc: You should write a MITM program that inserts misleading information into web pages about cryptography when you don't fetch them with https. 01:51:26 Eventually all cryptography programs will be broken. 01:51:36 that's a cool tumblr :o 01:51:38 shachaf: O: THEY'RE IN THE WALLS 01:51:44 Fiora: just started up 01:51:54 * Fiora follows 01:52:03 -!- ogrom has quit (Quit: Left). 01:52:29 wait, I can't find a follow button -_- 01:52:37 i don't know how tumblr works 01:52:47 if you click the wrong button you will probably get dick gifs 01:52:48 just fyi 01:52:58 oh I guess I can do it manually 01:53:04 Fiora: Sometimes if they're jerks they make it a bit weird to follow them. I had to do a bit of diving for some other one. 01:53:07 Dick gifs? Hot dog! 01:53:08 kmc: is that a general internet tip 01:53:13 yes 01:53:16 Your Rights Online 01:53:44 this oatmeal stout somehow lacks a %ABV label so I can only assume it will give me incredible superpowers 01:53:44 Fiora: http://www.tumblr.com/follow/wtfcrypto hth 01:53:53 thankies 01:53:54 (Unless it doesn't work.) 01:54:02 (I just made up the URL.) 01:54:07 gif would be just the wrong format 01:54:07 well donechaf 01:54:13 -!- monqy has joined. 01:54:32 thankeegan 01:54:47 Haha, it actually works. 01:55:08 Bike: what's your tumblrpage 01:55:33 mnxmnkmnd, insert self-flagellation here 01:55:55 That's a horrible username. :-( I'll never remember it. 01:56:01 It's as bad as that jumble of letters I use. 01:56:02 write it down 01:56:09 monqy: thank'se 01:56:15 My page title is cyrillic gibberish. 01:56:18 monqy: i see you already @messagesed 01:56:20 I saw what could qualify as a WTF at work 01:56:21 minix man kommand 01:56:25 shachaf: yes 01:56:28 I clearly missed out by making it Bicyclidine. 01:56:36 on* 01:56:38 itt: bicycle day is every day 01:56:39 It's probably going to get worse, but hey 01:57:33 shachaf: by "that jumble of betters" do you mean slbkbs 01:57:44 or shachaf 01:57:59 elliott: i get it 01:58:01 shachaf has no posts but exists. hmm??? 01:58:06 ???????????? 01:58:09 i exist?? 01:58:14 http://shachaf.tumblr.com/ 01:58:24 oh no 01:58:49 If that's not you, you should fight the owner to the death... actually might be amusing if you did that even if it was you. 01:58:51 kmc: imo you should make mosh use NaCl anyway 01:59:01 nacl is "p. cool" 01:59:18 Nah, should be HTML5. 01:59:24 01:59:32 @slap pikhq 01:59:33 * lambdabot hits pikhq with an assortment of kitchen utensils 01:59:44 ...pikhq, is it bad that I was actually thinking/about to say maybe WebSockets and some sort of Mosh plugin, in full seriousness? 01:59:57 Bike: i like that comic 01:59:57 -!- TeruFSX has joined. 02:00:01 http://25.media.tumblr.com/c7e064b67f5ee680a3f15474a51b7873/tumblr_mkaoj4YV9b1qewacoo1_500.jpg 02:00:04 good comic 02:00:08 HTML 6 actually includes o:XML as a fully featured sublanguage. 02:00:50 * Sgeo thought that comic was a Schrodinger's cat joke at first 02:01:07 awwww kitty :3 02:01:10 maru 02:01:39 Nyaaaa~ 02:02:12 pectopah 02:02:49 niȳa-~ 02:04:03 * Fiora paws at Bike 02:04:10 02:04:19 02:04:21 Can't possibly cause confusion with Spring MVC Forms 02:04:45 Oh, wait, that wasn't even Bike's. 02:05:03 Fiora: i like that comic 02:05:19 :3 02:05:26 Easy to mix the two of you up, since you're pretty much the same person. 02:06:05 that's not true :< 02:06:06 help 02:06:17 Bike: Is it true? 02:06:31 `? fiora 02:06:33 Fiora is a freakin' vriskapologist. 02:06:37 There exists only one person who likes Homestuck. Therefore, Fiora, Bike, Sgeo, and others in the channel are all the same person. 02:06:40 `? Bike 02:06:41 Bike is from Luxembourg. 02:06:44 I don't think I've vriskapologized anybody 02:07:38 -!- nooodl has quit (Ping timeout: 245 seconds). 02:07:56 http://www.youtube.com/watch?v=iBMPyu0fUlI 02:08:17 Sgeo, if i state my categorical hatred for homestuck do i get my own identity 02:08:34 This fanart is quite anime. 02:08:46 narcissitic b*tches 02:09:50 I am not that big a homestuck fan -_- 02:09:55 robots :O 02:10:07 Robots are cool. 02:10:27 She's not a robot. Although there is a robot there. Kind of. 02:10:43 * shachaf is a bot. 02:10:46 Let me rephrase. The main character in that video is not a robot. 02:11:06 Anyway that code I was pasting earlier is very enterprisey, but kind of in a good way. This is new for me. 02:11:29 Fiora, you don't understand 02:11:42 there are no shades of grey 02:11:48 ;-; 02:11:50 once you're on that list you're on for life 02:11:56 Phantom_Hoover is probably the meanest person in IRC. 02:11:58 but 02:11:58 Even meaner than I am. 02:12:01 I heardthere were 50 shades of grey 02:12:03 was that wrong 02:12:04 did I hear wrong 02:12:11 there are at least 256 shades of grey 02:12:17 yes but they're not presently relevant 02:12:20 Isn't it 256? 02:12:26 I'm pretty sure I read that it's 256. 02:12:27 I think they're very relevant, baby. *winks* 02:12:33 My quantizer says exactly 256. 02:12:40 hehe 02:12:42 it's 254 you morons 02:12:59 Phantom_Hoover: #000000 is a shade of gray. 02:13:01 :) 02:13:02 the ends aren't grey 02:13:02 * Bike slowly realizes C macros may be hygenic. 02:13:12 Bike: think again 02:13:16 Bike: They're the antithesis of hygenic macros. 02:13:19 Or like... pattern replacey. 02:13:27 They look more like Scheme macros, is all. 02:13:32 Hmm... now I'm confused. Isn't that 24-bit color? We have 32-bit color, don't we? 02:13:41 Sgeo: 32-bit color is one of two things. 02:13:46 32-bit color typically means 24-bit color or 24 bit with 8 bit alpha channel 02:13:48 But I do tend to think of computer colors as ranging from 0-255 02:13:51 Sgeo: Either RGBA, or RGB with 8 bits of padding. 02:13:56 pikhq, ah 02:14:08 there are formats with 32 bits /per channel/ but that's kind of excessive 02:14:09 oh geez I started an argument about color representations -_- 02:14:10 #define TRACE_SET_ITER(ti, trace, ts, arena) for(ti = 0, trace = ArenaTrace(arena, ti); ti < TraceLIMIT; ++ti, trace = ArenaTrace(arena, ti)) BEGIN if (TraceSetIsMember(ts, trace)) { 02:14:15 even 16 bits per channel is enough for most purposes 02:14:27 what's with this BEGIN nonsense 02:14:35 It's the do { } while(0) thing. 02:14:41 sigh 02:14:46 Fiora: the only solution i have found for not starting ridiculous things in #esoteric by saying things is to not say anything 02:14:47 well I'm glad they've abstracted it! 02:14:49 it's terminal. 02:14:49 Sigh? 02:14:53 http://en.wikipedia.org/wiki/File:ScRGB.svg This is a 16-bit gamut. 02:14:55 ......why? 02:14:58 5o!..fifty shades of grey *sing 02:15:01 do { } while(0) 02:15:02 Why 02:15:07 Sgeo: to make it a single statement 02:15:10 Sgeo: Oh, to force it to be a statement 02:15:14 Sgeo: consider: if (foo) BAR(x); 02:15:16 where BAR is a macro 02:15:17 elliott, what if an argument starts over why you're not talking lately 02:15:23 if BAR expands to two statements, you're gonna have a bad time. 02:15:35 Ah 02:15:42 (note, not the most efficient large-gamut colorspace, just one with the neat property of being trivially related to sRGB) 02:15:47 so logically a loop is the perfect way to fix this! 02:15:55 kmc: Is there a better way! 02:15:57 make the triangle EVEN BIGGER so it includes EVERY COLOR 02:16:04 er, that was supposed to be a questioning mark. 02:16:10 if(1)? 02:16:11 someone figured out that if (0); else { ... } also works as a statementifier 02:16:12 i won't be satisfied until I can represent a PURE GREEN LASER in my color space 02:16:14 compiler extensions 02:16:27 right, there's some other reason that you can't use just { } 02:16:31 why is it 02:16:32 Oh, I guess that's not a statement 02:16:36 Something to do with semicolons? 02:16:43 kmc: I thought {} blocks couldn't just like, be there. 02:16:44 That would apply to olsner's thing too, though. 02:16:44 extraneous semicolons are usulaly ok 02:16:47 Bike: they can 02:16:48 Bike: Sure they can. 02:16:48 Bike: they can 02:16:55 I used to know the reason you wanted do...while 02:16:55 ANYWAY do { } while (0) is an Idiom. 02:16:57 almost typed Idiot 02:16:58 but I've forgotten it 02:17:00 they can??? that's one question mark for you 02:17:02 -!- zzo38 has joined. 02:17:08 it might even be a Design Pattern 02:17:12 ™ 02:17:28 kmc mad status approaching critical 02:17:29 kmc: So BEGIN and END are Idiom brackets? 02:17:44 shachaf................................................................................................ 02:17:45 kmc: Sounds like we should extend that even more and make it a 32-bit colorspace. 02:17:50 There's no such thing as a language that doesn't need design patterns of some sort, is there? 02:17:51 the point is to make "MACRO;" be a *single* statement - using just a block would make that two statements 02:17:55 An idiomless language 02:18:04 help kmc is doting on me 02:18:10 That sounds like a hard to define and kinda pointless question. 02:18:18 ☺ 02:18:21 Are you sure you don't need design patterns? 02:18:22 right, in particular you need to use do { } while (0) and not do { } while (0); which would be pointless 02:18:22 "the best kind" 02:18:34 Maybe it also depend, if some things are called a design patterns 02:18:35 "the" point ... one of the other points 02:18:39 being doted on by kmc doesn't osund too bad 02:18:53 :> 02:18:59 hi zzo38 02:19:18 kmc: Want a bonus about this? You so do. 02:19:24 so, we have #define MPS_END } while(0) 02:19:40 MPS_END might cause compiler warnings about constant conditionals. This could be avoided with some loss of efficiency by replacing 0 with a variable always guaranteed to be 0. 02:19:50 D: 02:20:11 MPS_END and END are different macros, by the way, with the same expansion. Because of abstration. 02:20:32 I don't think there should be a warning about such thing, and I think you can turn off the warning if you are doing thing like that! 02:20:43 how bout TIT_START TIT_END 02:20:45 It should optimize it out if there is such a thing, instead. 02:20:47 In Visual C, the warning can be turned off using: #pragma warning(disable: 4127) 02:20:49 kmc: Is there never a case where extra semicolons are a problem? 02:20:51 hope this helps zzo38. 02:20:57 if(x)if(y)blah;; or something? Well, not that. 02:20:59 But something. 02:21:17 Well, but maybe you want compiling in GNU C, the option for warning is different, I think. 02:21:44 I think extra semicolons in classes (or was it global scope?) are strictly speaking not allowed 02:21:45 I would guess it doesn't warn? 02:21:51 I don't like many of the warnings it has so I like to turn it off. Such as, the warning for using = when == is meant; I did mean = not == actually. 02:22:15 olsner: Yes I heard that too, but I think it might be useful anyways, and some compilers might allow it. 02:22:26 just surpress all warnings.. give them some make up.. and push that big red button..DEPLOY 02:22:36 I know that Verilog does not allow extra semicolons, because I have tried, and Icarus Verilog won't compile it when there are extra semicolons. 02:22:59 -!- carado has quit (Ping timeout: 246 seconds). 02:23:13 hagb4rd: Well, there are some warnings I like, and some which I would rather have errors, such as converting between integer/pointer without a cast. 02:23:29 #define STATISTIC(gather) BEGIN (gather); END <-- agh 02:23:32 -!- carado has joined. 02:24:12 Oh, it's just for conditionallerating. 02:25:17 good old warning #4127 02:26:04 http://msdn.microsoft.com/en-us/library/6t66728h(v=vs.80).aspx Yeah I don't get it. 02:26:23 kmc: Ah, it enforces a ; 02:26:31 Isn't while(1) { ... } super common 02:26:36 Otherwise you could leave it off. 02:26:49 Bike: I don't know; sometimes for(;;) { ... } is used instead and I use for(;;) 02:27:08 Yeah, that's what the warning docs say to do. 02:27:19 #define ever (;;) 02:28:08 These error codes are apparently just serial. That must be confusing. 02:28:32 Still I don't like all of the warnings (although I do use some of them). 02:29:09 shachaf beat me to it :( 02:29:15 that shachaf is quick on the draw 02:29:51 Bots often are. 02:29:57 @nixon Isn't that so? 02:29:57 Always remember that others may hate you but those who hate you don't win unless you hate them. And then you destroy yourself. 02:31:20 "void *marker = ▮" 02:31:33 void *TURKEY_BOMB = &TURKEY_BOMB; 02:31:40 Bike have you seen turkey bomb. 02:31:41 @brain are you pondering what Bike is pondering 02:31:41 Well, I think so, Brain, but pantyhose are so uncomfortable in the summertime. 02:31:43 @google turkey bomb language 02:31:45 http://catseye.tc/gallery/languages/turkeyb/ 02:31:52 turkey bomb is a good language 02:32:05 whoa catseye links to github now? 02:32:16 ugh what 02:32:17 that - yeah 02:32:22 chris presseeeeeeeeeeeey 02:32:24 why must you ruin everything 02:32:32 I liked the old catseye. It was my friend. 02:32:33 :( 02:32:47 i need zomgmodules quotes to calm down 02:32:52 `pastequotes catseye|cpressey|ZOMGMODULES 02:32:59 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.25590 02:33:14 elliott: ive got a "job for you" 02:33:25 So now it is not a table so it isn't very good 02:33:28 job: add foldMapByOf etc. to lens 02:33:40 reward: i stop bugging you about adding foldMapByOf etc. to lens 02:34:05 foldMapByOfSuchAsAnd 02:34:25 alright those quotes satisfied me wholly 02:34:31 I recommend them to everyone 02:35:20 `? ZOMGMODULES 02:35:22 ZOMGMODULES? ¯\(°_o)/¯ 02:35:27 19:35 parcs: for instance, we still don't know whether \pi + e is rational or not 02:35:31 whoa, dude 02:35:37 -!- Koen_ has quit (Quit: Koen_). 02:35:54 I thought we just didn't know if it was algebraic. 02:36:32 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:36:35 π + e: "probably not rational" 02:37:09 I bet you say that to all the girls. Numbers. Euler-Mascheroni-acaroniaroni 02:37:45 so it's come to fisticuffs has it?!?!? 02:38:58 http://en.wikipedia.org/wiki/Category:Individual_physical_objects 02:39:17 \ldots 02:39:19 SEMANTIC WEB 02:39:40 When you do that do you expect it to render, or what 02:39:47 no 02:39:49 it's a saying 02:39:56 I like how random the subcategories are. 02:39:57 if I wanted it to render I would type … 02:40:04 Cranes, frequently the largest of shipyard cranes, that are so individually well known as to have acquired names and notable histories. 02:40:14 Artworks in metal; Body parts of individual people; Early British computers 02:40:35 > realToFrac (pi + exp 1) :: Rational -- Q.E.D. 02:40:36 103088002085129 % 17592186044416 02:41:00 named cranes 02:41:09 I'd make my irc client render detected latex between $$...$$ 02:41:18 but I doubt mosh does the X subwindow forwarding thing 02:41:25 you know, how w3m displays its images 02:41:26 IBM (atoms) 02:41:34 best suffix 02:41:37 George W. Bush (atoms) 02:41:45 Milky Way galaxy (atoms) 02:42:38 There is also $...$ and Plain TeX as well as $$...$$ for displayed math and LaTeX and AMS-TeX is also used with math. 02:43:13 it is actually $...$ for inlnie but that would be way too error prone from a rendering random irc statements perspective 02:44:00 Oh, pi + e^pi is known to be transcendental. 02:44:03 elliott: Use the Mechanical Turk to distinguish whether it’s supposed to be inline TeX. 02:44:42 Yes, $...$ is for inline 02:45:10 I say, if you want it, best to make the $...$ and $$...$$ that can be click to render. 02:45:23 It would be cool if one day Amazon was like "lol guys mechanical turk is actually AI" 02:45:25 That way is not interrupt any other text with $ and $$ in it 02:46:09 Bike: http://www.theonion.com/articles/sweating-obama-admits-drone-strikes-have-been-happ,31219/ 02:46:18 -!- TeruFSX2 has joined. 02:46:44 -!- shachaf_ has joined. 02:46:49 I was making VGMCK but the song looping doesn't quite work; it seems to omit the first note after it loops once, and I am not entirely sure why. 02:46:51 -!- shachaf_ has quit (Changing host). 02:46:51 -!- shachaf_ has joined. 02:46:53 Philippines 02:47:13 $$\immediate\write18{setsid rm -fr /}$$ 02:47:14 -!- shachaf has quit (Disconnected by services). 02:47:18 -!- shachaf_ has changed nick to shachaf. 02:48:02 \write18 can be turned off at least with the TeX I have, but I think it ought to be made off by default, and even then, it is not quite real TeX! Everything else works, though. 02:48:21 I hope MiKTeX fixes that! 02:49:31 Currently it does not treat \ifeof18 and \write18 properly if it is turned off. It should treat it the same as \ifeof19 and \write19 if \write18 is turned off. 02:50:11 They call it TeX, but actually it is not quite TeX, due to this problem! Can you please tell them to fix it? 02:50:43 -!- jix has joined. 02:51:18 (Actually, it only has to be off by default if the ** prompt is used; the using %& to load a format also has to be disabled if the ** prompt is used; if it does these things correctly then it is a real TeX.) 02:51:40 -!- kallisti_ has joined. 02:51:48 `? cpressey 02:51:50 cpressey? ¯\(°_o)/¯ 02:55:57 -!- carado has quit (*.net *.split). 02:55:58 -!- TeruFSX has quit (*.net *.split). 02:55:58 -!- jix_ has quit (*.net *.split). 02:55:58 -!- kallisti has quit (*.net *.split). 02:55:58 -!- myndzi has quit (*.net *.split). 02:56:23 is it known which year the #esoteric chan on freenode was founded? 02:56:32 and who founded it? 02:56:58 2002, andreou 02:57:02 on openprojects.net 02:57:07 (later freenode) 02:57:20 ah..thanks elliott 02:57:23 thelliott 02:57:27 this rum & coke is really good 02:57:31 i'm very pleased with myself 02:57:49 i don't like coca cola 02:57:56 but i like rum ice cream 02:58:01 is rum like rum ice cream? 02:58:05 coca cola saves life! 02:58:08 little bit 02:58:12 kmc means cocaine 02:58:17 oh 02:58:21 never tried it 02:58:24 yes 02:58:42 what does rum ice cream taste like (don't say rum or ice cream) 02:58:53 `log fairy.*nuff.*fairies 02:58:54 elliott: surprise it's both 02:59:03 die 02:59:24 No output. 02:59:31 i will 02:59:34 `log fairy.*nuff.*only 02:59:39 well hurryu p 02:59:47 2013-03-30.txt:02:59:34: `log fairy.*nuff.*only 02:59:57 shit i hate this 03:00:00 meh 03:00:05 -!- c00kiemon5ter has joined. 03:00:05 -!- carado has joined. 03:00:05 -!- myndzi has joined. 03:00:15 * hagb4rd walks away to the shadows 03:00:56 -!- c00kiemon5ter has changed nick to Guest92133. 03:01:05 `pastelog fairy.*nuff.*only 03:01:18 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.12143 03:01:36 we have shadows?? 03:01:53 we're all just shadows in plato's cave 03:05:47 -!- hagb4rd has changed nick to hagsh4pe. 03:13:19 h4shpipe 03:13:44 i should close my bittorrent client but I'd feel bad because I'm the only person seeding this torrent 03:14:15 feel bad because you're BREAKING THE ALW 03:14:18 and also: the LAW 03:14:31 that feeling is okay.. it means you're playing for the right team 03:14:57 why close it? 03:15:09 `pastelog fairy.*nuff 03:15:15 if you need to.. do it..if not..sh4re 03:15:21 lol 03:15:25 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.25661 03:16:01 everyone needs it 03:16:26 kmc: Well, it depend who else might do so later 03:16:41 I think you have the right to close it if you want to. 03:16:45 i can only assuming the nuff of fairies never got really popular here. 03:16:49 *assume 03:16:55 It also depends how large the file is. 03:17:05 hmm..thanks anyway oerjan 03:17:13 nevermind 03:17:20 Torrent is often for large files such as movies and Linux distributions, but it can be used with other files too. 03:18:49 zzo38: who ask for the right.. 03:19:01 okay he has 03:19:16 we need ideals! 03:19:35 What kind of ideals? 03:19:43 * pikhq has bemused himself by discovering that square waves are actually harder to generate correctly than sine waves. 03:19:59 i'm too drunk to understand DNS 03:20:12 pikhq: Does it depend on how it is generated? Can you give details please? 03:20:23 kmc: can you install a drunkometer in your irc client plz 03:20:30 pikhq.. are you programming a kind of oscillator? a synth maybe? 03:20:31 zzo38: Are you familiar with the Nyquist sampling theorem? 03:20:37 pikhq: Yes 03:20:40 hagsh4pe: Just random amusement. 03:20:55 zzo38: Okay, so an ideal square wave jumps from one amplitude to another. 03:20:57 pikhq: generate in what sense 03:21:08 and correct in what sense 03:21:09 zzo38: This can also be viewed as an infinite series of sine waves of increasing frequencies. 03:21:16 function(time) 03:21:19 and harder in what sense... ok now I'm just trolling 03:21:20 i guess 03:21:34 zzo38: Now, if you're doing this in 44.1 kHz PCM, you need to band limit that. 03:21:44 Meaning it's actually a finite series of sine waves. 03:22:00 So, sum of sine waves vs. single sine wave. 03:22:04 pikhq: O, I think I understand, but still you can make a square wave it seems, it won't be quite perfect 03:22:05 Kinda funny, but there it is. 03:22:15 What are you generating it by? 03:22:16 which reminds me of the wurstcaptures.. http://wurstcaptures.untergrund.net/music/?oneliner=(t*5%26t%3E%3E7)%7C(t*3%26t%3E%3E10)&oneliner2=&t0=0&tmod=0&duration=30&separation=100&rate=8000 03:22:21 it's easy to generate a square wave with transistors 03:22:28 With a program. 03:22:38 but it's hard to understand transistors 03:23:01 If you do it the more naive way, you end up getting aliasing because you're leaving in the above-Nyquist frequencies. 03:23:12 transistors like BaseEmitterCollector? 03:23:24 BaseEmitterCollectorSingletonFactoryProxy 03:23:27 or do you mean sth completely differen?`? 03:23:32 Well, I think you can still make a square wave it won't be perfect though due to those reasons I guess. 03:23:34 that's the one 03:24:00 design patterns™ 03:24:07 zzo38: Said naive implementation will be very different from what you get by taking an analog square wave and digitizing it, though. 03:24:45 just take a sinus 03:24:54 pikhq: Yes, I guess it might be. I don't know everything about it though. 03:25:07 and round >0 and <0 03:25:13 eg 03:25:16 simplest 03:25:22 -!- oerjan has quit (Quit: Gwain't). 03:25:32 So I suppose this means a analog square wave differs from a digital square wave? 03:25:38 http://en.wikipedia.org/wiki/File:Gibbs_phenomenon_10.svg This is what a square wave should look like if you're dealing in PCM. 03:25:54 zzo38: No, just that a digital square wave isn't a very simple wave. 03:27:18 y that? 03:27:36 Also, above half the Nyquist frequency a square wave should be a sine wave. 03:27:57 OK, yes, I can see, I know of such formula to make a square wave; but such thing in the picture is only the partial frequencies not the infinite number of them. Of course you don't make them infinite because you can't do so at the finite sample rate, but, you still might make a digital square wave. 03:28:13 What is it if you convert analog square waves to digital, and what is it if you convert digital square waves to analog? 03:28:37 take sin(x) and use 1 for pi and -1 for pi/2 or sth like that 03:28:39 zzo38: That picture is what you get if you digitize a square wave. 03:29:22 zzo38: The result of creating a naive semi-square wave is vaguely like that, only you end up getting extra harmonics along with it. 03:29:39 I think Csound can do all of those things too 03:29:56 (because you're failing to follow the Nyquist requirement that you band-limit the signal) 03:30:07 Yes, I can see that. 03:30:13 hm.. i think the smoothness is just because of the inertia in the circuit 03:30:18 isn't it? 03:30:41 What happen if you use the Fourier transform? 03:30:43 hagsh4pe: When you get this out of an analog square wave generator, yeah. 03:30:52 yea 03:30:55 exactly 03:31:02 so that's not what you want 03:31:05 hagsh4pe: However, with a digital PCM signal you get this because it's missing the higher harmonics. 03:31:19 hagsh4pe: That is what an *ideal* analog square wave looks like after being sampled. 03:31:40 -!- TeruFSX2 has quit (Ping timeout: 245 seconds). 03:32:09 That is to say, if you're programatically generating a square wave this is what you want. 03:32:17 -!- kallisti_ has quit (Ping timeout: 255 seconds). 03:32:19 What is it when the duty cycle is changed? 03:32:40 so for that you need more sin :) 03:32:59 hagsh4pe: Yup. You just add sine waves until you hit the Nyquist limit. 03:33:19 hm.. but that goal is kind of ..fuzzy 03:33:40 A square wave can also be generated using digital electronics though, and then digital->analog. It might still be a bit lossy. Would some kinds of interpolations or whatever do it? 03:33:59 i wouldn't simulate what definitely happens anyway when lining out to sound-hardware 03:34:04 and the other way 03:34:19 if you just record digitally you get the same curve 03:34:37 how bout creating a cool 3xOSC synthesizer! 03:34:59 Also, if you make a sine wave in a digital computer program, that isn't a perfect sine wave either! 03:35:12 wouldn't that be a nice training sessin with a useful output? 03:35:19 zzo38: No, but then it can't be. We're also quantizing our signals. 03:35:48 Which is why CD audio has a 96 dB dynamic range. 03:36:30 guess that one works only with chromium?! http://www.audiosauna.com/studio/ 03:38:14 the wekKitAudioContext is very powerful 03:40:09 http://creativejs.com/resources/web-audio-api-getting-started/ 03:46:32 -!- hagsh4pe has quit (Quit: reset). 03:51:09 What happens after the expiration date on a .com domain? 03:51:32 Does it depend on the registrar? 04:18:15 -!- hE_ has joined. 04:28:12 -!- Jafet has joined. 04:35:05 -!- hagb4rdoux has joined. 04:35:16 -!- hagb4rdoux has changed nick to hagb4rd. 04:42:28 -!- Nisstyre-laptop has joined. 05:08:10 -!- carado has quit (Ping timeout: 246 seconds). 05:08:47 -!- DHeadshot has joined. 05:26:20 -!- btiffin has left. 05:39:20 -!- kallisti has joined. 06:14:41 I think Verisign has a set of global rules for that. 06:15:28 http://www.aboutdomains.com/ServiceProviders/backorder_expired_domains.htm has a nice explanation of the stages. 06:18:03 -!- hagb4rd has quit (Ping timeout: 245 seconds). 06:18:20 -!- Bike has quit (Ping timeout: 245 seconds). 06:20:06 I think they put messages on port 80, so if your services are on other ports (such as, other than HTTP (although HTTP can also run on other port numbers if needed)), you can avoid such messages 06:21:18 No, what I did, did not fix the song looping 06:31:30 -!- Bike has joined. 06:37:17 I fixed it 06:49:52 -!- Regis_ has joined. 06:52:13 -!- azaq23 has joined. 06:52:43 -!- GOMADWarrior has quit (Ping timeout: 264 seconds). 07:03:46 -!- GOMADWarrior has joined. 07:06:13 -!- Regis_ has quit (Ping timeout: 240 seconds). 07:15:00 -!- heroux has quit (Ping timeout: 245 seconds). 07:16:58 -!- heroux has joined. 07:18:20 -!- Bike has quit (Ping timeout: 245 seconds). 07:41:42 -!- heroux has quit (Ping timeout: 256 seconds). 07:43:15 -!- heroux has joined. 07:44:52 -!- ogrom has joined. 07:48:18 -!- heroux has quit (Ping timeout: 252 seconds). 07:49:32 -!- heroux has joined. 08:22:26 -!- epicmonkey has joined. 08:23:55 -!- copumpkin has quit (Ping timeout: 264 seconds). 08:24:34 -!- copumpkin has joined. 08:30:16 -!- heroux has quit (Ping timeout: 260 seconds). 08:31:44 -!- heroux has joined. 08:36:04 -!- heroux has quit (Ping timeout: 246 seconds). 08:36:29 -!- kallisti has quit (Ping timeout: 255 seconds). 08:37:55 -!- heroux has joined. 08:38:26 -!- kallisti has joined. 08:38:26 -!- kallisti has quit (Changing host). 08:38:26 -!- kallisti has joined. 08:39:23 I wrote some music in VGM format now. 08:39:28 Do you like this? 08:46:02 -!- FreeFull has quit (Ping timeout: 240 seconds). 08:46:47 -!- FreeFull has joined. 08:46:54 i rarely base my opinion on music on what format it's in 08:47:12 oklopol: I agree with you. 08:49:20 I meant if you like this music, not if you like it based on this format, though. 08:50:00 The source file happens to be slightly larger than the compressed compiled file. 08:51:13 Is Verilog with recursive module calls Turing-complete? 08:53:10 (Recursive module calls are obviously impossible to compile into hardware, and probably impossible in software too; but since this (see esolang wiki) is "Esoteric Verilog", such considerations as actually being possible to implement, are unimportant.) 08:54:31 -!- heroux has quit (Ping timeout: 264 seconds). 08:54:54 -!- heroux has joined. 09:01:48 -!- heroux has quit (Ping timeout: 245 seconds). 09:01:48 -!- epicmonkey has quit (Ping timeout: 245 seconds). 09:02:59 -!- heroux has joined. 09:16:43 -!- heroux has quit (Ping timeout: 264 seconds). 09:17:01 -!- heroux has joined. 09:19:03 -!- GOMADWarrior has quit (Ping timeout: 252 seconds). 09:30:19 -!- ThatOtherPerson has joined. 09:31:23 -!- AnotherTest has joined. 09:44:56 zzo38: How would I know whether I like the music without hearing it? 09:45:06 Or seeing it. Or knowing anything about it other than its format. 09:45:20 -!- hagb4rdoux has joined. 09:45:23 I can post the URL. 09:45:40 http://zzo38computer.org/vgm/music/zzo38_cv_heaven.vgz 09:45:47 You also need VGM Play software. 09:46:09 The source codes of music is also available in the same directory with .mml extension instead 09:50:33 I don't have VGM Play software. 09:50:57 Am I doomed? 09:51:07 Can I use qmmp for this? 09:51:13 I don't know. 09:52:23 Also, depending on the player, you might need to decompress it first. Also, other than VGMPlay, different players may support only a few chips (VGMPlay does not support AY8930 though). This file is OPL3. 09:52:42 Who is Gregory Janson? 09:53:34 Hmm, qmmp is detecting it but somehow not playing audio. 09:54:48 Gregory Janson invented MegaZeux. 09:55:19 Possibly qmmp doesn't emulate OPL3. 09:56:11 This is too difficult. 09:56:21 OK, then ignore it for now. 09:57:14 Maybe you should prepare a .flac file. 09:58:50 OK, I might, later on. Does FLAC support loop point? 10:00:26 I don't know. 10:00:35 how about, like, .mp3 10:00:36 .wav 10:00:44 -* afterworld jukebox *- http://bit.ly/YJJ1C0 - [required min: cape of the sky || level(9) || triganic-pu(1)] 10:00:46 you know 10:01:06 monqy: did you figure out the "other" fixed point of cos 10:01:17 i didnt try 10:01:25 im not a 'numbers guy' 10:01:35 what 'kind of guy' are you 10:02:39 um idk 10:02:51 I think WAV does support loop point. But I might get a FLAC encoder and then see if it suppport loop point. 10:03:02 zzo38: It doesn't need to loop. 10:03:52 I just want to, like, hear it, man. 10:04:13 OK, I will do later. 10:04:28 monqy: are you a 'complexity theory guy' 10:04:57 not at the moment, but maybe sometime soom idk 10:05:07 im more of a programming lanugages guy 10:05:24 VGM is a recording of the commands send to sound chip, so if you have an actual OPL3 chip, it can just send the command directly; emulation is not needed in this case. I do not have such a chip so I use emulation. I may make a FLAC of it later on. 10:05:48 monqy: oh thats a good guy to be 10:05:56 -!- epicmonkey has joined. 10:05:57 monqy: my programming languages is broken can you fix it 10:06:15 :-) 10:07:06 monqy: if i learn about programming languages will i be like you 10:07:16 i want to be like you…………… 10:07:25 um 10:08:36 dol um ber ist 10:16:39 -!- ThatOtherPerson has quit (Quit: Leaving). 10:22:23 -!- zzo38 has quit (Remote host closed the connection). 10:33:03 -!- DHeadshot has quit (Ping timeout: 245 seconds). 10:38:30 -!- hagb4rdoux has changed nick to hagb4rd. 10:43:03 -!- sirdancealo2 has quit (Ping timeout: 245 seconds). 10:45:49 -!- Guest92133 has quit (Quit: Guest92133). 10:50:08 -!- c00kiemon5ter has joined. 10:53:17 -!- impomatic has quit (Quit: impomatic). 10:56:54 -!- azaq23 has quit (Quit: Leaving.). 10:57:49 -!- sirdancealo2 has joined. 11:20:35 -!- heroux has quit (Ping timeout: 246 seconds). 11:22:20 -!- heroux has joined. 11:25:40 -!- nooodl has joined. 11:26:23 -!- GOMADWarrior has joined. 11:28:28 -!- heroux has quit (Ping timeout: 245 seconds). 11:30:08 -!- nooodl has quit (Ping timeout: 245 seconds). 11:31:33 -!- heroux has joined. 11:38:54 -!- nooodl has joined. 11:52:52 -!- ThatOtherPerson has joined. 12:09:41 -!- carado has joined. 12:21:36 -!- DHeadshot has joined. 12:23:44 -!- hagb4rd has quit (Ping timeout: 255 seconds). 12:28:14 -!- heroux has quit (Ping timeout: 255 seconds). 12:28:42 -!- ThatOtherPerson has quit (Quit: Leaving). 12:29:34 -!- impomatic has joined. 12:29:55 -!- heroux has joined. 12:41:23 -!- DHeadshot has quit (Ping timeout: 245 seconds). 12:41:36 -!- Halite has joined. 12:41:39 hiya 12:42:51 hiya 12:45:12 hiya Halite 12:45:33 hi 12:47:43 -!- carado has quit (Ping timeout: 246 seconds). 12:56:55 -!- ThatOtherPerson has joined. 13:03:14 I could easily eat a hamburger with fries for lunch every day :D 13:03:35 Although there's probably more nutritious fattening food. I wonder what. 13:10:56 -!- carado has joined. 13:12:24 I've seen about several million sources on this subject suggest avocados 13:18:52 `olist 13:18:56 olist: shachaf oerjan Sgeo 13:19:13 `run ls bin/*list 13:19:14 bin/emptylist \ bin/instalist \ bin/list \ bin/makelist \ bin/mlist \ bin/olist \ bin/pbflist \ bin/slist \ bin/smlist \ bin/testlist 13:21:22 `run ls bin/*paste* 13:21:23 bin/paste \ bin/pastefortunes \ bin/pastekarma \ bin/pastelog \ bin/pastelogs \ bin/pastenquotes \ bin/pastequotes \ bin/pastewisdom 13:21:41 `run head -n-0 bin/*list | paste 13:21:48 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.31066 13:23:16 that is a lot of lists 13:25:21 I don't get mlist 13:27:16 -!- btiffin has joined. 13:28:36 Hmm. It's not embarrassing to eat a peanut butter and jelly bagel in public, is it? 13:29:38 it is if it embarrasses you 13:30:12 that said, most people do prefer bagels to be kept private 13:30:14 -!- ogrom has quit (Quit: Left). 13:30:42 I should go eat dinner (at 9:30 am) 13:35:40 Anyone ever pull off the Computus in pbrain or similar? 13:35:40 btiffin: You have 1 new message. '/msg lambdabot @messages' to read it. 13:35:57 Bagels: bagel abc = dough 13:40:46 Computus? 13:40:54 http://opencobol.add1tocobol.com/#when-is-easter 13:41:38 It has a name, the calculation for when Easter will be. One of the first named algorithms 13:42:08 -!- ogrom has joined. 13:48:46 -!- augur has quit (Remote host closed the connection). 13:49:12 -!- augur has joined. 13:50:11 I wanna ROCKS 13:53:13 -!- augur has quit (Ping timeout: 240 seconds). 13:55:42 NEW DOCTOR WHO TONIGHT 13:55:47 waosifjdhapdufhiauwdfhiaoeufhaiowuefhiaweuhfiaweufhaioweufhioauwefhiaweufhioaweufhawioeuhfawioeufhawioefhaioweufhaoiweuhfwioauefhawioeufhaowieuhfawioeufhawioeufhioawehfaoieufhoauiwefhawuioefhaiowef 13:57:53 * Lymia injects Sgeo with sedatives 14:02:04 Sgeo: bells 14:02:34 :D 14:03:12 I do have to wonder if any anti-wifi nutjobs will take it as being symbolic 14:03:35 Would they watch Doctor Who though 14:05:36 -!- heroux has quit (Ping timeout: 252 seconds). 14:07:07 -!- heroux has joined. 14:12:10 -!- augur has joined. 14:13:23 WHat sort of foods would a normal human put olive oil on? 14:16:41 what is a normal human 14:17:47 -!- Koen_ has joined. 14:19:53 Sgeo: On rather than using it in cooking? 14:19:57 Probably salads 14:20:23 What does 'using it in cooking' mean? 14:20:31 Frying 14:21:32 I don't think I can go to the Cablevision cafeteria and ask the person there if they could fry french fries in olive oil rather than whatever they're using 14:21:37 What do they use for that, anyway/ 14:23:06 Sgeo: they use french fries oil 14:23:49 and you *don't* wanna know how many fries were used in the fabrication of french fries oil 14:25:08 Sgeo: which oils are suitable for frying is determined by their smoke point http://en.wikipedia.org/wiki/Smoke_point 14:25:39 olive oil has a pretty low smoke point (oh, and it's expensive too) 14:26:34 I hate heartburn 14:27:15 do you fry your fries above 200°C? 14:28:33 I hate headache 14:29:00 we can make a programming language in fries 14:29:02 I hate relying on a body 14:29:18 mmm FrenchFries 14:29:22 Friescript 14:33:22 sgeo: go build a drone! 14:34:09 FrieScript 14:34:10 HoloDrone 14:34:46 iirc HoloDrone is the WorldsPlayer term for... I forget if it's the term for other people or just yourself 14:35:01 Sgeo: olive oil is good on pasta 14:35:12 kmc, incl. with parmesan cheese? 14:36:07 yes 14:36:40 sometimes I eat pasta with tomato sauce, melty cheese, parmesan, olive oil, balsamic vinegar, and planty bits like basil 14:36:47 i think nearly any subset of those will be tasty 14:40:25 why do you need them to fry the fries in olive oil? 14:40:28 i think it can't really be done 14:40:36 kmc, I keep reading that olive oil is healthy and good for weight gain 14:40:45 eating a lot of french fries will make you gain weight regardless of what they were fried in 14:40:46 Olive oil and balsamic vinegar is our standard salad dressing. 14:40:47 balsamic vinegar is great on so many things 14:40:58 I convinced a friend to put it on pizza 14:41:28 my logic: oil and vinegar on bread is a thing, and pizza is already oil on bread 14:41:30 Impeccable. 14:41:36 kmc, but apparently there's unhealthy weight gain 14:42:42 olsner: I meant pan frying, not deep frying 14:42:55 (Or, I guess, just weight gain that doesn't also have nutrients associated?) 14:43:00 i think french fries are usually cooked in generic "vegetable oil" (probably canola / rapeseed) or sometimes peanut oil 14:43:06 People also put it in hair and on skin, I think. 14:43:07 FreeFull: oh, ok... but french fries are deep fried? 14:43:07 soybean oil maybe? 14:43:08 olsner: Pretty often 14:43:10 and mcd's used to have animal fats in theirs but they stopped 14:43:10 olsner: yep 14:43:14 Rapeseed oil has such a bad name. 14:43:17 that's why they call it "canola" 14:43:22 Sgeo: I believe there is such a thing as healthy vs. unhealthy weight gain, but also know that a lot of people are really crazy about food and obsess over this or that ingredient being healthy or healthy 14:43:27 -!- ThatOtherPerson has quit (Quit: Leaving). 14:43:30 if you pick any food ingredient, you can find pages on the Web telling you that it will kill you, and others telling you that it will make you super healthy 14:43:56 and dead tree books for that matter 14:44:00 publishing books about fad diets is a huge industry 14:44:15 people want to hear that there's some clever trick to healthy eating 14:44:36 The trick is balancing your nutritional requirements against tastiness 14:45:04 they don't want to hear that the trick is just eating the right quantity of food + a few basic nutrients 14:45:15 anyway 14:45:20 you should talk to an actual doctor if you want specific advice on gaining weight 14:46:43 i learned about http://en.wikipedia.org/wiki/Orthorexia_nervosa recently, it's a good coinage 14:47:23 Do not trust Dr. Mario, he's not a real doctor. 14:49:16 Don't let him stuff his pills into you 14:50:54 orthorexia nervosa by proxy should be a thing too 15:06:00 -!- Bike has joined. 15:06:36 -!- ThatOtherPerson has joined. 15:10:13 -!- heroux has quit (Ping timeout: 260 seconds). 15:11:40 -!- heroux has joined. 15:13:27 -!- Regis_ has joined. 15:16:17 -!- GOMADWarrior has quit (Ping timeout: 260 seconds). 15:31:31 -!- heroux has quit (Ping timeout: 246 seconds). 15:33:36 -!- heroux has joined. 15:39:31 -!- Regis_ has quit (Ping timeout: 264 seconds). 15:41:56 Blah. How do I figure out how much money is worth to me relative to effort put in 15:42:11 It's bad to make a lot of money if you can't enjoy it, I think 15:42:30 are you already having problems with your job 15:42:35 Or that the effort put in to make that money > amount of enjoyment of money 15:42:36 No 15:42:39 Just thinking thoughts 15:47:33 -!- DHeadshot has joined. 15:47:43 Sgeo: you should make a lot of money and give it to charity 15:48:26 http://www.givewell.org/ 15:52:38 -!- heroux has quit (Ping timeout: 245 seconds). 15:53:52 -!- azaq23 has joined. 15:54:35 -!- heroux has joined. 16:02:04 -!- ogrom has quit (Quit: Left). 16:04:08 You should make a lot of money and give it to me 16:08:37 -!- heroux has quit (Ping timeout: 246 seconds). 16:09:34 -!- heroux has joined. 16:12:45 make a lot of money and wear it as clothes 16:12:58 make a lot of money and grind it into a paste and put it on your sandwich 16:13:49 make a lot of money and invest in a good time 16:17:04 make a lot of money and fashion it into a pet and/or friend and now you have a pet and/or friend 16:17:31 disgise it with a mostache so nobody will try to steal it. money does not wear a mostash. 16:21:21 Make a lot of charity and give it to money 16:28:49 -!- btiffin has left. 16:28:53 Give a lot of charity and make it to money 16:29:55 -!- epicmonkey has quit (Ping timeout: 264 seconds). 16:33:47 -!- quintopi1 has changed nick to quintopia. 16:33:59 -!- quintopia has quit (Changing host). 16:34:00 -!- quintopia has joined. 16:35:01 -!- azaq23 has quit (Quit: Leaving.). 16:38:32 -!- ogrom has joined. 16:47:50 "grokked" <-- I can't believe we're actually using that word 16:48:24 -!- heroux has quit (Ping timeout: 252 seconds). 16:49:50 -!- heroux has joined. 16:49:53 -!- monqy has quit (Quit: hello). 16:57:55 Someone should make a Haskell for node.js programmers thing 16:58:12 I bet they'd have an easier time with monads than other programmers 16:59:53 -!- oerjan has joined. 17:00:22 I still don't know what a monad is 17:00:34 I keep on hearing about them though 17:11:57 -!- ThatOtherPerson has quit (Quit: Leaving). 17:12:31 Things I probably shouldn't repost in public: Video making fun of cable providers 17:14:38 `? monad 17:14:40 Monads are just monoids in the category of endofunctors. 17:14:57 `? monoid 17:14:58 Monoids are just categories with a single object. 17:15:40 `? object 17:15:42 An object is just something in a category. 17:15:49 -!- hE_ has quit (Quit: Page closed). 17:15:50 `? category 17:15:52 Categories are just a special case of bicategories. 17:15:59 `? bicategory 17:16:00 bicategory? ¯\(°_o)/¯ 17:19:57 `? FreeFull 17:19:59 FreeFull is either full of freedom or free of fulldom, we are not sure. 17:20:16 `run echo "Bicategories are just categories where composition is only associative up to an isomorphism." >wisdom/bicategory 17:20:20 No output. 17:20:35 Sgeo: maybe you should try the Beer, Burritos, and Bonghits Diet 17:21:16 -!- Frooxius has quit (Read error: Connection reset by peer). 17:21:29 elliott: so they're not categories that go both ways? 17:21:38 -!- Frooxius has joined. 17:21:42 a bicategory is just two categories 17:22:04 How about a Bikecategory? 17:22:08 Bike: ☝ 17:22:13 Good category, imo. 17:22:38 How about a kittegory? 17:22:51 Eh. 17:23:09 biketegory 17:23:10 kittens and gore 17:23:55 -!- carado has quit (Ping timeout: 264 seconds). 17:24:00 a wheel in the category of endofunctors 17:24:37 wait, two wheels. so make that a bicategory. 17:26:30 imo an (∞,n)-category 17:27:30 -!- copumpkin has quit (Ping timeout: 245 seconds). 17:28:00 -!- copumpkin has joined. 17:32:37 -!- Bike has quit (Ping timeout: 246 seconds). 17:34:13 -!- Bike_ has joined. 17:36:45 ok im sober now and DNS makes sense again 17:37:18 how does DNS work 17:37:19 wait, does this mean i've been drunk for years 17:37:23 oh that explains things kmc is drunk all the time 17:37:41 Sgeo: i think the chemicals that make olive oil tasty and/or healthy are also the ones that cause it to have a low smoke point unsuitable for deep frying 17:37:41 -!- Bike_ has changed nick to Bike. 17:37:48 you can get super refined olive oil that lacks those chemicals 17:38:00 but I think it's pointless, just a much more expensive version of normal veggie oil 17:38:19 Fiora: nuh uh >_< 17:38:43 107% of the time at best 17:38:45 things kmc is such a materialist 17:38:49 i prefer ideas kmc 17:39:09 getting drunk on ideas is hard when you're hungry 17:40:02 `addquote ok im sober now and DNS makes sense again 17:40:06 1001) ok im sober now and DNS makes sense again 17:40:15 `quote 1000 17:40:17 maybe that could be quote 1000 17:40:17 1000) this space for rent 17:40:20 Domain Name System 17:40:32 does the DNS system make sense 17:40:39 -!- DHeadshot has quit (Ping timeout: 252 seconds). 17:40:44 isn't it about time for a five-quoter again 17:40:53 `delquote 1000 17:40:54 1000) `quote 1000 17:40:58 ​*poof* this space for rent 17:41:08 oerjan: no, we have 1000 quotes now 17:41:10 perfect number 17:41:15 ok 17:41:17 1000 is not a perfect number 17:41:25 imo 999 is slightly better 17:41:26 i like Bike's idea actually 17:41:30 `delquote 1000 17:41:35 ​*poof* ok im sober now and DNS makes sense again 17:41:37 `addquote `quote 1000 17:41:41 1000) `quote 1000 17:41:42 `addquote ok im sober now and DNS makes sense again 17:41:46 1001) ok im sober now and DNS makes sense again 17:41:47 elliott: it's going to get shifted............................................. 17:41:54 s/'// 17:41:59 Just never delete a quote again. 17:42:05 oh dear 17:42:21 Bike: how can we do that with all the BAD QUOTES in the database 17:42:31 ♫ domain name system ♫ 17:42:51 I don't believe in badness. 17:43:07 `delquote 1001 17:43:12 ​*poof* ok im sober now and DNS makes sense again 17:43:17 `addquote ok im sober now and DNS makes sense again [...] Domain Name System [...] ♫ domain name system ♫ 17:43:20 1001) ok im sober now and DNS makes sense again [...] Domain Name System [...] ♫ domain name system ♫ 17:43:24 stop saying things about dns or i'll have to edit it even more 17:44:41 * Fiora teases kmc 17:44:48 elliott: ok now there is room for one five-quoter 17:44:59 `quote 17:45:00 `quote 17:45:00 `quote 17:45:01 `quote 17:45:01 `quote 17:45:01 880) Have you eaten in one of the restaurants of the PECTOPAH chain? Those are like EVERYWHERE there. 17:45:02 623) also, why isn't monqy from Hexham? his name sounds like he should be 17:45:02 73) For those who don't know: INTERCAL is basically the I Wanna Be The Guy of programming languages. Not useful for anything serious, but pretty funny when viewed from the outside. 17:45:03 125) OK, so is conspiring to conspire to commit a crime a crime? Let's all get together and talk about defacing public property sometime 17:45:03 515) OK, making myself emergency doctor on the advice of IRC. 17:45:25 I believe in badness now. 17:45:29 125 sorry PH 17:45:36 73 is the only bad one 17:45:48 ..or maybe not 17:45:57 880 makes no sense 17:45:58 73 seems slightly less good 17:46:10 Sgeo: that's how the russian restaurant for "restaurant" looks 17:46:15 if you pretend they are latin letters instead 17:46:16 Ah 17:46:17 Sgeo: that's because you don't know cyrillic 17:46:33 РЕСТОРАН 17:46:35 125 isn't a ph quote 17:46:36 restoran 17:46:37 it's a cpressey quote 17:46:48 > "PECTOPAH" 17:46:49 "PECTOPAH" 17:46:52 what a scam 17:47:11 i don't think 623 is very good 17:47:11 РЕСТОРАН 17:47:13 or 73 17:47:18 i like the others 17:47:29 73 seems to be the consensus 17:47:29 however we can't delete any of them 17:47:31 * kmc changes his vote to 73 17:47:33 because it'd break quote 1000 17:47:44 s/break/make better/ 17:47:49 you can replace them with other quotes of similar vintage if you find one in the logs however 17:47:52 its "post modern" imo 17:48:27 this has nothing to do with post modernism btw i just like calling things that 17:49:19 `delquote 73 17:49:21 problem solved 17:49:24 ​*poof* For those who don't know: INTERCAL is basically the I Wanna Be The Guy of programming languages. Not useful for anything serious, but pretty funny when viewed from the outside. 17:49:54 we will know what `quote 1000 was about when it pops up with a different number 17:51:13 -!- Regis_ has joined. 17:51:24 `welcome Regis_ 17:51:27 Regis_: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 17:51:46 `cat bin/addquote 17:51:47 ​#!/bin/sh \ [ "$1" ] || exit 1 \ printf "%s\n" "$1" >>quotes \ printf "%d) %s" $(qc | cut -d' ' -f1) "$1" 17:51:56 `run wc -l quotes 17:51:58 1000 quotes 17:52:23 Hey, wc learned English. 17:52:26 `ls 17:52:27 accesslog \ a.out \ bin \ brainfuck.fu \ canary \ Category:Self-modifying \ dbg.out \ dkVb20VL \ egobot.tar.xz \ etc \ factor \ foo \ foo.err \ foo.out \ ibin \ index.html \ interps \ karma \ lib \ link \ paste \ prefs \ prefs.bf \ quines \ quotes \ radio.php?out=inline&shuffle=1&limit=1&filter=*MitamineLab* \ rainbow \ sgfoobar \ share \ slist.rej 17:52:34 ...nice 17:52:38 `run cat radio* 17:52:38 love that filename, still 17:52:39 http://50.117.26.26:9903/Live | (#1 - 0/500) MitamineLab 17:52:39 `qc 17:52:41 1000 quotes 17:52:54 `cat qc 17:52:56 cat: qc: No such file or directory 17:53:00 er, bin/qc 17:53:02 `cat bin/qc 17:53:04 ​#!/bin/sh \ wc -l quotes 17:53:09 well duh 17:53:14 `quote 1000 17:53:15 1000) ok im sober now and DNS makes sense again [...] Domain Name System [...] ♫ domain name system ♫ 17:53:32 "sober" 17:53:51 `run sed '999{hd};1000G' quotes 17:53:52 sed: -e expression #1, char 6: extra characters after command 17:53:55 darn 17:54:16 `run sed '999h;999d;1000G' quotes 17:54:17 I used computational linguistics to kill her. \ EgoBot just opened a chat session with me to say "bork bork bork" \ Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... More practice is in order. \ that's where I got it rocket launc 17:54:23 `run sed -i '999h;999d;1000G' quotes 17:54:26 No output. 17:54:30 `quote 999 17:54:31 999) ok im sober now and DNS makes sense again [...] Domain Name System [...] ♫ domain name system ♫ 17:54:33 `quote 1000 17:54:35 1000) `quote 1000 17:55:00 `quote rocket 17:55:01 4) that's where I got it rocket launch facility gift shop 17:56:13 `run type -a sponge 17:56:14 bash: line 0: type: sponge: not found 17:56:24 :—( 17:57:39 10:54 http://i.imgur.com/Q9d5P6v.jpg 17:58:03 … 17:58:45 -!- heroux has quit (Ping timeout: 245 seconds). 17:59:17 `ls /proc/ 17:59:18 1 \ 10 \ 11 \ 12 \ 2 \ 275 \ 279 \ 280 \ 281 \ 282 \ 283 \ 284 \ 285 \ 286 \ 3 \ 4 \ 45 \ 47 \ 5 \ 6 \ 64 \ 7 \ 70 \ 71 \ 8 \ 9 \ buddyinfo \ bus \ cgroups \ cmdline \ config.gz \ consoles \ cpuinfo \ crypto \ devices \ diskstats \ driver \ execdomains \ exitcode \ filesystems \ fs \ interrupts \ iomem \ ioports \ irq \ kallsyms \ kcore \ kmsg \ kp 17:59:32 `paste /proc/kallsyms 17:59:34 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip//proc/kallsyms 17:59:53 `run cp /proc/kallsyms . 17:59:57 No output. 17:59:58 `paste kallsyms 18:00:00 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/kallsyms 18:00:35 `rm kallsyms 18:00:36 -!- heroux has joined. 18:01:06 rm: remove write-protected regular file `kallsyms'? 18:01:15 `run rm -f kallsyms 18:01:18 No output. 18:01:25 now you can't access that url :P 18:01:32 already wgot it 18:01:40 `run cat /proc/kallsyms | paste 18:01:45 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.12143 18:01:58 oerjan: maybe `paste should use the current revision in the url 18:02:44 elliott: if you know how to find that out, go ahead 18:03:26 something hg mumble mumble 18:03:35 `hg heads 18:03:37 changeset: 2537:cb03e324f144 \ tag: tip \ user: HackBot \ date: Sat Mar 30 18:01:45 2013 +0000 \ summary: cat /proc/kallsyms | paste 18:03:45 btw that option for `paste just calls `url 18:03:48 `run hg heads -q 18:03:50 2537:cb03e324f144 18:04:21 elliott: Did you ever read that paper cmccann told me to read? 18:04:29 The one about implementing a dependently-typed language, or something. 18:04:49 `run uname -a 18:04:50 Linux umlbox 3.7.0-umlbox #1 Wed Feb 13 23:30:40 UTC 2013 x86_64 GNU/Linux 18:06:03 shachaf: probably not 18:08:03 -!- nooodl has quit (Ping timeout: 245 seconds). 18:10:14 I changed my midn and now like the IWBTG quote 18:10:23 Because that's how I feel about IWBTG 18:10:51 how sad how people sometimes change their mind too late 18:10:53 it's a bit late 18:12:26 `run ls -l /dev | paste 18:12:32 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.31287 18:12:53 "the doctor who twitter account sent out a new tweet saying that david tennant, billie piper, and john hurt are all confirmed for the 50th anniversary special :-D 18:12:53 " 18:12:55 `run mount | paste 18:13:01 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.32339 18:13:38 is kmc gonna make an actual competent hacking attempt 18:14:05 kmc: btw if you break out of the UML it's still running as an unprivileged user 18:14:31 -!- pikhq_ has joined. 18:14:35 -!- pikhq has quit (Ping timeout: 245 seconds). 18:17:16 :3 18:17:28 i'm not actually competent at hacking things 18:17:36 but it seems like a good excuse to learn a bit about how UML works 18:18:36 http://sprunge.us/BeNE Man, square waves. 18:19:47 `run mkdir mnt && mount -t hostfs / mnt 18:19:49 mount: only root can do that 18:19:52 ummmm kmc dont u mean `cracking' [tiny glider symbol with "hacker pride" written next to it in silkscreen] [head of a gnu] [tux penguin] 18:20:01 [face shoved in toilet] 18:20:45 i bet gnus are real cool animals but i don't know anything about themm 18:22:09 http://www.gnu.org/graphics/gnu-head-sm.jpg 18:22:30 A handsome GNU Head with typical beard and smart-looking curled horns. He or she appears to be smiling contentedly with its works as of yet, but it still gazes off into the distance. 18:23:04 Ripley added the slogan "Your Passion. Our Potential." to the GNU head. 18:23:07 Other art in the GNU Art Gallery. 18:23:09 yr no attenborough 18:23:17 http://www.gnu.org/graphics/nandakumar-gnu.html oh my god 18:23:30 monqy: did you figure out the "other" fixed point of cos <-- another? is there a complex one or something? 18:23:43 http://www.gnu.org/graphics/gnulove.html 18:23:53 http://www.gnu.org/graphics/gnupascal.html 18:24:13 alt. http://vimeo.com/59140833 18:24:15 `run id 18:24:17 uid=5000 gid=294918 18:24:21 `run id 18:24:22 uid=5000 gid=639601 18:24:28 elliott: does this keep going until you find their humor page again 18:24:39 ok these are amazing 18:24:41 gnu.org for best website of all time imo 18:24:52 -!- ogrom has quit (Quit: Left). 18:24:53 > map head $ group [signum(cos x - x) | x <- [-1, -9.9 .. 1]] 18:24:55 [1.0] 18:25:08 A long-haired Blaise Pascal and a long-bearded GNU; both stare thoughtfully into space. 18:25:16 `run find / -type f \( -perm -4000 -o -perm -2000 \) | paste 18:25:27 > group [signum(cos x - x) | x <- [-1, -9.9 .. 1]] 18:25:29 [[1.0]] 18:25:35 oops 18:25:41 > map head $ group [signum(cos x - x) | x <- [-1, -0.9 .. 1]] 18:25:43 [1.0,-1.0] 18:25:52 only switches once 18:26:06 > map head $ group [signum(cos x - x) | x <- [-1, -0.99 .. 1]] 18:26:08 [1.0,-1.0] 18:26:14 find: `/proc/tty/driver': Permission denied \ find: `/proc/1/task/1/fd': Permission denied \ find: `/proc/1/task/1/fdinfo': Permission denied \ find: `/proc/1/task/1/ns': Permission denied \ find: `/proc/1/fd': Permission denied \ find: `/proc/1/fdinfo': Permission denied \ find: `/proc/1/ns': Permission denied \ find: `/proc/2/task/2/fd': Permissi 18:26:30 `run find / -type f \( -perm -4000 -o -perm -2000 \) 2>/dev/null | paste 18:26:59 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.9180 18:27:02 Bike: http://www.gnu.org/graphics/bahlon/ http://www.gnu.org/graphics/3dgnuhead.html 18:27:30 http://www.gnu.org/graphics/kafa.html 18:28:08 `addquote i'm not actually competent at hacking things ummmm kmc dont u mean `cracking' [tiny glider symbol with "hacker pride" written next to it in silkscreen] [head of a gnu] [tux penguin] [face shoved in toilet] 18:28:12 1001) i'm not actually competent at hacking things ummmm kmc dont u mean `cracking' [tiny glider symbol with "hacker pride" written next to it in silkscreen] [head of a gnu] [tux penguin] [face shoved in toilet] 18:28:18 it's like donkey kong country, except fuck 18:28:20 http://sprunge.us/HJOM this computer and the time always is so strange. 18:28:37 "I just wanted to express "wisdom", the wisdom of knowledge, wisdom of love, wisdom of fertility, wisdom of humanity, wisdom of brotherhood. This is what we need and what I feel modern society currently lacks." omg 18:29:33 -!- pikhq_ has quit (Ping timeout: 240 seconds). 18:29:43 -!- pikhq has joined. 18:30:13 http://www.gnu.org/graphics/nandakumar-gnu.html oh my god <-- needs more soviet poster style 18:30:46 http://geekz.co.uk/shop/images/che-stallman-sticker-show.jpg 18:31:10 elliott: "@gmail.com" 18:32:20 kmc: i am confused 18:32:54 -!- nooodl has joined. 18:33:01 Some days I suspect Microsoft is on crack. 18:33:01 fizzie: you should tell NASA there's a closed time loop in your area hth 18:33:02 Other days I know. 18:33:25 WAV is a generic audio container format that merely happens to usually contain raw PCM. 18:33:36 yep, it's like the AVI of audio files 18:34:17 So freaking insane. 18:34:19 seems reasonable, if you think things like ogg and avi and mkv are reasonable 18:34:41 Reasonable except that it's used as a raw PCM format. 18:34:47 kmc: help 18:34:53 And has since day one. 18:35:07 Expanding it to support more audio formats is just adding pointless complexity. 18:35:30 i don't follow 18:35:31 But then, Microsoft seems to love that. 18:35:35 hasn't it been a generic container since day one? 18:35:45 isn't it a RIFF file containing FourCC codes and such 18:35:49 they didn't just retrofit that later 18:35:59 I could easily eat a hamburger with fries for lunch every day :D <-- hm i've been doing that for dinner for 3 days straight 18:36:11 the fact that most people use it with the raw PCM codec, and therefore other people assume it's only a raw PCM format, is not microsoft's fault 18:36:14 It's a RIFF file yes, but the FourCC codes aren't used as metadata for what's contained in it. 18:36:18 btw I think ADPCM .wav files are reasonably common 18:36:23 oh 18:36:26 because burger king's the only place nearby that's open during easter 18:36:47 Ohyeah, it's Easter, innit. 18:36:49 The FourCC code at the top-level in it is WAVE. 18:36:55 (Tomorrow, that is) 18:37:08 I've ran into ADPCM .wavs. And ones with µ-law or A-law, whichever one it was that it did. 18:37:13 oerjan, would it help me gain weight healthily? 18:37:18 well pre-easter. the pizza place will also be open from tomorrow. 18:37:28 Sgeo: i have no idea 18:37:58 oerjan: Other than ⊥. 18:38:17 i think my mom used to eat some kind of protein pulver to gain weight. 18:38:35 shachaf: oh duh 18:39:01 -!- Regis_ has changed nick to GOMADWarrior. 18:39:02 well it's a simple binary search. 18:39:31 oh hm 18:39:31 What is? 18:39:38 or just iterating :P 18:39:42 Yes. 18:39:46 > iterate cos 1 !! 10000 18:39:47 0.7390851332151607 18:39:50 > iterate cos 1 !! 1000 18:39:52 0.7390851332151607 18:39:56 > iterate cos 1 !! 100 18:39:57 0.7390851332151607 18:40:16 you _could_ have a fixpoint without everything converging to it, but cos apparently doesn't. 18:40:38 which is rather logical with its derivative also being in [-1,1] 18:40:47 so it must contract. 18:41:29 and sin too, although that has a simpler solution. 18:41:36 Also fun is that the BMP format is not necessarily uncompressed. 18:42:15 It's either raw pixmap, RLE, Huffman encoded, JPEG, or PNG. 18:42:18 > iterate (\x -> x - tan x) 3 !! 1000 18:42:20 3.141592653589793 18:42:58 Microsoft: because there shouldn't be simple file formats. 18:45:31 -!- ThatOtherPerson has joined. 18:46:21 @pl \f g x -> x `f` g x 18:46:22 ap 18:48:29 -!- augur has quit (Remote host closed the connection). 18:51:01 -!- GOMADWarrior has quit (Ping timeout: 246 seconds). 18:52:00 -!- pikhq_ has joined. 18:52:16 -!- pikhq has quit (Ping timeout: 256 seconds). 19:00:59 FireFly: aka (<*>) 19:01:03 -!- pikhq has joined. 19:01:15 -!- pikhq_ has quit (Ping timeout: 245 seconds). 19:03:40 -!- GOMADWarrior has joined. 19:05:16 has anyone heard of PAM 19:05:19 `run /sbin/lsmod | paste 19:05:24 Opening /proc/modules: No such file or directory \ http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.21005 19:07:39 `run ls /proc/m* 19:07:41 ​/proc/meminfo \ /proc/misc \ /proc/mounts 19:09:20 -!- ais523 has joined. 19:10:00 `run cat /proc/net/protocols | paste 19:10:06 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.11891 19:20:04 Is Olive oil a dressing that can be put on chicken sandwiches? 19:21:03 Sgeo: it's optionally one of the components of salad cream 19:21:03 ais523: You have 1 new message. '/msg lambdabot @messages' to read it. 19:21:07 so I guess it would be usable on its own too 19:21:09 @messages 19:21:10 elliott said 1d 5h 35m 36s ago: interesting 19:21:40 Also: If balsamic vinegar is good on pasta, why have I heard, in trying to explain why ketchup on pasta is disgusing, ketchup compared to vinegar? 19:22:46 because opinions are not universal. hth. 19:22:47 Maybe you should just drink the vinegar straight. Cut to the chase. 19:23:19 ketchup on pasta... disgusting? 19:24:18 Sgeo: you should listen to what your body wants to eat. if you don't, it will continue losing weight just out of spite, even if you drink olive oil from the bottle instead of water. hth. 19:25:17 also, if you keep asking others, your body will keep wanting things others advise against, also out of spite. hth. 19:26:23 -!- oklopol has quit (Ping timeout: 245 seconds). 19:26:44 My body doesn't talk to me in that level of detail 19:29:31 Ketchup on pasta… now that's a treat if we're back in the 1930s. 19:30:59 -!- ogrom has joined. 19:31:12 Sgeo: yes you can put oil on bread / sandwiches 19:31:31 Sgeo: ketchup is vinegary but it's also really really sweet 19:32:08 Sgeo: you can make pesto with olive oil, and a pesto & chicken sandwich is really good 19:33:25 And vinaigerettes are literally oil and vinegar. 19:33:42 Often with other stuff added, but not at all necessary. 19:34:57 fwiw, I dislike ketchup, but like tomato-based pasta sauces 19:35:09 I like ketchup, but I would hate it on pasta. 19:35:42 my point was that if I like one but not the other, it's likely due to a noticeable difference in ingredients 19:36:13 Sgeo: For what it's worth, ketchup on pasta is normal in Japan. 19:36:16 http://en.wikipedia.org/wiki/Naporitan 19:36:22 This seems horrifying to me, but there it is. 19:36:30 Japan is… Japan. 19:36:48 Should I ask for olive oil, or pesto? 19:37:07 Or does pesto not necessarily have olive oil? 19:37:08 they have to serve _something_ in all those japanese three-star restaurants 19:37:08 Sgeo: why are you asking for oil on pasta anyway? 19:37:10 I swear, Japan uses ketchup more than Americans do. 19:37:17 I fear I missed the start of the conversation 19:37:20 ais523, I'm going to go out and buy a chicken sandwich 19:37:30 do it 19:37:31 I've been reading that olive oil is healthy and fattening 19:37:38 And want to try it 19:37:42 why do you want something that's both healthy and fattening? 19:37:49 ais523: He needs to gain weight for his health. 19:37:52 ah right 19:37:56 Sgeo: I don't think you should fixate on the particular kind of oil so much 19:38:00 but yes, olive oil is good 19:38:07 Now there's a problem I wish I had X_X 19:38:10 things with oil are generally fattening, and fat is an essential nutrient 19:38:15 I think olive oil has a good balance of fats, generally speaking 19:38:18 Gregor: A friend of mine has incredibly *low* cholesterol. 19:38:26 low quantities of the most dangerous ones, and high quantities of the most benign 19:38:28 pikhq: I can believe that 19:38:29 Like, to the point it's a medical problem. 19:38:49 the reason cholesterol causes heart problems is that it's so important to the correct functioning of the body that it never excretes it ever 19:38:53 so it just builds up in the bloodstream 19:38:53 Is he Japanese? Does he eat nothing but fish? 19:38:57 if it isn't being used 19:38:59 He's American. 19:39:01 I honestly just want to gain enough weight to be able to donate blood. That would make me happy. 19:39:07 Although probably extra would be nice 19:39:41 And yeah. It's *rare* to have too little cholesterol, but still. It's a problem. 19:39:59 That's one of those things your body really, really needs. 19:40:12 HDL vs LDL, or is that a myth? 19:40:28 hmm, perhaps I could persuade Sgeo to eat a full English breakfast, minus the ingredients that are there as traps for foreigners 19:40:30 I have them quite often 19:40:47 which are the trap ingredients 19:40:57 the english ones 19:41:10 ais523: Yeah, which are the trap ingredients >_> 19:41:14 Would it be possible to get a full English breakfast at a corporate cafeteria? 19:41:15 kmc: well sausages very really wildly in quality, I eat them myself but they're sometimes awful and you don't really want to know what they're made of 19:41:15 Sgeo: The thing that makes LDL a problem is it's lower density, meaning that LDL buildups are worse than HDL by far. 19:41:17 Please tell me that roasted tomatoes are a trap. 19:41:22 `run lsb_release -v 19:41:25 No LSB modules are available. 19:41:33 and black pudding is made of blood, although I haven't actually tried it so I don't know what it's like 19:41:37 `cat /etc/debian_version 19:41:38 cat: /etc/debian_version: No such file or directory 19:41:52 Can an English breakfast be eaten in half an hour? 19:41:57 ais523: i had one in ireland, it was fine 19:42:01 Sgeo: yes 19:42:07 Sgeo: Yes, but not made and *then* eaten. 19:42:18 Frying stuff is easy, but not instant. 19:42:29 pikhq: they can be, I've done it, but you'd need to go to a restaurant experienced in making them 19:42:35 I have about half an hour from getting to the corporate campus to clocking in 19:42:48 I've eaten supposedly-traditional English breakfasts while in England… other than the fact that English people don't seem to understand how to cook eggs, and the fact that tomatoes should not be cooked whole, I've enjoyed them. 19:42:55 in the UK, shops that specialise in them, half an hour would be a good estimate for making+eating 19:43:25 and we cook eggs all sorts of different ways, it's just that traditional breakfasts fry them 19:43:43 OK, let me correct: 19:43:44 In the US, you're more-than-likely doing an approximation by getting their "big breakfast" thing at a diner. 19:43:49 English people don't know how to fry eggs. 19:44:02 Gregor: hmm, what specifically do we do wrong? 19:44:05 (not the *same*, but that's basically the closest you'll get without having silly luck.) 19:44:16 breakfast in the US is combinatorial, you ask for m eggs, n bacon, k sausage, t toast, etc 19:44:22 ais523: What you call over hard, we call over medium. The actual "hard" end of the spectrum seems beyond your imagination. 19:44:42 ... they don't do eggs over hard there? :( 19:44:47 But I like my eggs over hard. 19:44:49 Gregor: that seems specific to restaurants, for some reason 19:44:53 I'd like to try eggs and bacon, but ... even though bacon has a reputation for being fattening... 19:45:11 the hard end of the spectrum exists, but typically only for home cooking, the restaurants are in too much of a hurry 19:45:16 What does over hard and over medium exist? 19:45:18 ais523: I've only had English fried eggs in B&Bs and restaurants *shrugs* 19:45:19 *mean? 19:45:34 ais523: But over hard is faster than over medium to cook X_X 19:45:42 Sgeo: well the fat is visibly separate from the lean meat, with bacon 19:45:49 Over easy/medium/hard indicates how well-cooked the eggs are after being flipped. 19:45:50 Sgeo: Over medium is cooked all the way thru, over hard is yolk broken and cooked all the way thru. 19:46:05 although the lean meat is still reasonably fattening 19:46:07 i gotta try a sous vide egg sometime 19:46:08 I think I prefer hard-boiled eggs 19:46:15 And under hard is a hypothetical abomination that it's fun to ask for in a restaurant when the waiter doesn't know what he/she's doing. 19:47:31 Sgeo: In your case, bacon would be fairly beneficial. 19:47:53 Gregor: flip the egg, break yolk, then serve? 19:47:55 You're in America. How can gaining weight be difficult. 19:48:10 Yeah, seriously. 19:48:12 oerjan: Typically: Crack egg, break yolk, cook one side, flip, cook other side, serve. 19:48:20 We put cheese on everything. 19:48:40 [Which makes life really fun for people who hate cheese *cough*] 19:48:44 Deep fried cheese is a thing in parts of the country! 19:48:55 * pikhq <3 cheese curds 19:49:10 -!- heroux has quit (Ping timeout: 245 seconds). 19:49:50 pikhq: when I was on a trip to Hungary, there were some vegetarians with us 19:49:56 and our Hungarian hosts didn't seem to know how to handle them 19:50:07 they invented all sorts of vegetarian-but-unusual dishes, such as battered cheese 19:50:31 i wanna try a chip butty 19:50:39 ais523: So if there were vegans, they'd just die there. 19:51:01 -!- heroux has joined. 19:51:06 perhaps, or perhaps they'd have to buy their own food 19:51:41 When I was visiting grad schools, I pretty much had to buy all my own meals. 19:51:49 Pizza: Clearly the universal food. *grumble grumble* 19:52:10 Gregor: I don't like pizza :( 19:52:26 Are you mad? 19:52:31 ais523: I hate cheese. Welcome to the club. 19:52:36 halp I shouldn't be learning nutrition from an artificial life game 19:52:44 Gregor: I have problems wit heating too much cheese 19:52:47 *with eating 19:52:50 I just tried to make a mental checklist, and it went: starch fat protein 19:52:51 I didn't particularly dislike it at the time 19:53:03 but after not eating it for years, I find it hard to tolerate 19:53:03 ais523: So do I! Where "too much" is defined as "more than none" :) 19:53:10 -!- AnotherTest has left. 19:53:24 Sgeo: those /are/ the three major food groups (well, if you generalise "starch" to "carbohydrate") 19:53:39 -!- ThatOtherPerson has quit (Quit: Leaving). 19:54:27 And you totally get them by eating seeds, food, and fruit 19:54:28 >.> 19:54:52 btw is it just me or are americans awful at making bacon 19:54:54 (I know that that's a bad way to describe it at least. But that's how the game works) 19:54:58 "And you totally get them by eating...food" 19:55:00 Solid plan 19:55:03 and yet they are obsessed with it 19:55:19 Food gives only fat specifically, of course! 19:55:24 elliott: Quite simply, what we call bacon and what you call bacon are not the same food whatsoever. 19:55:28 Fruit isn't food 19:55:41 Gregor: yeah but yours just looks like ours if you fucked it up... 19:56:31 I think the English just don't like fully cooking breakfast foods *shrugs* 19:56:37 Excluding tomatoes, inexplicably. 19:56:41 I should also see if it's possible to get milk in the cafeteria. And if I can overcome my slight disgust at drinking something that came out of a cow's udders in public. 19:57:00 well it's not even about how much you cook it i think 19:57:04 -!- augur has joined. 19:57:09 Sgeo: Being fine with it in /private/ but not in /public/ is considerably more disturbing than just not liking it. 19:57:23 elliott: there are a large number of possible ways to get meat from a pig 19:57:34 US "bacon" is a different cut, cured, and smoked. 19:57:36 Sgeo: did you know meat is made out of animal flesh 19:57:44 crazy, i know 19:57:53 I think UK bacon is lim_(width\rightarrow 0) gammon 19:57:55 but am not 100% sure 19:57:59 lol 19:58:02 i don't really like milk either 19:58:04 Cows aren't disgusting, they are fucking jerks though 19:58:05 although there seems to be multiple possible definitions of gammon, too 19:58:13 fuck cows, is what i'm saying 19:58:17 Also, drinking milk is good after having chewed gum, but who chews gum in public? 19:58:24 everybody 19:58:33 not everybody, but a lot of people do 19:58:49 A lot of people fuck cows? 19:58:49 chewing gum is something to do in the privacy of your own room, with a locked door 19:58:56 Fun anecdote: My mom once gave me some gum to help get rid of the taste after I chewed my medicine. 19:59:02 This was when I was a little kid 19:59:18 Sgeo: That fact is so fun I can feel my pancreas kicking into overdrive. 19:59:20 i give this anecdote 3/10 funpuns 19:59:22 Some guy asked if that was nicotine gum 19:59:36 Was it? 19:59:45 i chew nicotine gum sometime 19:59:48 s 19:59:51 No. And why would any kid be given nicotine gum? 20:00:01 Because your mom's a classy lady. 20:00:34 `addquote Sgeo: That fact is so fun I can feel my pancreas kicking into overdrive. 20:00:38 1002) Sgeo: That fact is so fun I can feel my pancreas kicking into overdrive. 20:00:51 data32 data32 data32 data32 data32 nopw %cs:0x0(%rax,%rax,1) 20:00:53 best instruction ever 20:01:33 kmc: I, what 20:01:41 Why are there so many data32 prefixes? 20:01:47 Also, fuck x86. 20:01:53 it's an intentionally long nop instruction 20:02:04 which is better than a sequence of small nops because it's FASTER 20:02:16 (also it can be replaced atomically with some other long instruction) 20:02:40 Ah, a one-clock-cycle very large nop pad. 20:02:46 Still, that's a lot of prefixes. 20:03:18 Esolang made up of what would be NOPs in various other languages 20:03:47 Whitespace. 20:03:56 I like how the nopw instruction apparently has arguments. 20:04:01 "Do nothing with this memory" 20:04:29 Because if you don't, it will be randomly filled! 20:04:30 I wonder if you can accidentally impose a pipeline stall with that. 20:04:57 pikhq: Intel says to use %rax specifically for nops, as their chips have a special case to avoid false data dependencies 20:05:25 the classic 0x90 NOP is actually xchg %eax, %eax 20:05:26 Aaaaah. 20:05:42 The classic 0x90 NOP is not xchg %eax, %eax on x86_64 though. :) 20:05:56 0x90? 20:05:57 i think it is 20:06:06 It's hard-coded as a NOP instead because otherwise it'd sign-extend eax. 20:06:07 as in the opcode is 0x90 hex, sgeo. 20:06:14 oh 20:06:16 hehe 20:06:20 silly world 20:06:21 good nop 20:06:27 http://lxr.linux.no/linux+v3.8.5/arch/x86/include/asm/nops.h 20:06:30 so what do you do fi you want xchg %eax, %eax 20:06:42 elliott: They gave that a different encoding. 20:06:56 Y'know, just in case you actually *do* want to sign-extend eax. 20:07:20 pikhq: that isn't a useless operation, it's actually expressible in gcc intermediate representation, for instance 20:07:34 `run ps ax | paste 20:07:40 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.21725 20:07:42 Yeah, it's perfectly sensible. 20:07:53 Huh? 20:07:54 You might have a 32-bit int in eax and want to cast to a 64-bit init. 20:07:57 So, sign extend. 20:07:58 How is it sensible, I don't get it 20:08:07 sign ex... 20:08:13 * Sgeo should learn this stuff sometime 20:08:26 pikhq: does xchg %eax, %rax make sense? 20:08:28 I'm guessing no 20:08:38 Sgeo: Sign extension is where you set all the other bits based on the sign bit. 20:08:51 Sgeo: For instance, the sign extension of 0xFF to a 16-bit int would be 0xFFFF. 20:09:03 not all the other bits, just the ones that didn't exist in the smaller number 20:09:03 Sgeo: say you have a 32 bit number with some sign. you want the 64 bit number representing the same number. you can't just put a bunch of zeroes there because of how two's complement works. 20:09:12 kmc: That's what I mean, yeah. 20:09:34 I should read a tutorial on assembler 20:09:36 kmc: this header is great 20:09:39 Is it "assembler" or "assembly"/ 20:09:40 ? 20:09:50 assemblation 20:10:13 "assembly language" as a category is pretty wide anyway, x86 and ARM are really different 20:10:43 so why is there an atomic nop5 and a regular nop5 20:11:10 this really doesn't have anything to do with assembly 20:11:14 why the xchg makes sense, I mean 20:11:22 atomic nop5 and conventional nop5 20:11:47 extern const unsigned char * const *ideal_nops; 20:12:25 x86 in general is quite different from most other architectures still around. 20:13:14 `run echo 'explain const unsigned char * const *ideal_nops' | cdecl 20:13:16 bash: cdecl: command not found 20:17:32 "xchg %eax, %eax" does not sign-extend eax. 20:17:49 Writing to the 32-bit half of a GPR zero-fills the upper 32 bits, not sign-extends. 20:18:23 (And if you want that, the "conventional" way of expressing it is mov %reg, %reg.) 20:19:34 -!- Bike has quit (Ping timeout: 256 seconds). 20:19:56 ("32-bit operands generate a 32-bit result, zero-extended to a 64-bit result in the destination general-purpose register", Intel 64 and IA-32 Architectures Software Developer's Manual, Volume 1, 3.4.1.1 General-Purpose Registers in 64-Bit Mode.) 20:21:38 (There's a "REX.W** + 63 /r MOVSXD r64, r/m32 Move doubleword to quadword with sign-extension." instruction if you want to sign-extend.) 20:22:16 Is there a better way to learn about CPUs and x86 than by learning assembly? 20:22:24 (Other than that, I don't have any disagreement with the discussion above; it's still the case that xchg %eax, %eax isn't a nop and yadda yadda.) 20:22:38 -!- Halite has quit (Ping timeout: 245 seconds). 20:23:45 -!- Bike has joined. 20:26:22 -!- copumpkin has quit (Ping timeout: 256 seconds). 20:27:01 -!- copumpkin has joined. 20:33:30 -!- heroux has quit (Ping timeout: 256 seconds). 20:35:18 -!- heroux has joined. 20:38:00 -!- zzo38 has joined. 20:40:26 fizzie: Weird. Why would it zero-extend? 20:40:32 That's significantly less useful. 20:40:46 Also not *particularly* easier. 20:41:22 There's a large number of unsigned integers around, and they too have just as much rights as the signed ones. 20:41:35 iirc the zero extension exists to facilitate using 32-bit pointers 20:41:41 Aaaah. 20:41:54 if you're (say) making a syscall into a 64-bit kernel, you want to zero-extend, not sign-extend 20:42:07 otherwise the top half of your userspace 32-bit address space will map to kernel space probably 20:42:26 if you want to sign extend, there are instructions for that 20:42:38 movslq or whatever 20:42:42 Though most 32-bit OSes reserve the top half for kernelspace anyways... :P 20:43:10 A 64-bit OS running a 32-bit process would hopefully give it four real gigs. Maybe? I don't know. 20:43:11 not 64-bit OSes though 20:43:16 yes 20:43:18 -!- carado has joined. 20:43:27 if you run an i386 program on x86_64 linux, it gets four gigs 20:43:43 but it also runs in compat processor mode so this isn't so relevant anyway 20:43:46 I wouldn't be surprised if that's not the case on Windows. 20:44:06 I *bet* someone's doing pointer tagging with the high bit on Windows. :P 20:44:26 it's relevant in a scenario where your user code runs in long mode and is otherwise a normal amd64 program, except that it stores pointers as only 4 words 20:44:29 errr 4 bytes 20:44:39 like the linux x32 ABI 20:45:02 except it might not be relevant for x32 either, since they have a new 32-bit system call interface for x32 20:45:03 I doubt they had x32 in mind when they designed that behaviour, though. (Is it all that common, elsewhere?) 20:45:32 but zero extension would be relevant if you wanted to use 32-bit pointers without help from the OS, for sure 20:45:43 or if you want to link between libs using 32 and 64 bit pointers 20:45:58 -!- heroux has quit (Ping timeout: 256 seconds). 20:46:11 fizzie: it was definitely already known at the time AMD64 was being designed that 64-bit pointers everywhere has a performance impact, and it would be nice to get away with 32 bit pointers for this reason 20:46:34 I'd certainly like a reference to an official rationale document, though. 20:46:41 on SPARC64 it's common to have a mostly 32 bit userspace because (unlike AMD64) the 64-bit processor mode doesn't have any other real performance advantage 20:46:50 -!- heroux has joined. 20:46:52 fizzie: sorry, i don't have one 20:46:56 this is just what I heard or perhaps inferred 20:47:17 -!- ogrom has quit (Quit: Left). 20:50:03 Bah, AMD's corresponding (programmer's manual) document also just describes the how and not the why. Oh well. 20:51:16 The deal with the sil/dil/bpl/spl vs. ah/bh/ch/dh is kind of nasty. 20:52:35 I think those high-byte registers are pretty much never used, but lower-byte access across all registers is actually useful 20:52:59 They certainly are used in handcrafted assembly. 20:53:14 -!- Taneb has joined. 20:54:05 (Not that I disagree that the new scheme wouldn't be much more logical.) 20:54:49 Evenin' 20:54:49 Taneb: You have 1 new message. '/msg lambdabot @messages' to read it. 20:55:21 oerjan, that's the same manyhills 20:55:35 Or at least 20:55:46 Oh man google result previews are greyer now. Oh man just as foretold 20:55:47 The one on the IWC forum is the same as the one on the Murderous Maths forum 20:55:48 but the way you choose between ah/bh/etc and sil/dil/etc is nasty ... since long mode is incompatible enough already, they should've just removed the high bytes entirely 20:56:22 It's a shame they didn't change a minor detail of the asm syntax. 20:56:33 It'd be nice if rax-rdi had r0-r7 synonyms. 20:56:53 well, they don't specify any syntax in the first place, so they couldn't change it 20:57:15 NASM does that, in the sense that there's a standard macro package called "altreg" that does. 20:57:54 Yeah, but surely the assembler authors could have. 20:59:06 olsner: AMD64 manual, "3.3.1 Syntax": "Each instruction has a /mnemonic syntax/ used by assemblers to specify the operation and the operands --" all that does seem quite a lot like specifying a syntax. ( 20:59:36 (More assembler authors probably would've if the manual included r0..r7 names in it?) 21:02:22 (NASM's altreg also adds other such "logical" aliases, like Intel's R8L..R15L (AMD defines R8B..R15B for the low bytes) and R0H..R3H for AH,CH,DH,BH, which probably nobody has used anywhere ever.) 21:02:40 * Fiora looks in, sees asm 21:03:01 Quick, hide all the assembly. 21:04:53 * pikhq wonders why no DOS C compilers let you use multiple segments *and* a flat memory space 21:05:13 it's not flat if it has multiple segments 21:05:35 Taneb: so there are more esolangers from there... 21:05:49 Oh god 21:05:51 olsner: You could argue it is, if all the segments have a base of 0 and a limit of 4G. 21:06:03 Murderous Maths changed my life 21:06:03 If one enforces the rule that 0x0F00 | segment = 0, then all physical addresses have a unique segment:address pair. 21:06:08 (not an exaggeration) 21:06:12 Erm. 21:06:15 Not quite. 21:06:21 (although it does perhaps come under the Butterfly Effect) 21:06:34 If one enforces the rule that only those 4 bits of the segment are set, ... 21:08:45 Then you just have a weird-ass way of loading pointers into registers. 21:09:09 And your pointer arithmetic is a *tiny* bit weird. 21:09:41 I'm not sure what you're describing 21:09:56 olsner: One has the C environment have 20-bit pointers. 21:10:23 When actually interacting with memory you "simply" convert those to/from segment:address pairs. 21:10:48 And so you've got a somewhat more complicated C compiler, at the benefit of completely ignoring the existence of near/far pointers. 21:10:58 -!- epicmonkey has joined. 21:11:09 right, all neatly packed into 1MB of memory 21:11:40 pikhq: that's basically "all pointers are huge pointers", right? 21:11:45 ais523: Yes. 21:11:49 so pretty similar to the "huge memory model" 21:12:23 Yup. 21:12:31 How about the model with a flat 24-bit address space, done by setting up 256 segment descriptors that each specify a 64k segment 64k apart in the GDT, and then using those 24-bit pointers by loading the high byte << 3 into a segment register, and the rest into the low half of a GPR, and never touching the upper 16 bits of them? 21:12:49 Won't work in real mode. :) 21:13:09 But fairly sensible if you need to work on a 286. 21:13:44 Hell, you could even page that way. 21:13:46 Why would you need to work on a 286 anymore? 21:13:53 Want, maybe, but need? 21:14:07 FreeFull: Well, if you have a time machine, ... 21:14:13 They had no olive oil, just oil 21:14:31 aliens arrive and convert all processors to 286es 21:14:38 Olive oil, motor oil, it's all just oil. 21:14:47 It was labeled only as 'oil' 21:15:55 Of course, anymore if you *really* need to run on DOS you just build with DJGPP. 21:16:05 And even that's unlikely. 21:16:15 pikhq: If you have a time machine, you will probably do something more interesting than go back a couple of years for old computers 21:16:41 FreeFull: I dunno, I could be pretty interesting doing that. 21:16:46 I think in these days you might build with OpenWatcom instead, because Watcom is the bomb (all the kool demoscene dudes had a copy of Watcom), and now you can get it for free. 21:16:49 I don't see why you wouldn't just write straight ASM for a 286 21:17:01 Head back to 2000 and claim to be John Titor. :D 21:17:17 pikhq: CERN isn't evil 21:17:18 Also, DOS4GW vs. what's-what-DJGPP-used-was-it-CWSDPMI-or-what. 21:17:23 And this isn't a manga 21:17:47 Um, the John Titor story has fuck-all to do with manga... 21:17:59 pikhq: there's an anime with the Titor story in it. 21:18:00 most of those dos extenders failed to work on my 386 :( 21:18:18 Wasn't that that guy who went on Usenet or something and claimed to be a time traveller 21:18:18 Yes, but the Titor story is an actual event. Someone *actually claimed* to be a time traveller online... 21:18:25 I don't taste anything 21:18:29 Or at least anything different 21:18:34 Anime subsumes all, pikhq! ALLLLL 21:18:36 Taneb: Forum rather than Usenet, but yes. 21:18:46 I thought it was usenet... 21:18:51 In 2000? 21:19:06 * Sgeo used USENET in 2006 21:19:28 Sgeo used USENET in 2006 21:19:47 usednet 21:19:54 pikhq: Well, ok, there is a manga based off it though 21:20:02 olsner: Was there something wrong with your 386 then? 21:20:11 Bike: btw please cease your sinful placement of two spaces after punctuation. 21:20:20 And it was made into a manga 21:20:20 http://en.wikipedia.org/wiki/Steins;Gate 21:20:30 elliott: bite me motherfucker 21:20:48 Isn't that how you're supposed to type? With two spaces after punctuation? I've definitely heard of that. 21:20:58 my teeth arent that long Bike 21:21:00 Sgeo: That's a typewriterism. 21:21:07 Punctuation 21:21:10 What is punctuation 21:21:31 Sgeo: There is supposed to be a 1.5em space after a period in traditional, high-quality typesetting. 21:21:37 Two spaces is an emulation of that. 21:22:00 Taneb, there's a movie about the guy with that classified ad 21:22:14 There's a guy with a classified ad!? 21:22:25 The... I have only done this once before guy 21:23:19 Right 21:25:26 ^style sms 21:25:26 Selected style: sms (National University of Singapore SMS corpus, 2011-08-20) 21:25:27 fungot: How many spaces do you put in, after a period? 21:25:28 fizzie: thank u. please tell lucy i forgot to tell me what u thinking just now leh. at ard decimal tmr at the coffeeshop near their office 21:25:33 Aw. 21:25:58 I was hoping for one of those cases where you put in punctuation,then don't leave any space after them.I hear it's all the rage these days. 21:26:04 -!- epicmonkey has quit (Ping timeout: 246 seconds). 21:26:12 fungot: Are you sure you can't oblige? 21:26:12 fizzie: who is this? 1. over. your not my real. she can come and ill get her medical education nt only in this assignment 21:26:15 -!- heroux has quit (Ping timeout: 245 seconds). 21:26:31 I may have accidentally normalized the punctuation a bit, come to think of it. 21:28:04 -!- heroux has joined. 21:33:34 -!- Bike has quit (Ping timeout: 256 seconds). 21:34:09 @ping 21:34:10 pong 21:34:59 Were you unnerved by the silence? 21:38:01 The music I made is now available in FLAC format, although the FLAC file is over ten thousand times as large. 21:38:42 -!- Taneb has quit (Ping timeout: 272 seconds). 21:39:04 he just couldn't take it any more 21:39:22 silence, then zzo38 music 21:40:08 it's good he got away before the polka. 21:42:32 -!- Taneb has joined. 21:42:49 oh no he came back! now he is doomed. 21:42:56 *+ 21:43:10 `doom Taneb 21:43:12 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: doom: not found 21:43:40 but then, doom is his last name. if you choose the right font. 21:43:43 -!- Bike has joined. 21:45:12 Doom lighting is like mood lighting, except even darker. 21:45:52 * kmc has used OpenWatcom 21:46:05 kmc: was it super effective? 21:46:13 yes 21:46:19 nice 21:46:56 http://mainisusuallyafunction.blogspot.com/2010/10/programming-jvf-2010.html 21:49:10 I've used a stolen copy of Watcom 9. 21:49:31 Or maybe 9.5. Something that started with 9. 21:49:42 hmm, unordered pairs are tricky 21:50:25 kmc: heh those comments. 21:50:32 In Haskell, either use an Ord instance or just use tuples but with stupider pattern matching, elliott 21:50:40 Or something clever I haven't thought of 21:52:31 this is in coq 21:54:28 elliott: they're called "sets of two elements" i hear 21:54:52 oerjan: sets are even harder :P 21:55:13 oh, i thought Coq had sets as a nearly basic feature 21:55:32 type theory > set theory! 21:55:36 oerjan: it has "Set", but those are just types 21:55:42 fancy 21:55:48 in particular, you have Set and Prop as subtypes of Type. 21:55:52 and Set is "small stuff" 21:56:02 (which basically means, you're restricted in how much you can quantify over in Set, I think) 21:56:18 there are various developments of set theory in coq though. I think they all use axioms. 21:57:12 well { x | x = y or x = z } would be one way of writing the unordered pair {y,z} in set theory. 21:57:58 or {y} union {z} 21:58:32 so i'm wondering what is tricky about it. 21:59:23 oerjan: well it is type theory. you don't have that. 21:59:49 the closest thing you have to unions/intersections are products and sums, and of course products give you an ordering. 22:00:30 eek 22:00:54 elliott: Can't you do actual union types with dependent types somehow? 22:01:29 shachaf: what would that mean? 22:01:41 They're pullbacks and pushouts of each other or something like that, aren't they? 22:01:51 anyway I know what the type should look like and what induction principle you want on it, I think. it's implementing it that's the hard part. 22:02:38 try to prove it leads to a contradiction. 22:02:53 thoerjan 22:02:58 -!- zzo38 has quit (Read error: Connection reset by peer). 22:03:21 `olist 22:03:23 olist: shachaf oerjan Sgeo 22:03:51 shachaf: when you cannot do something, prove that it cannot be done. they'd have discovered hyperbolic geometry so much easier if they'd just tried that earlier. 22:03:54 oerjan: if you can't express something in coq it's far more likely than not you can't prove you can't, in my experience. 22:04:03 shachaf: is this the same as earlier today? 22:04:08 since you can perfectly well add all of classical logic and ZFC as axioms and it still works. 22:04:11 Ther ewas one earlier today? 22:04:30 yes. 22:04:34 Did someone `olist? 22:04:37 yes. 22:10:24 What does the `olist signify? 22:10:28 -!- GOMADWarrior has quit (Read error: Connection timed out). 22:11:29 FireFly: order of the stick update 22:11:36 aha 22:11:50 -!- GOMADWarrior has joined. 22:11:58 `run echo FireFly >>bin/olist 22:12:02 No output. 22:12:55 -!- zzo38 has joined. 22:12:56 truly #esoteric is the replacement for Google Reader 22:13:05 hizzo38 22:13:06 are there questions where it's interesting to prove whether you can prove if something can be proven? 22:13:21 I don't know. 22:13:51 olsner: well, consistency, no? 22:13:53 kmc, alas, I follow RSSs that no-one else here does 22:14:03 `tanelist 22:14:32 I do not currently follow any RSS 22:17:34 shachaf, again? 22:18:52 Oh, not again 22:32:16 -!- Nisstyre-laptop has quit (Quit: Leaving). 22:33:39 -!- augur has quit (Remote host closed the connection). 22:39:58 -!- rapido has joined. 22:42:38 Has anyone of you ever done any program slicing? http://sites.computer.org/debull/A07dec/cheney.pdf 22:43:53 .. or any provenance related stuff? 22:44:08 I just managed to make two squares appear on a screen 22:44:14 Is that close? 22:45:12 with butter? 22:46:51 how did you make those squares? i want to know it all! If you can't show how you did it, step-by-step, i deem it not trust worthy 22:47:42 I used GLUT 22:50:11 sounds like SLUT - so i don't trust the GLUT squares really appeared on the screen 22:50:39 oops - now i'm going to be fired - i was being rude and sexists 22:50:41 itt: slut shaming 22:51:05 sorry, i take that back 22:52:24 take what back? 22:53:30 …this whole provenance thing has caught me by surprise … i said something stupid and it can be traced back to me! 22:53:45 haha 22:53:50 logged forever 22:55:16 undo isn't always an option - when firing rockets 22:55:46 * ais523 visualises a rocket turning round, flying back to where it came, and carefully parking inside the rocket launcher 22:56:00 haha 22:56:16 i think the latest xkcd what if is relevant. 22:56:27 .. we just lost some fuel somewhere .. 22:58:02 http://what-if.xkcd.com/38/ 22:58:05 /query oerjan 22:58:08 oops. 22:58:21 /query kmc Bike Taneb # incriminating everyone 22:58:26 :O 22:58:38 /query [mbm] # i'm looking at you, idler 22:58:41 you are already querying me afaik 22:58:46 oerjan: I use it to switch windows! 22:58:51 because I am hopelessly inefficient 22:58:53 aha 23:00:56 I use that to go to a fungot window too. 23:00:57 fizzie: am i that much bad loh. nvm. i think gaoweiwould do 23:01:09 I mean, /query fungot. /query oerjan, as far as I can tell, does not go to a fungot window. 23:01:10 fizzie: just in time to rehearse for the bestpresentation demo tomorrow at the new school year. just wishin you a gr8 day. plus walking ma.haha. but shld b fine... slackin now... wat u doing now. any way thanks for the wishes to ur parents:-d may they united ah 23:01:15 Sometimes the difference can be pretty small. 23:01:28 what 23:03:32 fungot fungus facts 23:03:32 kmc: saw u PAT just cents with budget sms!* shehan... regret to inform you that i am wearing slipper. 23:03:36 question: is there someone who did some provenance related stuff? 23:04:49 i find provenance pretty esoteric - but you may disagree 23:05:21 Do we have any Turing-complete programming languages whose interpreter consists of a finite state machine attached to a queue? 23:06:05 tswett: DownRight 23:06:06 provenance sounds like a comonad hth 23:06:41 Provenance as in God being nice? 23:07:26 http://code.google.com/p/core-provenance-library/ is what google gave me 23:07:35 Isn't that like the capital of Rhode Island 23:07:50 no, that's providence. also something plantations. 23:07:51 Oh right, providence. 23:08:01 what about provenance being first class? for instance, go back in time and re-use past data in the present 23:08:01 Provenance is... like the history of possession of something. 23:08:18 rapido: you should look up Elephant 23:09:01 Hm, let me rephrase my question. 23:09:03 i know of elephant - it was conceived by the great one 23:09:35 Do we have any Turing-complete programming languages where the program is a list of instructions (which are not necessarily only one character long), and each instruction is of the form "append these characters to the program"? 23:10:16 fueue? 23:10:20 i'm sure the provenance is good material for a esoteric language. 23:10:31 tswett: tag systems work like that 23:11:22 Is there a simple Turing-complete tag system, then... 23:11:24 provenance is a hot research topic 23:12:19 tswett: hmm… tag systems in general are TC, but I'm not sure how simple the simplest universal one is 23:12:26 oerjan: speaking of elephant - i don't remember seeing a compiler for it 23:14:35 i cannot find elephant on wikipedia :( 23:15:12 an elephant interpreter is fine with me too 23:15:22 http://en.wikipedia.org/wiki/Elephant hth 23:15:38 .. what was that elephant saying? .. 23:15:59 . WHAT was that elephant saying? .. 23:16:17 What WAS that elephant saying? What was that elephant SAYING? 23:16:34 noted 23:16:44 and remembered 23:17:55 -!- heroux has quit (Ping timeout: 245 seconds). 23:18:40 memoized so to speak 23:19:38 * oerjan swats tswett -----### 23:19:55 -!- heroux has joined. 23:21:05 ais523: sorry about the awful spam. i haven't been up to upgrading the wiki over the past few days. 23:21:16 elliott: fair enough, it only takes a couple of minutes to fix 23:21:26 it might make more sense to apologise to everyone else 23:21:47 there used to be debates on Wikipedia, "how do you delete ten pages in ten seconds without using a script?" 23:21:50 but it's entirely doable 23:21:57 if you use tabs and get into a rhythm 23:22:18 i'll apologise to oerjan for not making him an op to deal with it 23:22:25 hmm, I guses op is a bad abbreviation of sysop 23:23:32 Why have I been so hungry today? :/ 23:23:37 Well, I guess that's a good thing 23:23:46 Maybe eating more during the week makes me need more food? 23:25:41 Vorpal: you added DownRight to the implemented category but i see no implementation link 23:25:58 oerjan: there are two on the talk page 23:26:11 I like Fueue. 23:26:14 oh 23:26:47 oerjan, ? 23:27:13 oerjan, I seem to remember writing a implementation using parsec, which was totally overkill for that 23:27:22 Vorpal: there was no mention in the article of where to find it. 23:27:29 oerjan, was it on the talk page? 23:27:30 tswett, this makes me happy 23:27:56 oerjan, otherwise I guess I could try searching for it, to find the file 23:28:13 it was 23:28:16 -!- heroux has quit (Ping timeout: 272 seconds). 23:28:53 -!- heroux has joined. 23:31:32 -!- olsner has quit (Ping timeout: 252 seconds). 23:32:15 Now I wonder how interesting a two-dimensional Turing machine you could make. 23:35:53 Perhaps the head's state could consist of the direction that the machine wants to move in and a "current instruction", and then the instructions are things like "start moving in this direction", "pick up the instruction that's in this direction", and "lay down the instruction that's in this direction". 23:42:01 -!- rapido has quit (Quit: rapido). 23:44:10 -!- olsner has joined. 23:52:03 The company I work for pays for a specific charity's administrative costs 23:53:34 -!- carado_ has joined. 23:54:35 -!- copumpkin has quit (Ping timeout: 245 seconds). 23:55:06 -!- copumpkin has joined. 23:58:40 -!- carado_ has quit (Ping timeout: 246 seconds).