00:00:59 that seems to be complex enough not to be predictable, but doesn't seem to leave much room for anything sensical 00:01:17 i shall run it a few thousand steps 00:04:54 heh 00:04:59 exponential, it seems 00:05:07 perhaps that should've been clear 00:05:09 Well, it's esolangs. 00:05:18 What were you hoping, o(0)? 00:05:40 in most esolangs, modularity is fairly simple to do 00:06:30 *or* they are easy to compile to something that was hell to prove universal, but some mathematician luckily did it millions of years ago 00:06:48 hmph 00:06:51 python crashed 00:07:10 Oh noes :o 00:07:34 so much fun writing a program in the shell just to lose it right away, because i don't realize the interpreter and my os sucks 00:07:56 well, i guess i can rewrite it, took like 40 seconds :D 00:08:22 rofl, time me 00:08:24 rewrite time 00:09:25 ready 00:09:34 darn, minute 00:09:36 let's see if it works... 00:09:49 it does 00:09:59 well, could've been worse 00:10:44 1 00:10:44 11 00:10:44 21 00:10:44 1211 00:10:44 111221 00:10:44 312211 00:10:46 13112221 00:10:48 1113213211 00:10:50 31131211131221 00:10:52 13211311123113112211 00:10:54 11131221133112132113212221 00:10:56 see any structures? 00:11:18 Yes 00:11:23 It's the look-and-say sequence 00:11:43 yes, but we are talking turtles 00:12:04 i was assuming everyone was familiar with that, not having a quiz 00:12:06 Are we known for our ninjustsu? 00:12:27 minute... 00:12:31 :<< 00:12:49 that's so trivial algorithmically it shouldn't take time at all 00:12:51 it should just be 00:13:09 i'll try it in j 00:13:23 probably better not to time me this time :) 00:13:59 hmm... 00:14:31 group + map (\a -> count a, pick first a) 00:14:57 map (\a -> (length a, head a)) $ group s 00:15:01 except it's not group 00:15:13 and there probably isn't anything exactly like that 00:15:19 oerjan to the rescue, perhaps 00:17:22 certainly. in fact the wikipedia page is on my watchlist 00:17:42 {{#_,.a}\grp} in oklotalk, i think 00:17:56 (length &&& head) 00:18:03 cool 00:18:04 -!- Corun has quit ("This computer has gone to sleep"). 00:18:13 after a number of iterations it split into Conway's elements. From there on it is a simple substitution 00:18:24 *splits 00:18:29 conway's elements? 00:18:33 oh you meant the haskell? 00:18:40 that too 00:18:48 but marshmallows kinda beat you to it with a cooler solution 00:18:54 errr 00:19:10 or not, was just just for my lambda? 00:19:22 I just pointlessed (\a -> (length a, head a)) 00:19:27 yeah 00:19:36 group was my problem 00:19:40 because i don't think that's correct 00:19:52 group is right 00:19:57 ofc, {{#_,._}\grp} 00:20:03 oh .. 00:20:06 http://en.wikipedia.org/wiki/Look-and-say_sequence, look for Cosmological Theorem 00:20:43 &&& is definable in oklotalk too, &&&={a b->{a_,b_}} 00:21:10 takes two arguments, returns a function that returns a tuple with functions a and b used on the argument 00:21:27 &&&={A B->{a_,b_}} actually 00:21:55 also the constant, which explains your exponential growth (in fact the polynomial comes out of the eventual substitution i believe) 00:22:04 -!- Corun has joined. 00:22:13 i don't think you can make it any simpler 00:22:16 oerjan: i'll look now 00:22:24 was doing my oklotalks very intensely 00:22:26 that part actually is slightly related to my PhD 00:22:27 can you do it in thue!? 00:22:36 marshmallows: &&&? 00:22:42 generate the sequence 00:22:49 sure 00:22:54 but J first 00:23:23 thue is turing complete, so there is no way for it not to be able to generate the sequence :P 00:23:31 yeah but can you do it :P 00:23:35 I don't think I could 00:23:42 oerjan: i'll read your papers when i've gathered some additional ownage. 00:23:52 i mean, those crazy mathematical papers of yours 00:24:32 Is oklopol TC enough to do it? 00:24:37 wow, "Conway's constant is the unique positive real root of the following polynomial:" 00:25:00 ... but my VAX only supports polynomials up to degree 31 00:25:09 x71 - x69 - 2x68 - x67 + 2x66 + 2x65 + x64 - x63 - x62 - x61 - x60 - x59 + 00:25:09 2x58 + 5x57 + 3x56 - 2x55 - 10x54 - 3x53 - 2x52 + 6x51 + 6x50 + x49 + 9x48 - 3x47 - 00:25:09 7x46 - 8x45 - 8x44 + 10x43 + 6x42 + 8x41 - 5x40 - 12x39 + 7x38 - 7x37 + 7x36 + x35 - 00:25:09 3x34 + 10x33 + x32 - 6x31 - 2x30 - 10x29 - 3x28 + 2x27 + 9x26 - 3x25 + 14x24 - 8x23 - 00:25:09 7x21 + 9x20 + 3x19 - 4x18 - 10x17 - 7x16 + 12x15 + 7x14 + 2x13 - 12x12 - 4x11 - 00:25:09 2x10 + 5x9 + x7 - 7x6 + 7x5 - 4x4 + 12x3 - 6x2 + 3x - 6 00:25:11 i lolled :) 00:25:16 THE LOOK AND SAY SEQUENCE HAS BEEN DESTROYED BY NINJAS 00:25:18 ARE YOU TC ENOUGH A DUDE TO GENERATE THAT SEQUENCE? 00:25:24 lol 00:25:43 oklopol: or as 4chan would have it: ... I came 00:25:49 flood, lolling and capital letters, esoteric at its best :P 00:27:07 oerjan: in fact, i'll promise to read them 2012, if we both are still around. 00:27:58 2012 is the end of the world, don't you know? 00:28:19 oklopol: if you take the 92 elements of conway and set up a matrix of how they turn into each other in one step, then the constant is the largest eigenvalue of that matrix 00:29:03 eigenvalue? 00:29:04 (the only positive one, actually) 00:29:27 i think i've looked that up before... 00:29:40 an eigenvalue of a matrix is a value l such that there exists a vector v such that M v = l v 00:29:46 Eigenvalue is k if Ax = kx 00:30:17 to find them, you solve the equation det(lI - M) = 0, which probably is that polynomial 00:30:24 It be them numbers on the diagonal in a diagonalised form 00:30:39 well at least i get how the equation is formed then 00:30:57 well polynomial 00:31:22 actually there probably is some simplification going on, since it doesn't have degree 92... 00:31:55 What, no 92x92 matrix? :o 00:32:15 so the polynomial on the page may be a factor of the full one 00:32:46 or perhaps some terms really are zero from the start 00:33:11 Remember the trick : if you can't solve a 92x92 matrix, just write "The margin is too thin for me to write the proof". 00:33:16 i really have no matrix intuition 00:33:19 It worked great! 00:33:40 Slereah: if you have time to wait a few hundred years... 00:33:42 yeah, then just leave the paper around for a few hundred years and you'll have the answer 00:33:49 darn 00:33:55 i was pwned bad 00:34:28 * oklopol is oerjan's slow win 00:34:31 *twin 00:34:39 What I find amusing is that Conservapedia doesn't like Andrew Wiles proof. 00:34:52 They say it uses the CONTROVERSIAL AXIOM OF CHOICE 00:35:02 They probably think it's pro choice. 00:35:15 axiom of choise is so fake 00:35:40 I'm okay with it. 00:35:42 :D 00:35:59 it's consistent with the others, as Godel proved 00:36:07 I'm going to suggest the library I go to burn all books that mention the axiom of choice 00:36:14 Then again, so's its negation! 00:36:32 Slereah: so you have a choice! 00:36:35 can you prove axiom of choice? 00:36:40 :P 00:36:49 You can prove it in ZFC. 00:37:04 what about KFC? 00:37:09 a -> a 00:37:11 Axiom of choice -> axiom of choice 00:37:14 you can prove that you cannot prove it or disprove it, unless ZF without it is inconsistent 00:37:17 Axiom of choice is true 00:37:18 Axiom of choice -> axiom of choice 00:37:20 is true 00:37:26 Then axiom of choice is true 00:37:30 o_O 00:37:45 * oerjan puts a big F on Slereah's logic exam 00:37:50 Whaaaaat 00:37:58 I said in ZFC 00:38:04 ah 00:38:07 * marshmallows gives Slereah and A, for A..d-hoc 00:38:13 :D 00:38:29 * oerjan hides the F under his bed 00:39:18 oerjan: or just give it to me 00:39:26 you'll get your l back... 00:39:29 but you already got an 'l' 00:39:37 darn 00:39:41 i'm willing to trade 00:39:58 * oerjan notes oklopol didn't note his repwning 00:40:00 i have a k and nothing to combine it with, so i might just as well use it 00:40:11 oerjan: i have a different joke, actually 00:40:13 :) 00:40:42 also what repwning? 00:40:44 i can't see it. 00:40:50 and then buy a 'u' and a 'c' on ebay? 00:41:18 oklopol: you mentioned the 'l' before i did 00:41:23 Fkuc? What kind of silly word is that. 00:41:45 Slereah: it's popular in dyslexic circles, i hear 00:42:01 oerjan: in that case, i was the one doing the pwning, while you did it last time 00:42:10 yes 00:42:11 anyway, i actually would like the f. 00:42:24 very well. here: F 00:42:28 thanks 00:42:30 -!- oklopol has changed nick to oklofok. 00:42:47 funny, i actually need to pee now. 00:42:47 -> 00:44:34 * marshmallows tries to invent an esolang 00:44:48 Try Freeze Tag! 00:45:49 maybe I should do something based around linear logic 00:45:57 I was thinking about building a programming language somewhat like haskell, but with only monads (and as little as possible of all that function stuff) 00:45:57 I just read about that yesterday.. 00:46:05 lol 00:46:22 sounds like you would get *really* good PR 00:46:39 the problem lies in eliminating all the usable stuff 00:51:02 then I had an idea of a super-polymorphic haskell dialect, with everything including functions as type classes (presumably with a primitive function type and application operator available somewhere) 00:51:32 M++ 00:54:18 * Slereah just had a stupid idea. 00:54:35 WHAT WOULD HASKELL LOOK LIKE IF GERMANY WON WWII :O 00:54:48 It's just an excuse to use the old German notations. 00:54:57 Or something like that 00:54:58 we present: the ERWIN language 00:55:11 (shades of Irregular Webcomic, and Schrodinger) 00:55:32 haha 00:55:35 Oh my god 00:56:34 oh wait 00:56:44 that would have to be Werner, for Heisenberg 00:57:15 It would be a good excuse to make people share my pain 00:57:16 The old logical notations were crazily insane 00:57:20 (who at least possibly was a nazi) 00:57:29 erwin is like winner but nubbed and scrambled. 00:57:40 good point, oklo 00:57:47 * oklofok continues his readings 00:58:03 did you just say "good point" to yourself? 00:58:06 But then again, Heisenberg was no computer scientist 00:58:38 Wasn't Curry originally in Germany? 00:59:01 olsner: yes. 01:00:14 uhm, okay 01:00:37 olsner: what do you expect from someone who keeps changing nicks? 01:03:12 IT'S A SIGN VON SCHIZOPHRENIA UND DIE ANAL RETENTION 01:03:56 OKLONUT 01:04:10 I CAN HAS CAPSLOCK TOO? 01:04:16 O 01:04:36 olsner: i tend to comment my own speech quite often. 01:04:51 in real life too? 01:05:05 hmm... dunno 01:05:23 i rarely have irl conversations 01:05:58 i think i do do it. 01:06:07 Lol 01:06:10 do do 01:06:10 heh 01:06:21 yes, that was the real point of what i was saying 01:06:24 whut, that's perfectly grammatical 01:06:40 being able to talk about excrete non-explicitly 01:06:52 * marshmallows has seen "that that" and "house house" in grammatically valid sentences 01:06:57 oklofok's entire presence presence here has been just one long set up. 01:07:11 That Oklotalk? All smokes and mirrors 01:07:14 :) 01:07:16 It's all about the doodoo 01:07:17 oklofok: excrete? 01:08:13 doesn't the concept of excrete also include poo? 01:08:19 excrete != excrement, I hope 01:08:22 ah 01:08:34 excrete can be bodily wastes or something, i think, too 01:08:54 or, "I hope you weren't talking about excrement" 01:08:59 DICTINOARY ADVENTURE TIME 01:09:05 indeed 01:09:06 *DICTIONARY 01:09:14 *wiktionary 01:09:18 i was talking about excrement, isn't that what do do s 01:09:20 *is 01:10:07 der lehrer hat gesagt das, dass das "dass, das", das das kind gesagt hast, recht ist 01:10:10 or something 01:10:32 and there was something in french with even more homonymes, although i don't remember the word 01:10:40 i think it had "s" and meant at least "6" 01:10:51 you probably have to put it "doo doo" for the reference to excrement to come across 01:11:05 olsner: Slereah got it without it 01:11:16 uraniwa niwa niwa niwa niwa niwa niwatori ga iru 01:11:24 Well, I am totally awesome 01:11:35 and you can just assume i only talk about sex/shit when i'm not talking about programming. 01:11:40 * oerjan is reminded about the news tidbit about some japanese company who called their candy "dew dew" 01:11:58 also i talk about puppies 01:12:19 puppies, sex and shit... well, what else is there to life except programming? 01:12:30 The three at the same time? 01:12:45 Just ask the internet, I'm sure you'll find it! 01:12:53 otoh the Bonbon company around here seems to use that kind of naming for all their candy 01:12:53 well, i also like kids, but i think the context may not be good for saying that. 01:13:07 (on purpose) 01:13:22 here too! 01:13:42 sex and shit, definitely already done... puppies and sex, sure... puppies and shit, obviously... I guess you do have to go all three to find a new genre 01:14:09 hmm, i actually haven't seen anything with all three 01:14:38 * oerjan is slightly disturbed by the implication that oklofok has seen all the other combinations 01:14:43 only slightly, though 01:14:43 it'd be beastiality scat porn... shouldn't take 4chan more than a minute or two to find 01:14:54 oerjan: what, you haven't? 01:15:01 the last one is not really that weird, i've seen dogs poo 01:15:14 http://img183.imageshack.us/img183/2196/blanksp2.jpg 01:15:24 true dat 01:15:48 and i've probably seen dogs fucking too, come to think of it 01:15:48 but it is a well-known fact you don't wanna peek in my collection. 01:16:03 * Slereah peeks 01:16:05 -!- timotiis has quit ("leaving"). 01:16:08 not that i actually remember 01:16:15 I've never seen so much rubber! 01:16:26 I got humped by a dog once o_o 01:16:30 "i wish... it's Whitespace!" 01:16:36 :D 01:16:39 if i _had_ a collection you wouldn't want to peek in it, but i don't 01:16:39 oklofok: that's a compliment to your collection that 01:16:40 marshmallows: almost, or actually? 01:16:41 oklofok, you win. 01:16:53 I'm not sure how to tell the difference 01:17:03 I didn't consent! 01:17:10 RAPE 01:17:26 marshmallows: did it get inside you? 01:17:30 did you report it? 01:17:32 no :P 01:17:33 lol 01:17:37 the dog would get like 10 years 01:17:46 Hve you sought psychological help? 01:17:52 We're here for you marshmallows 01:17:58 :P 01:18:00 oklofok: only dog years though 01:18:03 i've never believed in traumas 01:18:05 I have been through struggling on my own.. 01:18:07 oerjan: naturally 01:18:30 in fact, i was gonna make a dog year joke, but i knew you'd do it 01:19:08 i guess dog+year is quite an obvious set-up for a dog year joke 01:19:09 maybe we should start a comedy troupe 01:19:30 yes! it's just #esoteric logs flashing through the screen 01:19:40 We'd probably cram in more obscure reference than a group of Dennis Miller! 01:20:41 if there was a show for programmers, i'd watch it 01:20:56 though you/we haven't been particularly obscure lately, mostly talk about poop and dogs 01:21:15 Well, only in the last five minutes. 01:21:23 "Watch this guy juggle _four_ monadic frameworks at once" 01:21:25 Plus, oklofok's whitespace joke made me lol. 01:21:34 yes, we actually had nazi jokes too, a while back 01:21:46 hehe, yeah, i was kinda fun :) 01:21:50 * oklofok pats itself 01:22:26 * oklofok regresses to an 'it' 01:23:02 i do that occasionally 01:23:23 i used to date this chick who called herself that, it became something of a pet name 01:23:31 or whatwouldyacallit 01:23:45 how can someone call themselves 'that'? 01:23:54 * oerjan regresses to an 'xfwlkscprtsk' 01:23:54 was that a reflexive that or a literal that - 'that' or 'itself'? 01:23:58 not 'that', 'it' 01:24:12 * oerjan somehow doubts it will become a pet name though 01:24:15 damn you implicit quoting 01:24:46 implicit quoting, heh, perl does that 01:24:49 actually she used both "i" and "it" 01:24:51 don't say it! 01:24:57 i never quite got to know how serious that was 01:25:16 maybe she had a Caesar complex 01:25:20 perhaps 01:26:13 oh, sorry, programming-language-that-must-not-be-named does that 01:26:23 watch out for when she becomes president 01:26:44 or would prime minister be scarier? not sure of the finnish system 01:26:55 you know as much as me. 01:27:04 finland has a president 01:27:12 (president does really nothing here) 01:27:21 ic 01:27:28 -!- jix has quit ("CommandQ"). 01:27:30 so prime minister would be scarier 01:27:44 or perhaps defense minister 01:27:55 but i'm not proud i know what "president" means, politics are my no-touch zone 01:28:04 they have a female one, last time I checked (which was 10 years ago or something) 01:28:24 oklofok: wow, I like your view on politics! 01:28:26 we haven't had a female president for that long, but we do currently. 01:28:38 hmm, actually 01:28:41 i'm not sure we do :) 01:28:46 but most likely 01:29:36 i'm fairly separated from the society, except for a few friends 01:29:41 "we" is which place? 01:29:50 err finland 01:29:54 ok 01:30:03 the United Kingdom of Europe, of course 01:30:25 marshmallows: you never know which oklofok you're talking to though, it could change 01:31:08 yes, currently, i'm a collective entity, the whole population of finland. 01:31:35 ok, that line needs context 01:31:46 yay, go Dilbert! http://www.dilbert.com/comics/dilbert/archive/dilbert-20080316.html 01:32:06 is it about esolangs?!?!?!? 01:32:08 i'll look 01:32:14 no 01:32:17 but it is geeky 01:32:20 ish 01:32:26 well *I* liked it 01:33:08 I would read the recent conversation, but I CBA telling the three o-names apart 01:33:19 I dislike how dilbert became the besserwisser - it makes it hard to decide which one's the protagonist in the story 01:33:22 http://membres.lycos.fr/bewulf/Divers2/dilbert-20-11-1998.gif 01:33:26 http://membres.lycos.fr/bewulf/Divers2/dilbert-26-01-1999.gif 01:33:30 Am I doin it rite? 01:33:36 and the PHB actually comes of as having a clue 01:33:54 *off 01:34:21 we are clearly not wanted here, o-guys, #o-club (LNFAJ) 01:34:38 oklofok: define: "LNFAJ" 01:34:46 link not for actually joining, my new 01:34:49 acronym 01:35:09 ok 01:35:13 * olsner was a split-second away from actually joining 01:35:18 * oerjan notes that currently #haskell seems as weird as #esoteric. although lament _is_ partly to blame 01:35:19 :) 01:36:09 http://membres.lycos.fr/bewulf/Divers/penrose2.png 01:36:12 zombies, hitler and tesla coils, all in a few lines of irc3! 01:36:21 Penrose tensor notation 01:36:42 -!- cherez has quit ("Leaving."). 01:37:19 http://membres.lycos.fr/bewulf/Divers/penrose2.png <<< this is a joke too? 01:37:30 just checking, because i'm going to stare at it till i get it 01:37:50 It is no joke 01:38:07 that is not the correct answer 01:38:34 Although I already don't understand most of regular tensor notations, so it's hard to read! 01:38:48 what a regular tensors? 01:39:03 what a regular tensor! 01:39:04 i mean 01:39:06 what are the 01:39:08 y 01:39:09 :D 01:39:10 Tensor. 01:39:17 But written in a usual way, i mean 01:39:33 I know FA about tensors 01:39:35 Unlike the bugs that Penrose uses 01:39:42 FA? 01:39:44 except they are higher-dimensional matrices 01:39:55 Fanny Arbuckle 01:39:56 Pretty much. 01:40:05 or rather, Fuck All 01:40:10 that is, not much 01:40:59 Just a bunch of n dimensionl matrix, that's pretty much it. 01:41:08 The rest is just the operations applied to them 01:41:15 looks great 01:41:29 * SimonRC appreaciates a really spectacular notation. 01:42:10 In Penrose case's, the dimension is indicated by the number of legs. Or whatever you want to call them 01:42:53 i totally get what you mean 01:49:03 It has to make the muggles go "Omg you can read that?!" 01:50:53 It wouldn't be fun otherwise! 01:50:57 "But it's so simple!" 01:54:29 Unlike the nancies in social science, people can't even begin to guess at all those symbols! 01:57:04 so like 01:57:13 haskell's type system IS turing-complete after all. I didn't realize. 01:57:26 no it's not 01:57:45 they're discussing this in #haskell. GHC extensions are turing-complete. 01:57:46 with extensions it is 01:57:52 "GHC extensions" 01:58:04 so we already allow turing-completeness 01:58:16 but surely there's a much nicer way to allow turing-completeness than with GHC type system! 01:58:40 well the hoi polloi could always just use values 01:58:53 I think the designers of haskell were cowards for not making it turing-complete and beautiful rather than its H98 limited mess 01:59:14 but perhaps the lambda cube wasn't generally known at the time? 01:59:34 olsner: Turing complete type systems = bugs 01:59:54 You have a valid program you want to compile, yet it can never be compiled 02:00:06 so the compiler does not fit its specification 02:00:49 well, if you write a program with divergent types you're on your own 02:02:53 besides, there are ways of modifying a TC type system to terminate in finite space and time without changing the type system itself (e.g. allowing a limited stack and heap for the type checker) 02:04:02 kinda like C++ does 02:04:10 (:P) 02:04:30 incidentally, I think that's what cayenne is supposed to do, if augustss hasn't discontinued that project 02:04:38 yeah, any standards conforming C++ implementation is buggy 02:05:24 Cayenne is superseded by Agda 2 02:05:59 -!- shinkuzin has joined. 02:06:06 yes, but probably not because of templates being turing complete 02:07:03 -!- shinkuzin has left (?). 02:16:24 -!- shinkuzin has joined. 02:17:27 -!- shinkuzin has left (?). 02:18:32 -!- RodgerTheGreat has joined. 02:21:50 -!- GreaseMonkey has quit (Read error: 104 (Connection reset by peer)). 02:23:26 -!- GreaseMonkey has joined. 02:24:57 -!- GreaseMonkey has quit (Client Quit). 02:30:56 -!- BMeph has joined. 03:07:19 -!- shinkuzin has joined. 03:28:23 * SimonRC reads some lolpresidents.com and goes. 03:49:00 http://everything2.com/index.pl?node_id=550129 03:49:12 fish are people too. 04:26:41 hey guys, this story will haunt your dreams: http://www.seizureandy.com/stuff/guts.html 04:28:29 * oerjan reads just enough to decide to stop 04:29:35 The ending is horribly perfect 04:31:02 i'm with oerjan 04:39:48 it's disgusting, yes, but at the same time I can't help but admire the writing and storytelling technique 04:48:48 -!- shinkuzin has quit (Connection timed out). 05:05:12 too long didn't read; he gets stuck on the inlet of the pool cleaning pump and passes out? 05:06:14 oh, no 05:06:20 much much worse 05:07:33 wow, I only had to read a few paragraphs more to get to the really exciting part 05:09:25 Bye all 05:09:37 bye 05:09:48 -!- Sgeo has quit (Remote closed the connection). 05:09:54 definitely makes me want to read "Fight Club". I like the style- very vivid imagery. 05:10:53 "Then my sister missed her period." ... hey, that part can't be true 05:13:28 lol 05:14:35 well, /me goes to sleep 05:14:38 cya 05:32:22 -!- Corun has quit ("This computer has gone to sleep"). 06:29:32 -!- RodgerTheGreat has quit. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:59:04 okay i gotta admit that was quite a story :D 11:29:41 -!- oerjan has quit ("leaving"). 11:47:44 -!- Judofyr has joined. 11:53:12 Deewiant, Funge98 author just gave me permission to work on a draft for a new standard :) 11:57:14 -!- jix has joined. 12:06:27 -!- BMeph has quit ("calls it a night"). 13:09:15 -!- timotiis has joined. 13:56:33 -!- Tritonio_ has quit (Remote closed the connection). 14:00:35 -!- Tritonio_ has joined. 14:15:13 -!- Corun has joined. 14:23:35 Deewiant, a very early draft http://rage.kuonet.org/~anmaster/funge-108/funge108.pdf very much work in progress (108 was the name Chris Pressey wanted, "years since 1900") 14:38:42 -!- Corun has quit ("This computer has gone to sleep"). 14:38:53 -!- slereah_ has joined. 14:49:41 -!- slereah__ has joined. 14:50:34 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 14:50:34 -!- slereah_ has quit (Read error: 104 (Connection reset by peer)). 15:29:06 -!- Corun has joined. 15:44:40 -!- Corun has quit ("This computer has gone to sleep"). 16:18:49 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)). 16:19:20 -!- slereah__ has joined. 16:46:08 -!- slereah_ has joined. 16:46:29 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)). 17:11:33 -!- timotiis has quit ("leaving"). 17:34:47 -!- timotiis has joined. 17:53:28 -!- Corun has joined. 18:01:52 -!- ehird has joined. 18:05:30 -!- timotiis has quit ("leaving"). 18:05:41 -!- timotiis has joined. 18:45:00 hell-o 18:45:18 yo ehird 18:56:34 marshmallows: this macro is interesting 18:56:35 #;1> (define-macro (foo . args) `'(foo ,@args)) 18:56:45 i can see a quine using it 18:58:19 also 18:58:19 #0=(begin (write (quote #0#)) (newline)) 18:58:21 :D 19:00:09 weird 19:00:10 #;> #0=(begin (write (quote #0#)) (newline)) 19:00:10 #0=(begin #@(((source-file . "console") (line-number . 1) (column-number . 11) . #1=((source-kind . user))) . (write #@(((source-file . "console") (line-number . 1) (column-number . 18) . #1#) . (quote #@(((source-file . "console") (line-number . 1) (column-number . 4) . #1#) . #0#))))) #@(((source-file . "console") (line-number . 1) (column-number . 31) . #1#) . (newline))) 19:00:24 in SISC 19:00:29 * slereah_ is schemed away D: 19:01:21 -!- marshmallows has left (?). 19:01:27 -!- marshmallows has joined. 19:04:39 marshmallows: hmm 19:04:46 use mzscheme 19:04:46 :P 19:04:56 but that is bizzare 19:05:03 weirdly recursive 19:05:51 -!- sebbu2 has joined. 19:05:53 -!- sebbu has quit (Read error: 145 (Connection timed out)). 19:06:13 -!- sebbu2 has changed nick to sebbu. 19:12:59 ehird, do you think it's bad .. the way IRC has divided itself into programming language specific channels instead of say, paradaigm specific ones? 19:13:26 Aren't we a paradigm channel? 19:13:38 yes 19:13:41 I like this channel :D 19:14:04 but #declarative #procedural #functional .... all empty 19:14:41 why? 19:15:17 Because it's usually easier to get help on a particular language than on a broad description of it, I suppose. 19:16:55 And esoteric can survive because really, there's not enough people to fill up chans of even the most popular esolangs 19:23:47 marshmallows: #concatenative is n ot empty! 19:24:00 slereah_: indeed, marshmallows's channels are too catch-all 19:24:05 the concepts vary wildly between them 19:24:16 #concatenative is basically a fancy way of saying #factor 19:24:19 it's inevitable 19:24:53 -!- ehird has set topic: #esoteric - Extending Tetrationfuck to the reals with magnets. | Logs: http://ircbrowse.com/cdates.html?channel=esoteric | Wiki: http://esolangs.org/wiki/ | The Esoteric File Archive: http://esolangs.org/files/. 19:26:16 have you seen Oz? 19:26:26 briefly. 19:29:01 oz seems interesting but dead 19:29:46 Like Jesus? 19:29:56 slereah_: jesus wasn't that interesting 19:30:16 he was born to god, said some shit, died, undied, said some more shit, died, said he'd be back 19:30:18 we're still waiting 19:30:34 marshmallows: i looked at mozart, found this: http://www.mozart-oz.org/mogul/ 19:30:46 it's mozart's equivalent of CPAN 19:31:14 i wonder if anyone has developed a decentralized CPAN alike 19:31:16 then i stopped looking :) 19:31:31 also the joyful announcement on their front page, "Current Mozart is 1.3.2 released on June 15, 2006 19:31:44 lament: 2006 isn't that bad 19:31:50 brainfuck's last release was in '93 :) 19:32:11 no, brainfuck's _standard_ was 93 :) 19:32:32 and C was 89 (discounting what followed), yet it's hardly dead 19:32:35 I need ideas! 19:32:41 Brainfuck's ESO standard was 2008 19:32:51 If I drink enough coffee will I have a good idea 19:32:59 No 19:33:03 You will have a stroke 19:33:22 Ideas for what marshmallows? 19:33:23 lament: urban m?ller never released a brainfuck distro post 93 19:33:35 -!- shinkuzin has joined. 19:33:40 Well I can't decide what to program next 19:33:49 marshmallows: forth! 19:34:07 Program the Andrei Machine 9000 19:34:13 That way, I won't have to 19:34:17 better yet. write your programming language that's way better than Haskell. 19:42:10 -!- BMeph has joined. 20:08:47 -!- Corun has quit ("This computer has gone to sleep"). 20:18:42 -!- Judofyr has quit. 20:30:04 -!- Judofyr has joined. 20:42:40 -!- slereah_ has quit (Remote closed the connection). 20:43:11 -!- Slereah has joined. 21:00:29 -!- Corun has joined. 21:26:02 -!- Judofyr has quit. 22:18:34 -!- Corun has quit ("This computer has gone to sleep"). 22:21:46 -!- bsmntbombdood has quit (Read error: 113 (No route to host)). 22:28:01 -!- bsmntbombdood has joined. 22:37:51 channel: dead all day! 22:40:39 almost 22:59:02 -!- Judofyr has joined. 23:47:18 -!- BMeph has quit (Connection timed out).