00:00:39 -!- sebbu2 has quit (Read error: Connection reset by peer). 00:01:08 -!- sebbu has joined. 00:02:00 the number of \'s between each " goes as 2^n-1 00:02:00 !haskell :t Data.Function.fix (concatMap show) 00:02:00 now what 00:02:00 !echo hi 00:02:00 hi 00:02:02 Data.Function.fix (concatMap show) :: [Char] 00:02:28 that one _should_ have done something similar, characterwise 00:02:42 -!- comex has quit (Excess Flood). 00:02:59 but it doesn't... because show on a Char isn't lazy enough to give the initial ' without looking at the character first... 00:03:16 but if we cheat a bit we can see what that should have looked like 00:03:35 -!- sebbu has quit (Changing host). 00:03:35 -!- sebbu has joined. 00:03:35 !sh while true; do echo -n y; done 00:03:40 (That was dumb) 00:03:58 !haskell take 100 $ Data.Function.fix (('\'':).tail.concatMap show) 00:04:01 ​"'\\'''\\\\''\\'''\\'''\\'''\\\\''\\\\''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\\\''\\'''\\''" 00:04:08 Not sure *shrugs* 00:04:13 Probably something to do with how it outputs that. 00:04:15 !haskell putStrLn . take 100 $ Data.Function.fix (('\'':).tail.concatMap show) 00:04:16 ​'\'''\\''\'''\'''\'''\\''\\''\'''\'''\\''\'''\'''\'''\\''\'''\'''\'''\\''\'''\'''\'''\\''\\''\'''\'' 00:04:20 -!- hagb4rd has quit (Ping timeout: 255 seconds). 00:04:25 It might happen to work if it flushes. 00:04:30 -!- hagb4rd has joined. 00:04:46 !haskell Data.Function.fix (('\'':).tail.concatMap show) 00:04:59 ​"'\\'''\\\\''\\'''\\'''\\'''\\\\''\\\\''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\\\''\\'''\\'''\\\\''\\\\''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\\\''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\\\''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\\\''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\\\ 00:05:03 Gregor: weird that it would flush better with that than with an infinite list. maybe it also has something to do with speed of printing... 00:05:27 maybe it normally times out before getting far enought that ghc needs to flush 00:05:32 *-t 00:05:50 where is lambdabot? 00:06:03 !haskell Data.Function.fix ('a':) 00:06:21 -!- comex has joined. 00:06:27 that didn't work :( 00:06:34 !echo hi 00:06:45 well 00:06:47 !help 00:06:47 ​help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . 00:06:53 there is no echo? 00:07:19 !help userinterps 00:07:19 ​userinterps: Users can add interpreters written in any of the languages in !help languages. See !help addinterp, delinterp, show | !userinterps. List interpreters added with !addinterp. 00:07:26 !userinterps 00:07:27 ​Installed user interpreters: acro aol austro bc bct bfbignum brit brooklyn bypass_ignore bytes chaos chiqrsx9p choo ctcp dc decide drawl drome dubya echo eehird ehird elmer fudd google graph gregor hello id jethro kraut lperl lsh map num ook pansy pi pikhq pirate plot postmodern postmodern_aoler prefixes python redneck reverse rimshot rot13 rot47 sadbf sanetemp sfedeesh sffedeesh simplename slashes svedeesh swedish ustemp valspeak warez wc yodawg 00:07:30 night → 00:07:32 Vorpal: ^ echo 00:08:23 Vorpal: netsplat a moment ago, after not responding for a while 00:11:47 -!- Vorpal has quit (Ping timeout: 246 seconds). 00:11:48 -!- hagb4rd has quit (Ping timeout: 255 seconds). 00:12:19 -!- hagb4rd has joined. 00:15:17 !haskell Data.Function.fix (\x -> "LOOK BEHIND YOU " + x) 00:15:44 !haskell Data.Function.fix (\x -> "LOOK BEHIND YOU " ++ x) 00:16:38 !haskell Data.Function.fix show 00:16:53 ​"\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ 00:18:30 maybe it on the contrary works because fix show is _slow_... 00:18:56 hm... 00:19:11 !haskell Data.Function.fix ("\\\""++) 00:19:40 or maybe EgoBot just likes Lymia. 00:19:43 !echo hi 00:20:10 * hagb4rd chekcs his codepage configuration 00:20:17 !haskell Data.Function.fix (\x -> show $ "LOOK BEHIND YOU " ++ x) 00:20:31 ​"\"LOOK BEHIND YOU \\\"LOOK BEHIND YOU \\\\\\\"LOOK BEHIND YOU \\\\\\\\\\\\\\\"LOOK BEHIND YOU \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"LOOK BEHIND YOU \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"LOOK BEHIND YOU \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"LOOK BEHIND YOU \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ 00:20:35 aha 00:21:04 i'm wondering if there may be some kind of balance... it needs to print enough, and _then_ time out? 00:22:27 would be kool to see just the parts with high information density 00:22:27 !haskell "testing... " ++ Data.Function.fix id 00:22:30 ​*** Exception: stack overflow 00:22:35 hmph 00:23:17 Gregor: it seems EgoBot then went on to try running it as a _module_ afterwards... 00:23:54 oh well 00:27:05 -!- augur has quit (Remote host closed the connection). 00:37:08 -!- CakeProphet has quit (Ping timeout: 260 seconds). 00:38:59 -!- CakeProphet has joined. 00:39:00 -!- CakeProphet has quit (Changing host). 00:39:00 -!- CakeProphet has joined. 00:48:06 -!- yorick has quit (Ping timeout: 240 seconds). 00:48:24 -!- yorick has joined. 00:48:49 -!- augur has joined. 00:49:21 -!- copumpkin has quit (Read error: Connection reset by peer). 01:03:09 * pikhq_ looks for good compile-time undefined behavior 01:03:26 -!- FireFly has quit (Quit: swatted to death). 01:21:11 Fuckit. */ 01:22:12 -!- lambdabot has joined. 01:30:11 -!- oerjan has quit (Quit: leaving). 01:38:34 -!- elliott has joined. 01:42:07 x 02:03:48 -!- copumpkin has joined. 02:08:14 -!- pizearke has quit (Quit: quuiiiitttt!). 02:08:33 -!- pizearke has joined. 02:54:37 elliott: you're male most of the time, right? 02:54:57 -!- Adamfyre has joined. 02:55:40 tswett: That's... a technically true statement :P 02:56:55 So, my question is true. 02:57:25 Does that mean that it's a good, precise question, whose answer is likely to enlighten rather than confuse? 02:57:38 This sure is a conversation. 03:00:47 -!- Adamfyre has quit (Quit: AndroidIrc Disconnecting). 03:06:16 -!- sebbu has quit (Read error: Connection reset by peer). 03:06:44 -!- sebbu has joined. 03:11:57 -!- zzo38 has joined. 03:30:38 -!- pikhq has joined. 03:33:46 It's just OUCH? 03:34:07 -!- pikhq_ has quit (Ping timeout: 260 seconds). 03:34:35 tswett: You're just OUCH most of the time, right? 03:40:36 -!- azaq231 has joined. 03:41:04 -!- azaq23 has quit (Ping timeout: 246 seconds). 03:46:31 -!- piz2 has joined. 03:50:13 -!- pizearke has quit (Ping timeout: 240 seconds). 03:51:11 -!- CakeProphet has quit (Ping timeout: 264 seconds). 03:54:27 -!- oerjan has joined. 03:56:45 !unlambda `c.i 03:56:45 i 03:57:09 !unlambda `c.i.t 03:57:10 i 03:57:18 !unlambda ``c.i.t 03:57:18 it 03:57:36 !unlambda ```c.i.t.y 03:57:36 itt 03:58:31 !unlambda `````.S``c.u.c.e.s.s 03:58:32 ​./interps/unlambda/unlambda.bin: file /tmp/input.32133: parse error 03:58:58 !unlambda ````.S``c.u.c.e.s.s 03:58:58 ucSces 03:59:46 !unlambda ``````c`.S.u.c.e.s.si 03:59:46 Success 04:00:07 zzo38: was that your solution too? 04:01:29 !unlambda `````c`.S.u.c``c.e.si 04:01:30 ​./interps/unlambda/unlambda.bin: file /tmp/input.32431: parse error 04:01:36 argh 04:01:48 !unlambda ````c`.S.u.c``c.e.si 04:01:49 Sucescs 04:01:56 oops 04:02:14 sucesces 04:02:19 so close :P 04:02:25 What are you trying to do, BTW? 04:02:51 zzo38 mentioned he'd got this golf down to 21 in unlambda 04:03:05 ah 04:03:07 oerjan: That was not quite my solution but it was similar to that 04:04:03 hm 04:04:22 !unlambda ``````c`c`.S.u.c.e.si 04:04:22 ​./interps/unlambda/unlambda.bin: file /tmp/input.32699: parse error 04:04:26 !unlambda `````c`c`.S.u.c.e.si 04:04:27 Succes 04:04:31 darn 04:06:39 zzo38: oh wait there should be a . at the end? 04:06:47 oh, no 04:08:27 !unlambda ```c```c`.S.u.c.e.si 04:08:27 Success 04:08:30 yay 04:08:56 Post to anarchy golf if you did it good. 04:09:33 i will. what's the open code-statistics? 04:10:24 I always like to select that option. It means it tells you how many binary/alphanumeric/symbols 04:10:38 ok i did too 04:11:01 (Look below, under the "Statistics" column for the summary of solutions, that is what those numbers means.) 04:11:09 yay my first golf submission (afair) 04:14:51 huh someone manage brainfuck in 18 bytes 04:14:53 *d 04:15:08 what the hell are you doing, oerjan 04:15:18 oerjan: It is a BFI-specific code probably. 04:15:18 augur: golfing 04:15:24 golfing? 04:15:37 It takes advantage of unintentional features in BFI. 04:15:37 augur doesn't know about code golf? 04:15:41 no 04:15:42 i dont 04:15:43 aha 04:16:17 lol 04:16:24 i mean, i might, but 04:16:35 oerjan: btw if you submit with a web browser it appends \r\n I think... or wait, does it strip all whitespace 04:16:36 I forget 04:16:38 zzo38: hm it cannot be just ! with input, that would have been shorter 04:16:52 I do know that it uses \r\n newlines with the web form though so if you have any newlines file submission is best 04:16:58 (As you can see, it is obviously not a proper brainfuck, since it has 1 binary and 7 letters (the word "Success" is in there) 04:17:02 elliott: erm i used the form, no newlines 04:17:06 zzo38: hm it cannot be just ! with input, that would have been shorter 04:17:10 bfi allows self-modifying code or something 04:17:18 aha 04:17:18 elliott: Yes it does do that. It does not strip any whitespaces 04:17:28 zzo38: but does it append \r\n with the web form? 04:17:31 ISTR it does 04:17:35 so the web form always costs you two bytes 04:17:37 not sure though 04:17:42 maybe not 04:17:48 elliott: Yes it does append \r\n when using the HTML form 04:17:55 elliott: Yes it allows accessing the code-space (and modifying it) 04:18:02 oerjan: you should make a file locally and upload it to save two bytes 04:18:15 But it does not append \r\n to the end. 04:18:22 It only converts newlines to \r\n 04:18:28 oh 04:18:31 but you said 04:18:32 elliott: Yes it does append \r\n when using the HTML form 04:18:32 ? 04:18:46 I know, I made a mistake in the typing sentence 04:18:49 I didn't mean that. 04:18:57 OK 04:18:58 elliott: well it counted it as a winning entry of 20 bytes, so i must have done it right :P 04:18:59 I didn't really say all those things that I said. 04:19:02 oerjan: right :P 04:20:15 zzo38: O KAY 04:20:47 Some people said these kind of challenges are bad challenge. Actually they are just much more simple challenge than the other ones; it doesn't make it a bad challenge (as you can see from everything). 04:21:10 constant output is a bad challenge 04:21:11 always 04:21:14 constant, trivial output that is 04:21:17 as in short 04:21:25 because there are exactly two possible types of submission 04:21:34 - print it in the shortest normal way in the language (i.e. with the string embedded) 04:21:40 - exploit the interpreter/language to have the string built in 04:21:49 neither of these are interesting after, like, five billion such challenges 04:22:03 * pikhq mutters 04:22:04 invalid command name "::build::dc::flag_read" 04:22:06 Even the "Zero" challenge I came with a shorter solution in shell script that other people had, at first. And then someone else figure it out afterward. 04:22:19 elliott: ok but it was interesting the first time in unlambda, at least :P 04:22:20 pikhq: wat 04:22:28 elliott: Yes, I agree they are not as good as other challenges. But I don't call them "bad challenge". 04:22:32 I do 04:22:36 Ohwait. 04:22:42 because there haven't been many good challenges lately in anagolf at all 04:22:52 and the same person kept submitting bad challenges recently 04:22:54 ::groups is the namespace all my building semi-objects are in. 04:23:12 (I seem to have implemented half an object system without even thinking about it) 04:24:34 Can you do "Zero" challenge in five bytes of Bash or fish, or four bytes of Zsh, or five bytes of Zsh with symbol only? Maybe. It is not too difficult to figure out, although it is not the most obvious thing (it should be somewhat obvious once you figure it out, which is not too difficult to do) 04:25:58 Or, in Forth, it is very simple. But in symbol only, it is slightly more difficult? (I used a feature which I think is specific to gforth) 04:27:25 With the "PubSubHubbub" challenge, you probably cannot get any shorter than the obvious literal way in most programming languages, but some might be able to do shorter. 04:30:29 -!- augur has quit (Remote host closed the connection). 04:43:11 -!- pikhq has quit (Ping timeout: 252 seconds). 04:43:16 -!- pikhq has joined. 04:45:02 Do you know any Windows binaries of the C binding of LLVM? 04:45:16 :t readLn 04:45:17 forall a. (Read a) => IO a 04:46:07 Currently, I'm page 10 on Google's results for "gregor" 04:46:20 Some Mendel jerk is clogging up the works, but there are a few others too. 04:46:44 And this Samsa creature. 04:46:58 Gregor: well that must be a bug 04:47:27 *ba-dum* 04:47:37 why thank you 04:48:55 Argh, and of course some AOP guy beats me out if I look for gregor computer science 04:49:26 Heyoooo, #1 for gregor javascript though 04:54:12 The worst thing to be first for 04:54:22 Like coming first in a Terrible Person competition 04:56:23 -!- augur has joined. 04:57:33 -!- CakeProphet has joined. 04:57:34 -!- CakeProphet has quit (Changing host). 04:57:34 -!- CakeProphet has joined. 05:05:03 elliott: Thought you might like to know that I've got my stuff up on Github. 05:05:07 elliott: https://github.com/pikhq/town 05:07:03 -!- piz2 has quit (Ping timeout: 250 seconds). 05:07:24 Ohhh, so this is to tup sort of as autotools are to make 05:07:34 Yes. 05:07:51 What did you think I was doing? 05:08:01 Full stack 05:08:20 If I was doing a full stack, I'd have a reimplementation of tup going. :P 05:10:41 Something that I suspect is going to help me extensively when I get around to it is that my autoconf-alike and automake-alike are the *precise same thing*, thereby eliminating all need for a libtool-alike. 05:11:46 (as I think the *only* justification for libtool now is that Automake is too stupid to allow for outputting different rules based on what Autoconf gets.) 05:12:49 ... automake can output different rules based on autoconf. 05:13:15 Uh, no it can't. Automake runs before ./configure and potentially on a different system. 05:13:51 Automake generates a Makefile.in, not a Makefile, the rules that actually make it into the Makefile can be controlled by configuration. 05:13:57 It can conditionally *execute* rules, but that's not the same thing, now is it? 05:14:26 There are no "rules that actually make it into the Makefile"; ./configure just plugs in values for variables. 05:14:48 Dude, AM_CONDITIONAL. 05:16:03 That has got to have some *scary* implementation logic. 05:16:26 Okay, what's *really* going to help me is that my stack isn't in M4M4SHM4MakePerl. 05:16:52 And add another "SH" in there if you're using libtool. 05:17:14 How it works btw is that it prefixes every line with either @_TRUE@ or @_FALSE@, and I'll bet you can guess what those get set to :) 05:17:30 *Wow*. 05:17:40 That is brilliant. Utterly insane, but brilliant. 05:19:26 Another victory for not-M4Make. 05:19:27 :P 05:19:55 :P 05:20:18 I wonder if people would complain if I started writing all my C using M4 macros. 05:26:18 Almost certainly. 05:26:43 Not that that should stop you; the Bourne shell is written using CPP macros extensively, after all. 05:26:54 (to make it look like FORTRAN, IIRC) 05:28:55 Gregor: I don't particularly thing M4 is good for writing C programs but there is different opinions. It should be possible to invent programming language which M4 works very well as a preprocessor. 05:30:55 zzo38: M4 was designed to be a better C preprocessor. 05:31:42 Though it's pretty generic. 05:32:18 I however don't think it is particularly good for preprocessing C codes, in my opinion. 05:32:31 Oh, sorry, it was meant as a FORTRAN preprocessor. Never mind. 05:33:06 Maybe it is better for that; I don't know much about FORTRAN. 05:56:03 -!- Sgeo_ has changed nick to Sgeo. 06:04:42 -!- hagb4rd has quit (Ping timeout: 250 seconds). 06:09:25 How do I download the LLVM binaries (and header files) for using library with C? I read some things about it and have some idea to make something with it. 06:17:24 pikhq: back 06:17:41 zzo38: llvm has no binary builds, just compile it yourself 06:17:54 pikhq: mind if I offer critiques :D 06:18:01 elliott: Not at all. 06:18:13 pikhq: ok well first disclaimer i havent actually really read your code much at all 06:18:29 pikhq: in "c needs c99", the winning solver of c99 should take over the c command completely 06:18:40 why? because some compilers might use --link-with rather than -l, etc. 06:18:48 they need to know everything the program wants from the C compiler 06:18:52 and react in a way appropriate to them 06:18:59 now, this actually applies to all types of tools 06:19:11 and the c you "needs c99" on has nothing to do with the c99 that wins! 06:19:16 so I feel like it should actually read "needs c : c99" 06:19:25 i.e., I need the command c in my local namespace, that's a c99 06:19:32 elliott: Holy crap you're proposing it be more generic than Autotools. That's frightening. 06:19:43 and c99 would be aliased to {c c99} (because many solvers will want to find a C compiler, /then/ see if it supports that standard) 06:19:49 pikhq: perhaps so :) 06:19:55 elliott: But I would need to install all sorts of stuff to make it work and compile properly it seems, I want to download the binary 06:19:58 pikhq: but I think this model would actually allow it to work, unchanged, for Windows 06:20:01 zzo38: there is no binary 06:20:12 elliott: True, there is that. 06:20:25 pikhq: of course, most C compilers will just defer to the default functions to do things 06:20:30 The download page does list the binaries. But it doesn't seem to be the one I am looking for. 06:20:54 pikhq: the library-finder would return {link-with foo} rather than -lfoo, but it'd still have {cflags-ldflags foo bar} from pkg-config, there's no way to avoid that 06:20:59 and the compiler would just translate it accordingly 06:21:07 Is "LLVM Binaries for Mingw32/x86" the right one? 06:21:07 pikhq: the good thing is, I think this actually simplifies things 06:21:12 zzo38: oh, yes, it would be 06:21:20 pikhq: because right now the "c" command is kind of... weird and a pain 06:21:55 Do those binaries support the API though? 06:22:04 zzo38: download and see :) 06:22:05 pikhq: btw, does this generate the same Tupfile for a project no matter what machine you run it on? 06:22:07 OK 06:22:16 pikhq: because if so, I think that should be a separate step, like "town init" 06:22:25 and then town for the users will only generate the config file 06:22:28 No. It generates a Tupfile only on configuration. 06:22:30 which seems... cleaner to me 06:22:31 pikhq: I know 06:22:32 pikhq: but I mean 06:22:36 is the Tupfile always the same? 06:22:38 No. 06:22:40 I mean, it should be, since it should use @CC@ 06:22:43 and the like 06:22:44 pikhq: Why not? 06:22:54 If you don't use the tools correctly you will invent another autohell :) 06:22:55 Because, uh, I didn't make it do that. 06:23:10 Go make it do that X-D ...or I will 06:23:15 If I can figure out Practical Tcl Coding. 06:23:42 In addition to C99, you might also need to have one for C89, GNU89, GNU99, and the newer draft standards. 06:23:48 My Tcl is probably a bit hard to jump into; I tend to be a bit metaprogramming-crazy about it. 06:23:55 zzo38: Definitely do, it's just unimplemented. 06:24:05 zzo38: yeah, thankfully that can go in a separate library 06:24:29 (I imagine you'd also have libraries for things like "c needs qt" where listing all the libraries and cflags is a huge pain.) 06:24:55 elliott: Actually, Qt 4 does pkg-config, so it's not that big of a pain. 06:25:04 OK, but there's still horrible things :P 06:25:29 c++ needs libs QtGui 06:25:43 Bam, it pulls in Qt. 06:26:03 So yeah, what I am saying is: the "foo needs thing-that-actually-specifies-what-foo-is" thing is silly and I was silly for thinking of it. 06:26:41 pikhq: Have you got any up-to-date example files? 06:26:44 IIRC you did one for dc. 06:27:07 That dc one is what I've been using to test. 06:27:11 Got a link? 06:27:50 program dc {c needs c99;c needs libs gc;in-directory src/;c sources dc.c error.c main.c stack.c} 06:28:32 And such things as, SDL, X window system, POSIX, audio, libpng, zlib, cross-compiling to different targets, maybe even one for literate programming, etc. 06:28:52 pikhq: 06:28:53 program dc { 06:28:53 needs c99 06:28:53 in-directory src 06:28:53 c99 needs libs gc 06:28:54 c99 sources dc.c error.c main.c stack.c 06:28:56 } 06:29:07 ("needs c : c99" is stupid, it should just define it with the given name of the thing.) 06:29:21 pikhq: Ohbtw, does your gcc c99 finder still print out "Searching for c99" itself? 06:29:43 elliott: No, that's in the solve function ATM. 06:29:44 Because requirements (what I call things that have solvers for them) should instead just have a "friendly name" associated with them. (in this case, "a C99 compiler") 06:30:00 So in this case, c99 would be defined as an alias for {c c99}, which would have friendly name "a C99 compiler". 06:30:34 *Unfortunately*, it's also currently outputting that for cached results. 06:31:03 Can it cache to a file? It should be able to cache to a file. Specifically a file in ~/.cache. 06:31:12 Why? Because it could find a C99 compiler ONCE and never do it ever again for another project. 06:31:13 -!- azaq231 has quit (Quit: Leaving.). 06:31:21 This is what we in the biz call FINALLY CONFIGURE TAKES 0 SECONDS. 06:31:44 And then, maybe delete ~/.cache in case you need to change something, is it? 06:32:03 I'd have a "town flush" command to wipe it out or something. 06:33:04 elliott: Uh, the appropriate values for that can change rather *often* based on environment. 06:33:09 Like maybe a file in directory ~/.cache/towncache/* and then you can just delete it using "rm" command 06:33:23 And change the permissions in case you want to tell it not to use the cache. 06:33:24 Which is the reason that Autoconf never has enabled caching by default. 06:33:26 pikhq: How often will the appropriate C99 compiler change? 06:33:34 pikhq: How often will the appropriate commands to link to Qt change? 06:33:50 elliott: any idea why the pl plugin of lambdabot would spam a bunch of assembler messages when I try to cabal install lambdabot? 06:34:00 elliott: I do it fairly often — I tend to test things with multiple compilers. 06:34:26 CakeProphet: Show paste. 06:34:28 pikhq: Yeah, but that won't affect the AUTOMATIC finding. 06:34:41 pikhq: If you want to do that, you have to override it anyway, say with the CC variable, which should invoke special behaviour anyway. 06:34:50 I looked, in fact the LLVM binary file I downloaded seems to be the correct one, it has "include/llvm-c" and "lib/*.a" 06:35:09 elliott: not my paste, but it's the exact same problem: http://hpaste.org/46397/lambdabot_install_failure 06:35:17 Also, you seriously overestimate how long this will actually take to execute. 06:35:29 pikhq: I'm not, but caching is a good idea /anyway/. 06:35:51 pikhq: Be like tup, consider insane scaling; what if the entirety of Chromium was one big Town project? 06:36:05 CakeProphet: Ask #haskell? 06:36:18 hmmm, okay. it's pretty odd. 06:36:24 Yeah, it is. 06:38:13 Rather, I think you seriously misjudge how much time in ./configure comes from its tests and how much come from how it's often *too much shell to fit in cache*. 06:38:38 pikhq: I realise it will be practically instant, I'm just saying that if you can cache, you should, especially because it _will_ help in certain cases. 06:40:31 That would probably be a pain without doing a truly naive form of caching. 06:40:56 pikhq: Howso? 06:41:26 Namely, serialising all of the cached solvers to file, thereby replacing the entire cache, and hence needing a lock on the cache. 06:41:53 pikhq: Personally, I see the inability to cache as a design flaw... 06:41:57 But anyway, my other points are more important. 06:43:09 Also, caching can produce *wrong* builds. Consider the (retarded) case of LLVM (at least on Debian), where when the library gets upgraded, the actual *name of the .so* changes. 06:43:27 Making it so that the cached output of llvm-config is wrong. 06:43:39 Yeah yeah yeah, my other points are more important :P 06:49:04 I should also try and think of a better way of handling "Which group should I change the flags of ATM" for the solvers... 06:49:51 At the moment, each solver just looks at the namespace its caller is in. 06:50:09 pikhq: Eh? 06:50:12 Which, though functioning with how I've got it set up right now, is not very clean at all. 06:50:15 My method fixes all that. 06:50:24 A solver doesn't just set something; it literally returns a function. 06:51:12 Oh, duh, returning a function would help with that. 06:51:49 pikhq: Technically, it could return an integer; all "needs foo" has to do is do the solving magic for foo, and then bind foo to whatever the successful solver results in in the caller's environment. 06:52:18 elliott: I'm using the same solver scheme for libraries, though. 06:52:54 pikhq: And? 06:52:59 pikhq: The compiler handles libraries. 06:53:11 It can call out to a common library-finder that uses the solver routines if it so desires. 06:53:16 pikhq: In fact, this actually helps: 06:53:39 pikhq: A library solver that uses the technique "just link with an .so" would return the object (not function or set flags or anything) {link-with libname}. 06:53:48 Whereas a pkgconfig one may return {cflags-and-ldflags ... ...}. 06:54:03 The library-finder would then pass this back to the C compiler using it, which would translate it into settings of variables in its local namespace. 06:54:06 See? Simple and elegant. 06:54:35 That is absolutely elegant. 06:55:07 Lesson to be learned: MAKING THINGS FUNCTIONAL MAKES THEM BETTER ALWAYS 06:55:10 AAAAALWAYS 06:55:20 EVEN WHEN THE TASK IS "BE NON-FUNCTIONAL" 06:56:04 I don't think so. 06:56:37 o rly 06:56:53 Maybe. 06:57:56 Maybe not. 06:58:12 But I think I am sure. 06:59:23 pikhq: we can all learn from zzo38's wisdo 06:59:24 m 07:03:09 what are we talking about? 07:04:31 do you own that nick 07:04:37 i might have to steal it 07:05:21 I own it. 07:05:29 and have for years. 07:05:53 -!- monqy has quit (Quit: hello). 07:06:06 -!- PatashuPikachuRe has joined. 07:06:52 every time I sign on to freenode some punk has it and then has to be humiliated while I ghost and idenfity my nick back. 07:07:43 F: there's an option to make NickServ throw them off automatically, i think 07:08:11 oh? I'll have to check it out. 07:08:24 does anyone here know Go or Perl6? 07:08:32 -!- Patashu has quit (Ping timeout: 252 seconds). 07:09:32 i know some go, some perl6. 07:09:41 I thought all one-letter names were reserved for staffers. 07:14:21 That option exists, yeah, that's why I'm always guestified when I get d/c'd and autorejoin :P 07:19:17 Information from NS INFO doesn't match. 07:19:47 oh noes F is an evil liar 07:20:26 eek 07:21:41 * oerjan finds NS INFO inconclusive on that matter 07:21:50 o_o 07:21:52 r u sr 07:21:52 s 07:22:27 i mean it doesn't give evidence any way, since the nick isn't currently identified 07:22:39 are you actually doubting e 07:22:39 em 07:22:58 not really 07:25:40 I'll bet if I updated my reverse DNS hostname to libdl.so, people would think there was something broken in Freenode's software ... 07:26:09 no people would just point 07:26:10 and laugh 07:26:14 haha this noob doesnt have libc.so 07:26:15 what is he, poor 07:26:20 or, well 07:26:20 we would 07:26:31 :( 07:26:51 ur just not bourgeois enough for us Gregor 07:27:08 Gregor: I think your reverse DNS makes sense the way it is now, it doesn't need to be adjusted. 07:27:33 zzo38 is always the best place for technically correct, but useless statements 07:27:34 thank you, zzo38 07:28:14 -!- oerjan has quit (Quit: Later). 07:29:31 "Do we really need this with LLVM and GCC? 07:29:31 I mean ... if it compiles 2% faster ony MY machine, would I really NEED it? 07:29:31 I want scripting languages to become super fast! 07:29:31 I don't care about C++ ..." 07:36:44 lolsy 07:42:59 I failed at C++ Sudoku for the first time today :( 07:43:22 it is not possible to create a boolean type such that "if (True)" works but "if (True && 9)" doesn't 07:43:23 afaict 07:43:33 With this despicable failure I am leaving you all to die 07:43:52 Good thing if() doesn't take a boolean. 07:44:17 It takes a void*. 07:44:19 >:D 07:47:34 CakeProphet is always the best place for not technically correct, but useful statements. 07:48:13 -!- elliott has quit (Ping timeout: 260 seconds). 07:48:16 pikhq is the best place for statements. 07:49:18 My incorrectness is the lifeblood of this channel. It fuels causality through its paradoxes. 07:50:23 Flimble Nordic satisfaction greenly! 07:51:13 what is C++ sudoku 07:51:21 ah, greenly is the mutt of the world set. 07:51:50 PatashuPikachuRe: No idea. 07:51:54 oops 07:51:55 -!- PatashuPikachuRe has changed nick to Patashu. 07:51:57 I just know C++ far better than I should. 07:52:27 indeed. 07:52:40 you should have spent more time on COBOL. 07:53:31 XD 07:54:27 I should learn COBOL for golfing... 07:54:48 Oh jesus. 07:55:27 Only thing more verbose is good ol' ORK. 07:56:38 or java 07:57:17 no COBOL is more verbose. 07:57:25 but Java is high up in the verbosity index. 07:57:29 Or: "There is a mathematician called ORK. ORK's first operand is COBOL. ORK's second operand is 1. ORK is to add." 08:12:26 -!- zzo38 has quit (Quit: There is a ORK called ORK. Inside of the ORK there is a mathematician called ORK. Inside of the mathematician called ORK inside of the ORK there is not.). 08:17:01 -!- myndzi\ has quit (Ping timeout: 260 seconds). 08:21:08 -!- cheater_ has joined. 08:21:09 http://dis.4chan.org/read/prog/1295544154 08:21:20 More like :: Int32 -> IORef -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> 08:21:20 Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a - 08:21:20 > Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> Maybe a -> IO () 08:21:21 : parse error on input `->' 08:21:40 i laughed at that so hard 08:27:15 so how does lambdabot do the :t stuff 08:27:22 mueval seems to lack that. 08:28:53 cheater_: I like how these guys don't know what they're talking about. 08:28:59 and that makes me laugh. 08:29:03 it's amazing 08:31:22 -!- Vorpal has joined. 08:31:42 -!- MigoMipo has joined. 08:33:38 map {sleep $_; print "$_\n"} @ARGV; 08:33:41 Perl wins again. 08:34:54 except it's not parallel, but who cares. :P that's not important. 08:34:59 it has nothing to do with the algorithm at all. 08:35:03 not at all. 08:37:32 eh 08:37:41 doesn't that just sleep then print? 08:38:05 for each argument in ARGV? 08:38:13 ...yes, 08:38:15 .. 08:38:25 it needs to fork too 08:38:27 CakeProphet, why 08:38:27 dummy 08:38:29 ^^^ see insincerity above 08:38:35 riiight 08:38:36 it was copypasted from the thread. 08:38:45 what thread? I just joined! 08:38:51 GET IN THE LOOP 08:38:54 haha 08:38:55 OR, IN THIS CASE, THE THREAD. 08:38:59 OR SOMETHING 08:39:02 HAHAHA SEWING JOKES. 08:39:05 http://dis.4chan.org/read/prog/1295544154 08:39:07 oh that? 08:39:11 yes 08:39:25 4chan? programming? How horrible 08:40:02 like any anonymous board, you get all kinds of people. Some people are clueless, some people kind of no what they're talking about 08:40:05 and then the rest are trolls. 08:40:24 CakeProphet, in this case it seems to follow the spirit of this channel and of bogosort however 08:40:57 well to being with at least 08:42:12 http://dis.4chan.org/read/prog/1295544154/138 08:42:17 I think this is an actual Perl implementation. 08:42:23 looks convincing anyways. 08:44:42 Actually, I'm pain-free most of the time. 08:48:24 nice blog, bro 08:49:02 so yeah any idea how lambdabot does :t? 08:49:21 does it just have a Haskell interpreter built into it? Because I'd really like to have a command line utility for that. 08:49:32 er, typechecker, in this case, not interpreter. 08:50:38 ghci is a command line 08:51:27 hmm.. 08:51:33 -!- evincar has joined. 08:51:37 ah, I guess I could use a pipe then. 08:51:41 you can't do ghci ":t foo" I think 08:51:44 yes. 08:51:47 CakeProphet, surely there must be a better way 08:52:02 well, I'm writing a bot and want to give it :t and mueval support. 08:52:12 check lambdabot source? 08:52:16 echo ":t id" | ghci 08:52:29 cheater_, I doubt that is what lambdabot does though 08:52:36 it works. 08:52:51 hmmm, I guess there's no harm in evoking ghci each time. 08:53:08 it's fairly fast on my cluster 08:53:17 don't have ghci locally though 08:53:25 but it does give a lot of non-related output 08:53:27 hmmm, I guess there's no harm in evoking ghci each time. <-- for me it takes a second or so to load. 08:53:29 but like, sometimes the lag is more than ghci starting up and dying 08:53:34 yeah, lrn2grep 08:53:52 ...I can grep just fine, thanks. :P 08:54:16 damian@dresscoded:~$ echo ":t id" | ghci | grep "^Prelude> " | grep -v "Leaving GHCi." 08:54:30 easy 08:54:42 woah what's this grep magic you speak of. @_@ 08:54:47 CakeProphet, I think this is the module in question: http://code.haskell.org/lambdabot/Plugin/Type.hs 08:54:47 are you a wizard? 08:54:53 i am more than a wizard 08:54:59 i am the Red Wizard of the East 08:55:27 it what 08:55:57 it invokes ghci, though the comments says hugs... 08:56:04 echo ":t id" | ghci -v0 08:56:04 id :: a -> a 08:56:05 In some number of hours which is difficult to count due to loltimezones, I will be in Paris. 08:56:09 stripComments ('\n':_) = [] -- drop any newwline and rest. *security* 08:56:12 I r t3h l33t h4x 08:56:12 ahahah 08:56:30 CakeProphet, omg 08:56:33 are YOU a wizard? 08:56:41 no, I just read man a lot. 08:56:49 Gregor, cool 08:57:02 Gregor, why are you going there? 08:57:12 Chattin' up INRIA 08:57:21 Gregor, visit the polytechnique 08:57:35 Gregor, ah, what for? 08:57:37 job? 08:57:51 Vorpal: Naw, I'm only there two weeks, just chattin' em up. 08:57:57 Gregor, huh 08:57:58 -!- evincar has quit (Quit: ChatZilla 0.9.87 [Firefox 3.6.17/20110422054610]). 08:58:00 Getting a summer internship abroad = visa hell 08:58:34 I WIN 08:58:38 ghc -e ":t id" 08:58:43 cheater_: Is that somewhere you ... visit? :P 08:58:47 And not, y'know, study 08:58:47 Gregor, ah only for people in US I guess. I could do it since I already live in EU :D 08:58:55 CakeProphet is OWNED 08:58:59 SO BAD. 08:59:17 Gregor, nah.. never been to paris myself ^^ but it's definitely a great place to visit 08:59:26 given that so much has happened for mathematics there 09:00:07 Gregor, where do you live normally? i forgot 09:00:12 Vorpal: I don't think the term "abroad" gets to be applied within EU countries anymore. 09:00:19 cheater_: I don't remember anymore :P 09:00:30 Gregor, zzz :P 09:00:35 cheater_: is that faster? 09:00:37 Gregor, hm 09:00:38 is it germany or something? 09:00:48 lol, not even close. 09:00:49 CakeProphet, at over 9000x faster 09:00:57 Gregor, ex-ussr? 09:01:06 wtf, you're only getting farther X-D 09:01:15 scandinavia? 09:01:23 Gregor, Antarctica! 09:01:26 I'm an American ya derpaderp 09:01:33 I live in Indiana :P 09:01:49 ok the world does not have a good bsp ok?? 09:01:51 Gregor, sure you don't live in Antarctica? 09:01:57 Vorpal: Not entirely! 09:02:00 ah 09:02:06 Vorpal, i heard Gregor lives in Antarctica 09:03:36 stripComments ('\n':_) = [] -- drop any newwline and rest. *security* 09:03:39 lol 09:23:58 !perl @test=(1,2,3); print "@test" 09:24:00 1 2 3 09:55:24 -!- blancnoir has joined. 09:56:35 This is either the worst pair of earphones I've ever worn, or merely the most finnicky. 09:56:38 I suspect the former. 09:57:47 -!- Lymia has quit (Ping timeout: 244 seconds). 10:00:57 -!- MigoMipo has quit (Read error: Connection reset by peer). 10:08:14 -!- pikhq_ has joined. 10:08:25 -!- pikhq has quit (Ping timeout: 260 seconds). 10:11:37 -!- Lymia has joined. 10:12:12 -!- MigoMipo has joined. 10:58:56 -!- ais523 has joined. 11:00:30 mueval is so much less awesome than lambdabot. 11:16:45 CakeProphet, what is mueval= 11:16:50 s/=/?/ 11:19:34 it's a standalone version of what lambdabot uses to evaluate Haskell code, but it's nowhere near as awesome. 11:19:51 because it doesn't have as many modules that it allows. 11:22:43 - Hardware accelerated 3D CSS 11:22:47 err, wow 11:22:53 -!- ralc has joined. 11:23:01 ais523, heh 11:28:05 -!- pikhq has joined. 11:28:09 -!- pikhq_ has quit (Ping timeout: 252 seconds). 11:35:02 return join ('\n', grep {defined} (split /\n/, shift)[(0..shift)-1]) 11:35:07 the pinnacle of readability 11:38:21 that is pretty readable 11:38:36 I wrote some Perl code that parsed VHDL using regexes last night, that was really unreadable 11:38:55 (it's designed to parse only the output of a specific program, rather than VHDL in general, so regexing it isn't /too/ bad, and I was in a hurry) 11:39:14 wait, which order are those shifts evaluated in? 11:39:23 wait 11:39:24 I don't think I've ever written shift twice in the same expression when it mattered 11:39:25 3D CSS? 11:39:31 Patashu: I'm just quoting the changelog 11:39:34 I have no more context than you do 11:40:10 but I quoted it because it seemed absurd 11:40:23 what they might mean is that they're using the GPU in order to do CSS layout, which is plausible 11:40:27 and the 3D got in there by mistake 11:43:17 or perhaps CSS really does do 3D nowadays 11:43:24 ais523: interestingly enough, the index is evaluated first. 11:43:45 er 11:43:53 and the current code is 0..(shift) 11:43:57 CakeProphet: that's not massively surprising given the way split is optimised 11:43:58 -1 11:44:28 if you try to take the fifth element of a split, for instance, it stops splitting at five results 11:44:43 yeah it makes sense to evaluate the indices first. 11:44:54 for built-in keyword optimization. 11:45:36 so what that function does, is returns up to the first n lines of a given string? 11:45:41 yep 11:45:50 yep, that's relatively readable, apart from the argument order thing 11:46:10 I also changed it to grep {$_} 11:46:28 to get rid of empty lines... and... lines with only 0, because that's how Perl rolls. :P 11:46:35 so now it returns up to the first n lines of a given string, except empty lines and lines containing just a zero 11:46:38 ah, you beat me 11:46:52 you could use grep{/./} if you just wanted to get rid of empty lines 11:47:07 in fact, I don't even think you need the braces if you have a regex as argument 11:47:11 nope 11:47:11 although arguably they're good style 11:47:33 I would say they are arguably irrelevant to good style in Perl. :D 11:47:54 they aren't, I've been in some pretty heavily style-guidelined Perl projects 11:48:32 though I'd keep the braces if I change, simply because I don't want to add a comma and possibly parens if it becomes ambiguous at that point. 11:49:35 it would be interesting if join could take a regex argument... 11:49:41 er wait 11:49:43 that makes no sense. :P 11:50:02 it's getting early here. almost 8 am 11:50:11 -!- FireFly has joined. 11:50:57 it'd be great if you could do join /\1\2/, split /-(.)-(.)-/ $string; 11:51:05 that's potentially meaningful, at least 11:51:16 although I'm not sure it's useful, and would also change the semantics of enclosing groups in a split 11:51:36 I think you'd have to use $1 and $2 instead of \ 11:51:47 well.. 11:51:48 no 11:51:55 it would just have to be some weird special case. 11:52:10 you're right, it should be $1 and $2 per Perl conventions for replacements 11:52:27 but obviously it's a ridiculous weird special case 11:52:46 you can do that on the last match possibly. 11:52:52 nowadays, I mostly use NEU or ARC when playing online 11:52:55 if split regexes capture 11:52:56 umm, sorry, wrong channel 11:53:43 ais523, http://dis.4chan.org/read/prog/1295544154 xD 11:53:58 -!- pikhq_ has joined. 11:53:58 cheater_: I'm not following links to 4chan no matter how relevant they are 11:54:04 ok 11:54:11 -!- pikhq has quit (Ping timeout: 252 seconds). 11:54:22 someone came up with sorting this way: take each number on the list and launch a thread that sleeps for this many seconds. 11:54:34 then it prints the number. 11:54:46 hmm 11:54:55 that seems like a variant on one of the established techniques 11:54:58 radix sort, probably 11:55:02 ya 11:55:14 that WAS actually mentioned there 11:55:17 it's almost subject to all kinds of scheduling problems. :P 11:55:23 which is also mentioned. 11:55:31 yeah it was all mentioned 11:55:35 among other things, 4chan links go invalid really quickly 11:55:36 if the numbers are near one another. 11:55:38 there was even an ascii art of a flaccid penis 11:55:45 ais523, this one's on the bbs, it's archived 11:55:50 ah, OK 12:03:38 < ksf> the actual ingenuity of sleepsort is realising that a complexity theorist's mind will asplode while trying to decide whether sleep(n) is O(1) or O(n). 12:03:41 ...in #haskell 12:03:50 I couldn't find anyone else talking about sleepsort, but there it was randomly. 12:04:00 CakeProphet: O(n), obviously 12:04:07 it's pretty much literally O(n) 12:04:46 well yes... 12:04:58 I was noting the strange coincidence. 12:05:13 of subject matter. 12:06:02 ah, the link's been posted to proggit 12:06:07 and lots of people read that 12:06:13 so it's probably going to spread through IRC based on that 12:07:00 well if you divide the numbers first before you sort you can cut down on the computation time 12:07:18 at the same time you're increasing the likelihood of a scheduling misshap 12:17:38 Google is trying very hard to find all the most annoying ways to give you free wifi. 12:18:48 CakeProphet: reddit points out that it's O(n log n), because the sorting is done by the scheduler 12:25:28 ah. 12:25:38 @let e = exp 1 12:25:39 Defined. 12:39:51 -!- ais523 has quit (Remote host closed the connection). 13:04:04 Google is trying very hard to find all the most annoying ways to give you free wifi. <-- how so? 13:04:53 > e 13:04:54 Ambiguous occurrence `e' 13:04:54 It could refer to either `L.e', defined at LOL 13:05:00 > L.e 13:05:01 2.718281828459045 13:05:11 > pi 13:05:12 3.141592653589793 13:05:21 > lambertw 1 13:05:22 Not in scope: `lambertw' 13:05:29 where's my lambert w function :( 13:20:32 -!- Big_ has joined. 13:20:52 :t e 13:20:53 Ambiguous occurrence `e' 13:20:53 It could refer to either `L.e', defined at :17:0 13:20:54 or `SimpleReflect.e', imported from SimpleReflect at State/L.hs:74:0-32 13:20:56 ah 13:22:30 -!- dell has joined. 13:22:40 i am developing 13:22:47 a python to brainfuck converter 13:22:47 why on earth does mueval give me "Exception: not a number" when I try to eval ['a'..'z'] 13:22:57 dell: ......good luck with that. 13:23:22 what do you think....i will continue only if someone already hasn't done it 13:23:37 I don't know of any such thing. 13:23:44 dell, good luck. 13:23:53 Python is the last language you want to try that with. 13:23:54 Trust me. 13:24:14 ok..then i will continue...its gonna be hell of a thing but it will be open source and written in python 13:24:22 CakeProphet, that is trivial. There is a C->JavaScript compiler, so just write a JS->BF compiler then embed cpython compiled to js + your python script in that 13:24:23 i will post about it more here 13:24:26 def func(i): 13:24:29 ;) 13:24:29 return i*2 13:24:33 map(i,range(50)) 13:24:41 I'll applaud you if you manage to compile something as simple as that. 13:24:42 :) 13:24:58 it will not support all the python features...the first version will be pretty simple 13:25:05 Vorpal: ah, so simple. 13:25:06 Lymia, what about using cython + LLVM + custom LLVM->BF backend 13:25:12 s//func/ 13:25:16 s/i/func/* 13:25:31 or wait 13:25:32 lol I was like "...you want me to put an infinite number of funcs between each character?" 13:25:34 Vorpal, that's downright insane. 13:25:34 :) 13:25:48 Lymia, ais's half-complete bf gcc backend 13:25:51 complete that 13:25:55 and use that with cython 13:26:10 Lymia, even easier 13:26:13 Vorpal, I know it's possible. 13:26:23 But it's going to be hard unless done right. 13:26:31 This guy gives me a certain vibe. 13:26:37 hm 13:26:43 so i will create a repository on git and will let ya people know more about it 13:26:59 Lymia, yeah I see what you mean... "on git" 13:27:08 (oh github?) 13:27:12 on* 13:27:16 github 13:27:21 just a little lazy 13:29:27 Lymia, anyway, llvm->bf would be interesting 13:30:11 Vorpal, sounds like it might be a little hard, but doable. 13:30:17 Do we have any higher level languages compiling to BF? 13:30:41 That would be a large part of the problem already solved. 13:31:09 a few, there is BASIC->BF iirc, that was used for lostking.b, but I never seen the actual compiler in question 13:31:13 it did a bad job too 13:31:22 quite a bit of dead code in there 13:32:09 Vorpal, how can you compile goto? 13:32:13 Lymia, and the gcc backend kind of works for trivial examples, but produced so huge results it is not practically usable without a special cased interpreter 13:32:22 Line counter? 13:32:24 Lymia, a while loop with switches inside? 13:32:36 Vorpal, sounds possible. 13:32:45 Lymia, and I don't know the details of the basic->bf one 13:32:54 as I said, I never seen it 13:33:01 Vorpal, hmm.. 13:33:03 Actually. 13:33:18 Brainfuck by default uses 0-255 range, right? 13:33:33 that is the most common way 13:33:44 -!- dell has quit (Quit: Leaving). 13:34:04 I'm thinking there could be a basic intermediate language which (unsafely) compiles to Brainfuck code. 13:34:30 iirc gcc-bf used a bf assembler thingy 13:34:40 A simple extension that has more than one tape, switchable with some command, and turns 8-bit brainfuck to 32-bit brainfuck. 13:34:49 with opcodes like "mul8 offsetA,offsetB 13:34:50 " 13:34:53 or such 13:35:01 Vorpal, sounds "fun" 13:35:47 Lymia, iirc it used a pattern on the data like 5 cells: marker,memory,memory,memory,scratch,scratch 13:35:53 or something like that 13:38:28 -!- yorick has quit (Quit: leaving). 13:38:51 -!- yorick has joined. 13:39:36 Hmm... 13:39:52 How could you design an esolang API that supports as many different esolangs as possible. 13:40:16 bbl 13:40:19 (guests) 13:43:04 -!- pikhq_ has quit (Ping timeout: 246 seconds). 13:43:14 -!- pikhq has joined. 13:43:28 -!- yorick has quit (Client Quit). 13:43:46 -!- yorick has joined. 13:45:58 -!- Big_ has left. 13:46:34 ^ That guy tried to randomly flirt with me 13:46:48 May I suggest making sure he doesn't come back? 13:56:53 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 14:08:35 oh he messaged me randomly too 14:14:20 Guess that's why +g exists 14:15:06 which one is that again? 14:16:09 -!- myndzi has joined. 14:16:28 but then i once tried messaging you and you freaked out. And I had no intention of flirting. So I can't help but give him the benefit of a doubt 14:21:44 It's quite unambiguous when they open the message with "Hey baby" 14:23:14 an inauspicious start, i must agree 14:24:14 Plus, 99% of the people I don't know messaging me, yeah. 14:24:24 -!- copumpkin has joined. 14:30:27 -!- pumpkin has joined. 14:30:57 -!- copumpkin has quit (Ping timeout: 252 seconds). 14:38:01 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 .). 14:52:24 i gather you are female. i was not aware of this. must be nice to not be a douchebag. 14:56:25 -!- sebbu2 has joined. 14:56:26 -!- sebbu2 has quit (Changing host). 14:56:26 -!- sebbu2 has joined. 14:59:29 -!- sebbu has quit (Ping timeout: 260 seconds). 14:59:30 -!- sebbu2 has changed nick to sebbu. 14:59:42 quintopia, what is that supposed to mean? 15:06:29 -!- sebbu has quit (Ping timeout: 276 seconds). 15:25:06 -!- sebbu has joined. 15:25:06 -!- sebbu has quit (Changing host). 15:25:06 -!- sebbu has joined. 15:27:01 -!- DocHerrings has joined. 15:28:21 Almost have a working interpreter for eodermdrom, in case anyone cares. 15:28:46 *Eodermdrome 15:31:41 -!- augur has quit (Remote host closed the connection). 15:36:09 -!- MigoMipo has quit (Read error: Connection reset by peer). 15:44:53 -!- pumpkin has changed nick to copumpkin. 15:50:46 -!- DocHerrings has quit (Quit: ChatZilla 0.9.87 [Firefox 4.0.1/20110413222027]). 15:59:05 -!- Lymia has changed nick to Cirno-chan. 16:02:19 -!- augur has joined. 16:04:22 -!- Cirno-chan has changed nick to Lymia. 16:23:24 -!- pikhq_ has joined. 16:23:54 -!- pikhq has quit (Ping timeout: 260 seconds). 16:39:47 -!- zaildar has joined. 16:39:53 -!- monqy has joined. 16:51:35 -!- zaildar has quit (Ping timeout: 250 seconds). 16:52:13 -!- augur has quit (Remote host closed the connection). 17:19:03 Lymia: it means that all guys are douchebags 17:19:34 quintopia, that's not true at all. 17:19:34 :c 17:19:54 Though it is quite true that society seems to expect, and to some degree enforce that....... 17:20:30 -!- augur has joined. 17:20:44 as a female in this society, you should behave as if it were true. guilty until proven innocent as it were. 17:24:19 It's more fun to assume the other way. 17:24:19 :) 17:27:20 how so 17:28:09 -!- dell has joined. 17:30:33 Life isn't fun if you go around assuming all X are Y. 17:36:23 but i do believe in this case that at least 75% of X are Y due to previously mentioned societal pressure, therefore the fun you are referring to can only be of the "omg, i didn't expect you to be a douchebag too, you asshole!" type. 17:36:33 quintopia, on that note, nobody "should" X because they're female, or male, or anything. 17:37:00 Please don't say things like that. It makes you look like an asshole yourself. 17:37:17 but i am. i am a guy, and all guys are douchebags 17:37:48 Disproof by example is fun, eh? 17:38:10 and i agree that a perfect society wouldn't have the need for any assumptions along gender, racial, or economical lines 17:38:11 I try not to be. Although I guess sometimes I have been. I don't try to be actively malicious though. 17:38:26 I don't believe most people are outright hateful or malicious. 17:39:11 you don't have to be malicious to be a douchebag 17:39:22 indeed, most douchebaggery is not malicious in origin 17:39:30 it's just unthinking socialization 17:39:52 That's not.. really the kind of douchebaggery I've done, I think 17:39:55 quintopia, and that's something you can talk to people about and expect success at. 17:40:31 yes of course 17:40:50 which is why it's useful also for guys in this society to internalize "all guys are douchebags, even me" 17:41:04 it makes it a lot easier to recognize that tendency and pressure 17:41:22 quintopia, how about this. 17:42:45 Do we have to stereotype people? Like it or not, if you keep saying that, you're not helping the problem, right? 17:43:50 why all the serious discussion? it's not befitting of #esoteric 17:44:05 Is it better to consciously or subconsciously apply a stereotype? The media, whether you like it or not, encourages the latter. The only way to fight it is to label it and bring it right out in the open. 17:44:23 sorry olsner. nothing else was going on... 17:44:55 quintopia, neither. 17:45:40 that's not an option at the moment. it's a goal for the future 17:46:00 It's best to not apply a stereotype to people or yourself at all. 17:46:05 -!- dell has quit (Ping timeout: 240 seconds). 17:47:37 actually, it's impossible to apply a negative stereotype to yourself and still remain sane. the cognitive dissonance is too strong. trying and failing to do so gives the insight one needs to see that stereotypes are never completely accurate when applied to individuals. 17:49:05 I've seen more than a few people use those stereotypes as excuses for their behavior. 17:51:42 You mean they completely let themselves off the hook? They have no desire to improve? 17:53:02 See: "Boys will be boys" and any variations on that. 17:54:08 i've only ever seen that used by someone forgiving someone else for something 17:55:11 What do we stand to gain from stereotyping others? 17:55:24 One'd think that you'd correct negative behavior in yourself by listening to others when they call you out on it. 17:56:21 that's an easy one 17:56:43 yeah, you would, wouldn't you 17:56:55 or maybe the world isn't a hugbox 17:57:20 and what you said is such an overt simplification of the human psyche that there's no way to begin describing how disconnected from reality it is 17:57:26 when the stereotype reflects a set of behaviors that actually do occur in the real world, a stereotype is a simple rule whereby one can protect oneself 17:57:30 just maybe. 17:58:26 cheater_, to whom exactly are you directing that? 17:58:32 you 17:58:56 If you want to be a better person, why don't you take it into consideration when somebody calls you out on something? 17:59:08 mu 17:59:45 What are you referring to then? 18:00:40 your reasoning and acting based upon your own simplification of reality whereby you unknowingly give yourself a kick in the ass. 18:01:02 that's kind of my point though. everyone knows that it's bad to be a douchebag. if someone calls you a douchebag, how can you just say "yeah, i am, aren't i? that's just who i am. deal with it." when everything you hear is "no one likes to hang around douchebags"? 18:01:51 i've got no problems saying that if the person calling me out has no moral ground to call me out. 18:02:20 cheater_, so far you havn't made any concrete arguments other than "you're wrong" 18:02:27 It'd be more interesting if you did that. 18:02:53 i haven't, have i? that's just the way it is. 18:03:28 :P 18:04:49 (or maybe i have, you just asserted otherwise for sake of argument) 18:05:29 cheater_: but would you, in saying that, actually believe it to be the truth? or would you just be saying it as a way to piss off someone you don't respect? 18:05:52 quintopia: i don't go out of my way to anger people. 18:06:07 that's not really answering the question 18:06:41 would you ever say "yes, i am a douchebag," accept that as truth, then do nothing about it? 18:06:42 i would normally not act upon an impulse to annoy someone because it is not there. 18:07:04 you can say that and accept it as someone's truth without accepting it as your own truth. 18:07:25 the world isn't a maths book, people have different opinions, you know? 18:07:34 exactly 18:08:12 if someone thinks i'm a douchebag because he e.g. thinks i should accomodate him in ways i am not morally required to and i don't, then he's free to have this opinion 18:08:29 Lymia: That's what's happening with your people excusing themselves with stereotypes. They aren't accepting the stereotypes as truth about themselves. 18:08:35 "hey, give me ten dollars" "no" "you're a douchebag" "i am, aren't i?" 18:09:58 the last sentence is not an attempt at annoying someone, it's just a dismissive required to cleanse your psyche of someone's judgement that you find unjust. 18:11:04 either way, you're not accepting and believing and internalizing that you are a douchebag 18:11:24 nope 18:11:35 if i went silent i probably would, though 18:11:47 otherwise, you'd apologize and seek to change your ways, so as not to be rejected by society 18:11:49 cheater_, "listen to" means to take another's objection into consideration. 18:11:50 that's the way our psychology works 18:12:03 yeah, i took his objection into consideration 18:12:10 and i considered it to be worth a pile of dog shit 18:12:35 most people don't have anything interesting to say, that's a fact of life 18:16:51 now that one i can't agree with it 18:17:23 i'd rather say people are societally inhibited from saying the truly interesting things 18:18:20 peoplke have stories and people know things they can't talk about 18:18:46 it takes a long time to gain the confidence to hear the interesting things 18:19:43 you are setting the bar very low 18:19:46 I think it could be said that it's an issue of perceived cause and effect. Is it because only really befriend people who have interesting things to say, or is it that they say those things because you've befriended them. 18:20:34 I personally think it's the latter-- I do believe it's usually considered creepy when people sprout off in detail about their life to a stranger. 18:21:42 -!- zzo38 has joined. 18:22:08 Lymia, so I'm creepy? 18:22:10 :( 18:22:57 have you ever listened to yourself talk about yourself 18:23:01 tylenol and friends 18:25:11 quintopia, on the issue of stereotypes, after some thought, I think that the problem isn't just that the stereotypes exist. It's that part of the stereotype is that people are that way naturally, and it's only going to hurt you to try to change, etc. 18:26:41 Do you think units 1/4736286.72 inch are enough accuracy for all printers and more? 18:27:31 zzo38, what's standard? 18:27:46 Lymia: Standard what? 18:27:57 DPI/accuracy/whatever. 18:28:08 Actually, on that note, is that per square inch? 18:28:25 I don't know. Some printers have 600 DPI, but some are more resolution than that. 18:28:44 I'm quite sure that resolution implies 22432411894048.3584 DPI, unless it's per square inch. 18:29:17 Lymia: That is not square inch. What I mean is 1/4736286.72 inch is the smallest unit that can be represented and used in calculations, even if no printer can do this resolution. 18:30:48 Then it's more than enough accuracy. 18:30:50 :) 18:32:19 It is the units used in TeX, which is an old program. FreeType does not support this much accuracy as far as I know! 18:33:10 that is a strange number 18:33:19 (And for TeXnicard, a new program, which uses the same units) 18:33:56 quintopia: The reason for that number is there is 72.27 points in one inch, and 65536 scaled points in one point (that is the accuracy of the fractional calculations), now it is less strange isn't it? 18:37:04 no 18:37:49 But this way it makes sense, At least to me it make sense 18:38:12 but why are there 72.27 points in one inch? 18:39:34 I'm thinking that he means that there are 72.27 points in a square inch. 18:39:41 That is how traditional typesetting was designed; there must be some reason having to do with some things that I do not know about, but were important in old typesetting 18:39:46 quintopia, it's likely a unit based on the meter or something. Dunno. 18:39:50 Lymia: No, nothing to do with square inches 18:40:13 zzo38, then that implies a resolution that cannot be stored in memory sanely. 18:41:56 Actually it works very well. Especially since no printers have a resolution that much! 18:42:59 Lymia: in other words, no printer is every asked to print a different random bit at every single point 18:43:52 (although 5223 bits per square inch isn't so impossible) 18:44:13 Well... 18:44:14 Hmm... 18:44:23 Yeah, if 72.27 points is how it's scaled, sure. 18:44:32 But why is there such a strange limit. 18:44:52 maybe you're just using the wrong inch 18:45:49 Wrong inch? 18:46:12 The limit is not seem strange to me. 18:49:18 -!- pikhq has joined. 18:49:54 -!- pikhq_ has quit (Ping timeout: 276 seconds). 19:11:20 -!- pikhq_ has joined. 19:14:21 -!- pikhq has quit (Ping timeout: 255 seconds). 19:31:44 Hmm 19:31:54 What can I do with a 5 or 6 year old laptop? 19:32:09 Someone on Facebook wants to get rid of hers, meaning I could have it for free 19:32:16 (It doesn't have a hard drive) 19:32:53 Install a hard drive and install DOS 19:33:06 (Or learn to invent your own operating system) 19:53:50 wtf at this config file, it is like a mix of CPP and XML! 19:54:31 Vorpal: neat! 19:54:48 olsner, in fact it isn't either, but the result is like that 19:54:54 or hmm 19:55:22 xcppml is something the world has long needed 19:55:44 is anyone laughing yet? 19:56:12 quintopia: nope 19:56:19 quintopia, no I'm depressed. Because I have to figure out this config file, which also uses mixed indention style... 19:58:21 aargh swap trashing now 19:58:23 why 19:58:58 because you don't have enough memory to do that 19:59:04 well duh 19:59:09 thing is, I didn't do anything 19:59:21 -!- copumpkin has quit (Ping timeout: 255 seconds). 19:59:25 clearly you need more memory to do nothing 19:59:28 hah 19:59:30 start doing something and it will stop 20:01:08 -!- copumpkin has joined. 20:01:52 The names of the joysticks are: 20:01:52 ThinkPad HDAPS joystick emulation 20:01:52 axes: 2 buttons: 0 hats: 0 20:01:52 ThinkPad HDAPS accelerometer data 20:01:52 axes: 2 buttons: 0 hats: 0 20:01:53 Saitek Saitek X52 Pro Flight Control System 20:01:55 axes: 11 buttons: 39 hats: 0 20:01:59 okay 20:02:01 that is why it fucks up 20:02:13 it is trying to use the accelerometer as my joystick 20:02:23 now how to avoid it... 20:02:31 no, the problem is that you have no hats 20:02:39 olsner, heh 20:03:38 it makes sense. i've not heard of gregor complaining about such a problem 20:03:47 then again, he probably has no joysticks 20:03:48 XD 20:03:54 except the one he was born with 20:31:27 -!- Phantom_Hoover has joined. 20:31:40 Oh god that was awful. 20:31:40 Phantom_Hoover: You have 4 new messages. '/msg lambdabot @messages' to read them. 20:40:25 Hmm? 20:41:17 Sgeo, home internet connection was lost completely. 20:47:55 -!- calamari has joined. 20:48:33 I am really disappointed that I read that Homestuck update on a school computer through a proxy without Flash. 20:48:41 It completely ruined the effect. 20:50:06 Sgeo: any news from FIS? 20:50:14 No 20:50:15 FIS? 20:50:22 Oh, right, the BANCstar people. 20:50:37 Presumed to be the BANCstar people 20:51:01 ding-dong 21:11:35 -!- aloril has quit (Ping timeout: 250 seconds). 21:18:39 -!- foocraft has joined. 21:22:56 can someone tell me why gdocs sucks so much? 21:24:33 -!- aloril has joined. 21:24:37 It does? 21:26:11 yes 21:39:18 -!- augur has quit (Remote host closed the connection). 21:47:02 Can a LLVM program work with gdb? 21:48:45 MAYBS 21:53:23 -!- calamari has quit (Quit: Leaving). 21:55:21 "Vancouver: Riots after Canucks' Stanley Cup defeat" 21:55:24 XD 21:55:31 It's like football but worse. 21:55:36 coppro, comment! 21:57:06 Canucks always loses as far as I know. 21:57:25 That is what someone told me. 22:02:13 -!- Adamfyre has joined. 22:09:49 -!- augur has joined. 22:10:28 -!- Phantom_Hoover has quit (Remote host closed the connection). 22:18:06 -!- Adamfyre has quit (Ping timeout: 276 seconds). 22:18:18 -!- Adamfyre has joined. 22:20:57 -!- Adamfyre has quit (Client Quit). 22:30:22 It is 16:30, and I am just now getting caffeine. 22:30:44 lies 22:30:49 it is definitely 18:30 22:32:30 16:32 UTC-7, happy? 22:44:10 -!- pikhq_ has quit (Ping timeout: 246 seconds). 22:44:21 -!- pikhq has joined. 22:50:40 my country is too busy worrying about the dicks of politicians to mention riots in Canada much. 22:51:18 -!- sebbu2 has joined. 22:51:18 -!- sebbu2 has quit (Changing host). 22:51:18 -!- sebbu2 has joined. 22:52:20 Yeah, we're more phallus-obsessed than Freud ever was. 22:54:11 -!- sebbu has quit (Ping timeout: 240 seconds). 23:20:35 -!- Patashu has joined. 23:22:17 -!- foocraft has quit (Quit: if you're going....to san. fran. cisco!!!). 23:23:27 -!- augur_ has joined. 23:23:34 -!- augur has quit (Read error: Connection reset by peer). 23:26:18 -!- pikhq_ has joined. 23:28:37 -!- pikhq has quit (Ping timeout: 250 seconds). 23:32:13 -!- hagb4rd has joined. 23:41:25 -!- Lymia has quit (Ping timeout: 240 seconds). 23:47:42 -!- augur_ has changed nick to augur.