00:04:36 -!- madbr has joined. 00:05:27 -!- nortti has quit (Ping timeout: 246 seconds). 00:07:08 !act rawr 00:07:13 hi 00:07:15 hi 00:07:38 so what's the latest trend in esoteric langs 00:07:47 Batch derivatives 00:07:48 Ive Made Batch Derivatives 00:08:16 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:10:19 !!!Batch and Numeric Batch 00:22:02 http://stackoverflow.com/questions/4456438/how-can-i-pass-the-string-null-through-wsdl-soap-from-as3-to-coldfusion-web 00:23:15 ?? 00:29:23 -!- madbrrr has joined. 00:29:35 ion lol that sounds messed up 00:30:01 -!- madbr has quit (Ping timeout: 265 seconds). 00:34:51 -!- madbrrr has quit (Ping timeout: 265 seconds). 00:37:36 -!- madbr has joined. 00:51:44 o.O PyPy is working on STM? 00:51:51 idk 00:52:10 "(The goal is not to expose STM to the user's program.) " Darn 00:52:22 whats STM??? 00:53:08 sgeo: URL? 00:53:13 http://morepypy.blogspot.com/2012/04/stm-update-and-thanks-everybody.html 00:53:23 shubshub, do you know what a thread is? 00:53:25 shubshub: Software Transactional Monads 00:53:31 * Sgeo_ slaps monqy 00:53:40 * shubshub slaps monqy with a rainbow trout 00:53:40 With arbitrary side effects everywhere, it would be probably much more difficult to expose STM to the user. 00:55:17 It seems to say they do expose some kind of an interface. 00:55:35 I didn't read the whole thing 00:56:04 The “transactions” module (which i didn’t look at). 00:57:38 * shubshub is working on a Numeric Batch Interpreter Programmed In !Py!Batch (The Python Interpreter For !!!Batch) 00:57:58 ok 00:58:00 (sorry i mean the !!!Batch Interpreter for Python) 00:58:28 The !!!Batch Interpreter written in Batch Is shitty It cant do More than 1 Line without confuzzling its self 00:58:55 this new one doesnt even need to have any normal batch commands in it not even set str= 00:59:05 You Just type it all up and away you go :D 00:59:50 :D 01:00:14 !Py!Batch will also be able to read Python Programs Written Using !!!Batch 01:01:03 :D :d 01:05:05 /j #BotServ 01:05:07 oops 01:05:23 oops 01:05:36 fizzie: you there??? 01:06:08 hi fungot 01:06:08 shubshub: you mean the get-foreign-binding??? hahahaha" and 01:06:24 I Really can't Deal With Random caps 01:06:30 it's Fucking With my Head 01:06:42 It Would be Much better if You Used Shouty All caps 01:06:48 hi fungot 01:06:48 itidus20: epiphany doesn't even have the word " flower", it didn't work 01:06:48 Ok 01:06:50 Or Anything really 01:06:51 OK 01:07:08 ok 01:07:32 ＨＯＷ　ＡＢＯＵＴ　ＡＬＬ　ＣＡＰＳ？ 01:07:40 yes that's better 01:08:15 kmc: Just don't call the all-cap-cop. :-( 01:09:55 fungot: There was an Old Man who said, 'Hush! I perceive a young bird in this bush!' When they said, 'Is it small?' He replied, 'Not at all! It is four times as big as the bush!' 01:09:55 itidus20: it seems to be looked at in that way 01:10:10 MYJAPA得ぬESEI得ぬPUTMETHODMAKESiTVRATHERDi絵笛不iCU得るTTOTYPETHiSｗａｙ． 01:10:14 fungot, say hi 01:10:14 shubshub: is it caused by intensive allocation? so if i want to 01:10:57 fungot 01:10:57 itidus20: just for the global environment of the call/ cc 01:11:43 fungot in the rear end 01:11:44 quintopia: be happy to help out with slava's stack-effect inferencer. hast thou a link? :) i don't understand 01:11:53 hi glogbot 01:11:55 fungot++ 01:11:56 shachaf: verily fnord, am i right in guessing that anonymous recursion would make this a snap. instantly fix photo flaws in just a tic... 01:12:17 fungot must be cheating. These sentences are too realistic. 01:12:18 shachaf: i am new to fnord wrote a blog entry. i saw that in google 01:12:22 ^style 01:12:22 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 01:12:31 fungot: hi 01:12:32 shachaf: it's ircd. :p 01:12:45 fungot: Ｏ, now I see. 01:12:45 shachaf: but the brackets are reversed 01:13:01 ^style discworld 01:13:01 Selected style: discworld (a subset of Terry Pratchett's Discworld books) 01:13:20 fungot, what dost thou think of death? 01:13:21 quintopia: " very fnord of you,' said nanny, as much part of the scaffolding." hah! you can't do dat,' said vimes, walking around the figure. 01:13:36 ^style fungot 01:13:36 Selected style: fungot (What I've said myself) 01:13:50 -!- pikhq has joined. 01:13:53 fungot hi 01:13:53 shubshub: that is just a value of type " airbus is a big fan of avril....but this song " there 01:14:01 ^style shubshub 01:14:01 Not found. 01:14:04 ^style 01:14:04 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot* homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 01:14:09 ^style irc 01:14:09 Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) 01:14:36 fungot: what have done? 01:14:37 itidus20: but it supports virtually every x estension on any host. it can in most real systems, which allow you to say what are most popular but certainly free software related channels are more popular 01:14:40 ^help 01:14:41 ^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool 01:15:46 ^style youtube 01:15:46 Selected style: youtube (Some YouTube comments) 01:15:50 hi fungot 01:15:51 shubshub: oznaczono jako spam holy flip shotgun thing looked shit hot. what the hell? dark angels? ( watching smoz tuck his tail) 01:15:59 -!- pikhq_ has quit (Read error: Operation timed out). 01:16:12 fizzie: can fungot have a ^tweet command? 01:16:13 quintopia: this accident in live, go to the game 01:16:20 ^tweet 01:27:35 ^pie 01:27:41 ^^ 01:31:44 still haven't figured how to garbage collect my language :( 01:31:56 whats your language??? 01:32:52 gimme a sec 01:34:19 madbr, the easy way is reference counting, right? 01:36:59 http://esolangs.org/wiki/Fatmouse 01:37:30 madoka: it's harder than that in my case 01:37:41 since variables never go out of scope 01:37:57 you have to figure out when a variable becomes a "dead end" 01:38:06 ie can't produce any more new variables 01:38:12 in which case it can be collected 01:44:17 It's a lot harder than in java or stuff 01:44:29 where eventually you run out of referrences 01:44:43 1. delete language, 2. garbage collected? 01:45:34 madbr, are you, um 01:45:40 Sure it isn't Turing complete? 01:46:00 Like, give the example of this: 01:46:01 loop.i+1 loop.i 01:46:01 loop.0 01:46:19 yeah that's totally going to loop 01:46:25 Or, worse 01:46:30 it is turing complete 01:46:33 HOld on 01:47:43 madbr, are you sure determining if a variable can still be used isn't Turing complete? 01:48:13 I'm afraid it might involve solving the halting problem or something like that yeah :( 01:49:42 test 01:49:43 loop.i+1 loop.i test loop2.i 01:49:43 loop.0 01:49:51 test only ever goes out of scope if test2 halts, right? 01:50:09 Right, but, you can detect halting at runtime... 01:50:11 I dunno... 01:50:46 madbr, if all variables that can reference a variable are consumed, it's dead. 01:50:52 But, I have no clue how you could apply that to arrays 01:50:55 Because, that involves math code. 01:51:14 I think you can't solve all the cases 01:51:22 -!- MoALTz has quit (Quit: brb). 01:51:43 but you can at least solve the case where one of the indexes is always higher on new instances 01:52:51 madbr, what does this do 01:52:53 like on an array that's duplicated on each iteration, you can find out that newly produced variables always have a higher iteration index, and figure out when a whole iteration is "dead" 01:53:27 test.1.1 01:53:30 test.1.1.1 test.1.1 01:53:37 output.0.'a' test.1.1.1 01:54:04 -!- pikhq_ has joined. 01:54:09 test.1.1 and test.1.1.1 are different arrays no? 01:54:44 They share the same name, but, have different dimensions 01:55:46 I guess test.1.1 should die once test.1.1.1 exists 01:56:19 madbr: How do you plan on implementing this language? 01:56:24 no idea 01:56:26 that's the problem 01:56:28 Iterators seem pretty hard to 01:56:38 My first thought is 01:56:43 I'll probably restrict iterators 01:56:57 To represent the entire Fatmouse as [Variable -> Bool] 01:57:29 to something like "don't make arrays with infinite amounts of data in them" 01:57:44 -!- pikhq has quit (Ping timeout: 272 seconds). 01:58:18 madbr, my first thought 01:58:22 plus at least one of the iterators has to have real values in some array 01:58:23 Is to represent variables... 01:58:24 Hmm... 01:58:28 Right, um 01:58:30 Let me think about this. 01:58:46 but yeah the real problem is garbage collecting the whole thing 01:58:48 madbr, hey 01:58:54 the other stuff is a challenge 01:58:58 -!- MoALTz has joined. 01:58:58 Would it be possible to solve using algebra or something all the possible valid values? 02:00:39 hm 02:00:51 So, let me think. 02:00:53 Given the statement... 02:01:06 test.i test2.i>4 02:01:47 is that valid? 02:01:50 Erm 02:01:51 Never mind 02:02:00 test.i test2.i+4 02:02:20 then it looks at all the values in test2 02:02:28 each one gives a value to i 02:02:28 You could check all values of test2 02:02:30 Then... 02:02:31 right 02:02:44 Solve for i in x=i+4 02:02:50 Giving i=x-4 02:02:54 And check if it's defined? 02:02:55 No wait. 02:03:11 yeah I don't think I could solve all the cases but maybe the easier ones 02:03:39 ie "the compiler solves some cases but only really simple ones" 02:03:43 I'm /pretty sure/ you can reduce everything there to rational expressions? 02:03:53 otherwise you just have to write 02:04:00 test.i-4 test.i 02:04:14 Right. 02:04:17 That's a simple check. 02:04:38 ie "every iterator must appear plain at least once in one of the conditions" 02:04:39 Hold on 02:04:44 madbr, I doubt it. 02:05:46 Okey 02:05:49 For statements of the form 02:05:55 test.i test2.i+4 02:05:57 You could do this. 02:06:06 x=i+4, i=x-4 02:06:16 Thus, for all x in test2, test.x-4 02:06:26 right 02:06:27 test.i test2.i+4 test3.i+6... 02:06:30 Since you have all x from test2 02:06:39 You treat test3.i+6 as a condition-- you already have i 02:07:48 but what if the user asks for 02:07:49 test.i test.(4 + 5*i - 3*i*i + 2*i*i*i - 9*i*i*i*i + 7*i*i*i*i*i) 02:08:03 er 02:08:05 test.i test2.(4 + 5*i - 3*i*i + 2*i*i*i - 9*i*i*i*i + 7*i*i*i*i*i) 02:08:55 ?!? 02:09:09 we are all speaking our own programming langauges'\ 02:09:27 I guess the compiler would have to return an error along the lines of "I'm not matlab" :D 02:09:29 LEt me think. 02:09:37 echo Hello 02:10:11 madbr, for starters 02:10:20 You only have to account for real integer values. 02:10:31 Erm, sorry. 02:11:00 Yeah, that's right. 02:13:04 printf("1 = 0.");while(1)printf("9"); 02:13:17 var.x.y.z (x*x*x + y*y*y - z*z*z)=0 02:13:34 fermat theorem :D 02:13:45 Right. 02:13:49 That format is also a problem :x 02:14:23 yeah I have to update the page 02:14:26 Nah. 02:14:30 Leave Fatmouse as it is. 02:14:33 I kinda like that 02:14:39 I'll probably want to switch the syntax from 02:14:54 result.x.y condition.x condition2.y 02:14:57 to something like 02:15:03 It amounts to a programming language that, in the long run, is basically a (logic programming?) language that requires a lot of high-level math to solve. 02:15:06 condition.x condition.y 02:15:09 result.x.y 02:15:21 (with python style indentation) 02:15:33 yeah 02:15:34 I /think/ it's a logic programming language. 02:15:53 ... 02:15:56 madbr, I just realized 02:16:05 If the program doesn't use output 02:16:14 Just halt immediately 02:16:20 ahah 02:16:34 but there's always at least one output 02:16:40 does the program halt or not 02:16:41 Now... 02:16:42 Hmm... 02:17:12 test.a.b.c (x*x*x + y*y*y - z*z*z)=0 02:17:36 Hold on. 02:18:23 madbr, for output to be consmed 02:18:24 consumed* 02:18:27 It has to be in order, right? 02:18:29 -!- TeruFSX has joined. 02:18:33 output.1.'a' alone 02:18:35 Does nothing 02:18:39 Because output.0 was never consumed 02:19:23 madbr, it seems 02:19:38 The really problematic case is equations in the form of test.a.b + math on a and b without any limits 02:20:14 ... 02:20:14 Wait. 02:20:16 madbr 02:20:20 var.x.y.z (x*x*x + y*y*y - z*z*z)=0 02:20:23 Compile that to 02:20:46 var[x] = \x y z=x*x*x + y*y*y - z*z*z == 0 02:20:54 Erm, s/=/->/ 02:21:31 is that prolog or something? 02:21:40 Haskell pesudocode 02:21:41 >> 02:23:24 madbr, here's an idea 02:23:35 var.x.y.z (x*x*x + y*y*y - z*z*z)=0 02:23:38 Don't think of that as an array 02:23:49 Think of it as a function definition var(x,y,z) = (x*x*x + y*y*y - z*z*z)==0 02:25:31 ah I see 02:26:21 -!- tswett has changed nick to absentswett. 02:32:08 Hey, madbr, here's a thought 02:32:13 !!!Batch: !Py!Batch Updated To Version 1.2: More Code Added monqy Sgeo 02:32:23 Is the var.x.y.z x+y+z=0 synatx needed? 02:32:27 syntax* 02:33:05 shubshub, how does input work 02:33:10 madbr* 02:33:13 what do you mean 02:33:16 It doesn't block, right? 02:33:18 Wrong person, sorry 02:33:21 lol k 02:34:38 madbr, as far as I can see 02:34:40 The only true hard case is 02:35:01 output.x.y x*y=y 02:35:04 Or similar expressions 02:36:16 madbr: would you be able to make a !!!Batch interpreter in Fatmouse? 02:38:22 madbr???? 02:40:48 madbr, I'm reasonably certain that you can treat the individual arrays as functions. 02:41:05 And, then, brute force for x in 0..255 output.y.x 02:42:13 How would I make a Programming Language iN Python? 02:48:25 Hey I have a question: is It Possible to make a programming language in another Programming Language that has features that the Language its made in couldnt perform 02:48:38 Define "couldn't" 02:48:53 Also, "features" and "perform" 02:49:13 couldn't meaning the Original language Could not perform the function in any way shape or form no matter how hard u tried 02:49:37 features meaning functions 02:49:40 perform meaning execute 02:49:43 shubshub, well, a compiler could. You could make a compiler that only reads standard input and output, yet outputs code that can do things 02:49:50 Such as manipulate hardware 02:49:53 explain please 02:50:57 Suppose I have some language where each line is a URL, and it outputs the page 02:51:05 k 02:51:10 if the language cannot perform these in any way, it's impossible 02:51:46 I could make a compiler for that language, which, itself, is not able to access the web. Maybe the language it's written in doesn't have network access. However, it could write code to disk and this code, itself, can access the network 02:52:02 i dont understand how 02:52:10 So compiler (with no net access) takes URLang and converts it to a .exe which does have net access 02:52:13 that's accurate, i was also going to say that would mean that you can't interpret it 02:52:23 shubshub, it's because the compiler is just translating from one language to another 02:52:27 oh 02:52:36 It itself does not need to perform the functions written in the language it's compiling 02:53:48 Hey Sgeo_ you any good at Python maybe you could help me make a Language in it 02:54:01 first, what do you want this language to do 02:54:11 second, are you going to compile or interpret it 02:54:32 shubshub, first, I want you to realize something. You can describe a language in English, using your words, without actually being able to use that language 02:54:44 Interpret it first also I want it to Pretty Much extend off Python and do features that Python can do But with less coding 02:54:57 In fact, there are several languages on the wiki, in which programs in those languages can never be run. 02:55:02 why 02:55:25 some require impossible things, such as solving the halting problem 02:55:28 shubshub, because they require "features" as you might call them which no program running on hardware as we know it can do. 02:55:44 lolol but one day they will be able to run? 02:55:56 And these aren't features like "Go access the Internet", but actual calculations so to speak 02:56:00 shubshub, nope 02:56:03 why 02:56:11 solving the halting problem is actually impossible 02:56:17 given a basic metaphysical assumption 02:56:39 shubshub, at least, unless there's a major revolution in computing that overturns what we know... and even then, the same concept would extend over to these new weird computers 02:56:40 I want this Python Language to be an easier version of Python yet do everything Python can do with less programming 02:57:09 kmc, eh, is it proven that there's no possible computers in this universe more powerful than TC? 02:57:15 no 02:57:17 lol 02:57:20 that is the basic metaphysical assumption 02:57:24 Ah 02:57:34 what class is the halting problem again? 02:57:43 RE 02:57:48 RE? 02:57:53 recursively enumerable 02:58:21 meaning you can write a turing machine which prints out all the halting turing machines, one by one, and never prints a non-halting one 02:58:51 so Sgeo_ can you help me make a new language? 02:59:05 equivalently, meaning you can write a turing machine which takes a description of a turing machine and returns "yes" if that machine halts, and never returns "yes" if it doesn't halt 02:59:06 shubshub, not much, perhaps a little. 02:59:12 hmmm 02:59:12 (but it's allowed to loop forever rather than saying "no") 02:59:27 kmc, how is that equivalent? 02:59:36 madbr, so. 02:59:41 Can Programming Languages Be Interpreted In Multiple Languages to make one large interpreter? 02:59:48 A limited version of Fatmouse that doesn't allow expressions in the 'set' phrase. 03:00:02 (i.e. you can't write array.x+1 array.x, only array.x array.x-1) 03:00:03 shubshub, I have no idea what that question means, but people have made programs that work in different languages 03:00:14 Can be easily compiled 03:00:15 ill pastebin what i mean 03:00:26 With full array.x+1 array.x syntax 03:00:31 It's much less trivial 03:00:57 Make a Programming Language Interpreter using Multiple Languages To Be able to understand what the code of this New programming language does 03:01:57 Sgeo_: one direction is, we have a TM to enumerate the strings of a language; we want a TM to recognize strings in that language 03:02:15 we take a string and then run the enumerator until it spits out that string 03:02:23 madbr, if you want Fatmouse to be truly uncompilable, allow expressions like this: 03:02:24 fib.0.0 03:02:24 fib.1.1 03:02:24 fib.x.(y+z) fib.(x-1).y fib(x-1).z 03:02:32 if the string isn't in the language, we run forever, which is ok 03:03:03 Well, not 'truly uncompilable', but, rather, 'hard to compile without lots of math' 03:03:10 kmc, it's the other direction I'm concerned about. Yes or loop forever is trivial 03:03:13 the other direction is, we have the recognizer, we want an enumerator 03:03:35 you simulate the recognizer on all possible inputs, in parallel 03:03:37 which is to say 03:04:05 TM step 0 of input 0 03:04:09 TM step 0 of input 1 03:04:12 TM step 1 of input 0 03:04:15 etc 03:04:28 hmm 03:04:33 Ah, it was the parallel running thing that was confusing me of how it could possibly work 03:04:45 I was thinking "You'd have to try them in serial" 03:04:57 ah, yeah 03:05:04 the parallel simulation thing is a really useful trick 03:05:43 I thought it would be easier to evaluate if you let expressions everywhere except at least one of the instances of each iterator has to be in one of the input arrays without any computation 03:06:10 so that you can pull out a list of possible values for each expression 03:06:12 uh 03:06:15 for each iterator 03:07:43 hmm 03:07:47 fizzie: you there? 03:07:53 but then that's the reverse kind of language 03:08:14 whereas your kind turns everything into functions I guess 03:09:05 madbr, basically. 03:09:38 array.x.y.z x>5 array2.(x-2).y.z can be translated into 03:10:31 var array$3$0: (Int, Int, Int) => Boolean = (x, y, z) => false 03:10:36 New Language Idea Name!: Venom Programming Language 03:11:17 var array$3$1: (Int, Int, Int) => Boolean = (x, y, z) => array$3$0(x,y,z) || (x>5 && array2(x-2,y,z)) 03:11:25 var array$3 = array$3$1 03:11:28 In Scala syntax 03:11:29 shubshub: if you want to design a new language, you should start by learning a lot of existing ones 03:11:36 noope 03:11:36 otherwise you will make the same mistakes others have made 03:11:41 Batch is a lot, ok 03:11:41 which is 03:12:07 Im Not Making this new Language in Batch 03:12:31 which is...? 03:12:54 dude, i can't summarize how to design a good language in a couple of lines 03:12:57 it's a huge topic 03:13:03 many books and thousands of papers have been written about it 03:13:12 but people don't read them 03:13:18 and so the world is full of awful languages designed by amateurs 03:13:19 like PHP 03:13:35 kmc, does it really make a big difference for esolangs? 03:13:57 yes 03:14:07 i wasn't talking about esolangs 03:14:29 I want this Python Language to be an easier version of Python yet do everything Python can do with less programming 03:14:40 I gave up on that idea 03:14:46 ok 03:14:54 i think inventing new languages is a great way to learn 03:15:01 just don't expect to make a good one until you know a lot 03:15:09 kmc, I was considering making a language 03:15:19 would it be good, Sgeo_ 03:15:19 shubshub: have you read this book? http://mitpress.mit.edu/sicp/full-text/book/book.html 03:15:22 Goal not really to be good, just to be better than the only alternative 03:15:40 what alternative, oh right that thing 03:15:44 heh heh heh 03:15:44 Yes 03:15:54 * shubshub will make Venom Using Ruby :D 03:15:55 kmc: is that a paraphrase or did he really say that? :P 03:16:10 actually maybe not ruby 03:16:12 said it 03:16:18 yay 03:16:34 * kmc thinks itidus20 and shubshub will get along great 03:16:36 Wait, shubshub does Ruby? 03:16:50 no 03:16:55 I would need to learn it 03:17:03 kmc, does Ruby count as having first-class functions, given the crappiness of blocks? 03:17:17 The crappiness of blocks? 03:17:22 shubshub, Smalltalk's a better language. Environment might not be so useful for implementing languages. 03:17:48 ion, they're non-first-class things that you can magically pass at the end of a method call 03:17:50 I mean, it’s better just to have a lightweight syntax for all lambdas instead of special sugar for the single-lambda-parameter case, but “crappiness”? 03:17:58 Sgeo_: it has actual first-class functions too 03:18:21 ion, >.> 03:18:26 kmc, ok 03:18:28 there's a function to turn a block into a first-class function, and you can call it with block syntax, so it's not much worse... 03:18:28 <.< 03:18:43 blocks are interesting though, in that they capture the caller's continuation, sort of 03:18:47 Yeah, uh, madbr 03:18:53 I'd like to know how the array.x+1 syntax works 03:18:59 Is array.x+y valid? 03:19:15 kmc, hm? 03:19:23 if you use "return" within a block 03:19:25 Can you write collected.x array.y.x 03:19:29 it returns from the caller of the function that got the block 03:19:50 that is from the lexically enclosing function of the block 03:19:53 not from the block itself 03:20:11 i remember someone on reddit wondering if in the far future there might be languages which let you capture "where to return to" as a first-class value :D 03:20:39 anyway i haven't used ruby much, so some of the above might be wrong 03:20:41 * shubshub will make Venom using a Multitude Of Languages :D 03:21:21 Will All the documentation Be Written In your Trademark Random capitalization Style? 03:21:30 shut up 03:21:38 hi monqy 03:21:41 it's probably not actually random 03:21:56 itidus20: yeah, that's why it bugs me, i have to look for patterns 03:22:10 kmc: Agda is fun until you know something but don't know how to express it to the computer. 03:22:13 Then it's annoying. 03:22:14 lol.............................. 03:22:19 I guess that's true about learning a new language in general. 03:22:40 yeah 03:23:00 shachaf: hello 03:23:11 monqy: hi 03:23:18 but learning how to write functions so that things can be proven about them is a bigger fundamental shift than learning new stdlib IO functions or something 03:23:29 Right. 03:23:44 even if you know Haskell, learning Agda has the same kind of brick-wall feeling that most people associate with learning Haskell :) 03:23:56 Well, you can prove things about any sort of function in Agda. 03:24:02 It's just that some are much easier than others. 03:24:41 These are pretty closely the same thing at varying levels of syntactic sugar: 03:24:43 def foo(f) f.call(42) end; foo(->(n) { puts "got #{n}" }) 03:24:46 def foo(&f) f.call(42) end; foo {|n| puts "got #{n}" } 03:24:51 def foo() yield 42 end; foo {|n| puts "got #{n}" } 03:25:00 ion: They're not quite the same. 03:25:35 good grief 03:26:23 foo=->(&f){f.call(42)};foo.(&->(n){puts "got #{n}"}) 03:26:25 the Variable Definer I Just Made can set about 10 Thousand Variables Every Minute 03:26:33 cool! 03:26:40 10 Thousand Variables Every Minute 03:26:44 the variable definer is written in batch 03:26:48 cool! 03:26:55 that's as Many as 100 Hundreds 03:27:02 ... 03:27:03 And that's terrible. 03:27:08 MORE THAN NINE THOUSAND 03:27:13 gah 03:27:16 /kick ion 03:27:24 It's over an ion! 03:27:26 the capitalization is eating away my brain 03:27:34 Sgeo_: You know what's terrible? 03:27:36 Sorry, i deserve to be kicked for saying “MORE THAN” instead of the correct “OVER”. 03:27:36 This channel. 03:27:46 I Think His Capitalization Is Pretty Nifty And/Or Neato :D 03:27:53 Nifto 03:27:58 kmc: why are {the, can, set, about} uncapitalized? 03:28:02 monqy, that's not his capitalization? 03:28:08 okay :D 03:28:11 ok :D 03:28:13 :D 03:28:30 itidus20: i don't know!! 03:28:30 D 03:28:37 * monqy 03:28:39 03:28:48 ∗ 03:28:56 monqy: remberber the time when you implied I wasnt' good person :"( 03:29:01 what should be the max amount of variables for my language? 03:29:04 3 03:29:05 also.. for more agony, why did he elect to say "10 Thousand" instead of "Ten Thousand" or "10,000" 03:29:11 shachaf: just like it was yesterday 03:29:11 No it needss to be more than 3 03:29:16 4 then 03:29:23 monqy: because it was yestreday 03:29:24 It needs alot of variabl;es 03:29:35 anyone who needs more than 4 variables isn't a Real Programmer 03:29:37 monqy: it hurt :":( 03:29:40 :( 03:29:41 kmc: I thought that was 3? 03:29:42 something like 30 Thousand 03:29:51 shachaf: 30 thousand or 30 Thousand? 03:29:53 I’m trying to figure out what the alot of variables looks like. 03:29:54 30,000 03:30:14 HoNeStLy EvEn MySpAcE CaPs WoUlD Be PrEfErAbLe 03:30:28 Probably pretty much like http://1.bp.blogspot.com/_D_Z-D2tzi14/S8TZcKXqR-I/AAAAAAAACwg/F7AqxDrPjhg/s1600/ALOT13.png but with various variable names instead of beer cans. 03:30:35 kmc: Your CaPs are way too regular. 03:30:55 It WOuLd bE BeTTeR lIKe thiS 03:30:59 no 03:31:04 `pastelogs 03:31:05 that would be not better 03:31:17 hOIW abut tYPing lIOEk this?? 03:31:18 I didn't say it would be better. 03:31:25 iS this bETTER 03:31:27 It would be "BeTTeR". Which is a word that means "worse". 03:31:37 No output. 03:31:37 ah 03:31:39 `pastelogs 03:31:40 fyi, bETTER means BeTTer 03:31:40 good to know 03:31:55 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.23082 03:32:32 did you know: worcester is better 03:32:43 ok so it does hurt the brain 03:33:07 I'm going to Yosemite next weekend! 03:33:18 2012-04-26.txt:09:01:36: hi 03:33:19 2012-04-26.txt:09:01:59: anyone here???? 03:33:19 2012-04-26.txt:09:02:43: I wanna Make my own version of brainfuck 03:33:19 2012-04-26.txt:09:03:04: whose PH 03:33:19 2012-04-26.txt:09:04:21: how do i make one 03:33:21 very good 03:33:56 monqy: remrebrer twhen you said how predictable ! 03:33:59 good times 03:34:08 remember when you ruined how predictable ! :( 03:34:20 was it: today :( 03:34:22 bad person evidence excibit A 03:34:24 it was 03:34:25 not today 03:34:30 alright the max variables is 6,000 03:34:37 cool! 03:34:44 whoa 03:34:47 shub.. sorry to mess with your way of expressing numbers 03:34:54 thta'ss alo of varialE! 03:34:56 nothing wrong with 6 Thousand 03:35:13 I don't know what I'd even do with 6,000 variables 03:35:14 well its gonna be a big Language shachaf 03:35:17 maybe build a house? 03:35:21 a variables house 03:35:25 then I could live in it 03:35:36 it's enough variables, I could do it 03:35:36 monqy: do you live in a hosue 03:35:39 yes 03:35:41 or in a moues 03:35:46 do you live in a bocks 03:35:51 yes 03:35:52 or in a fox 03:35:56 no 03:36:06 oh :"( 03:36:07 you should probably limit your variable amount in a more natural way, like how BASIC does it 03:36:21 hey, 6,000 is perfectly natural 03:36:22 Python will be used to load everything Into the Language :D 03:36:27 :D 03:36:48 colon dee 03:36:53 Colon Dee 03:36:59 U+2181 MONQY'S TONGUE 03:36:59 shubshub: seriously.. it's fine to say 6 Thousand.. i was just being a bastard 03:37:07 c: 03:37:08 Köln Dee 03:37:17 Colonel Dee 03:37:34 Colonel Exploits 03:37:49 Colonel Oops :'( 03:37:50 itidus20: were you trolling 03:37:58 yes D: 03:38:01 D: 03:38:32 monqy: I heard itidus2 turns to stone during the day 03:38:54 wow me too 03:39:11 i hearde eliot has a hearte of stone :" 03:39:14 i heard itidus1 gets stoned during the day 03:39:39 kmc: I thought that was you. :-( 03:39:59 `quote 03:40:00 `quote 03:40:02 697) You should get kmc in this channel. kmc has good quotes. `quote kmc 686) COCKS [...] truly cocks Well, in theory. 03:40:15 133) how does a "DNA computer" work. von neumann machines? CakeProphet, that's boring in the context of DNA. It's just stealing the universe's work and passing it off as our own. 03:40:39 kmc: I still have a file full of quotes from you that I was going to make an IRC bot out of. 03:40:43 wow 03:40:46 But then you didn't like the idea so I stopped. 03:40:54 Also by "full" I mean 3-5 lines. 03:41:02 But it's the entirety of the file, so the file is full of them. 03:41:32 ok then 04:14:02 -!- cheater__ has quit (Ping timeout: 255 seconds). 04:23:40 so far my language loads Variables and a User Input 04:23:55 that one is almost german capitalizatino 04:24:04 * shubshub punches kmc 04:24:32 * kmc ducks 04:24:50 * shubshub still hits kmc anyway 04:25:06 nope 04:25:09 that's not what happened 04:25:16 too bad 04:25:24 i ducked and you fell over comically into a pile of english grammar books 04:25:29 nope 04:30:16 " so far my language loads Variables and a User Input" !!!time to celebrate 04:30:43 Time To celebrate 04:30:43 no not yetr 04:30:48 DONT CELEBRATE YET 04:31:21 TcIeMlEe bTrOa t e 04:31:23 understood 04:31:52 could we see an example program in this language, as it stands right now? 04:32:21 Its not able to do anything yet\ 04:32:53 it's not so much a language as a burlap sack full of spiders 04:33:01 lol 04:33:04 burlap 04:33:38 a friend of mine paid off his final university bill with a burlap sack full of gold coins 04:33:41 with a dollar sign drawn on it 04:34:11 I have a coffee jar full of silver coins. 04:37:39 -!- ellisonch has quit (Read error: Connection reset by peer). 04:37:58 -!- ellisonch has joined. 04:54:30 -!- TeruFSX has quit (Ping timeout: 256 seconds). 04:55:10 So, as you can tell by my nick, I'm going to be going away for one week, on some sort of fun thing. 04:55:19 This information is definitely contained in my nick. 04:55:24 oh i though it said absents wet 04:55:27 See you all later! 04:58:14 Bye absentswett 05:00:12 -!- cheater__ has joined. 05:01:48 -!- huh has joined. 05:19:44 -!- ellisonch has quit (Ping timeout: 245 seconds). 05:21:33 -!- cheater__ has quit (Ping timeout: 255 seconds). 05:27:08 -!- huh has quit (Quit: bye). 05:34:27 -!- cheater__ has joined. 05:41:50 -!- Patashu has joined. 05:42:30 -!- ellisonch has joined. 06:05:10 -!- monqy_ has joined. 06:06:53 -!- Deewiant has quit (Ping timeout: 260 seconds). 06:08:21 -!- monqy has quit (Ping timeout: 265 seconds). 06:14:19 -!- augur has joined. 06:15:19 -!- monqy has joined. 06:18:09 -!- monqy_ has quit (Ping timeout: 250 seconds). 06:32:29 hion 06:32:49 hi absentswett 06:33:30 hachaf 06:35:32 ion: Do you use the Agda? 06:36:18 I haven’t got around to studying it, but i’ve been meaning to. 06:36:34 A LYAA would be helpful. 06:36:41 Venom Is being Developed Using The Ruby Programming Language' 06:36:56 ion: You should write one! 06:37:06 (Actually it already exists.) 06:37:10 what does 06:37:27 shubshub: Should we pronounce “being” in a different way compared to all the other words in that sentence? 06:37:39 no 06:37:42 VENOM IS… (whispers) being… DEVELOPED USING 06:37:54 No pronounce it the same way as one of the other words. 06:38:00 VENOM IS VENOM DEVELOPED USING 06:38:03 VENOM IS IS DEVELOPED USING? 06:38:47 Venom is being developed using the Ruby Programming Language 06:39:12 my brain hurts 06:39:18 Is the Ruby Programming Language™ the same thing as Ruby? 06:39:18 "Venom is ... the Ruby Programming Language" 06:39:22 der 06:39:29 ion: https://github.com/liamoc/learn-you-an-agda 06:39:46 venom is Being developed using the ruby programming language" 06:39:59 correct 06:40:06 kmc: Thanks. Ah, i already saw that link but http://learnyouanagda.com/ that it links to didn’t work and i forgot about it. 06:40:16 Learn You Another Agda 06:40:56 venom Is Being Developed Using The ruby programming language 06:41:19 VENOM IS BEING DEVELOPED USING THE RUBY PROGRAMMING LANGUAGE 06:41:29 much better 06:41:31 VENOM IS BEING DEVELOPED USING THE RUBY PROGRAMMInG LANGUAGE 06:41:36 STFU 06:41:47 VeNoM iS bEiNg DeVeLoPeD uSi... /me shuts up 06:42:10 How many feet does a developed have? 06:42:40 Ｖenom Ｉs being Ｄeveloped Ｕsing Ｔhe Ｒuby Ｐrogramming Ｌanguage 06:44:16 What Language is Venom being Developed in? 06:44:24 nevermind what Language 06:44:27 * Sgeo_ decides that now is the perfect time to stop being an asshole 06:44:29 i want to know What language 06:44:46 no actually 06:44:50 i want to Know What Language 06:44:53 if you Know What I Mean 06:44:57 me too 06:45:03 honqy 06:45:10 hi 06:45:22 shachaf: is that a version of monqy which is better because it's written in Haskell? 06:45:58 the Ｖａｒｉａｂｌｅ Ｄｅｆｉｎｅｒ Ｉ Ｊｕｓｔ Ｍａｄｅ can set about 10 Ｔｈｏｕｓａｎｄ Ｖａｒｉａｂｌｅｓ Ｅｖｅｒｙ Ｍｉｎｕｔｅ 06:47:01 Does the c in kmc stand for cynical? 06:47:18 ｄｏｎｇｓ 06:47:36 The c in kmc stands for ｄｏｎｇｓ? 06:47:37 dongs doesn't start with c, kmc 06:47:42 ion: hi 06:47:46 honqy 06:47:55 hion 06:48:09 heegan 06:48:19 ＩＮＣＥＰＴＩＯＮ 06:48:26 hinception 06:48:41 kmc: How do you type in fullwidth characters? 06:48:53 putStr . map (toEnum . (+ (fromEnum 'Ｅ' - fromEnum 'E')) . fromEnum) $ "INCEPTION" 06:48:53 perl -CS -Mutf8 -pwe 'y/!-~/！-～/; y/ /　/' 06:49:01 ion: of course, why didn't I think of that 06:49:03 Pft. 06:49:25 oh, that actually makes sense 06:49:26 foo c | c == ' ' = '　' | c >= '!' && c <= '~' = chr (ord c + ord '！' - ord '!') | otherwise = c 06:49:36 Ｍｙ　ｍｅｔｈｏｄ　ｉｓ　ｃｌｅａｒｌｙ　ｓｕｐｅｒｉｏｒ． 06:49:43 Ｄｅｓｐｉｔｅ　ｂｅｉｎｇ　ｒｅａｌｌｙ　ｉｎｃｏｎｖｅｎｉｅｎｔ． 06:49:54 DESPiTE 06:50:12 -!- augur_ has joined. 06:50:27 -!- augur has quit (Read error: Connection reset by peer). 07:12:07 Apparently venom has already been made by someone else 07:13:13 Unfortunately, my IME doesn't much care for inputting fullwidth Latin text to my terminal. 07:13:16 Shame. 07:13:34 Aaand I'm too lazy to use a script. 07:13:35 so im renaming the language To Poison :d 07:16:05 I'm afraid that Capitalisation in the German Manner has been out of Vogue for Centuries in the English Language. 07:20:15 shubshub, just don't rename it to a single letter 07:20:23 They're hard to google and most of them are in use 07:20:30 what do you mean 07:20:34 call it V? 07:20:37 Sgeo_: is hi in use 07:20:39 lol 07:20:40 Don't call it V. 07:20:43 why 07:20:43 Is my point 07:20:43 thats a lettere right 07:20:48 V+++ 07:20:58 V is a pretty good name but take their advice on this. don't call it V 07:21:02 shubshub, because most letters are taken. 07:21:20 Though not most codepoints. 07:21:23 A, B, C, D, E, J 07:21:26 Off the top of my head 07:21:30 ill call it V+- 07:21:33 Wait, A? Or did I make that up 07:21:53 You missed a bunch. 07:22:01 Sgeo_ You Know any ruby? 07:22:02 monqy: Am I a good person now; 07:22:11 shachaf, I got all the ones that I knew of off the top of my head at that moment..\ 07:22:12 i am clueless about languages but I know that the following exist: C, C#, C++, D, F#, J++, R 07:22:14 shachaf: sure 07:22:17 Why, U+1F432, 🐱, is perfectly open! 07:22:19 ooh, R 07:22:34 theres an esolang called F 07:22:49 shubshub, somewhat 07:23:05 d sharp plus plus 07:23:07 hi 07:23:09 Sgeo_ wanna help me make it 07:23:16 shubshub, to be honest, not especially 07:23:20 D is probably best to avoid. 07:23:23 Im Gonna Officially Call My Language V#+- 07:23:28 V sharp plus minus 07:23:35 I don't know much about it but yeah... 07:23:37 C++--# 07:23:44 People may think it's a Microsoft language 07:23:47 With the # 07:23:53 C-- exists, btw 07:23:56 Actually, it'd probably work best as --C++# 07:24:06 C♯ 07:24:10 why would they think its a Microsoft language 07:24:16 Much better language than C# 07:24:19 C↵ 07:24:28 shubshub, several Microsoft languages end with # 07:24:30 C⇟ 07:24:33 CRLF 07:24:45 C#, F#. J# I think 07:24:50 REDUCED LEMMA FIBONACCI 07:25:10 Help me think of a name 07:25:14 V something something 07:25:14 norway 07:25:18 vnorway 07:25:23 thats' good name 07:25:23 it is decided 07:25:24 venice 07:25:26 V something something 07:25:34 no i dont like V something something 07:25:34 violin 07:25:37 What other MS languages end with #? 07:25:38 v norway norway 07:25:51 V^^ (what would that be called) 07:25:58 vladimir 07:26:25 http://en.wikipedia.org/wiki/D_Sharp_(programming_language) 07:26:40 it's on the http://en.wikipedia.org/wiki/D%E2%99%AF page but it doesn't exist?? hlep 07:26:42 victor 07:26:55 Sgeo_ how is V^ pronounced 07:27:03 vendetta 07:27:38 GHC is worked on by MS people and a lot of internals have names ending with #, does that count? 07:27:39 vorpal 07:27:42 http://en.wikipedia.org/wiki/D_Licious_(Mushroom_Soup_Brand) 07:28:18 Maybe V** 07:29:18 :o 07:29:25 V asteriks asteriks 07:30:01 it just occured to me shubshub doesn't know yet about the matrix of solidity 07:30:35 `quote matrix of solidity 07:30:45 287) enjoy being locked in your matrix of solidity 07:31:56 its a mysterious quote which noone quite understands 07:32:16 !addquote V** 07:32:23 `addquote V** 07:32:26 850) V** 07:32:29 `quote V** 07:32:32 grep: nothing to repeat 07:32:34 shubshub: To Poison sounds like a nice name for a language. 07:32:42 Poison++ 07:33:03 sgeo: GHC# 07:33:12 probably delquote is appropriate here 07:33:27 Nuuuuuu please dont 07:33:57 `quote 850 07:34:00 850) V** 07:34:07 `del 850 07:34:10 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: del: not found 07:34:23 `addquote When In Doubt V** Out 07:34:26 851) When In Doubt V** Out 07:34:27 `delquote 850 07:34:31 ​*poof* V** 07:34:37 `quote 851 07:34:40 No output. 07:34:46 `quote 850 07:34:49 850) When In Doubt V** Out 07:34:51 `delquote 850 07:34:52 :) 07:34:56 ​*poof* When In Doubt V** Out 07:34:56 NOOOO MONQY 07:35:00 WHY!!!!!! 07:35:05 `quote 849 07:35:09 849) 99 bugs in the bug tracker, 99 reports of bugs. Take one down and commit a fix, 106 bugs in the bug tracker. 07:35:17 `quote 1 07:35:20 1) I used computational linguistics to kill her. 07:35:54 `addquote `addquote 9001 07:35:58 850) `addquote 9001 07:36:03 `quote 850 07:36:06 850) `addquote 9001 07:36:09 :D 07:36:12 perfect quote 07:36:16 dont delete it 07:36:39 what's perfect about it 07:36:44 `delquote 850 07:36:48 ​*poof* `addquote 9001 07:36:52 shubshub: the quotes are a very special almost sacred thing :D (though i havent been here long) it is for your own good that they delete them 07:36:52 COPPRO YOU fucking retard 07:37:07 itidus20: is correct 07:37:10 hey now there 07:37:11 its over 9000 07:37:18 /kick shubshub 07:37:23 no monqy 07:37:32 +1 07:37:40 -1 07:37:49 this isn't facebook 07:37:53 too bad 07:37:59 its faceirc 07:38:26 that's what they want you to think 07:38:39 +Negative1 07:39:05 lol 07:39:22 its different cuz it adds a negati ve to u instead of taking away a positive :D 07:39:31 omg there shud be a rating bot 07:39:41 @karma shubshub 07:39:41 shubshub has a karma of 0 07:39:42 where when u use the + or - then a number 07:39:44 eg 07:39:46 @karma- shubshub 07:39:46 shubshub's karma lowered to -1. 07:39:48 +1 shubshub 07:40:00 @karma+ shubshub 07:40:00 You can't change your own karma, silly. 07:40:07 @karma- monqy 07:40:08 monqy's karma lowered to 8. 07:40:18 @karma+ monqy 07:40:19 monqy's karma raised to 9. 07:40:25 @karma- monqy 07:40:25 monqy's karma lowered to 8. 07:40:29 @karma- monqy 07:40:30 monqy's karma lowered to 7. 07:40:34 @karma- ion 07:40:34 ion's karma lowered to 7. 07:40:55 @karma++ clog 07:40:55 clog's karma raised to 1. 07:40:58 @ask elliott i taught shubshub how to use @karma- 07:40:58 Consider it noted. 07:41:07 @karma+ monqy 07:41:07 monqy's karma raised to 8. 07:41:09 @karma+ monqy 07:41:09 @ask shubshub Hello 07:41:10 You can tell yourself! 07:41:10 monqy's karma raised to 9. 07:41:15 @help 07:41:15 help . Ask for help for . Try 'list' for all commands 07:41:19 @karma+ ion 07:41:20 ion's karma raised to 8. 07:41:28 can we stop with the karma 07:41:37 yes 07:41:43 @karma- lambdabot 07:41:43 lambdabot's karma lowered to 5. 07:42:31 @karma* monqy 07:42:31 Maybe you meant: karma karma+ karma- 07:42:38 shubshub: would you like to learn brainfuck? 07:42:44 yes 07:42:48 @brainfuck 07:42:49 Unknown command, try @list 07:42:53 @list 07:42:54 http://code.haskell.org/lambdabot/COMMANDS 07:43:01 i must warn it is called brainfuck for a reason.. 07:43:06 I Know 07:43:19 * shubshub would make Brainfuck** thenb 07:44:00 anyway.. there is 8 instructions in brainfuck: < > + - . , [ ] 07:44:06 thats the first thing to know 07:44:07 Hmm. @karma should store who gave each + and - and weight the totals by the givers’ karmas. 07:44:08 I Know 07:45:20 i can't really brainfuck at all.. it boggles my mind 07:45:36 even though theoretically i know what each instruction does 07:45:46 ion: EMULTIPLESOLUTIONS 07:45:55 coppro: sure 07:46:57 ^bf ++++++++++++++++++++++++++++++++++++++++++++[.] 07:46:57 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ... 07:47:19 i'm pretty bad at that 07:48:05 ^bf +[.+] 07:48:05 .. !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ ... 07:48:55 ^bf +[.+] 07:48:55 .. !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ ... 07:48:59 wtf 07:51:37 ^bf ,[.,]|!!! 07:51:37 !! 07:51:49 hmm.. 07:52:23 ^bf ,[.,].| :D !!!Batch 07:52:24 !!Batch 07:52:36 ^bf !!!Batch 07:53:09 -!- asiekierka has joined. 07:53:09 oh i forgot 07:53:46 ^bf ,[.,]! :D !!!Batch 07:53:46 :D !!!Batch 07:53:56 ^bf ,[.,]! 07:55:06 the ! thing is unusual in brainfuck.. it means that after it to put some input 07:55:26 i forgot what it was for a while 07:56:19 ^bf ,[.,]!hello, world 07:56:19 hello, world 07:56:33 ^bf !im not gay 07:58:42 ^bf ,[.+]!a 07:58:42 abcdefghijklmnopqrstuvwxyz{|}~ 07:58:52 WHAT THE fuq 07:59:04 @karma+ itidus20 07:59:05 itidus20's karma raised to 1. 07:59:51 to do useful things in brainfuck will give a headache though 08:00:03 !bf_textgen Hello World! 08:00:12 !bf_txtgen Hello World! 08:00:16 !help 08:00:17 ​help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . 08:00:17 ​111 ++++++++++[>+++++++>++++++++++>+++>+<<<<-]>++.>+.+++++++..+++.>++.<<+++++++++++++++.>.+++.------.--------.>+.>. [393] 08:00:47 ^bf ++++++++++[>+++++++>++++++++++>+++>+<<<<-]>++.>+.+++++++..+++.>++.<<+++++++++++++++.>.+++.------.--------.>+.>. 08:00:47 Hello World!. 08:00:53 Ta Da 08:01:01 !help languages 08:01:01 ​languages: Esoteric: 1l 2l adjust asm axo bch befunge befunge98 bf bf8 bf16 bf32 boolfuck cintercal clcintercal dimensifuck glass glypho haskell kipple lambda lazyk linguine malbolge pbrain perl qbf rail rhotor sadol sceql trigger udage01 underload unlambda whirl. Competitive: bfjoust fyb. Other: asm c cxx forth sh. 08:01:12 !help befunge 08:01:12 ​Sorry, I have no help for befunge! 08:01:17 !befunge 08:01:30 oh.. well befunge makes brainfuck look easy 08:01:40 Is bf_txtgen optimized? 08:01:45 !bf_txtgen Hello There My Name Is Shubshub and I will be Helping you write in BrainFuck 08:01:48 ​752 +++++++++++++++[>+++++>++>+++++++>+++++++<<<<-]>---.>>----.>+++..+++.<<++.<++++++++++++.>>+++.---.>+++.<.<.<-------.>>>+++++++.<<.<+.>>----.>------------.<++++.<.<-----.>>>++++++.<<.<++++++++++.+++++++++++++++++++++.+++++++++++++.>>---.>.<++++++.>++.-------------------.<<.>-------.<<-------.>>>++.--------------------------------------------------------------------.<<+++++++++++++++++++++++++++++++++++++++++.>>.<<<+++++++++.--------------.+++..>>>.<+.+++.>.<< 08:01:53 Befunge is much more usable 08:01:59 ^bf +++++++++++++++[>+++++>++>+++++++>+++++++<<<<-]>---.>>----.>+++..+++.<<++.<++++++++++++.>>+++.---.>+++.<.<.<-------.>>>+++++++.<<.<+.>>----.>------------.<++++.<.<-----.>>>++++++.<<.<++++++++++.+++++++++++++++++++++.+++++++++++++.>>---.>.<++++++.>++.-------------------.<<.>-------.<<-------.>>>++.--------------------------------------------------------------------.<<+++++++++++++++++++++++++++++++++++++++++.>>.<<<+++++++++.-------- 08:01:59 Hello There My Name Is Shubshub and I w 08:02:03 :( 08:02:12 Why do you capitalize randomly 08:02:15 well atleast it makes alot of brainfucking sence 08:03:06 shubshub: the most easy to understand instruction is the . since that is the output 08:03:28 itidus20 can you teach me Befunge and who invented it and why and what it does and what it was amde in 08:03:30 anyone have suggestions for a good abstract strategy game? 08:03:42 "Befunge" The Video Game 08:03:42 no im an idiot at these things 08:04:04 ^bf -. 08:04:05 08:04:12 Its Basically a Befunge Interpreter written In Befunge :D 08:04:21 ^bf -.-. 08:04:21 08:04:25 ^bf -.-.-. 08:04:25 08:04:29 ^bf -.- 08:04:29 08:04:38 ^nb ?and? 08:04:49 actually I can translate that 08:05:05 STOP CAPITALIZING 08:05:09 It's making me feel weird 08:05:21 the I has to be capitilzied its proper grammer 08:05:39 !act lol 08:05:41 $hi 08:05:44 $help 08:05:49 *help 08:05:54 #help 08:05:57 &help 08:06:02 ~help 08:06:04 `help 08:06:07 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 08:06:21 shubshub: You lose that argument when you otherwise avoid typical usage. 08:06:27 “the I has to be capitilzied its proper grammer” was actually quite funny. 08:06:40 shubshub: I wasn't referring to that 08:06:42 Silly 08:06:51 `addquote the I has to be capitilized its proper grammer 08:06:55 850) the I has to be capitilized its proper grammer 08:06:58 Meh, I'm a bit of a pedant, though. 08:07:02 `delquote 850 08:07:06 ​*poof* the I has to be capitilized its proper grammer 08:07:09 Not *that* funny. :-P 08:07:10 nOoooo it was funny 08:07:32 The funny part was that that sentence was grammatically broken. 08:07:38 And typo'd. 08:07:45 how was it rypod 08:07:49 ... 08:07:53 shubshub: when you put ^bf you start at 0 .. so when you put a + its like "+1" .. and putting - is like "-1" 08:07:53 lol 08:08:01 `addquote STOP CAPITALIZING It's making me feel weird the I has to be capitilized its proper grammer 08:08:01 ^bf + 08:08:02 its = belonging to it 08:08:03 it's = it is 08:08:04 850) STOP CAPITALIZING It's making me feel weird the I has to be capitilized its proper grammer 08:08:09 `delquote 850 08:08:13 ​*poof* STOP CAPITALIZING It's making me feel weird the I has to be capitilized its proper grammer 08:08:22 no pikhq it wasnt that funny at all 08:08:39 thanks Lumpio- 08:08:49 For what 08:08:50 lumpio: He knows, he did that intentionally. 08:09:00 -!- Phantom_Hoover has joined. 08:09:07 nothing.. i shouldn't 08:09:10 ion: ....doubtful. 08:09:15 /kick Phantom_Hoover lol 08:09:20 anyway 08:09:27 He’s doing *all* of what he’s doing intentionally. 08:09:31 shubshub, oh dear, you're still here. 08:09:35 Hai 08:09:41 ion: One would hope. 08:09:48 Im making a proper programming language now :D 08:09:57 He gets kicks from us getting all riled up from his tactics. :-) 08:10:02 It would take astounding stupid to avoid typical usage that well. 08:10:11 Phantom_Hoover: he's been here ever since he started being here 08:10:19 Then again, there exists such stupid. 08:10:20 I thought that was zzo38 08:10:27 This guy might be for real 08:10:27 Oh dear. 08:10:38 Lumpio-: No, zzo38 merely speaks zzo38ese, not English. 08:10:44 uh-huh 08:10:48 shubshub: so with the brainfuck program of "-1" then "output" what happens is 0 -1 = 255! so it outputs character 255! :D 08:10:49 By sheer coincidence the two languages share some mutual comprehensibility. 08:10:54 But i must admit shubshub is more entertaining than most trolls. 08:10:57 ^bf -1 08:10:58 ^prefixes 08:10:58 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ? 08:11:00 which is what happens with: 08:11:07 !prefixes 08:11:07 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ? 08:11:08 ^bf -. 08:11:08 08:11:13 ?help 08:11:13 help . Ask for help for . Try 'list' for all commands 08:11:18 my wording makes no sense don't mind me 08:11:24 ion, dammit, that takes all the fun out of yelling at dumb languages 08:11:25 ^bf -------------. 08:11:25 08:11:32 #PoisonLang 08:11:49 ^bf -------------------------------------------------------. 08:11:49 08:12:01 ^bf -------------------------------------------------------.++.++.+++.++.+..+..... 08:12:01 08:12:11 !bf_txtgen Join the #PoisonLang Channel 08:12:14 ​241 +++++++++++++++[>+++++>++>+++++++>+++++++<<<<-]>-.>>++++++.>.<-.<++.>++++++.>-.---.<<.+++.<++++++.>>-----.>++++.<++++.----.-.<<----.>>-------------.>+++++.-------.<<---.<---------.>>+++++++.>------.<++++++..>++++.<--.<----------------------. [531] 08:12:22 ^bf +++++++++++++++[>+++++>++>+++++++>+++++++<<<<-]>-.>>++++++.>.<-.<++.>++++++.>-.---.<<.+++.<++++++.>>-----.>++++.<++++.----.-.<<----.>>-------------.>+++++.-------.<<---.<---------.>>+++++++.>------.<++++++..>++++.<--.<----------------------. 08:12:22 Join the #PoisonLang Channel. 08:13:20 ^bf ---.+.-.+.-.+...-...+...-...+..... 08:13:20 08:13:37 * pikhq_ declares sleep beneficial, and does so. 08:13:47 so whats happening there is every time theres a . it outputs a character 08:13:52 ^join #PoisonLang 08:14:15 pikhq_: So you declare sleep beneficial, and declare sleep beneficial. 08:14:27 but i must admit the good stuff is too complicated for me 08:14:58 i can't stand trying to compare 2 numbers in bf 08:15:00 There are some "useful" bits in. 08:15:05 ^ord A 08:15:05 65 08:15:09 ^chr 66 08:15:09 B 08:15:15 Those, for example. 08:15:20 ^show ord 08:15:20 >>,[[-<+2>[-<+>[-<+>[-<+>[-<+>[-<+>[-<+>[-<+>[-<+>[<[-]+>->+<[<-]]]]]]]]]]>]<2[>+6[<+8>-]<-.[-]<]+32.[-]>>,] 08:15:23 ^show chr 08:15:23 ,[>[->+10<]>[-<+>]<2-48[>+<-],]>. 08:15:24 im not knocking it 08:15:30 ooh :o 08:15:46 hi fizzie :D 08:15:59 I found the method of randomly capitalizing words to chafe our OCDs very innovative. 08:16:01 I'll be gone in fifteen minutes or so. 08:16:31 -!- TABS9597 has joined. 08:16:46 Helo 08:17:20 Hey 08:17:34 hi 08:17:37 ^chr 100 08:17:38 d 08:17:49 ^chr 255 08:17:50 08:17:52 ^bf +++++++++++++++[>+++++>++>+++++++>+++++++<<<<-]>-.>>++++++.>.<-.<++.>++++++.>-.---.<<.+++.<++++++.>>-----.>++++.<++++.----.-.<<----.>>-------------.>+++++.-------.<<---.<---------.>>+++++++.>------.<++++++..>++++.<--.<----------------------. 08:17:52 Join the #PoisonLang Channel. 08:18:00 ^chr 256 08:18:13 ok fair enough there is no chr 256 it wins 08:18:51 ^ord ! 08:18:51 33 08:19:12 ^ord } 08:19:13 125 08:19:15 > (text . pure . chr) 256 08:19:17 mueval-core: : hPutChar: invalid argument (Invalid or incomplete mu... 08:19:46 λ> (putStrLn . pure . Data.Char.chr) 256 08:19:48 Ā 08:20:56 λ> hi monqy 08:21:11 TABS9597 you should make a programming language 08:22:02 Im no good with programing languages 08:22:11 Learn one and make one 08:24:09 ^chr 289 08:24:09 ! 08:24:15 It just wraparounds. 08:24:20 ohhh i get it 08:24:25 256 was an invalid char 08:24:30 But you can't put a 0 over IRC. 08:24:34 because 0 is an invalid char 08:24:48 i didn't think that deeply about it 08:25:03 ^chr 300 08:25:03 , 08:25:15 ^chr 3000 08:25:15 08:25:37 ^chr 3001 08:25:37 08:26:53 ^chr -1 08:26:53 08:27:03 ^chr abc 08:27:04 K 08:27:31 ^chr itidus20 08:27:31 ( 08:27:41 ^chr fungot 08:27:41 v 08:30:30 It doesn't really check for errors. 08:30:36 ^ord 9 08:30:36 57 08:30:39 ^chr 58 08:30:39 : 08:30:54 ^chr 80 08:30:54 P 08:30:57 ^chr 7: 08:30:57 P 08:31:05 Goes like that. 08:31:17 : is the digit 10 and so on. 08:32:09 ^chr 47 08:32:10 / 08:32:16 -!- shubshub has set topic: http://codu.org/logs/_esoteric/ <--- EsoTeric Languages :D :P. 08:32:26 ^chr 79 08:32:27 O 08:32:29 ^chr 8/ 08:32:30 O 08:32:31 ^CHR OMG 08:32:37 ^chr 1 08:32:37 08:32:40 And / is the -1th digit. 08:32:50 ^chr 8 08:32:50 08:34:11 -!- elliott has joined. 08:34:17 hi elliot 08:34:21 -!- elliott has left. 08:36:35 fizzie: its not an error :> 08:36:56 ^chr OMG 08:36:56 U 08:40:47 fizzie: Can fungot accept Python programming for an interpreter? 08:40:47 shubshub: wtf! lol i dribbled just got mind raped i was going to be a real dumb one too, or in this 08:40:56 lol wut 08:42:05 fizzie: ?? 08:43:07 fizzew: ?? 08:44:06 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 08:44:32 -!- Phantom_Hoover has joined. 08:47:06 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 08:47:48 -!- Phantom_Hoover has joined. 08:48:05 lol 08:49:47 :D 08:49:55 what 08:53:43 -!- elliott has joined. 08:53:55 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 08:53:55 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 08:53:55 elliott: You have 1 new message. '/msg lambdabot @messages' to read it. 08:53:56 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 08:53:57 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 08:53:59 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 08:54:01 elliott no 08:54:03 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 08:54:03 -OMG WTF 08:54:03 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 08:54:03 stop that 08:54:05 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 08:54:06 STOP 08:54:07 FUCK UP 08:54:07 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 08:54:09 OMF 08:54:09 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 08:54:09 OMF 08:54:11 OMFH 08:54:11 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 08:54:11 fuck up, elliott 08:54:13 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 08:54:14 OMFG 08:54:15 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 08:54:17 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 08:54:19 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 08:54:20 ELLIOT SHUT THE FUCK UP 08:54:21 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 08:54:23 -!- elliott has left. 08:54:24 SPAM 08:56:27 HOLY FUCK 08:57:47 -!- Aardwolf has joined. 08:59:32 shubshub: hi 08:59:39 hi 09:00:33 shubshub: you should try making a functional language 09:00:43 im going to 09:00:59 functional not as in "it works" 09:01:27 lol 09:01:41 as in "you process functions... take in functions, process them, make new functions" 09:01:42 i was afk 09:03:12 shubshub: remember what I told you about Monads? 09:03:18 no 09:03:35 tbh I don't understand monads yet 09:04:22 -!- nortti has joined. 09:05:16 shubshub: you should take a look at a monad tutorial 09:05:20 no 09:05:25 why not ? 09:05:30 dont want to 09:05:35 why not ? 09:06:05 monad tutorials are fun! 09:06:10 they tutorial you about monads 09:06:20 monqy: ami fun :"( 09:06:20 shhhh 09:06:32 i think shub can do it but he will be a tough nut to crack 09:06:33 shachaf: sure ! 09:06:40 monqy: ami moand tutoal 09:06:44 shubshub: see, even itidus20 believes in you! 09:06:47 shubshub: sure ! 09:06:48 er 09:06:50 shachaf: sure ! 09:06:51 i know monads are beyond me though 09:07:05 monqy: first steppe 09:07:13 but honestly. i think he can. 09:07:20 shachaf: what language do you normally program in 09:07:38 madbr: monqese 09:08:39 monqy: firstte steppe, a monad is just a monadoid in the endomonocategory of monads 09:08:57 ie monad = kitten 09:09:01 shubshub: listen to shachaf 09:09:05 shubshub: he knows monads 09:09:07 do you like kittense 09:09:32 shubshub: listem to me,i no monads good 09:09:44 maybe but they wont help me 09:09:46 monqy: secondde steppe: 09:09:56 if you break the monad laws you go to monad jail 09:10:02 no 09:10:06 shubshub: they could make you rich to be honest 09:10:23 itidus20: monadse can make you rich beyond your wildest dreames 09:10:24 * shubshub doesnt want to be rich 09:10:30 itidus20: monadse can make you poor beyond your wildest dreames 09:10:39 * shubshub doesnt want to be poor either 09:10:56 itidus20: monadse can make you foamous beyond your wildest dreames 09:11:23 ok some of the teaspoons in my house have "hospital property" engraved on them. 09:11:28 I just want to be normal 09:11:44 -!- elliott has joined. 09:11:45 what a lame want 09:11:46 hi 09:11:50 We just want you to leave. 09:11:54 elliott: get out 09:12:05 elliott: Come in! 09:12:11 shhhhhh 09:12:22 elliott: Don't listen to monqy. monqy doesn't even know monads. 09:12:25 elliott, the nhs is subsidising my teaspoons, spread the word 09:13:09 Phantom_Hoover: the plastic cup i drink from everyday is one i had in my pocket by accident after a viist to someones house 09:13:27 i can't even remember why it was in my pocket.. it wasn't a stealing attempt 09:13:29 itidus20, you have a single, plastic, cup. 09:13:49 well glasses keep breaking 09:13:54 we have plenty of mugs 09:14:12 -!- madbr has quit (Quit: Radiateur). 09:15:20 and cheap plastic thermuses are a joke 09:15:44 I Updated my !!!Batch Page with the source code of !!!Batch!Py!Batch Source Code :D (The Failed Yet Would Work Only If... !!!Batch Interpreter Written In !!!Batch) 09:18:36 shachaf: do you have ipv6? 09:18:45 elliott: On my serverthing. 09:18:54 everyone has ipv6 on their serverthing 09:19:10 Internet Protocolversion 6. 09:19:20 ipv6 is out now? :o 09:19:28 where i'm from all they've got is ipv5 09:19:30 Protocolversion is french for protocol version 09:19:43 I thought it was German. 09:19:54 TWIST: IT'S ACTUALLY CHINESE. 09:20:04 good twist 09:20:06 gasp 09:20:09 is there a 09:20:12 double twist 09:20:14 no 09:20:16 thats dna 09:20:17 please say yes I love double twists oh :( 09:20:28 o t o h 09:20:31 DOUBLE TWIST: 09:20:36 oh 09:20:37 THERE WAS NO DOUBLE TWIST 09:20:39 oh 09:20:42 Calculon is the father! 09:20:54 wow 09:21:45 do you know whats goode 09:21:46 hint: 09:21:52 itse bizarre twist 09:21:54 by paul harris 09:23:12 whats that 09:23:28 johnny b goode 09:23:51 monqy: What's southern California like? 09:24:00 I almost went there this year. 09:24:01 southern 09:24:37 it's shaped like a gerrymander 09:25:58 kmc: "You want rockstars you better be a rockstar yourself. Brogrammer startup job fairs are not going to cut it." 09:26:24 i just happened to be on the relevant wiki page 09:26:25 "The odd shapes of California Senate districts in Southern California (2008) have led to claims of gerrymandering." 09:26:41 brogrammer? 09:27:24 Brogrammers and hogrammersw 09:27:39 Brogrammers are the worst 09:28:12 All they can do is copy and paste together some jquery mvc framework and python on rails or whatever and then boast about it to their friends at the coffee shop 09:28:28 Also they make "mashups" not software 09:28:34 -!- TABS9597 has quit (Quit: AndroIRC - Android IRC Client ( http://www.androirc.com )). 09:28:58 who do they think they are meeting up with friends at coffee shops, the people from the tv show 'friends'? 09:29:49 -!- Ngevd has joined. 09:29:55 Hello! 09:33:13 hi Ngevd 09:33:43 hnevd 09:33:46 ngevd 09:33:50 nngevd 09:34:06 Hellol, shachaf! 09:34:14 Helllo 09:34:29 This channel is such a waste of time. 09:34:31 -!- shachaf has left. 09:34:39 NOLOOOOOOOOOOOOOOOOOOO 09:35:10 Quick Give me a language to create a new esoteric in 09:35:32 shubshub: malbolge 09:35:36 ok 09:36:06 oh no, shachaf :'( 09:36:37 nortti: No just no too difficult 09:37:35 Give Me Another Language to make a new esoteric in quick! 09:37:41 HQ9+ 09:37:42 shubshub: scheme 09:37:52 nice thinking sgeo! 09:38:14 itidus20, am I not allowed to have a nasty streak on occasion? 09:38:35 do we have an interpreter for it in here though? 09:38:42 Sgeo_ you cant make a new esoteric in HQ9+ 09:39:04 not that that is a requirement 09:39:34 shubshub, there's a great language called English. 09:39:45 It's a very good language to make an esoteric language with 09:39:57 Sgeo_ dry 09:40:06 * shubshub wonders If every living language is written in english? 09:40:27 http://esolangs.org/wiki/English 09:41:21 shubshub, http://esolangs.org/wiki/Gravity there is no program capable of interpreting or compiling programs written in Gravity 09:41:43 shubshub, I think the snarky thing to say about Perl is that the only spec for Perl is the implementation of Perl 09:42:22 * shubshub would have to now make a Gravity Interpreter Lol 09:43:49 shubshub, it's not possible. Well, hmm, I wonder if you could make a program to do it... but running the program would require infinite hardware 09:44:02 Or some other sort of infinity computer 09:44:27 Wait, turing-machines are infinite memory 09:44:28 Hmm 09:44:43 -!- Deewiant has joined. 09:45:57 what esoteric language is the most easiest to learn and can do alot of stuff? 09:46:03 apart from english of course\ 09:46:20 im awful at explaining it but bf is really actually quite powerful 09:46:45 itidus20, in terms of what it can compute, at least 09:47:17 shubshub: false 09:47:40 shubshub: at least if you have ever used forth 09:47:44 ^bf ,[.,]!this program prints everything after the exclamation mark... so its sort of like echo 09:47:44 this program prints everything after the exclamation mark... so its sort of like echo 09:48:02 ^bf ,[.,] 09:48:02 this program prints everything after the exclamation mark... so its sort of like echo 09:48:11 no itidus20 just no 09:48:16 lol weird 09:48:24 ^bf ,[.,]!RAwr 09:48:25 RAwr 09:48:31 ^bf ,[.,] 09:48:31 RAwr 09:48:34 wait nvm 09:48:38 shubshub, Brainfuck is capable of any computation a computer can make. 09:48:44 i dunno how it keeps that stuff in memory 09:49:03 hmm.. 09:49:07 !bf_txtgen ,[.,] 09:49:09 ​56 +++++++++[>+++++>++++++++++>+><<<<-]>-.>+.<++.--.>++.>+. [191] 09:49:17 ^bf +++++++++[>+++++>++++++++++>+><<<<-]>-.>+.<++.--.>++.>+. 09:49:17 ,[.,]. 09:49:24 ^bf +++++++++[>+++++>++++++++++>+><<<<-]>-.>+.<++.--.>++.>+.+++++++++[>+++++>++++++++++>+><<<<-]>-.>+.<++.--.>++.>+.+++++++++[>+++++>++++++++++>+><<<<-]>-.>+.<++.--.>++.>+.+++++++++[>+++++>++++++++++>+><<<<-]>-.>+.<++.--.>++.>+. 09:49:24 ,[.,].^`^#%‡‰( 09:49:41 -!- monqy has quit (Quit: hello). 09:49:50 shubshub: ok ill explain it now or try to 09:50:33 ititdus20 r u any good at programming in brainfuck??? 09:50:38 the comma means read in a character from the input.. the [ and ] sort of form a loop .. and the dot outputs a character 09:51:05 so the simplest program to use input and output would be like this 09:51:35 Whats The Most Diffcult Language To Learn Thats An EsoTeric 09:52:01 shubshub: malbolge 09:52:11 ^bf ,.!1 09:52:11 hmm.... i may have got smoething wrong there 09:52:11 1 09:52:11 ^bf ,.!a 09:52:11 a 09:52:14 nortti: I DONT WANT TO USE MALBOLGE 09:52:18 ahh there we go 09:52:25 ^bf ,. 09:52:25 r 09:52:29 ^bf ,. 09:52:29 r 09:52:30 shubshub, does BancSTAR count as esoteric? 09:52:36 idk 09:52:59 after the ! is the input into the program.. 09:53:17 so ,. just reads a single character and outputs it 09:53:29 ^bf ,.!# 09:53:29 # 09:53:35 ^bf ,.!^ 09:53:35 ^ 09:53:44 -!- CICCIORIUS has joined. 09:53:56 is BrainFuck++ anygood? 09:54:16 shubshub, this is not an esolang, but here you go http://en.wikipedia.org/wiki/BANCStar_programming_language 09:54:19 -!- CICCIORIUS has left. 09:54:30 No thanks Sgeo_ 09:54:37 I only work with esolangs 09:54:37 hi cicciorius!!! 09:54:54 shubshub, it may as well be an esolang, it's more incomprehensible than many esolangs 09:54:55 @ask elliott Do You Know any Epic EsoLangs I should Program with? 09:54:55 Consider it noted. 09:54:59 i suspect from his id he was one of the other type of esoteric 09:55:19 @clear-messages 09:55:19 Messages cleared. 09:55:29 @messages 09:55:29 You don't have any new messages. 09:55:35 @ask shubshub hi 09:55:36 You can tell yourself! 09:55:39 WHY NOT 09:55:55 There's something absurd about that exchange 09:56:03 You can tell yourself... why can't I tell myself 09:56:09 I should sleep 09:57:15 why is Java listed as a Joke Language? 09:57:37 Because a lot of people dislike it 09:57:42 lol 09:57:59 http://esolangs.org/wiki/Talk:Java 09:58:41 Zzz time 09:59:05 mugh brains looks fun 09:59:08 Is asm not meant for human use? Have I misuded it for 3 years? 09:59:15 -!- Ngevd has quit (Read error: Connection reset by peer). 10:00:23 -!- Ngevd has joined. 10:00:37 -!- nortti has quit (Quit: leaving). 10:03:05 -!- MoALTz_ has joined. 10:04:34 -!- MoALTz__ has joined. 10:05:26 -!- MoALTz has quit (Ping timeout: 252 seconds). 10:07:46 "All popular modern languages are defined via a definitional interpreter with accompanying O’Reilly “animal” book. The work on Wikiplia is unrelated: We have no animal mascot" 10:07:50 -!- MoALTz_ has quit (Ping timeout: 248 seconds). 10:09:12 -!- cheater__ has quit (Ping timeout: 246 seconds). 10:22:46 -!- cheater__ has joined. 10:24:19 I Just added capital lettering to !Py!Batch 10:24:49 -!- derdon has joined. 10:25:23 what's new 10:25:33 batch derivatives 10:25:47 fi ligatures o_Ô 10:25:59 batch derivatives and fi ligatures 10:26:27 and when you say derivatives, i assume someone made a batch manifold? 10:26:34 *you mean 10:26:42 not quite 10:27:30 manifold? 10:29:03 a manifold is a topological space where all points have a neighborhood homeomorphic to euclidean space, and these homeomorphisms are compatible so that essentially you have a "locally euclidean" space with the global structure possily being very different. 10:29:38 well I didnt do that with my Batch Derivative 10:29:40 for instance a cirle looks like the reals locally, but globally it's a bit different. 10:29:52 http://esolangs.org/wiki/!!!Batch 10:29:57 also stricly speaking you cannot make a countable manifold 10:31:12 because euclidean space, that is, R^n for R the reals and n a natural number is uncountable, so you need to have at least the cardinality of reals 10:31:41 but i figured maybe you gave a better definition that doesn't have this horrible flaw. 10:32:04 do you like my programming language? 10:32:15 THE CAPITALS 10:32:16 AAGH 10:32:19 D: 10:32:49 Lumpio-: i know a great solution to capital problems 10:32:58 gtg 10:33:12 Was Created By Shubshub To Make Programming In Batch More Challenging and to Make it seem Better as it is Theoreticly Unreadable 10:33:12 Unless you use the Translator 10:33:31 sounds even more awesome than what i suggested 10:33:40 where does it say that? 10:33:47 theory don't always match up with practice y'know 10:34:14 anyway gtg cya 10:34:20 D: 10:34:23 elliott: What's your solution 10:34:27 -!- shubshub has quit (Remote host closed the connection). 10:34:35 Lumpio-: well it starts with /ig 10:34:39 and ends with nore shubshub 10:34:43 it works great 10:34:44 when you say theoretically unreadable, i assume you mean parsing is high in the arithmetical hierarchy 10:34:52 ...I actually read that as regexp flags first 10:35:02 And was like "wait don't those go in the end" 10:35:20 what "seem" means is outside my understanding of game theory really 10:36:42 Without An Infinite Line Translator Code The Program Can Only Interpret Things On The set str= and Does not Handle set commands very well then executing another command after as It will most likely skip over that next command completely 10:37:52 http://esolangs.org/wiki/!!!Batch look how unreadable the code is?!?! that's basically UNREADABLE :D 10:38:43 *theoretically 10:39:01 -!- MoALTz__ has quit (Quit: brb). 10:39:02 *theoreticly 10:39:11 sorry im not a good typier 10:39:17 u suc 10:39:19 at typping 10:40:50 wow you're so diagonal 10:41:18 hey duddes how about this language i've been designing the last 4 months where you take brainfuck except well call it brainfuckER and you reverse all the characters, and you have to draw the program in paint? and then there's brainfuckiest where you just say beep boop in a microphone and it's interpreted as a fibonacci code word and then it's multiplied by 7 and then it's interpreted as a brainfuck program except that if you print the same thing twice 10:43:33 can you put those on the wiki 10:45:22 doesn't sound like something i'd do, but you can if you wish. how many bf derivatives are there out there? 10:47:29 over 100 10:54:48 http://www.vjn.fi/pb/p9485438415.txt do you like my new language 10:55:12 more than life itself 10:55:17 can you put it on the wiki 10:55:26 just like that 10:55:28 copy and paste 10:55:33 nope, i have bigger plans 10:55:33 well 10:55:43 can't you do these complicated things for me :D 10:55:56 http://esolangs.org/w/index.php?title=Most_ever_Brainfuckiest_Fuck_you_Brain_fucker_Fuck&action=edit&redlink=1 10:56:01 there that's like 90% of the effort done 10:56:21 oklopol: did u see my brainfuck derivative 10:56:26 http://esolangs.org/wiki/Not_a_brainfuck_derivative 10:56:33 done 10:56:39 its not as good as most ever brainfuckiest fuck you brain fucker fuck :( 10:57:21 almost left my nick out, but it's there now. 10:57:42 oklopol: it's in the revision history anyway 10:58:03 but it needs to be explicit so people know the great work i do. 10:58:13 fighting the temptation to put {{featured language}} on that 10:58:18 :D 10:58:42 note that i have no idea if that's brainfuck complete :D 10:58:53 go fucking yourself is definitely braincufk copmpetle 10:58:58 *typos 10:59:05 *words 10:59:07 it's an important open question 10:59:33 oh 10:59:35 you solved it already 10:59:40 holy fuck you're intelligent 11:04:13 -!- Ngevd has quit (Read error: Connection reset by peer). 11:04:38 -!- Ngevd has joined. 11:15:07 i think i have to get my colleague in on my next brainfuck project 11:18:33 it will be turing complete iff riemann's hypothesis is true XOR p != np. 11:18:51 there's already a language whose tcness is predicated on goldbach's conjceture fwiw 11:18:57 -!- Ngevd has quit (Quit: Goodbye). 11:19:05 (cpressey's Oozlybub and Murphy) 11:20:02 i didn't know that. in any case, that's not the only point. 11:20:11 that's why i said fwiw 11:22:14 that actually looks kind of interesting (at least its introduction) 11:23:11 it's a cpressey lang of course it's interesting 11:23:31 he and ais523 and oerjan are the only people who should be allowed to make esolangs 11:23:33 ok tswett too for /// 11:23:42 perhaps i will just make it trivially tc, but base the solution on obscure theorems no one knows. 11:24:02 hey, clue is pretty awesome. 11:24:20 ok sure, keymaker too 11:24:25 yeah 11:24:35 SEE WHAT I DID THERE???!?!?!?!?!?!???!?!?!?!?!?!??!??!?!?!?!??!??!?!?!??!?!?!??!!?!?!?!?!?!?!??!?!?! 11:24:45 yes, that was my plan 11:25:09 * elliott "unwitting porn" 11:25:10 *pawn 11:25:15 mwahaha. 11:25:40 i'm watching numb3rs for inspiration 11:26:37 `quote numb3rs 11:26:40 766) speaking of math, i watched an episode of numb3rs today the first episode was more like 57471571c5 11:26:50 `qc 11:26:53 850 quotes 11:26:55 `quote 849 11:26:58 849) 99 bugs in the bug tracker, 99 reports of bugs. Take one down and commit a fix, 106 bugs in the bug tracker. 11:26:59 `quote 850 11:27:18 850) STOP CAPITALIZING It's making me feel weird the I has to be capitilized its proper grammer 11:27:26 hehe, that's an awesome quote 11:27:33 which one 11:27:40 ion's 11:27:43 all of mine are awesome 11:27:49 he claims he stole it 11:27:51 i don't believe him though 11:28:04 I was just paraphrasing someone on Slashdot (who probably was paraphrasing someone else). 11:28:05 everytime i see one of my old quotes i'm like lol that guy is hilllarrious 11:28:14 oh well 11:28:55 that one isn't exactly old :P 11:29:09 feels like forever, i've continued watching. 11:29:30 `pastequotes oklopol 11:29:34 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.10757 11:29:56 "37) i'm my dad's unborn sister" i agree with you on this one ofc 11:30:19 i think i ended up deleting none of those 11:30:22 "slave 2 the oklopol" 11:30:57 "153) pigeons are very smart. all the known ways to show a language is not regular are based on pigeons." 11:31:50 oklopol: whats youre opinion on how the quotes should be identified 11:31:57 there is widespread dissent against the "changing numbers" system 11:32:30 the most promising options seem to be (a) unchanging numbers like they used to be (but this is kinda ugly) (b) a prefix of some cryptographic hash of the quote contents (c) just identify it by the quote itself (so you delete it by pasting the quote in) (d) timestamp 11:33:32 "312) [After a long monologue] i think i have to escape this heated discussion before it becomes a flamewar" classic oklopol 11:33:38 oklopol: remember famous bisexuals 11:33:40 hackego does 11:34:24 537) i started running and smoking i love my lungs the way they are so trying to balance them out 11:35:00 do i really need to have an opinion on that? well i certainly think you should be able to refer to a quote. 11:35:36 yes it's mandatory for you to have an opinion on that 11:36:21 841) gah this language is of the devil oklopol: you're meant to use your powers for _good_t 11:36:23 8 11:36:24 *-t 11:36:25 *-8 11:36:32 i've forgotten that language already, thank god 11:37:18 443) well you know because i could've used my "wtf, you have multiple identity elements smiley" o=oO=O yeah, i have a smiley for everything. 11:37:34 i like how the quote is misplaced 11:37:46 ? 11:37:55 should be 11:37:57 elements" smiley 11:38:09 "451) you know that thing in the movies where they put a pillow on someone's face and try to suffocate them that doesn't work. we tried that with my ex once, but we just couldn't kill each other that way" :SADSADD 11:40:04 Here's a fun conundrum: 11:40:40 My unionfs thing is based on the environment with which a process looking at the union was called. Which is all fine and good, I just need to get that info out of /proc/foo/environ 11:40:57 HOWEVER, if that process is in the middle of an execve, guess what /proc/foo/environ does! 11:41:17 If you guessed "it's empty", YOU'RE WRONG! It blocks until execve is finished! 11:41:43 And what if, ohhh, execve was waiting on some FS functions, which are themselves waiting on /proc/foo/environ? 11:41:46 Hahahaah *kills self* 11:42:28 Gregor: are you implementing all the features i asked for 11:42:36 Probably not! 11:42:46 Gregor: do you have to go through /proc surely the kernel has interfaces for this 11:43:02 Yes, the kernel does have interfaces for this. They're called /proc. 11:43:14 i mean 11:43:14 like 11:43:15 internal 11:43:16 calls 11:43:18 you can make 11:43:28 Yes, they go like this: 11:43:35 open("/proc/whatever/environ", O_RDONLY) 11:43:37 read(...) 11:43:41 anyway check whether the process is currently execveing? can you do tha 11:43:42 t 11:44:14 Maybe? But even if I do, then what? I still need the environment. 11:44:41 Gregor: Cache it? 11:45:06 Gregor: And always read environ right after execve (so that if the first thing a process does is execve, you still know what its environ was). 11:45:15 Cache it from where? I need the environment that was /passed/ to execve. 11:45:25 Which may not be the environment of the caller. 11:45:27 Cache it from previous requests. 11:45:34 Also, eeeh, are you sure 11:45:35 ? 11:45:38 look at you two being famous bisexuals together 11:45:46 I'd expect it to use the original environ to resolve the request for the executable. 11:45:52 Hmmm 11:45:56 But you could override execve somehow. 11:45:56 Fair enough. 11:46:03 So then it's just a trick of figuring out if I'm in execve. 11:46:14 Gregor: Consider running /secret/highlyprivate/motherfuck/executables/viruspoop.exe in a restricted environment. 11:46:30 With your design, there'd be no way to run an executable in a heavily restricted environment. 11:46:38 (Without specifically moving it somewhere to give it access to itself.) 11:46:53 Also, it'd mean that you could pass exec a path that doesn't exist (from your perspective) and have things work, which is just weird. 11:47:14 Gregor: HOWEVER make sure /proc/self/exe doesn't break if you use the parent's environment. 11:47:19 You might have to re-link it somehow. 11:47:38 -!- Ngevd has joined. 11:47:44 Hello! 11:47:45 (Obviously it's fine for it to stay broken if you specifically run it in a union without access to itself, though.) 11:48:30 hi Ngevd! 11:48:52 did you see my new brainfuck derivative? it's almost as good as the original. 11:49:19 I did not! 11:49:23 almost 11:49:44 really the connection is quite subtle 11:49:59 elliott: The call related to execing can be the very first call the unionfs sees :'( 11:50:04 the language was inspired by the seminal work of shubshub 11:50:19 Ngevd: http://esolangs.org/wiki/Most_ever_Brainfuckiest_Fuck_you_Brain_fucker_Fuck 11:50:28 Gregor: As I said: 11:50:32 Wooow 11:50:32 Gregor: 12:45 Gregor: And always read environ right after execve (so that if the first thing a process does is execve, you still know what its environ was). 11:50:49 elliott: Dude, I'm a filesystem. 11:50:58 Gregor: So? You're in kernelspace. 11:51:02 Can't you register that kind of shit? 11:51:17 No, I'm still FUSE. And even if I was in kernelspace, is it really appropriate to instrument every program >_< 11:51:29 Ngevd: elliott proved it's in fact _not_ brainfuck complete 11:51:48 Gregor: Oh, FUSE? Well, fuck that. 11:51:52 Gregor: Get into kernelspace, man. 11:51:56 You can do things like instrument every program. 11:51:57 Although maybe this is the most compelling argument yet that I need to stop being FUSE X-D 11:51:58 Wow! 11:52:17 Gregor: If you specifically overrode execve, you could avoid the overhead of open/read after every execve. 11:52:27 Since it gets pretty convenient access to the environment execve is passed :P 11:52:32 interestingly, the proof does not use standard recursion theoretic methods, but instead notes that fucking yourself is a bounded time process because nerds come really fast. 11:52:35 Gregor: ALTERNATIVELY, you could use something that isn't the environment. 11:52:36 elliott: Indeeeeed 11:52:46 elliott: Such as? 11:53:20 Gregor: Hell if I know. How about getting into kernelspace (see a pattern here?) and adding your own execve-like syscall (or flag to an existing syscall) that contains the path to use? 11:53:42 So that you only have overhead when the capabilities are being explicitly invoked, and always have direct access to the path. 11:54:24 execve is, roughly, the least interesting problem here >_> 11:57:12 -!- Taneb has joined. 11:58:50 -!- Ngevd has quit (Disconnected by services). 11:59:03 -!- Taneb has changed nick to Ngevd. 12:11:58 -!- Ngevd has quit (Quit: lunch). 12:23:23 -!- elliott has changed nick to asdfelliott. 12:23:59 * absentswett looks at Oozlybub and Murphy. 12:24:01 * absentswett shrugs. 12:25:16 not absent enough 12:25:33 Well, you're not asdf enough. 12:25:40 And you never can be, because asdfness doesn't exist. 12:25:46 oh 12:25:49 crei 12:25:56 creibrodos 12:32:26 Never mind. Saying "creibrodos" makes you asdf. 12:34:15 awesome 12:34:25 oh it's *briados 12:39:27 -!- asdfelliott has changed nick to elliott. 12:39:29 absentswett: i lost my asdf 12:41:35 Cheibriados? 12:41:57 * ion checks whether he remembered it correctly… apparently yes. 12:42:14 Known as Chei by friends. 12:44:50 monqy laughs at chei so i laugh at chei too 12:44:52 "soldairtty" 12:45:26 -!- MoALTz has joined. 12:48:47 monqy plotted an assassination of the president so i plotted an assassination of the president too. 12:49:15 "soldairtty" 12:59:13 ion: THEY INVENTED BERATEAHBLE AIR 13:03:12 You answered this question within like 3 mins of asking which may as well be the time taken to type it. I saw it and was like "hey a Haskell question that I can answer and to which no one has answered yet, bring the rep train", and I go typing the answer when a new answer appears from an 20k rep guy telling just what I was about to say. You, experts, should really leave some questions alone for guys like us... :) – CodingTales 58 mi 13:03:12 ns ago 13:05:29 heh 13:05:50 Who implemented ＢＥＲＡＴＥＡＨＢＬＥ air? 13:06:09 Elephant 13:14:50 -!- nortti has joined. 13:17:20 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 13:33:09 -!- azaq23 has joined. 13:33:09 -!- azaq23 has quit (Changing host). 13:33:10 -!- azaq23 has joined. 13:58:14 -!- TeruFSX has joined. 14:00:04 -!- sebbu2 has joined. 14:00:04 -!- sebbu2 has quit (Changing host). 14:00:04 -!- sebbu2 has joined. 14:00:33 -!- sebbu has quit (Ping timeout: 246 seconds). 14:04:54 -!- Ngevd has joined. 14:04:57 Hello 14:05:10 hevd 14:05:10 hi 14:11:25 -!- derdon has quit (Remote host closed the connection). 14:17:08 "@CodingTales: The '20k brigade' tends to give rather succinct answers" 14:17:11 the 14:17:12 20k brigade 14:17:31 "Also, you can set up email notifications for the haskell tag, and I'm sure having well-written explanations of the difference between IO a and a, the layout rule, and the monomorphism restriction at hand in a text file will help you beat them to the punch one day :-)" 14:17:36 oh my god 14:17:37 guys 14:17:44 i've only been doing this for 4 months 14:17:54 im not 14:17:55 brigade 14:18:05 ion: help 14:18:26 elliott: welcome to brigade 14:18:31 :( 14:19:51 * ion helps 14:20:03 thx 14:20:11 im wondering whether to reply to 14:20:17 those two comments or whether to just stay silent 14:20:19 and feed 14:20:21 the conspiracy 14:20:57 Feeding conspiracies is always good. 14:21:23 http://stackoverflow.com/questions/9050725/call-cc-implementation/9050907#9050907 <-- the 20k brigade tends to give rather succinct answers 14:21:27 good thing i wrote that before i had 20k 14:29:22 http://sourceware.org/bugzilla/show_bug.cgi?id=4943 what a bug report 14:36:29 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 14:42:31 "Our problem is that those reports are being used by investment houses to make decisions sometimes worth billions, and we just cannot have those decisions made against wrong numbers." 14:46:41 Yep, it's pretty sad 14:47:50 I've heard anecdotes about how you can't use fixed point even if you wanted to, because everybody expects the floating point level of accuracy... 14:50:17 -!- Ngevd has quit (Ping timeout: 244 seconds). 14:51:58 -!- Ngevd has joined. 14:54:06 -!- Phantom_Hoover has joined. 14:54:43 The 20k bridge. 15:01:42 fizzie: It's made of fire. 15:05:53 [[It is currently permitted to define non-strictly-positive datatypes, such as 15:05:53 data Bad = bad {Bad -> Bad} but don’t bet on that staying alive!]] 15:05:59 Who would have guessed the owner of strictlypositive.org doesn't like those? 15:07:20 "Last edited by GregorR, in a few seconds" 15:07:21 >_O 15:07:54 Gregor: That's what you get when using FeatherWiki. 15:08:11 It's also what you get when using GitHub's wiki, apparently. 15:08:27 Gregor: What do you think that's coded in? 15:08:34 D-8 15:11:02 Gregor: Do you have an opinion on the quote identifier issue? 15:12:33 " is the best identifier. 15:13:27 Gregor: Thanks, I think. 15:14:16 "There is currently one built-in signature, declared as if 15:14:16 sig Console = ouch Char | inch [] Char" 15:14:25 We really must do something about McBride's naming. 15:36:20 -!- Ngevd has changed nick to Taneb. 15:38:42 more like Taneb 15:39:04 Everything needs to be more like Taneb 15:39:12 Except for Taneb 15:39:23 And that person on TVTropes called Tanebi 15:40:55 -!- Taneb has quit (Quit: Goodbye). 16:11:42 -!- asiekierka has quit (Quit: Wychodzi). 16:11:53 -!- asiekierka has joined. 16:33:26 -!- thomas____ has joined. 16:33:55 motd 16:36:39 -!- thomas____ has left. 16:37:15 motd 16:37:24 -!- elliott has set topic: motd | http://codu.org/logs/_esoteric/. 16:56:34 "I'm not too surprised the two languages are basically neck-and-neck here (a 10% difference is not noteworthy). Using C as a performance benchmark, Haskell loses some performance for its lazy functional nature, while Python loses some performance due to being an interpreted language. A decent match." 16:56:50 lmao @ python users thinking that haskell has anything close to cpython's overhead 16:57:30 Gregor: Do you know what happened when user put sleep(1) in the middle of their tight loop? 16:57:40 Gregor: There was no statistically significant change in execution time. 16:57:50 *when a Python user 16:57:54 SO FUCKED THAT UP 17:00:21 "Python is really optimized for this sort of thing. I suspect that Haskell isn't." YEAH PYTHON IS REALLY OPTIMISED FOR READING A FILE OF NUMERIC DATA AND QUICKSORTING IT 17:00:33 HASKELL IS OPTIMISED SOLELY FOR OPERATING WITH 17:00:34 PURE 17:00:35 RAW 17:00:36 FUNCTIONS 17:00:39 That's why it's a functional language. 17:01:03 (More like pure "boring"ctional, right?) 17:01:08 This is so boring without shachaf. 17:01:10 -!- elliott has left. 17:08:49 -!- elliott has joined. 17:08:54 MY THEFT IS NON-OPTIONAL!!! 17:17:52 elliott: where did you find that python vs haskell thingy? 17:18:14 Stupid answers to http://stackoverflow.com/questions/10357663/python-faster-than-compiled-haskell. 17:39:55 * elliott wrote a Frank program. 17:40:07 It's great! 17:56:05 -!- ais523 has joined. 17:56:58 “Python is really optimized for this sort of thing. I suspect that Haskell isn't.” 18:01:14 ion: what sort of thing? 18:02:41 ion: I just quoted that! 18:11:20 Ah, sorry, i only looked at the lines from the last ~hour. 18:13:42 "just" is certainly within the last hour ... 18:15:49 My "just" never ends. 18:16:11 Gregor: Don't you wish your compiler gave errors like these? 18:16:13 Line ([PN "test"],RA [RN "throw",RN "inch",RBang]) (Raw () (RA [RN "throw",RN "inch",RBang]) (UnifyVFail {[Console, Throws Char, ] Char} Char)) 18:16:24 This one's better though: 18:16:25 Line ([PN "main"],RQ (RA [RN "catch",RTh [([PN "a"],RA [RN "outch",RCh '!',RN ">>",RN "a"])]]) (RA [RN "throw",RCh 'a',RN ">>",RCh 'x'])) (Raw Char (RQ (RA [RN "catch",RTh [([PN "a"],RA [RN "outch",RCh '!',RN ">>",RN "a"])]]) (RA [RN "throw",RCh 'a',RN ">>",RCh 'x'])) (Raw {?0 -> [] ?1} (RTh [([PN "a"],RA [RN "outch",RCh '!',RN ">>",RN "a"])]) (Raw ?1 (RA [RN "outch",RCh '!',RN ">>",RN "a"]) (Cockup "oops")))) 18:16:32 Cockup "oops" indeed. 18:19:05 lol 18:19:16 Wow, '(Cockup "oops")' 18:19:20 That's amazing. 18:21:41 -!- TeruFSX has quit (Read error: Connection reset by peer). 18:22:13 -!- TeruFSX has joined. 18:26:47 @tell oerjan Hey, remind me to update that answer again. 18:26:47 Consider it noted. 18:28:53 -!- TeruFSX has quit (Ping timeout: 260 seconds). 18:39:15 -!- monqy has joined. 19:05:23 http://hackage.haskell.org/package/hs2bf 19:05:26 I found an interesting little thing. 19:06:16 I found that a while ago too. 19:06:18 It's pretty impressive. 19:06:24 It's... not Haskell, though. 19:06:27 -!- derdon has joined. 19:06:44 What's the problem? 19:06:53 Well, it's just plain not. :p 19:07:03 It's a restricted language that vaguely resembles Haskell. 19:07:09 Ah. 19:07:11 (Okay, it might be an actual subset.) 19:18:48 -!- asiekierka has quit (Remote host closed the connection). 19:21:32 -!- MoALTz_ has joined. 19:24:36 -!- MoALTz has quit (Ping timeout: 250 seconds). 19:27:03 -!- MoALTz__ has joined. 19:29:51 -!- MoALTz_ has quit (Ping timeout: 252 seconds). 19:36:26 -!- old has joined. 19:41:13 -!- old has quit (Ping timeout: 260 seconds). 19:43:51 hi old 19:49:45 -!- KingOfKarlsruhe has joined. 19:50:49 -!- MoALTz has joined. 19:53:37 -!- MoALTz__ has quit (Ping timeout: 250 seconds). 20:03:49 -!- pikhq has joined. 20:05:56 -!- Ulfalizer has joined. 20:06:20 -!- pikhq_ has quit (Read error: Operation timed out). 20:15:37 -!- Ngevd has joined. 20:15:45 Hello 20:19:53 Hi 20:21:24 -!- zzo38 has joined. 20:25:11 hi 20:25:14 `welcome Ulfalizer 20:25:18 Ulfalizer: 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:25:43 thanks :) 20:29:15 -!- derdon has quit (Remote host closed the connection). 20:42:33 -!- sebbu2 has changed nick to sebbu. 20:58:38 -!- shubshub has joined. 20:58:55 -!- shubshub has left. 21:00:24 What is called if you have a functor which is bijective on objects but not necessarily bijective on morphisms? 21:01:11 fred 21:01:26 Yeah, definately fred 21:02:00 Fred? 21:02:08 Yes. 21:02:42 fred 21:02:42 monqy: You have 3 new messages. '/msg lambdabot @messages' to read them. 21:02:45 oh dear 21:03:03 hi monqy!!!! 21:03:06 uh 21:03:07 that's just 21:03:08 a normal hi 21:03:08 elliott: sebi is an infamous startscummer 21:03:15 :( 21:03:17 bad sebi 21:03:18 do they feel bad 21:03:29 iirc sebi likes startscumming 21:03:29 has anyone messaged them "hi" 21:03:35 that doesn't matter!! 21:03:40 they need to be "hi"d all the same 21:03:45 if i see sebi i'll hi them 21:03:48 thx 21:03:51 oh sebi's on right now 21:04:22 sebi 21:04:23 Legendary start scummer who has dethroned Meow in terms of quitting|leaving. Personally responsible for over half of all games ended by leaving the dungeon. 21:04:23 Responsible for 7.33% of all online Crawl games. 21:04:24 Responsible for 48.56% of all wanderers played online. 21:04:26 wow sebi wow 21:04:27 Your messages: 21:04:27 _Squarelos: hi 21:04:27 _Enter note: hi 21:04:31 :D 21:04:40 i guess that settles it 21:04:43 oh wow they use bigterm too 21:04:47 yeah 21:04:48 sebi "satan for our times" 21:04:52 hugeterm, as they call it 21:05:01 whats difference 21:05:07 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 12.0/20120420145725]). 21:05:09 hugeterm has huge in it, rather than big 21:05:12 oh 21:05:13 now i see 21:05:20 at first i thought that everyone playing crawl must use a big terminal 21:05:21 because 21:05:24 the viewport is so small 21:05:25 Startscumming occurs in Crawl? 21:05:46 How big is the variation in starting equipment? 21:05:46 Sgeo_: stats used to be startscummable, wanderers and entry vaults are still startscummable 21:05:51 monqy: you can't "hi" this guy properly because he isn't startscumming right now :( 21:05:55 :( 21:06:01 you could hi him 21:06:02 every single game 21:06:04 while scumming 21:06:06 "the ultimate weapon" 21:06:09 (how are stats not startscummable now? not random?) 21:06:37 Sgeo_: even the most respectable crawl players will quit on some of the really stupid entry vaults, like there's one that makes you hack through a bunch of plants at the start 21:06:56 entry vaults? 21:07:00 monqy: that's easy 21:07:03 They're vaults? 21:07:03 you just berk them 21:07:06 i've done it it works 21:07:09 well 21:07:10 not the entry 21:07:12 but berking plants in general 21:07:18 Sgeo_: what 21:07:23 Sgeo_: vault is a technical term in crawl 21:07:27 monqy: Sgeo_ doesn't play crawl he just 21:07:28 talks about it 21:07:32 oh 21:07:37 elliott, I play Crawl... just not very much 21:07:46 i havent seen any evidence yet!!!! 21:07:50 and you're bad at it 21:08:02 monqy, not denying that 21:08:18 sgeo you haven't played online in a year 21:08:20 monqy: calling sgeo bad is an insult to my badness 21:08:23 uhhh 21:08:27 monqy, which server? 21:08:29 do i get to say that now that i've survived lots of turns 21:08:33 oh 21:08:34 i mean 21:08:35 *40k 21:08:37 (i wasn't sure) 21:08:37 your high score was a year ago 21:08:38 (how many turns) 21:08:41 I forgot i did !hs not !lg 21:08:47 elliott: your hs is better than sgeo's hs 21:09:01 22:08 !hs elliott 21:09:01 22:08 92. elliott the Impaler (L15 DsAK), worshipper of Lugonu, blasted by Aizul (poison arrow) on D:17 on 2012-04-26, with 84580 points after 43254 turns and 3:34:58. 21:09:01 22:08 !hs sgeo 21:09:03 22:08 32. Sgeo the Cutter (L8 SpAs), worshipper of Kikubaaqudgha, shot by a centaur (runed arrow) on D:6 on 2011-03-26, with 1131 points after 8739 turns and 1:24:53. 21:09:08 wow sgeo please tell me you haven't taken any advice ever 21:09:24 -!- shubshub has joined. 21:09:26 I think my first encounter with sgeo was helping him with a mfie 21:09:32 hi 21:09:33 this was before I joined #esoteric 21:09:39 whats mfie im so bad at the shorthands 21:09:45 merfolk ice elementalist 21:10:00 (also what's as) 21:10:29 ...my HS isn't my TrBe? 21:10:34 assassin 21:10:43 I don't recall playing a SpAs 21:10:47 22:10 !hs sebi 21:10:48 22:10 45742. Sebi the Sorcerer (L22 DEWn), worshipper of Sif Muna, shot by a deep elf master archer (arrow of frost) on Elf:5 (elf hall gauntlet narrow) on 2011-01-25, with 345859 points after 132579 turns and 38:02:00. 21:10:49 is that 21:10:50 38 hours 21:10:53 yes 21:10:56 wait 132.5k TURNS?? 21:10:59 -!- Ngevd has quit (Quit: Goodbye). 21:11:01 that's 21:11:02 many turns 21:11:06 -!- shubshub has quit (Client Quit). 21:11:08 isn't that like 21:11:12 way more than most ascensions 21:11:13 132579 turns isn't really a lot. 21:11:15 oh 21:11:17 oh wait 21:11:20 i think i saw another digit there 21:11:22 where there wasn't one 21:11:23 it's bad if you're aiming for turncount but 21:11:25 or alternatively 21:11:30 missed a digit in ascension turn counts 21:11:39 lots of people ascend in that timeframe and i guess it's decent if you don't care about turncount 21:12:21 hmm, that means i was like 29% towards ascending 21:12:27 "theoretically" 21:12:31 what gets you shamed is if your turncount exceeds 200000 (the bots will give you a special pseudotitle "Farming") 21:12:40 o.O 21:12:52 132.5k turns is approximately one turn per second average over 38h 21:13:00 Is any farming possible in Crawl? 21:13:03 most turns take less than a second 21:13:06 Sgeo_: there are infinite branches 21:13:15 Ah, right 21:13:22 -!- nortti has quit (Quit: leaving). 21:13:22 Sgeo_: and some other ways of farming too, most of which have been tamed a bit 21:13:27 oh no not infinite branches 21:13:30 those make me feel uneasy 21:13:34 im not kidding 21:13:35 its wrong 21:13:38 yeah :( 21:13:39 my roguelike wouldn't have those 21:13:41 elliott, not infinite number of branches. Branches that are infinity size. 21:13:43 I think 21:13:44 i know that 21:13:44 it's just 21:13:51 geometrically it upsets me 21:13:56 Sgeo_: also some other ridiculous ways of farming but all of them that i can think of got fixed :( 21:14:03 especially if they don't remember so that you can go 21:14:03 >< 21:14:05 and see something different 21:14:08 elliott, don't ever try the maze in worlds.com 21:14:10 that's existential horror 21:14:20 im not kidding that makes me really uneasy 21:14:31 that's why ADOM made me sad :( 21:14:51 Sgeo_: like i made up one where you could get infinite powerful allies by way of polymorphing a powerful unique into a jelly, splitting it, repolying into something cool, and permataming (permataming was removed) 21:14:53 I think Worlds is the only 3d space I know of offhand where good nonsensical mazes are possible 21:15:15 monqy: it doesn't count until it involves puddings 21:15:15 elliott: Going up and down stairs to see something different is only in the infinite dungeon (and in areas with multiple staircases), in ADOM. 21:15:38 monqy: also do you really need the Farmer title punishment; the farming I know is generally considered to constitute its own punishment 21:15:43 Sgeo_: and someone else found one where if you took uniques with you out of the abyss so they used it with a unique that stole your items to clone items 21:15:50 i would 21:15:51 quote the quote 21:15:56 but i suspect you've heard it 21:16:00 yeah 21:16:06 "if you took uniques with you out of the abyss" what 21:16:11 You forgot part of something 21:16:18 What quote? 21:16:38 put unique in abyss, find unique, find exit, get unique next to you, exit abyss, unique follows you but also stays in abyss 21:16:41 but then it was fixed 21:16:50 Sgeo_: "The DevTeam has arranged an automatic and savage punishment for pudding farming. It's called pudding farming." 21:16:55 Ah 21:17:21 actually, it's better with the line before it on the wiki page 21:17:26 I think you shouldn't be allowed to duplicate uniques using any methods whatsoever. They have to make it so that all such things fail regardless of what tries to trigger it 21:17:27 "At 16 October 2006, the Shrewd Dude posted a guide, How to Raise the Perfect Pudding. In 13 years, players have invented many strategies for more effective pudding farms, but they have also become bored. Jove stated in reply, "The DevTeam has arranged an automatic and savage punishment for pudding farming. It's called pudding farming."" 21:17:27 most farming in crawl is either (a) performed by people who don't know that it's not worth it (b) people who like doing ridiculous farming and exploits 21:17:35 "but they have also become bored" :') 21:18:37 oh right there was another farming style I co-discovered where for a brief period if you used sticks to snakes and polymorphed the snakes you would get permaallies 21:19:09 how do you "co-discover" things like that 21:19:12 seems like a one-step process to me 21:20:09 I discovered the snakes being nonsummons and someone else went from that and discovered that polymorphing them made them not disappear 21:20:23 you could also get food from arrows by killing your snakes 21:21:11 I don't think there's any equivalent of pudding farming in crawl 21:21:16 did sebi die 21:21:23 dunno 21:21:29 rip 21:21:36 isn't kilobyte a dev 21:21:41 yes 21:21:51 but they're using a bigterm :( i don't understand anything any more 21:22:26 kilobyte is well-known for hugeterm, hating square los, and being disconnected from reality 21:22:51 wow thy're bad 21:22:53 *they're 21:23:05 why would anyone hate squarelos actually i can think of one (1) reason 21:23:43 reason 1 out of 1: it's a bit uglier highlighted-squares-wise than a circle 21:24:01 lots of squarelos hate is either "aesthetics" or "realism" but imo squarelos is aesthetically better and "realism" doesn't count (alternatively, squarelos is more realistic) 21:24:17 lots/most/all? 21:24:34 i guess there are some gameplay arguments but they're all dumb and squarelos is much better gameplaywise 21:24:47 i cant actually tell which is more realistic bceause 21:24:52 in the real world people dont have 3d eyes 21:24:55 which is more realistic help 21:26:20 in crawl the geometry is more chebyshev than euclidean, so if you want a circle it should be a square 21:26:45 i dont really 21:26:48 s/ $// 21:26:52 understand crawl's geometry 21:26:55 it's 21:26:57 inconsistent 21:26:59 vagrant has a consistent geometry 21:27:26 it's manhattan where you can jump diagonally (because you have diagonal rockets on your shoes) 21:27:41 (also so does everyone else) 21:28:00 except the diagonal rockets just fly up, and then go and to end up diagonally 21:28:03 like movement and everything uses chebyshev distance but things like los and targeting etc try to be euclidean 21:28:03 you just don't see it 21:28:09 (is this allowed) 21:28:14 squarelos is still inconsistent but imo it's a better compromise than the status quo 21:28:35 manhattan with diagonal rockets??? 21:28:41 yes 21:28:55 monqy: i don't quite see how movement could use euclidean 21:28:58 so effectively movement uses chebyshev distance but everything else is manhattan? 21:29:06 elliott: there have been attempts to emulate it 21:29:15 elliott: like making diagonal moves cost more 21:29:26 wh 21:29:30 of course that wouldn't actually make it euclidean but 21:29:31 since when do diagonals cost more in euclidean space 21:29:42 because you're moving more distance 21:29:50 since you're on a square grid 21:30:05 i really hate the idea of making diagonal moves cost more 21:30:08 that's uhhhh 21:30:16 i don't really understand how that's euclidean at all 21:30:18 is it like 21:30:22 implying walls around each tile somehow 21:30:23 it's pretend-euclidean 21:30:26 that you can open 21:30:35 so you have to go south-west or whatever to go sw 21:30:43 no it's not 21:30:45 then 21:30:46 2 turns per diagonal move it 21:30:47 s 21:30:49 uhh 21:30:51 yeah but i mean 21:30:52 i forget the number 21:30:53 how does that make it more euclidean at all 21:31:02 i seriously don't understand in the slightest 21:32:39 because then if you moved the same euclidean distance in any direction the times would be more uniform than with like chebyshevstyle where you can move euclidean distances faster going diagonally 21:33:06 oh right there was a ridiculous argument about how moving diagonally is "optimal" and you might as well "rip out" your orthogonal movement keys 21:33:11 (by kilobyte iirc) 21:33:31 i dont understand has 21:33:34 kilobyte seen a corridor 21:33:45 also 21:33:50 tell me about hexcrawl 21:33:58 crawl on a hex grid 21:34:03 i knew that much 21:34:07 i've never played it 21:34:15 does it still exist 21:34:17 where can i get it 21:34:18 google is useless 21:34:23 is it terminal-based 21:34:27 is it as amazing as i imagine 21:34:38 i think i saw a screenshot of it once 21:34:54 if my memory serves me, it was terminalbased with lots of spacing between tiles to get the hex effect 21:35:47 oh hey 21:35:49 where do i get it 21:35:51 http://gitorious.org/crawl/crawl/commits/hexcrawl 21:35:53 i think that's it 21:36:01 thank you 21:36:09 btw sigh ais523 21:36:17 ?? 21:36:26 monqy: ais523 is the reason crawl stuff is on gitorius 21:36:28 elliott: what are you sighing at? 21:36:29 i don't like gitorius 21:36:34 it's a pain to use 21:36:35 thus my sigh 21:36:40 elliott: you can't possibly dislike it more than I dislike github 21:36:50 yes, but i don't care how much you dislike the site crawl's code is on 21:37:34 I don't really care about crawl code site oh wait there is something that really bothers me about gitorious but i forget what it is 21:39:09 how do you compile crawl 21:39:47 ah cd source && make 21:40:01 I will play Dungeons&Dragons game soon I have to best some demon (or maybe they are human; I am unsure); I have some idea, but the floor is not slanted and our party seem not sufficient, and this castle is near nowhere... I do have a few other ideas though 21:40:39 you might have to do git submodule update --init i forget if tthat's required for the first time you build it 21:40:56 monqy: you do that if you're compiling on Windows or some other system that doesn't have the dependencies 21:41:00 aha 21:41:03 it goes and downloads the depenencies for you 21:41:04 it's in the guide so 21:41:13 (the compile guide) 21:41:22 well this is an ancient branch so 21:42:03 monqy: what los does hexcrawl have 21:42:04 is it hex 21:42:07 probably 21:42:34 -!- Ngevd has joined. 21:42:35 "elliott since when do diagonals cost more in euclidean space" ? 21:42:36 Hello! 21:42:50 -!- shubshub has joined. 21:42:53 oklopol: ask monqy i still don't understand 21:42:55 Hey :D 21:43:35 like i think the idea is that say you have a grid like 21:43:36 .. 21:43:38 . 21:43:41 and you're on the bolded dot 21:43:57 and you can move up or up-right 21:44:12 both of those tiles have a chebyshev distance of 1 from you 21:44:27 but the up upright tile has a longer euclidean distance than the up tile does 21:44:33 "monqy I think my first encounter with sgeo was helping him with a mfie" i read "with his wife" and o_O 21:45:01 monqy: it does? 21:45:23 imagine those points form a right triangle 21:45:32 oh right 21:45:36 meh, that's ugly 21:45:39 yeah 21:45:40 i mean, about euclidean distance 21:45:42 that's so unintuitive 21:45:46 they should fix that 21:46:28 Is the universe euclidean? 21:46:32 i think taking longer to diagonal is implemented but you have to enable it explicitly with some odd compiletime flag 22:27:30 hi 22:27:37 hi 22:27:38 hi 22:27:44 no!!! 22:27:45 oops what have i done 22:27:48 don't make hi a thing again 22:27:48 what have 22:27:49 we done 22:27:50 monqy: it's ok 22:27:52 it was Ngevd 22:27:57 remember that time when we all changed our names to monqy and said hi 22:27:58 you & i were just regular hiing 22:28:03 yes that was 22:28:05 a low point in history for us 22:28:06 Sorry 22:28:09 though we did not realise it at the time 22:28:17 I will now go away in shame 22:28:21 Ngevd: it's ok just realise that monqy is going to take some time to be over the shadow of the hi misuse he has suffered 22:28:23 no it's okay 22:28:26 it's not your fault we all suffered 22:33:33 ais523: wow, Bob Harper actually codes Haskell? 22:33:46 elliott: I've never heard of him 22:33:50 ais523: /seriously/? 22:33:51 so you can go laugh at my ignorance now if you like 22:33:58 does http://existentialtype.wordpress.com/ ring a bell? 22:33:59 isn't he the uh 22:34:01 elliott: no 22:34:06 which guy is he 22:34:07 he's a rather famous ML guy 22:34:11 who takes potshots at Haskell every now and then 22:34:16 oh 22:34:29 he's good but 22:34:36 in combinatorics we often consider the angle of observation 22:34:37 you can't take good potshots of a language without knowing quite a bit about how to write in it 22:34:42 he's pretty much a troll when it comes to haskell in the non-(annoying-4chan-sense) 22:34:45 *fix parens 22:34:51 http://www.mytrainerbob.com/ 22:34:54 hmm, I have edited a PHP file before now, but only the HTML bits that were embedded in it, so it doesn't count 22:35:27 > let parens s = "(" ++ s ++ ")" in fix parens 22:35:28 "((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((... 22:35:39 Oh, i accidentally made lambdabot generate lisp. 22:35:46 woops 22:35:54 ais523: apparently he's the origin of the "Haskell is my favourite imperative language" thing 22:35:56 maybe 22:36:12 wow mine too 22:36:36 > let minimum n = "`" ++ n ++ n in fix minimum 22:36:38 "``````````````````````````````````````````````````````````````````````````... 22:36:56 monqy: not mine!!!! 22:37:27 oh bob harper wrote that 22:37:31 really good article on boolean blindness 22:38:20 also damn that mathematician is smug, "i looked a bit more closely than regular people, because i know ergodic theory and advanced applied combinatorics" 22:38:40 Haskell is my favorite array-oriented data-driven audio/database programming language. 22:38:43 disclaimer: he never actually said that 22:39:00 oklopol: sounds like something you would say 22:39:27 ais523: you hate booleans, right? 22:39:30 -!- nortti has joined. 22:39:39 data Bool = False | True | FileNotFound 22:39:49 https://github.com/search?q=awesome 22:39:53 elliott: what makes you think I hate booleans? 22:40:00 ion: how many years in the past do you live 22:40:03 ais523: all reasonable people do 22:40:16 kmc: https://github.com/search?q=epic 22:40:20 I think I'm getting trolled, but am not sure how 22:40:29 hmm, there's too much phone bullshit there 22:40:30 not enough horrible 22:40:34 ais523: no, I'm completely sincere 22:40:59 what specifically do you mean? you think people shouldn't use them, or you're upset that they exist, or what? 22:41:05 ion: VHDL has nine-valued booleans 22:41:11 elliott: I just came back from fighting the Great War. Why? 22:41:11 I think they shouldn't be used 99% of the time they are used 22:41:33 and I think they should probably not be in standard libraries 22:41:36 elliott: hmm, that's likely true due to Sturgeon's Law, but doesn't it apply to other data types too? 22:41:45 whit537 / assertEquals (Python) 22:41:47 An epic testing interface for Python 22:41:53 “assertEquals” does sound epic. 22:42:27 elliott: ;.; 22:42:29 isn't that the thing that used to be called "testosterone" but then someone went "ugh" and he changed it 22:42:33 "good judgement person" 22:42:46 if only it was a jQuery library 22:42:50 rockstar-ninja-balls 22:42:59 kmc: sounds like your aim is hecked 22:43:06 A port of Twython to Server Side Javascript (Node.js). Beautifully fun non-blocking Twitter API calls for epic win. 22:43:14 * kmc murder rampage 22:43:15 The Great War reminds me, has anyone missed the Salad Fingers series? 22:43:33 https://github.com/search?utf8=✓&q=%22epic+win%22&repo=&langOverride=&start_value=1&type=Everything&language= why doesn't this return more results 22:43:35 more horrible, horrible results 22:43:57 anyway 22:43:59 programmers awful, news at 11 22:44:36 Start from http://www.fat-pie.com/salad.htm 22:45:11 I’m here to inquire about your spooooooons. 22:45:49 "elliott oklopol: sounds like something you would say" yeah but when i say it it's not quite as smug as when regular people say it. 22:46:10 kmc: anyway no github search result can compare to any popular stupid fucking github issue or commit or whatever 22:46:19 oh yeah? 22:46:19 with all the fucking meme images in the comments 22:46:20 uugh 22:46:42 HAHAHAHA U POWND THIS EPIC FAIL OF SECURITY BUG [I DON'T ALWAYS HAVE SECURITY BUGS / BUT WHEN I DO THEY'RE FROM PHP!!!] 22:46:58 :picard hand on face: 22:47:38 HEY GUYS WHEN I PUT COMMENTS HERE DOES IT SHOW IT TO THE TWO PEOPLE ACTUALLY RELEVANT TO THIS BUG OR IS IT JUST TO REDDIT BECAUSE I'M GOING TO TALK PAST THE FORMER 22:47:43 ok this is too much cynicism 22:47:51 i'm going to go 22:47:54 be happy or something 22:48:34 i think software developers cling to this sort of zany internet lolrandom shite because they are afraid of becoming soulless corporate drones 22:48:37 and they somehow think this is better 22:48:45 elliott: I never got to sample the delights of your flavor. 22:49:09 kmc: i blame the dot com bubble 22:49:09 soulless meme drones 22:49:59 github founders explicitly acknowledge this 22:49:59 http://37signals.blogs.com/products/2008/07/how-github-used.html 22:50:09 'Need to show a "this page is loading" message for background operations? Make it funny. "Forking" (copying) a repository takes a while and our "Hardcore Forking Action" loading screen has become infamous among users. Adding a bit of spice into things that are normally bland, boring, and unexciting goes a long way. You are not Bank of America or any other faceless mega corporation - showing your creative side in unorthodox places is the bes 22:50:15 YES HOW CREATIVE 22:50:21 HOW UNORTHODOX 22:50:25 oh shit let me check my schedule for how much time i have to read some shit the github creators wrote on 37signals' blog 22:50:29 FUCKKK IT'S 0 TIME 22:50:35 * shubshub is making a new interpreter :D 22:50:50 kmc: every time I see "hardcore forking action" after forking something i'm just uuuuuugh 22:50:50 you're really "picking a fight" and "getting real" and "insert other cult in-group phrase here" 22:50:51 shubshub: in what language? 22:50:57 maybe there's a userscript that makes it go away 22:50:57 ruby 22:51:09 elliott: it shouldn't be hard to write one 22:51:15 I'm actually writing a userscript right now 22:51:21 nortti: ruby 22:51:22 ais523: that'd expose me to it more than I otherwise would be 22:51:26 so it'd be a net loss for /me/ to write one 22:51:31 I see 22:51:31 -!- kmc has set topic: 37 signals guiltied to a zegnatronic rocket society | http://codu.org/logs/_esoteric/. 22:56:45 of course the best is when the soulless corporate entity co-opts that impulse 22:57:06 yay google built us a ballpit! they have xkcd painted on the wall! let's work 60 hour weeks! 22:57:37 Well, goodnight 22:57:38 -!- Ngevd has quit (Quit: Goodbye). 22:57:42 you depressed ngevd 22:59:03 -!- MoALTz has quit (Ping timeout: 244 seconds). 23:02:25 kmc: you hate booleans right 23:05:59 -!- nortti has quit (Quit: leaving). 23:13:34 -!- nortti has joined. 23:13:45 ais523: do people argue about los in the nethack community 23:16:44 elliott: no, because everyone's happy with the way it works already 23:16:49 which is both realistic and consistent 23:16:52 ais523: nethack uses squarelos right 23:17:10 no, it uses unlimited LOS, except for light sources 23:17:21 it uses circular LOS for light sources, but that becomes relevant so rarely that people don't care 23:17:39 what does it use for determining how light rays bend around stuff 23:18:36 whats wrong with my ruby code it errors out: http://pastebin.com/raw.php?i=gerWTStE 23:18:52 monqy: there are four different algorithms in the source code, with different space/time tradeoffs 23:19:06 I'm not sure how any of them work, offhand 23:19:28 ew 23:19:38 that's 23:19:42 a lot of different algorithms 23:19:49 while github lets you add a fancy bugtracker to your repo, bugs in github itself are reported by using a web form to send an email into the abyss, Web 1.0 style 23:19:51 are they equivalent 23:20:20 i guess this is the norm for proprietary hosted web apps 23:21:14 fsvo email abyss but yeah 23:21:50 i reported a bug on google maps several months ago 23:21:52 var spans = d.getElementsByTagName('span'); for (var si in spans) { var s = spans[si]; window.alert(s); 23:21:58 (followed by more of the loop) 23:22:04 i have no way to check its progress or that they even received it 23:22:09 other than noting that the bug is still not fixed 23:22:11 the alerts I get back from that: three HTMLSpanElements, followed by the literal integer 3 23:22:14 wtf? 23:22:15 bug is "google has the wrong name for my city" 23:22:16 kmc: that's not how github issues work... 23:22:25 ais523: "for (var" is valid? 23:22:29 elliott: yes 23:22:35 seems misleading 23:22:40 that si persists after the loop, remember 23:22:42 like "for my $x ($y) {" in Perl 23:22:42 also, please close that } 23:22:45 no, not lik ethat 23:22:47 *like that 23:22:49 that has scope in Perl 23:22:51 elliott: it is closed, just later on 23:22:55 close it now!!! 23:22:57 } 23:22:57 it's opening the irc channel 23:22:59 thanks 23:23:12 anyway 23:23:17 ais523: for (x in y) is sort of unreliable??? 23:23:23 it doesn't enumerate an array at all 23:23:24 for that you want 23:23:28 for (i = 0; i < foo.length; i++) 23:23:40 oh, right, it might have properties other than elements 23:23:41 what does it do? 23:23:47 monqy: it enumerates all properties 23:23:53 and methods 23:24:05 an array is an object which has just numerical properties, which are its elements 23:24:09 ah right 23:25:20 ais523: not just 23:25:25 an array can have more and still be an array afaik 23:25:43 yay my code isn't erroring out no 23:25:44 *now 23:25:48 boo it still isn't working 23:26:07 actually, the alert didn't get called at all 23:28:41 ais523: do you know if facing has ever been done well in a roguelike? 23:29:05 since you mentioned your roguelike would have it, iirc 23:29:39 monqy: the Mystery Dungeon series uses it, although only to simplify the controls, it has no game effects 23:29:44 by "iirc" he means "elliott told me" 23:29:52 no I think I read it in a log too 23:30:00 wait, no, it has exactly one game effect 23:30:05 if you miss an attack you step back 23:30:13 with a particular IQ skil 23:30:15 *skill 23:30:19 in Pokémon Mystery Dungeon 23:30:27 more like pacman mystery dungeon 23:30:32 and even if you're using an attack-around-you skill, you still have a facing, which is used to work out what direction "back" is 23:31:02 ais523: this came up after i came up with the best crawl-with-a-different-geometry derivative ever 23:31:04 after hexcrawl 23:31:19 it's better than hexcrawl, it just came after hexcrawl 23:31:23 it's 23:31:24 eucrawl 23:31:26 crawl in full euclidean space 23:31:26 the only roguelike I can recall seeing with facing was some stealthbased 7drl but it was really clunky since it took a turn to face so moving around was annoying 23:31:31 fixed-point 23:31:32 just rendered onto a discrete grid 23:31:39 and you can turn in fine increments and it rotates the game world 23:31:48 inconsistent geometry problem: solved 23:31:52 monqy: I'd make facing usually free, unless inflicted with a status change that makes it cost turns 23:32:20 in eucrawl i'd probably just make h and l rotate and jk step forwards/back 23:32:53 wow it'll be hell to move around 23:32:55 and facing would be so that turning 360 degrees takes one turn 23:32:55 er 23:32:58 itd' 23:33:04 so it's like 23:33:14 1/360 except more because i wouldn't let you face in arbitrary degree rotations probably 23:33:19 turn 23:33:20 s 23:33:21 *turns 23:33:36 monqy: well i could also make it use the mouse for that 23:33:44 and then clicking could fire a projectile weapon 23:33:52 quick, what did right-click do in doom? 23:33:56 oh and mouse wheel would cycle through weapons 23:34:38 I haven;t played doom :( maybe I should 23:34:52 s/doom/any fps/ 23:35:02 monqy: doom is pretty fun but it's also 23:35:03 hard 23:35:09 wow it's so long since I wrote JavaScript 23:35:13 I keep confusing it with other languages 23:35:14 I thought i heard it was easy 23:35:15 monqy: also it's 23:35:22 who should i believe D: 23:35:23 monqy: really weird if you've played any more moderner fpses 23:35:26 like 23:35:29 jumping? nope sorry 23:35:29 I can't even remember the bits of the API that aren't the DOM 23:35:34 there's tiny tiny ledges you just 23:35:37 have to walk around 23:36:16 * ais523 looks up how to tell if a string contains another string, case-insensitively 23:36:33 wow MDN is taking a long time to load 23:36:41 its all the mozilla 23:36:46 alternative joke 23:36:49 theyre using serverside firefox 23:36:50 alternative joke 23:36:52 dgdfjgdfgkdlghdfklgjfdhgsklgdjkhfgj 23:37:27 monqy: hcaey ou played wolfenstein 3d 23:37:33 that's even more uhhhh 23:37:34 no is it good 23:37:45 it's 23:38:03 combining indexOf and toLowerCase, I guess 23:38:18 also 23:38:26 this reminds me of that the5k entry 23:38:46 wolfenstein 5k 23:38:54 which i suspect doesn't work any more 23:39:07 indeed not, at least not in safari 23:39:12 someone try http://www.wolf5k.com/wolf5k.html in firefox 23:40:25 given that you guys have magical internet powers, i'm being asked what "that one xkcd is where a stick figure is walking out at night and thinking about meeting people there" 23:40:42 that's like every xkcd 23:40:54 monqy: help i'm going to implement a euclidean roguelike test thing in like two minutes if you don't stop me 23:40:58 yes 23:41:02 also it's going to be in golfed python because that's all i know how to write roguelikes in 23:41:13 stick figure walks out at night, lectures a strawman about science 23:41:15 could you link the one she means though? 23:41:20 then performs oral sex on a woman 23:41:39 does Javascript have a multilevel continue (i.e. continue a loop that's not the top level one)? Or shall I annoy elliott by using a boolean to simulate one? 23:41:54 there's no way you can avoid booleans in javascript 23:41:56 you should use edwardk's javascript-with-continuations-to-javascript compiler 23:41:58 oh, OK 23:41:59 that's one of the many reasons not to use javascript 23:42:15 elliott: I'm writing a Greasemonkey script, not like I have much choice 23:42:17 you can't totally avoid them in Haskell either, although I do a good job of it 23:44:12 -!- nortti has quit (Quit: nortti). 23:44:28 kmc: did you see McBride's new language? 23:44:33 no 23:44:42 https://personal.cis.strath.ac.uk/~conor/pub/Frank/test.fk 23:46:21 elliott: i cant stop you im have to leave now and also morbidly curious bye have fun 23:46:29 monqy: hi 23:46:33 @time monqy 23:46:35 Local time for monqy is Sat Apr 28 16:46:34 2012 23:46:37 weird 23:46:41 i'll be back sometime 23:48:03 -!- Aardwolf has quit (Quit: Leaving). 23:48:13 weird 23:48:42 so, one way of putting it is: chebyshev = largest of |x| and |y|; euclidean = square root of x^2 + y^2 23:50:01 oops, dx and dy, i think 23:50:02 * shubshub is still working on a new interpreter 23:54:02 assuming dx and dy are in {-1,0,1} 23:54:11 ais523: anyway, convince me not to imppement that 23:54:25 t9o implement what? 23:54:45 00:31 ais523: this came up after i came up with the best crawl-with-a-different-geometry derivative ever 23:54:45 00:31 after hexcrawl 23:54:45 00:31 it's better than hexcrawl, it just came after hexcrawl 23:54:47 00:31 it's 23:54:49 00:31 eucrawl 23:54:50 oh, that 23:54:51 00:31 crawl in full euclidean space 23:54:53 00:31 the only roguelike I can recall seeing with facing was some stealthbased 7drl but it was really clunky since it took a turn to face so moving around was annoying 23:54:55 00:31 fixed-point 23:54:55 have you /seen/ Crawl's codebase? 23:54:57 00:31 just rendered onto a discrete grid 23:54:59 00:31 and you can turn in fine increments and it rotates the game world 23:55:01 00:31 inconsistent geometry problem: solved 23:55:25 ais523: well, 00:40 monqy: help i'm going to implement a euclidean roguelike test thing in like two minutes if you don't stop me 23:55:31 so it wouldn't actually be crawl (im cheating) 23:55:49 oh, that, go for it 23:55:58 forward is phoenix, backwards is tortoise 23:56:08 but it'll be _awful!_ 23:56:18 also, I don't even know if Python has fixed-point numbers in its standard library 23:57:03 hmm 23:57:05 it does, but only decimal 23:57:15 also, ew, the context is global-ish 23:57:19 in which it stores the precision 23:58:25 -!- shubshub has quit (Quit: OUCH!!!). 23:58:35 ais523: actually, I should really use a full vector image as the space 23:58:40 for true euclideanosity 23:59:02 (does discrete euclidean space even make /sense/?)