00:00:05 I totally don't understand the errer 00:00:07 one obvious stopgap is to separate out the self-interpreters, they take a lot of room for little data 00:00:08 static const int value = typename R::template Result::value; 00:00:12 what is wrong with that christ gog 00:03:29 hopy crap it works 00:04:03 hmm maybe i'll do it another way 00:06:14 oerjan: Seq 00:06:16 isn't it beautiful 00:06:26 wow i can even lowercase them 00:06:27 this will be perfect 00:06:35 the output might be ... kind of hard 00:09:23 this is going to be so awesome 00:12:20 hmm 00:12:24 how on earth should I do output... 00:12:30 a deadfish interpreter in thue could not help failing some times due to thue's broken I/O 00:13:17 it might be simplest to assume input contains only dios and newline 00:16:14 sometimes C++ programs compile correctly the first time 00:16:16 sometimes they don't. 00:16:21 deadfish.c++:12:1: error: ‘struct std::basic_string’ is not a valid type for a template constant parameter 00:16:23 MAYBE GO TO HELL 00:16:57 yeah ok i guess i have to try an array 00:18:21 oerjan: you know, if this idea fails, I'm going to have to encode output in one gigantic unary number :D 00:18:43 *MWAHAHAHA* 00:19:07 THEN YOU FAIL 00:19:12 :( 00:19:13 why 00:19:43 because i managed to do decimal output in both unlambda and itflabtijtslwi, despite using unary internally 00:19:48 no no i mean 00:19:52 i'll have to encode it INTERNALLY as unary 00:19:57 and convert that into actual printing in the runtime code 00:20:00 oh ok 00:20:06 go on then :) 00:20:13 deadfish.c++:21:37: error: declaration of ‘const char o::Result::out [outlen]’ 00:20:13 deadfish.c++:18:32: error: shadows template parm ‘const char* out’ 00:20:14 guh "Could someone sexplain how to derive this equation" it's the definition you duck 00:20:15 WHO GIVES A SHIT 00:20:26 deadfish.c++:13:1: error: template parameter ‘out’ of type ‘const char*’ is not allowed in an integral constant expression because it is not of integral or enumeration type 00:20:27 DIE 00:20:38 THEY'RE ALL INTEGERS MATHEMATICALLY 00:21:14 also, licking vanilla sauce off aluminium foil turns out not to be entirely safe for lips 00:21:18 wat 00:21:35 deadfish.c++:14:1: error: template parameter ‘out’ of type ‘const char*’ is not allowed in an integral constant expression because it is not of integral or enumeration type 00:21:37 DIEEEEEEEE 00:21:39 DIEEEEEEEE 00:21:41 DIEEEEEEEEEEEEEEEEEEEEE 00:21:43 DIEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEE 00:21:56 elliott: i cut myself :´( 00:21:57 DIEEEEEEEEEEEEEEEE 00:22:10 oerjan: plz this is not an appropriate topic for public discussion 00:22:13 you should go see a therapist 00:22:16 self-harm is serious business 00:22:26 but it was unintentional 00:22:42 stop hiding behind excuses for cutting yourself, oerjan 00:22:52 i'm far too much of a chicken to do cut myself intentionally 00:22:59 *-do 00:23:12 wait, maybe I can have a variadic number of output integers... 00:23:17 oerjan: what, that's the only reason? :P 00:24:38 * oerjan mind boggles himself 00:24:44 MAYBE NOT 00:25:16 oerjan: all aboard the http://en.wikipedia.org/wiki/Euthanasia_Coaster 00:26:01 * elliott dearly hopes oerjan does not respond with "ooh that looks interesting" :P 00:27:24 ah that's where the "insurance against unintentional survival of passengers" i saw before here came from 00:27:32 I pasted that :P 00:27:56 Reach the end, "Whoops, you've survived, but you're going to be permanently disfigured and without three senses for the rest of your life" 00:28:14 don't worry, i'm too much of a chicken for the euthanasia rollercoaster. mostly, even ordinary rollercoasters. 00:29:59 (WHAT DO YOU MEAN THIS DOESN'T COMFORT YOU?) 00:30:18 -!- sebbu2 has joined. 00:30:27 -!- sebbu2 has quit (Changing host). 00:30:27 -!- sebbu2 has joined. 00:31:11 deadfish.c++:17:27: error: expected ‘>’ before ‘...’ token 00:31:11 deadfish.c++:19:39: error: expansion pattern ‘out’ contains no argument packs 00:31:11 deadfish.c++:19:50: error: a brace-enclosed initializer is not allowed here before ‘{’ token 00:31:11 deadfish.c++:27:27: error: expected ‘>’ before ‘...’ token 00:31:11 deadfish.c++:28:47: error: expansion pattern ‘out’ contains no argument packs 00:31:12 deadfish.c++:29:69: error: expansion pattern ‘Seq::Result::A:: output’ contains no argument packs 00:31:15 sdjfsojfsoidfhsi 00:31:27 what the FUCK is an argument pack 00:32:34 Well if anyone's interested, I posted a thing I wrote on the text boards: http://esoteric.voxelperfect.net/forum/kareha.pl/1304270902/l50 00:32:44 MDude: They still work? X-P 00:33:06 I guess so. 00:33:14 -!- sebbu has quit (Ping timeout: 240 seconds). 00:33:20 MDude: hmm, doesn't that inherently conflict, the goto and the come from? 00:33:40 nice text boards 00:33:45 MDude: oh THAT's where i saw your nick 00:34:04 Well no, you just need to list the label you're coming from at the label you're going to. 00:34:08 I'd like to bring http://esoteric.voxelperfect.net/forum/kareha.pl/1302671493/l50 up again 00:34:13 OObsession of the man is one of the most unknown and frightful phenomena, which stops evolutionary development of the man and brings its to full spiritual (and often to physical) death. 00:34:17 except with only one O, oops 00:34:27 http://esoteric.voxelperfect.net/forum/kareha.pl/1300870768/l50 00:34:30 this is funny 00:36:24 elliott: your job, as always, will be to make an esolang of it 00:36:39 oerjan: but I'm still thinking about Var! 00:36:45 elliott: according to the singularit 00:36:51 will all esolangs be invented 00:37:19 lol 00:37:29 i assure you that i will invent all esolangs if given the time in the future 00:37:52 Hey I think I have to go back to my old model to make this work 00:37:55 but that's ok 00:39:16 even if it is kind of ugly :( 00:39:30 it'll be i>>>>>>>>>>>>>>>>>>>>>>>>>>> 00:41:16 -!- crystal-cola has quit (Quit: leaving). 00:41:30 wtf 00:41:39 i 00:41:40 oh 00:42:02 deadfish.c++: In instantiation of ‘End::Result<9>’: 00:42:02 deadfish.c++:22:1: instantiated from ‘s::Result<3>’ 00:42:02 deadfish.c++:20:1: instantiated from ‘i >::Result<2>’ 00:42:02 deadfish.c++:20:1: instantiated from ‘i > >::Result<1>’ 00:42:02 deadfish.c++:20:1: instantiated from ‘i > > >::Result<0>’ 00:42:03 deadfish.c++:35:34: instantiated from here 00:42:05 deadfish.c++:7:55: error: invalid in-class initialisation of static data member of non-integral type ‘const int [0]’ 00:44:54 this sucks 00:44:57 maybe 00:45:59 template const int End::Result::output[sizeof... out] = { out... }; 00:46:02 theres no way this will work 00:46:26 wait 00:46:27 -!- pikhq has joined. 00:46:28 i can just define my own lists 00:46:32 i think? 00:46:35 yes i think that is possible 00:46:50 oerjan: does it count as a compile-time implementation if the actual decimal conversion is done at runtime 00:47:02 it'll basically compile to a list of printed integers 00:48:32 sneaky 00:48:42 僕のコンピュータ！ 00:58:26 -!- sebbu has joined. 01:01:49 -!- sebbu2 has quit (Ping timeout: 260 seconds). 01:04:21 deadfish.c++:36:33: error: type/value mismatch at argument 2 in template parameter list for ‘template struct Cons’ 01:04:22 deadfish.c++:36:33: error: expected a type, got ‘o::Result::Next:: Output’ 01:14:29 oerjan: I need a mathematician to answer a question 01:15:50 apparently danes call it a Swedish key <-- as i just probably got to the same reddit thread, i just remembered that norwegians use the word "svenskeknappen" for power button. and yes, that means the swedish button. 01:16:00 :D 01:16:36 oerjan: so anyway the question is 01:16:49 you put a human in a five by five by five metres room 01:17:01 e is fed and watered sufficiently to sustain himself for the rest of eir natural lifespan 01:17:06 but there is no toilet 01:17:11 there is a light, just assume it's magic 01:17:37 will e die of not being able to breathe because e is buried under a mound of eir own excrement, or some other cause, first? 01:17:43 I require a mathematical answer, thanks 01:17:54 mind you svenskeknappen is not the official term 01:18:41 i assume there was some air source as well 01:18:49 yes 01:18:50 it's magical 01:18:56 > 5^5 01:18:58 3125 01:18:59 basically all their needs are cared for, except for toiletry 01:19:30 it's plausible that you might be unable to breathe properly because of the sheer stench before you're buried in it, I suppose 01:19:52 this would require knowing how much he shits per day, i assume. in volume. 01:20:15 knowing how much he eats might allow a calculation of that 01:20:18 in mass 01:20:28 oerjan: that's a good question 01:20:40 let me relay it back to my source :D 01:21:09 > 50^3 01:21:10 125000 01:21:23 so that's 125000 litres 01:21:36 > 125000 / 365.25 / 100 01:21:37 3.4223134839151266 01:22:11 "how many litres of poop per day william" ;; I'm so glad I haven't left this earth without saying this sentence. 01:22:27 assuming it's < 3 litres per day, it should be enough room in the room for a hundred years 01:22:58 oerjan: you have to factor in, though, the size of the human 01:22:59 i.e. 01:23:03 now it occurs to me that the shit will probably dry reasonably fast, so it should be possible to stack, and thus keep out of the way 01:23:06 it doesn't matter if there's a full five cm available at the top 01:23:12 hmm 01:23:23 that's true, i'd say feces compacts pretty well 01:23:36 and i think the volume of the human is only a small fraction of this 01:23:47 so i guess the only way you'd plausibly die of it is if the stench made it impossible to breathe properly... 01:23:51 so not worth worrying about 01:24:12 "okay now let's say there's three people in the room" 01:24:16 yes. but i've not heard that shit stench is poisonous in small amounts is it... 01:24:32 oerjan: well probably not, and I doubt dried poo stinks that much, cf. adobe 01:24:40 indeed. 01:24:52 but if you're passing out because of the smell it's probably dire 01:24:59 i'm so glad we're handling this professionally and rationally 01:25:08 hm one might seek data on how fast septic tanks usually fill up 01:25:40 yes but most people manage to stay in a toilet long enough to get things done. 01:26:00 even an outhouse toilet, which stinks considerably more 01:26:10 right 01:26:18 apparently we're going by it taking about ten years for a septic tank to fill up 01:26:22 hm i'm assuming urine isn't a factor here 01:26:25 since it'd pretty much seep into the floor 01:26:32 or evaporate 01:27:08 you know once it's dry, you can even burn it, it's done in africa... 01:27:20 oerjan: not without a tool... 01:27:29 this is meant to be like the most hideous complex method of execution so why would you provide that 01:27:41 ic 01:28:34 i still think my "keep them alive indefinitely with advanced technology while whapping them with a feather repeatedly until they die" method is the best, though 01:28:57 as in, feed them, waste disposal, etc., but also prevent them getting like heart disease and shit 01:29:50 this is engineer stuff, not math ;D 01:30:38 oerjan: psht, you had to do SEVERAL pieces of arithmetic 01:30:53 and really i wanted to be able to check this off of list of things to do 01:31:01 O KAY 01:31:01 ask phd in mathematics about execution by shit 01:31:09 life goal fulfilled right there 01:35:20 fuck yes it works 01:35:29 Although I think it outputs in reverse 01:35:51 fixed 01:36:57 ok, now to implement <0 and ==twofivesix 01:41:33 it works :D 01:41:48 http://sprunge.us/ObbQ 01:41:54 oerjan: give me one good reason not to rewrite it for peano numbers 01:47:08 tricky that 01:47:23 Strange. Linux's implementation of ECN has been broken... For 3 years. 01:48:46 It's straight-up not checked for ECN on IPv6 links. 01:49:30 “I have seen a great number of poorly Photoshopped images in my time as a photographer and I can tell by the pixels that it is a fake,” said Kenna Lindsay, a New York-based photographer who works with composite images. 01:49:33 --CNN 01:50:13 Please, please tell me you're fucking with us. 01:50:24 maybe she was 01:50:47 pikhq: nope 01:50:50 http://edition.cnn.com/2011/WORLD/asiapcf/05/03/bin.laden.fake.photo/ 01:50:56 or wait is that male 01:51:00 in other news 01:51:03 "Osama bin Laden dead, schoolteacher finally shaves beard after 10 years" --actual headline 01:51:09 Huh. Support for same-sex marriage in the US is now, according to multiple recent polls, the *majority* position. 01:51:16 ACTUAL HEADLINE 01:51:33 elliott: well he _did_ shave it because of ObL dying 01:51:38 oerjan: shut up :D 01:51:42 you're RUINING it 01:51:54 i want to start the "Thing, Irrelevant Other Thing" Headline Service 01:52:08 The schoolteacher decided that he wouldn't shave until bin Laden was caught. 01:52:20 SHUT UP 01:52:20 Bit surprising he kept it up. 01:52:36 Or that anyone not around the teacher cared. 01:53:22 I just call that being Jewish ;D 01:53:46 incidentally harald fairhear, the king who united norway, made a similar decision about not cutting his hair until he'd achieved it 01:54:25 i untied norway 01:54:41 also lol at "whoops, people are forgetting about Norway, better mention some minutiae" :D 01:54:45 OH NO NOW WE'LL SLIDE INTO THE OCEAN 01:55:06 * oerjan hits elliott with the saucepan ===\__/ 01:55:13 I'll unite YOUR Norway. 01:55:58 there are some people who unfortunately _won't_ forget about norway. like the chinese. 01:56:11 they're still angry about that nobel prize. 01:56:17 I'll Nobel _your_ prize. 01:56:22 IF YOU KNOW WHAT I MEAN 01:56:54 oerjan: Eh, give them something deserving of anger. 01:57:07 THE NORWEGIAN EMPIRE SHALL REIGN SUPREME 01:57:23 IT SHALL CONQUER ALL WITH AWESOMENESS AND LUTEFISK 01:57:29 template struct Dec; 01:57:29 template <> struct Dec { typedef Zero Result; }; 01:57:30 template struct Dec> { typedef N Result; }; 01:57:31 sure hope that works 01:57:46 (the lutefisk is, of course, for those that are unswayed by awesome) 01:57:57 it's like Haskell but really verbose :D 01:58:05 rubbish, lutefisk is a subset of awesome 01:58:37 Okay, okay, caustic food is definitely awe-inspiring. 01:59:08 it won't harm you, you're caustic already 01:59:38 Only parts of me. 02:02:53 oh man 02:02:55 Wrap will be amazing 02:02:59 equality... 02:03:06 ... Zoophilia is legal in 19 states of the US. I'm not kidding. 02:03:26 zoophilia is legal everywhere 02:03:34 you mean bestiality 02:03:39 Sorry, yes. 02:03:42 -!- pizearke has quit (Quit: Leaving.). 02:03:49 Zoophilia is merely the desire, of course. 02:04:31 And I am in one of those states. 02:04:32 Odd. 02:04:56 you know what this means 02:05:13 And Kansas had a law against it that they... Repealed? 02:05:31 The legislature actually went and said "Yeah, we should be able to fuck sheep.", I suppose. 02:06:37 argh 02:06:40 C++ is broken 02:06:51 INS(foo, Add) 02:06:57 Quiz: why does this break when INS is a two-argument template? 02:06:58 erm 02:07:01 Quiz: why does this break when INS is a two-argument cpp macro? 02:08:40 pikhq: GUESS 02:08:43 because cpp doesn't understand that the second , is nested? 02:09:01 yep 02:09:13 because cpp is designed for C :) 02:09:14 it works with (), ofc 02:09:32 well i assume you can add some () 02:09:56 oerjan: nope, that would break the template code 02:09:58 just made it varargs instead :D 02:09:59 deadfish.c++:50:27: error: type/value mismatch at argument 1 in template parameter list for ‘template struct Succ’ 02:10:00 deadfish.c++:50:27: error: expected a type, got ‘Add, N>::Next:: Value’ 02:10:00 deadfish.c++:61:1: error: need ‘typename’ before ‘Add >::Value’ because ‘Add >’ is a dependent scope 02:10:00 deadfish.c++:62:1: error: need ‘typename’ before ‘Dec::Value’ because ‘Dec’ is a dependent scope 02:10:02 deadfish.c++:63:1: error: need ‘typename’ before ‘Add::Value’ because ‘Add’ is a dependent scope 02:10:05 deadfish.c++:82:63: error: type/value mismatch at argument 1 in template parameter list for ‘template struct Wrap’ 02:10:08 deadfish.c++:82:63: error: expected a type, got ‘Seq::Result::A:: Value’ 02:10:10 pikhq: yes, I'm doing what you think I'm doing 02:18:54 deadfish.c++:82:63: error: type/value mismatch at argument 1 in template parameter list for ‘template struct Wrap’ 02:18:54 deadfish.c++:82:63: error: expected a type, got ‘Seq::Result::A:: Value’ 02:18:55 lol 02:20:02 elliott: Oh jeeze. 02:20:40 pikhq: deadfish in C++ templates :) 02:21:03 It is so very nice having your own computer to work with again. 02:25:45 And ohmyfuckingGod I had forgotten how nice GreyMist is. 02:26:41 -!- augur has joined. 02:27:16 pikhq: X-D 02:27:22 EGO INFLATION IN PROGRESS 02:29:36 ego inflation, when your head explodes 02:30:26 this is the best deadfish implementation ever 02:30:33 deadfish.c++:83:102: error: dependent-name ‘Wrap::Value>::Value’ is parsed as a non-type, but instantiation yields a type 02:30:44 it compiles 02:30:49 % ./deadfish 02:30:49 SSSSSSSSSSSSSSSS0 02:30:49 SSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS0 02:30:49 SSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS0 02:30:52 "It won't be toned down, it will be toned up." — David Firth, on the feature-length film he is currently making. 02:31:21 hmm 02:31:26 that last one isn't 16777216 02:31:27 oh wait 02:31:30 I stubbed out squaring 02:31:35 I am definitely intriguéd. 02:32:32 time to do multiplication 02:34:01 deadfish.c++: In instantiation of ‘i::Result > > > > > > > > > > > > > > >, Nil> >’: 02:37:41 deadfish.c++:42:42: error: declaration of ‘struct Add > > > > > > > > > > > > > > >, Add > > > > > > > > > > > > > > >, Add > > > > > > > > > > > > > > >, Add cc > > > > > > > > > > > > > > >, Add > > > > > > > > > > > > > > >, Add > > > > > > > > > > > > > > >, Add > > > > > > > > > > > > > > 02:37:42 >, Add > > > > > > > > > > > > > > >, Add > > > > > > > > > > > > > > >, Add > > > > > > > > > > > > > > >, Add Zero> > > > > > > > > > > > > > > >, Add > > > > > > > > > > > > > > >, Add > > > > > > > > > > > > > > >, Add > > > > > > > > > > > > > > >, Add ucc > > > > > > > > > > > > > > >, Succ > > > > > > > > > > > > > > > > > > > > > > > > > > > > > >, Succ >’ 02:37:58 hi pikhq and oerjan 02:38:31 actually i think your implementation succs 02:38:45 "Select a differential equation of reasonable challenge and, using technology, present the solution in the form of a Powerpoint slide or a poster. You will need to have background information on the equation and its application and mathematicians associated with the solution." 02:38:49 Due tomorrow. 02:38:55 hmm, why is this broken... 02:38:57 PROCRASTINATION IS POWER! 02:39:04 oerjan: maybe I'll implement binary instead :D 02:40:10 squaring is a bit awkward i think. at least that's one reason why i didn't try it in itflabtijtslwi 02:40:21 oerjan: what, in binary? 02:40:27 I'm just using self-multiplication 02:40:30 which is easy :P 02:40:30 well decimal probaly 02:40:35 *bly 02:40:53 i have pretty good idea how to do i and d 02:41:27 well I have the power of C++ here. 02:41:30 typedef typename Seq::template Result::Value, typename A::Output> B; 02:42:06 oerjan: btw it's back to being comma-separated 02:42:11 cuz i rule 02:42:17 ok 02:45:52 http://www.reuters.com/article/2011/05/02/us-potter-idUSTRE74171420110502 02:45:54 Eerie links between Harry Potter, bin Laden 02:46:06 While distributor Warner Bros has never pushed the comparison, the entire Potter saga -- both the books and the movies -- have an inevitable subtext, colored by the events of 9/11. 02:46:06 While the first volume in J.K. Rowling's seven-book series was originally published in England in 1997, the first movie, "Harry Potter and the Sorcerer's Stone," was released in November 2001, just months after 9/11. 02:46:08 are you serious 02:48:24 i always found it a little eerie that "two towers" was released that year 02:49:08 erm, the year after 02:50:09 -!- sebbu has quit (Read error: Connection reset by peer). 02:50:41 -!- sebbu has joined. 02:50:41 -!- sebbu has quit (Changing host). 02:50:41 -!- sebbu has joined. 02:50:54 -!- augur has quit (Remote host closed the connection). 02:53:19 oerjan: It's eerie by a really loose definition of eerie :P 02:53:32 -!- MDude has changed nick to MSleep. 02:53:38 yeah i definitely should have googled the date first there ;D 02:53:55 well, i do recall it feeling eerie at the time 02:53:59 This one thing has two tower-ish things, and this thing that happened has two other tower-ish things that actually look totally different, and the movie version of that first thing came out a few months after the one arbitrary Earth year anniversary of the historical event :D 02:54:07 S Y N C H R O N I C I T Y 02:54:09 ok i'll shut up now :) 02:55:46 OR 02:55:47 WILL 02:55:48 I 02:59:56 oerjan is alas dead 03:01:06 oerjan: do i release this version or the version that actually works well 03:01:14 this one is more :science: 03:01:14 yes 03:01:17 which 03:02:05 decimal output *grumble grumble* 03:02:53 oerjan: well the unary one doesn't do that :D 03:02:55 or what are you saying 03:03:17