00:00:05 what if I told you if and else were implemented in the language 00:00:12 well, you said you need help making it less esoteric. 00:00:13 as in they aren't reserved words 00:00:25 oh nah I just came here for lulz 00:00:52 I would say: okay 00:00:53 well i would certainly hope the language has no reserved words that readable, sheesh 00:01:07 there aren't any reserved words at all in fact 00:01:56 @if?[bool ~:ifchain]: #c#f 00:01:56 @ic?ifchain{>$b[] >$sb[=b []=sb ic]} ic 00:01:56 c if_t: .sb(f) 00:01:56 @elif?[ifchain bool ~:ifchain]:#f if_t: .sb(f) 00:01:56 @else?[* ifchain ~:*]:#f .sb(f) .b# 00:01:56 Unknown command, try @list 00:01:57 @endif?[* ifchain:*]:.b# 00:03:23 @true?[bool]: 0 0 = 00:03:23 Unknown command, try @list 00:04:01 are you sure bool isn't a reserved word? 00:04:32 well it's one of the built-in types 00:04:42 BLASPHEMOUS 00:04:45 if you want to you can override bool with a different type in an inner-scope 00:04:49 so don't fear 00:04:56 ah good. 00:05:01 also all types are optional you never have to state them anywhere 00:05:16 it's a dynamically typed language apart from where you specify types 00:06:05 for esoteric programming I guess you wouldn't bother with typing stuff 00:06:09 :-> 00:06:14 actually these highly dynamic pet project things are surprisingly common... 00:06:25 ColonelJ: not necessarily. 00:06:37 Glass is an esoteric OO language! 00:06:38 unless you make the type system turing-complete. 00:07:07 oh right yea -.- 00:07:30 I'm more worried about my type system being decidable at the moment 00:07:37 why's that? 00:07:41 ...i'm not sure there actually exists a statically typed esoteric language. 00:07:58 oerjan: I'm almost certain there is. 00:08:05 never mind that I'm talking rubbish 00:08:50 Haskell? /me ducks 00:09:01 oerjan: ORK 00:09:12 I think 00:09:22 maybe not? 00:09:24 I'm not actually sure. 00:09:36 it catches type errors at compile time? i have never tried to run anything in it... 00:09:45 yeah I have no clue actually. 00:09:54 but the type of every variable is known at compile time... so.... 00:10:09 that's static typing 00:10:26 but you might be able to rewrite the variable to a different type later... 00:10:35 >_> I don't really know. 00:10:39 and am too lazy to find out. 00:10:50 Gregor: is ORK statically typed? 00:11:06 the philosophy of my language is that adding types to variables can allow the compiler to do more optimizations on the code and catch some type errors at compile time 00:11:33 any that can't be detected or proven will be found at runtime 00:11:55 oerjan: ORK is a really poor choice of syntax for C++. 00:11:55 as the compiler becomes more developed more are detected at runtime rather than compiletime 00:12:41 Gregor: i take that as a yes. 00:12:44 ColonelJ: http://en.wikipedia.org/wiki/Hindley%E2%80%93Milner 00:12:47 oerjan: Indeed. 00:12:49 Gregor: hm does the same apply to Glass? 00:12:53 kallisti: what about it? 00:13:00 oerjan: No 00:13:00 oerjan: Glass is stack based 00:13:07 oerjan: Glass is dynamic and nonsensical. 00:13:16 ColonelJ: you could use this to infer types at compile-time if you wanted. 00:13:30 It's Forth meets Smalltalk meets torture. 00:13:31 I was planning to use some extension of it 00:13:41 Glass is awesome what are you talking about. 00:13:42 because it's a stack based language I can't use it directly 00:13:58 stack languages have stack effect systems instead 00:14:07 so it will be some strange hybrid of both 00:14:19 currently I'm basing the types on regular expressions 00:14:19 * kallisti has a plan to make a really simple revision to dupdog. 00:14:30 that might actually make it easier to prove turing-completeness 00:14:50 Gregor: i thought so but in principle none of that _prevents_ it being statically typed :P 00:15:06 * kallisti sets out to make a statically typed stack based language. :> 00:15:19 proving turing completeness isn't hard 00:15:37 ColonelJ: http://esoteric.voxelperfect.net/wiki/Dupdog by all means go ahead 00:15:38 well, i guess Cat's type system never really got to work, so stack based and statically typed don't go too well together 00:15:40 kallisti: one exists already it's called Cat 00:15:49 damn it oerjan 00:16:05 Gregor: i thought so but in principle none of that _prevents_ it being statically typed // it'd be ... painful. But perhaps not impossible. 00:16:05 link? 00:16:32 the type system part never got implemented, or possibly it was dropped again 00:17:14 * kallisti doesn't think it would be too difficult actually. 00:17:44 certainly not impossible. 00:18:13 oh found it 00:18:15 nevermind 00:18:44 kallisti: type inference for stack based languages has special needs 00:18:50 oh, type inference, yes. 00:19:48 * kallisti sets out to make a statically typed /esoteric/ stack based language. 00:19:50 anyway for starpial basically the type system is ?type or ?[input1type in2type in3type : out1type out2type out3type] 00:19:54 like types for segments of stack, which might be arbitrary length if you want polymorphism 00:20:07 and it uses regular expressions to handle stupid stuff 00:20:23 @loop?[+:*]: #f f# f loop 00:20:23 Unknown command, try @list 00:20:35 + being one or more anythings and * being 0 or more anythings 00:21:06 but functions like this are obviously going to give the type inference algorithm a lot of problems 00:21:43 this is a really bad one 00:21:43 @list?[* int:{*}]: #n n 0 > [dip[n 1 - list] push] {} ?# 00:21:44 Unknown command, try @list 00:22:10 number of arguments consumed depends on an integer which might not be known at compile time 00:22:43 ColonelJ: well that makes it dependent typing, which is obviously undecidable 00:22:48 to infer 00:23:35 [00:07] I'm more worried about my type system being decidable at the moment << and that's why this was rubbish because it's impossible 00:26:06 When in doubt, add another quantifier 00:27:12 for all cases where doubt exists, always add another possible quantifier 00:30:09 I was thinking of allowing the language to try to find a valid value of an uninitialized variable that doesn't cause the program to crash, in the same way that prolog does 00:30:45 so that the language can spread over the whole imperative/functional/logic categorizations 00:31:56 "My language is multipathologic" 00:33:12 ironically it's meant to make programs more secure and verifiable 00:33:55 just because the type system is undecidable doesn't stop it being doable for a large range of programs 00:34:53 Or you can require that programs are valid only if their types can be verified by some algorithm 00:35:21 I could but where would be the fun in that 00:36:01 You can release different versions of the algorithm, ensuring language versions are never fully compatible 00:36:31 the language itself is always compatible but what each implementation is able to verify may differ 00:36:33 Hmm, that joke might hit too close to home 00:37:41 kallisti: dupdog isn't turing complete 00:37:54 the proof is like one line 00:38:58 there's nowhere to store any extra state and the length of the program is monotonically decreasing 00:39:23 turing machine requires potentially infinite state 00:39:40 ColonelJ: um no it's not monotonically decreasing 00:40:03 d'oh 00:40:11 duplication 00:40:22 what did I think that meant 00:40:46 maybe I thought it only duplicated that character 00:43:46 -!- derdon has quit (Remote host closed the connection). 00:45:01 -!- audy- has changed nick to audy. 00:49:50 does it matter if the program spits out random crap while simulating a turing machine 00:50:53 not as long as it's easy to filter out 00:51:42 e.g. the bitwise cyclic tag proof assumes all deleted bits are printed 00:52:07 of course it would be nicer if you could actually do nice output 00:52:46 You can relax the definition of turing-completeness a long way 00:53:28 Eg. if determining the final state of some wolfram crank automaton is turing-complete, you can say the automaton is turing-equivalent 00:54:08 yea 00:54:28 anyway I'm just having trouble seeing how this language can encode any state that actually affects the running of the program 00:54:39 oh I see 00:54:58 it's all odds and evens 00:55:53 just need a way to store that.. 00:56:04 brb 01:01:23 I guess for a practical implementation of this language you'd just delete everything except the start and the end 01:09:41 What's the current preferred non-terrible pastebin? 01:10:03 Chromium is starting to irritate me these days 01:10:28 Sgeo: In what ways? Perhaps use something else or modify Chromium 01:10:39 Gregor: Best is sprunge, in my opinion 01:10:43 zzo38, some pages don't work properly 01:12:49 ColonelJ: as i recall, it's not easy to prove you won't need to go arbitrary deep into it 01:13:48 my idea for a practical implementation is to use a data structure with lots of internal sharing 01:17:19 there's really literally nothing used other than the start and the end 01:18:00 ColonelJ: um every command character deletes itself before running 01:18:02 but yea you could probably make it so you have a perfect implementation by keeping track of where the copying happened so you can get the inside stuff back 01:19:31 anyway back to turing land, still having trouble seeing how it's possible to store data given that you can't add anything to the code or even rearrange it 01:20:02 {~s..e} -> {s..es..e} 01:20:05 well there's a reason it's still unresolved :P 01:21:14 now once you run that s part, the two duplicated parts won't be identical any longer 01:21:27 -!- MSleep has changed nick to MDude. 01:21:41 and it starts looking insanely complicated which commands will get run 01:22:12 but is it complicated enough to make it tc? we don't know. 01:23:27 my point was that the start and end are still the same so they haven't moved 01:23:47 reversing it has no effect either 01:23:47 otoh if you make the assumption that there _is_ some part inside that you will never get to ever (even in duplicated form), then keeping just the start and end does seem enough 01:24:01 it seems like a good assumption to me 01:24:30 hm except you _must_ get to _some_ copy of every command, eventually, i think. 01:25:32 and once you have traversed the entire length from the original s to e, suddenly it is not enough to keep track of just start and end any more 01:25:46 *to the leftmost e 01:26:32 tbh I think you only need to keep track of the duplications 01:26:46 that's already logarithmic in the size of the source code as it grows 01:26:59 so that's something you can reasonably store 01:27:43 yes, that was my idea with the sharing 01:29:00 There are so many things I can think of for Haskell extensions which might be useful to me but many people hate. I thought of another one now, which would be -XWildcardImports which allows you to write import X.Y.Zzz.*; import qualified Xyz.Abc.* as XyzAbc; import qualified Abc.Xyz.* as AbcXyz.*; 01:29:11 anyway you're right on the every symbol being accessed thing 01:29:34 the program pointer is indeed monotonically moving through the source code from both directions 01:29:54 zzo38: how does that work portabilitywise 01:29:59 the interesting stuff happens at the boundaries 01:30:24 monqy: Can you ask a question better, please? I do not completely understand your question 01:32:26 from what I can see it: (1) makes dependency tracking harder (2) makes it so things may fail to compile if someone has all the proper dependencies but also some other things that cause conflicts when imported by the wildcard 01:33:28 monqy: One thing is that, if there are directories with these names in the current program, it uses only the modules in the current program and not other packages, is one of my ideas. And if you want other packages wildcard imports you must name them explicitly. 01:33:49 Therefore it will not cause conflicts. 01:34:48 what happens if there are not directories with those names in the current program 01:34:52 -!- cheater_ has joined. 01:35:07 monqy: Then you get an error if you have not named the package explicitly. 01:35:24 oh 01:35:56 And then, the explicit package naming can also include wildcards, but if you do so, you must explicitly tell the compiler to unhide the packages you want (and that can also include wildcards). 01:36:26 @pl (f -> f x y) 01:36:26 (line 1, column 4): 01:36:26 unexpected ">" 01:36:26 expecting variable, "(", operator or ")" 01:36:30 @pl (\f -> f x y) 01:36:30 flip ($ x) y 01:36:39 But if there is such a directory ("X/Y/Zzz/" in the first example), but contains no files, that wildcard import declaration is silently ignored. 01:36:57 zzo38: I would use #let for macros, but that conflicts with hsc2hs macro syntax 01:38:12 -!- cheater has quit (Ping timeout: 260 seconds). 01:38:22 -!- sebbu has joined. 01:38:22 -!- sebbu has quit (Changing host). 01:38:22 -!- sebbu has joined. 01:38:38 -!- sebbu2 has quit (Ping timeout: 245 seconds). 01:39:01 kallisti: I didn't know that, but mine has # followed by a letter to indicate what kind of macro you want, such as #D define normal macro, #{ to enter a named chunk and #P for the main program again, etc (somewhat similar to WEB, although using # instead of @) 01:40:43 Other idea for Haskell extension is -XHideNonexist which allows a hiding clause of an import declaration to specify things which the named module does not export, without causing warning/error messages. 01:40:45 why is #P needed? 01:41:55 kallisti: For example, #{"hello world"} creates a named section {"hello world"} and then everything beyond that point until another #{ or a #P will be part of that chunk, so #P is the things directly entered into the program rather than a named chunk. 01:46:48 -!- PiRSquared has joined. 01:49:17 :t (`id` ?x `flip` ?y) 01:49:18 The operator `id' [infixl 9] of a section 01:49:18 must have lower precedence than that of the operand, 01:49:18 namely `flip' [infixl 9] 01:49:43 darn, wrong way 01:49:55 d'oh of course 01:52:34 And then there could be -XZeroParamTypeClasses which allow you to make a class with zero parameters, which means it can have only one instance (although it does not have to be defined in the same module) 01:52:49 @pl (\f -> f x y z) 01:52:49 flip (flip ($ x) y) z 01:53:11 (And with -XInstanceDisambiguation you could have multiple instances in different files which you can specify which is used) 01:53:24 :t id `flip` ?x `flip` ?y 01:53:25 forall a a1 b. (?x::a, ?y::a1) => (a -> a1 -> b) -> b 01:57:06 -!- ColonelJ has quit (Ping timeout: 272 seconds). 01:58:55 -!- MoALTz_ has quit (Ping timeout: 244 seconds). 01:59:36 holy spam batman 02:05:06 -!- elliott has joined. 02:05:10 heads up - 02:05:36 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA a zombie 02:05:47 in the next few days I'm planning to set up MediaWiki on pyralspite, with the intention of importing the daily database dumps of the esolangs wiki and hopefully pointing esolangs.org over there 02:05:55 -!- nooga has quit (Ping timeout: 245 seconds). 02:06:05 since graue said (via ais) he was open to someone taking over administration. and because this spam is really annoying. 02:06:16 * oerjan agree 02:06:39 Sooooo you ended your strike in order to try to shanghai the site??? 02:06:53 Gregor: What strike, what shanghaiing 02:07:04 WHY DON'T YOU COME HERE ANY MORE 02:07:55 Graue doesn't have time to care for the site any more, it's badly in need of a MediaWiki upgrade, and spam now completely fills the recent changes (yesterday you had to increase the shown number of items to see the _legitimate_ changes that got made earlier in the day) 02:08:34 -!- ColonelJ has joined. 02:08:34 -!- ColonelJ has quit (Changing host). 02:08:34 -!- ColonelJ has joined. 02:08:37 i've been using ?limit=250 or whatsitsname for a while 02:08:44 I was merely letting people know I'm intending to do such in the next few days, since I have the free time and the server, so that they could contact me with anything they found relevant (e.g. extensions they'd like or such). 02:09:44 But by all means revel in your discovery of my dastardly plot to burden myself with installing and configuring anti-spam and caching extensions and administrating a PHP server :) 02:11:09 You dastard! 02:11:14 yay! 02:11:15 oerjan: Because I hear this place isn't terribly interesting recently. 02:11:17 and then you'll enslave us all, right? 02:11:32 (Apparently "dastard" is a word, at least according to my spell checker. I have no idea what it means, and it's probably not a noun) 02:11:36 Yes, I personally plan to use my database access to give myself the biggest powers, and then delete every brainfuck derivative and put goatse on the main page. 02:11:56 That would be productive and you would all be completely powerless to do anything, 'cuz domains can't be pointed elsewhere more than once. 02:12:01 So, on the whole an improvement. 02:12:04 THE PERFECT CRIME 02:12:09 i see, so Phantom_Hoover is involved, right? 02:12:19 No, he's handling the murder. That's ancillary. 02:12:42 right, right 02:12:46 Gregor: (Also if people know I plan to do it I'm less likely to procrastinate not doing it, which is what I spent today doing.) 02:15:30 Relatedly -- does anyone have any experience with the Varnish cache? 02:15:47 And/or reasons to use other caches 02:16:50 -!- tswett has joined. 02:16:55 Gregor: here it is. 02:17:02 lol 02:17:12 But I can't /nick Applejack here. 02:17:16 I'M SO EXPOSED AND DEPONIFIED 02:17:23 or you could like not use Apache 02:17:39 ColonelJ: When did I say I was using Apache? 02:17:39 Fine. Join #esoteric on Sine. }:P 02:17:55 I just assumed that if you actually needed a cache then you were using apache 02:18:09 ColonelJ: You've clearly never run MediaWiki. 02:18:25 It eats up every resource it's given to serve the minimum amount of people it possibly can. 02:19:10 Sort of like Trac, then. 02:19:32 Gregor: Yes, but the end result is more useful. 02:19:37 Indeed. 02:19:42 OTOH, MediaWiki is PHP. 02:21:46 Oh, hmm, it looks like nginx might support caching directly. 02:21:54 That would be less painful than setting up an external cach...ier. 02:22:01 "As you can see from these test, if you are working with Nginx serving static files, it gives you no advantage to put Varnish in front of it" source: http://www.go2linux.org/linux/2011/04/nginx-varnish-compared-nginx-941 02:22:31 ColonelJ: That's nice. Where's your source for "MediaWiki is based on serving static files"? 02:22:38 truedat 02:22:53 but that was just to illustrate one point at least 02:23:01 :) 02:23:13 if it's set up wrong it may well perform even worse 02:23:35 It's a bit ridiculous to cache static files anyway. 02:23:38 They're already cached. 02:23:47 The kernel will keep them in memory. 02:26:01 I wonder what you call this sort of music: http://homestuck.bandcamp.com/track/homestuck-anthem 02:26:04 Don't say "electronic". 02:26:29 Anyhow, that's all, methinks. 02:26:30 -!- elliott has left ("Leaving"). 02:27:04 It's... you know, that one electronic genre that sounds like a ping-pong game at the beginning, and then transitions into piano and violin and bass. 02:27:10 tswett: ambient? 02:27:56 Perhaps. It's not very unobtrusive, though, I think. 02:30:03 like just a random one from google/youtube http://www.youtube.com/watch?v=kPmmHWSZwEA 02:30:09 get the piano coming in after a minute 02:31:14 Yeah, I guess the intros are definitely the same style. 02:33:41 "White" from the same album may also qualify as ambient. 02:39:49 -!- azaq23 has quit (Quit: Leaving.). 03:10:00 tswett: i'm going with experimental industrial ambient 03:11:25 is that hubble deep field in the background 03:11:55 also: approximately how many weeks should i take off work if i want to go through all of homestuck in a single session? 03:33:49 -!- Gregor has left ("Leaving"). 03:33:52 -!- Gregor has joined. 03:34:07 OK, I seriously use ctrl+W when I mean ctrl+Q an embarrassing amount of the time. 03:35:02 remap? 03:43:27 -!- PiRSquared has changed nick to pir^2. 03:57:58 Here it is: http://sprunge.us/FfJA It is called "Hampp" it is short for "Haskell macro preprocessor" 03:58:44 Tell me I'm wrong. 04:07:10 you're wrong 04:07:14 (what are you wrong about?) 04:09:59 it's actually called hamapp 04:12:40 it's actually called hasmacprep 04:15:10 O, I didn't know that. 04:15:14 -!- pir^2 has changed nick to Stack. 04:15:21 -!- Stack has changed nick to pir^2. 04:15:38 circles are lame 04:33:07 Now you can please tell me in case something should be add/remove/whatever, or comment/question/complain, or something else. 04:45:58 i don't really haskell. sorry. 05:18:10 -!- ColonelJ has quit. 05:54:48 -!- itidus21 has quit (Ping timeout: 252 seconds). 05:55:53 05:56:06 i agree 05:56:16 very succinct. 05:57:12 -!- oerjan has quit (Quit: Good night). 06:07:35 -!- pir^2 has quit (Quit: Bye). 06:49:55 -!- cheater_ has quit (Ping timeout: 252 seconds). 06:51:55 Do you know, what file formats you suggest, I could make Hampp load, additionally? And any other idea of built-in macros or other features? One idea I have is 8data which creates datatype declarations from other things, although I am unsure exactly how it would do. 06:55:05 -!- MDude has changed nick to MSleep. 07:06:14 -!- zzo38 has quit (Remote host closed the connection). 07:08:08 " (Apparently "dastard" is a word, at least according to my spell checker. I have no idea what it means, and it's probably not a noun)" americans -__- 07:09:01 backformation of dastardly? or is dastardly derived from dastard help 07:10:52 also yaaay elliott was back 07:25:43 -!- atehwa has joined. 07:27:15 He was? 07:27:19 Oh 07:32:34 My spell checker once corrected "benzodiazepines" to "sleeplessness" 08:05:48 -!- pikhq has quit (Read error: Operation timed out). 08:05:52 -!- pikhq_ has joined. 08:23:55 -!- Phantom_Hoover has joined. 08:30:16 -!- Frooxius has quit (Ping timeout: 248 seconds). 08:37:27 -!- monqy has quit (Quit: hello). 08:57:44 -!- kmc has quit (Quit: Leaving). 09:02:22 http://www.wolframalpha.com/input/?i=10%2F0 09:02:35 You know, the things I wish I knew of in grade school 09:04:10 My "number circle" seems less impressive now. 09:06:15 -!- itidus21 has joined. 09:06:40 -!- kmc has joined. 09:08:27 -!- Frooxius has joined. 09:25:13 -!- itidus21 has quit (Ping timeout: 240 seconds). 09:45:18 kallisti, Phantom_Hoover update 09:47:44 -!- diseye has joined. 09:51:48 -!- diseye has left. 10:03:20 -!- nooga has joined. 10:07:30 -!- ais523 has joined. 10:09:55 http://www.wolframalpha.com/input/?i=brandon+jacobs+rushing+yards+in+lightyears 10:15:54 -!- Systemzwang has quit (Ping timeout: 276 seconds). 10:28:33 aw, wolfram alpha has 2D graphs of functions but not 3D :( 10:29:30 You need a 3D screen first 10:30:32 kallisti: http://www.wolframalpha.com/input/?i=Plot3D[Sin[x%2By^2]%2C+{x%2C-3%2C3}%2C+{y%2C-2%2C2}] 10:30:55 (Possibly it's writable in some less Mathematicaey way.) 10:32:48 http://www.wolframalpha.com/input/?i=left-compressed+evolution+of+Wolfram+2%2C3 10:32:51 woah 10:33:33 things like a^2 + b^2 show a plot 10:33:51 Yes, I guess it guesses. 10:33:54 but a^2 + b^2 + c^2 do not 10:34:43 also multi-dimensional sine things looks cool. 10:35:13 ah you can just say "plot " 10:35:30 gah, I just deleted 3 recent-pages-screenfuls worth of spam 10:35:38 and I'd only been away for 17 hours or so 10:35:56 dude, bro 10:35:58 bayesian inference 10:36:18 Bayesian mass guessing 10:36:26 nah 10:36:39 train it for a few days by marking changes manually 10:40:10 Require posters to prove or disprove that a randomly given esoteric language is Turing-equivalent 10:40:45 It's like recaptcha, except it's also a Turing test 10:40:51 Aw, it input-interpretates http://www.wolframalpha.com/input/?i=RegionPlot3D[x^2+%2B+y^2+%2B+z^2+%3C+1+%26%26+x^2+%2B+y^2+%3C+x^2%2C+{x%2C+-1%2C+1}%2C+{y%2C+-1%2C+1}%2C+{z%2C+-1%2C+1}] right but can't produce an image. 10:42:04 Ooh, I'm on level III in our room-booking system. 10:42:56 Also many RegionPlot3D[]s it just ignores and says something about the equation inside instead. 11:06:34 -!- cheater has joined. 11:21:17 -!- derdon has joined. 11:33:47 -!- Slereah has quit (*.net *.split). 11:33:48 -!- yiyus_ has quit (*.net *.split). 11:33:48 -!- mtve has quit (*.net *.split). 11:33:48 -!- SimonRC has quit (*.net *.split). 11:35:34 -!- Slereah has joined. 11:35:34 -!- yiyus_ has joined. 11:35:34 -!- mtve has joined. 11:35:34 -!- SimonRC has joined. 11:48:00 -!- MoALTz has joined. 12:21:30 -!- derdon has quit (Remote host closed the connection). 12:36:03 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 13:01:20 -!- pikhq has joined. 13:01:41 -!- pikhq_ has quit (Ping timeout: 252 seconds). 13:33:20 -!- cheater has quit (Ping timeout: 244 seconds). 13:55:33 -!- Frooxius has quit (Ping timeout: 244 seconds). 13:59:07 -!- Frooxius has joined. 14:05:48 -!- Frooxius has quit (Read error: Connection reset by peer). 14:07:09 -!- Frooxius has joined. 14:11:52 -!- kallisti has quit (Ping timeout: 260 seconds). 14:20:09 -!- Frooxius has quit (Read error: Connection reset by peer). 14:21:26 -!- Frooxius has joined. 14:28:00 -!- ammy has joined. 14:30:19 -!- cheater has joined. 14:31:14 -!- ammy has quit. 15:02:43 -!- Frooxius has quit (Ping timeout: 244 seconds). 15:12:25 -!- ion has quit (Read error: Operation timed out). 15:12:33 -!- Frooxius has joined. 15:21:36 YESSSSSSSSSSSSSSSSSSSSSSS 15:21:40 YESSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS 15:27:24 YESSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS 15:31:46 -!- itidus21 has joined. 15:34:10 cheater: I'm so glad you agree with my celebration! 15:35:21 -!- MoALTz_ has joined. 15:36:17 -!- itidus21 has quit (Ping timeout: 255 seconds). 15:37:03 -!- itidus20 has joined. 15:38:33 -!- MoALTz has quit (Ping timeout: 272 seconds). 15:39:53 NOOOOOOOOOOOOOOOOOOOO. 15:40:02 (Equal time and all that.) 15:45:32 http://ioccc.org/2011/whowon.html :) 15:48:07 Gregor: is that u 15:48:11 Gregor: nice 15:48:19 Contrugalattices, then. 15:48:24 Nice category. 15:48:59 My goal was for them to invent a category. 15:49:00 So yeah. 15:49:02 Wooooooh 15:51:40 wow 15:52:28 Hm, apparently I read the word "Contrugalattices" as "Congratulations" without even a second glance. 15:57:53 -!- kallisti has joined. 15:57:53 -!- kallisti has quit (Changing host). 15:57:53 -!- kallisti has joined. 16:00:42 Also, is "Daniel Vik - Tracker player" a coincidence, or a name in this channel? 16:00:57 -!- Phantom_Hoover has joined. 16:08:51 reverse life? 16:09:19 * Sgeo blinks at suprisingly portable 16:10:01 And apparently I can't spell a word even if I've just seen it. 16:21:04 -!- Frooxius has quit (Ping timeout: 240 seconds). 16:43:10 -!- sebbu2 has joined. 16:43:13 -!- sebbu2 has quit (Changing host). 16:43:13 -!- sebbu2 has joined. 16:44:04 -!- sebbu has quit (Ping timeout: 240 seconds). 17:04:26 Gregor: wow 17:04:30 results out already 17:04:31 and you won 17:05:13 Gregor: I'm glad I inspired you into doing this, even if I didn't win myself 17:05:29 also, shinh is on there 17:11:11 ais523: Sorry you didn't win :( :( but that's actually wildly insufficient to diminish my current ear-to-ear grin 8-D 17:11:23 it's OK 17:11:33 I'm just not good enough at C to really do well at the IOCCC 17:11:56 I get the feeling that there's a relatively small number of entries, though, just from the fact that submissions closed in January and we have the winners already in February 17:12:30 Yeah, probably. 17:12:39 -!- augur has quit (Remote host closed the connection). 17:13:02 I guess the easiest way to win is a crazily golfed game full of graphics and sound 17:13:10 even if it isn't particularly obfuscated 17:15:18 easiest way: df clone 17:15:56 cheater: no, not easy to do a df clone within the size limit 17:16:00 what is golfed? 17:16:16 lol 17:16:16 i hope to have a small TTL on this question :-> 17:17:13 itidus20: the IOCCC 17:17:30 not specifically because they request golfing, but because they have a relatively small maximum size limit 17:17:30 ok i found it in google by typing golfed esolang 17:18:06 try vimgolf 17:20:07 -!- sebbu2 has changed nick to sebbu. 17:44:13 -!- Taneb has joined. 17:44:21 Hello 17:45:43 -!- augur has joined. 18:12:53 -!- kallisti has quit (Ping timeout: 255 seconds). 18:20:49 -!- ais523 has quit (Remote host closed the connection). 18:26:19 -!- ion has joined. 18:31:55 -!- cheater has quit (Quit: leaving). 18:58:23 -!- augur has quit (Remote host closed the connection). 19:00:32 -!- augur has joined. 19:02:37 -!- Zuu has quit (*.net *.split). 19:02:44 -!- Zuu has joined. 19:02:45 -!- Zuu has quit (Changing host). 19:02:45 -!- Zuu has joined. 19:31:05 -!- ais523 has joined. 19:34:53 -!- Taneb has quit (Quit: AAAAH). 19:41:35 -!- yorick has quit (*.net *.split). 19:41:36 -!- fungot has quit (*.net *.split). 19:41:36 -!- fizzie has quit (*.net *.split). 19:41:40 -!- fizzie has joined. 19:41:51 -!- yorick has joined. 19:43:45 -!- oerjan has joined. 19:47:04 -!- Madoka-Kaname has joined. 19:47:04 -!- Madoka-Kaname has quit (Changing host). 19:47:04 -!- Madoka-Kaname has joined. 19:47:05 -!- Madoka-Kaname has left. 19:47:48 so wolfram alpha wants to tell me about the next big step in computational knowledge, coming soon. 19:47:51 TOO BAD THEY MADE THE FATAL CHOICE OF TRYING TO OPEN A NEW WINDOW 19:48:04 now i shall never look at it. 19:51:46 They don't actually tell anything there either. 19:52:08 It was all "we don't want to reveal the details, but it's going to be amazing". 19:52:22 fizzie: this would be worrying coming from many people 19:52:25 oh. 19:52:28 from the Wolfram people, it's more likely banal 19:52:58 You get to personalize the experience on a whole new level, made possible by their computational knowledge methods and whatnots. 19:53:07 Also I think a dialogue was mentioned. 19:53:16 Gregor: congratulations! 19:54:24 "We’re not going to let you know the details just yet, but what you’re going to find is a dramatic enhancement of functionality. You’ll be able to personalize your interaction with Wolfram|Alpha in ways that only our combination of algorithms, presentation tools, and data representation could make possible." 19:54:45 Maybe it'll be shiny. 19:57:41 -!- zzo38 has joined. 20:00:52 -!- oerjan has set topic: /fnord/Home of N>=1 IOCCC Winners! | Friendship Is Magic: The Gathering | elliott sacked as bearer of Element of Loyalty, seeking pegasus replacement | http:\\\/\\\/codu.org\\\/logs\\\/_esoteric\\\/ | Now slightly on-topic | Now failing to construct an esolang in THE. WORST. POSSIBLE. WAY./fnord. 20:01:10 i'm not entirely sure what N is at this point 20:02:13 -!- kallisti has joined. 20:02:28 i guess most likely 1, if only because it's so long since the last one 20:02:53 but i may be forgetting someone i should remember 20:03:02 IOCCC winners what? 20:03:17 kallisti: Gregor won 20:03:38 oh noice 20:04:28 "most self deprecating" huh? 20:04:54 ..."most devolving" okay they're just making up arbitrary superlatives now. 20:04:55 quite so 20:06:02 I do quite enjoy the category they invented for me 8-D 20:06:12 Because it makes no sense for any other program. 20:06:30 "most shrinkable" lol 20:06:45 I do quite want to know what that means. 20:07:00 Shinichiro Hamaji entered as well; I didn't know that before. And it seems like they changed the categories entirely this year. 20:07:13 zzo38: The categories change every time. 20:07:16 someone should have run a spellchecker over that page. 20:07:24 Why is there two Paint by number puzzle? 20:07:25 zzo38: They reuse, but they invent categories per-competition. 20:07:33 * kallisti wonders how difficult it is to actually win IOCCC 20:09:00 -!- NihilistDandy has joined. 20:09:38 also there seems to be something resembling a duplicate 20:10:18 oerjan: Yeah, I'm curious about that too, but I guess we'll just have to wait and see what it means. 20:10:19 zzo38: and both from Japan, could be a duplicate 20:10:30 could be Japanese clones. 20:10:42 with secret identities. 20:11:01 best non-chess game - but no chess games anywhere else :P 20:11:06 oerjan: Yup 20:11:16 I'm guessing they got a lot of chess game entries. 20:11:23 unless it's in one of those 3 embedded programs for the best of show 20:12:13 * kallisti submits an obfuscated C portal chess implementation for IOCCC 21 20:12:49 perhaps it was a co-submitted entry 20:12:50 So who was talking about making a MIDI and/or Tracker player for this IOCCC (other than elliott and me, since I stole the idea and then didn't follow thru) 20:13:38 ais523: You'd think they could format it less ridiculously then ... 20:14:13 !perl $_="blah";s'blah'\r\n';print 20:14:14 Gregor: it wouldn't surprise me if they're trying to wind people up 20:14:15 ​\r\n 20:14:29 ais523: Oh? 20:14:30 kallisti: testing quoting rules of s'''? 20:14:31 well we know ais523's name, so he wasn't one of the winners 20:14:36 I wasn't, I already said as much 20:14:49 ais523: it's been about a month since I've looked at perl. I occasionally forget small details. :P 20:15:06 ais523: ok, i haven't finished logreading yet 20:16:15 -!- AndGregor has joined. 20:16:28 Gregor: AndGregor: hi 20:17:06 LandGregor, to distinguish from the SkyGregor and the SeaGregor. 20:17:22 i was more expecting OrGregor and XorGregor 20:17:26 Earth pony Gregor 20:19:05 `pastlog daniel vik 20:19:38 No output. 20:19:45 hmph 20:19:57 well it may not have been mentioned 20:20:57 `pastlog shinh 20:21:13 2011-10-26.txt:15:51:37: here's a GolfScript factorial program, that factorials every line of input (treating it as a number): http://golf.shinh.org/reveal.rb?Factorial/narb_1298033052&gs 20:21:37 oh it's the maintainer of that site? 20:21:45 (also ICFP winner, i saw) 20:22:06 `pastlog shinh> 20:22:13 No output. 20:23:43 -!- kallisti has quit (Ping timeout: 240 seconds). 20:24:04 -!- zzo38 has quit (Remote host closed the connection). 20:24:15 \land is IIRC LaTeX for the /\. 20:24:42 -!- augur has quit (Remote host closed the connection). 20:24:45 In related news, "latex land" is a google search for which some of the hits... are not about LaTeX. 20:25:24 but _may_ be relevant to rule 34. 20:25:28 (i assume.) 20:25:38 lol 20:28:35 Random gripe time: they don't stick X servers in the lecture room Windows workstations. :/ 20:28:56 (They do put a commercial SSH client in, though.) 20:34:58 fizzie: two version replies? 20:38:12 -!- Physis has joined. 20:39:17 someona can read my future? 20:40:23 `? esoteric 20:40:27 This channel is about programming -- for the other kind of esoterica, try #esoteric on irc.dal.net. 20:40:43 :) 20:40:48 sank you 20:41:07 I know only C++ an C# btw 20:41:09 yo 20:41:39 yep, this is probably the wrong channel for you 20:41:50 it took a while to figure out where the right one was (several years), but we're happy to send people there now 20:42:41 `? welcome 20:42:44 Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 20:42:53 just in case you like this stuff too :) 20:51:27 -!- NihilistDandy has quit (Quit: Computer has gone to sleep.). 20:58:21 Random gripe time: they don't stick X servers in the lecture room Windows workstations. :/ // what a ... shock? 20:58:24 Where by "shock" 20:58:25 I mean "duh" 21:00:25 -!- AndGregor has quit (Quit: Bye). 21:11:17 -!- augur has joined. 21:17:16 -!- augur has quit (Remote host closed the connection). 21:25:59 Gregor: But they have a site-wide license to one X server and all, and they used to put it in. 21:26:18 (I'm supposed to show some MATLAB stuffs tomorrow.) 21:27:27 ais523, oerjan: Upon further observation, the two "paint by number puzzle" entries are almost certainly a coventure, as the site says there are 14 winners but this list has 15 entries. 21:28:15 right 21:28:40 hm 21:36:26 :t unionBy 21:36:26 forall a. (a -> a -> Bool) -> [a] -> [a] -> [a] 21:37:15 -!- MSleep has changed nick to MDude. 21:37:21 @hoogle unionBy 21:37:22 Data.List unionBy :: (a -> a -> Bool) -> [a] -> [a] -> [a] 21:42:51 there are 14 winners but this list has 15 entries => one of them is the loser 21:46:20 -!- Physis has quit (Ping timeout: 260 seconds). 21:52:27 -!- derdon has joined. 21:53:12 -!- kallisti has joined. 21:53:14 -!- kallisti has quit (Changing host). 21:53:14 -!- kallisti has joined. 22:14:01 -!- augur has joined. 22:24:31 -!- monqy has joined. 22:26:22 -!- augur_ has joined. 22:26:24 -!- Jafet has quit (Read error: Connection reset by peer). 22:26:48 -!- Jafet has joined. 22:27:48 -!- augur has quit (Read error: Connection reset by peer). 22:37:23 -!- zzo38 has joined. 22:43:41 -!- PiRSquared has joined. 22:59:04 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 23:08:08 -!- zzo38 has quit (Remote host closed the connection). 23:08:39 -!- nooga has quit (Ping timeout: 245 seconds). 23:41:02 -!- ais523 has quit (Remote host closed the connection). 23:54:12 -!- nooga has joined. 23:55:07 kallisti, Phantom of the Update