00:01:37 I also get headaches when I see sine curves <-- needs an experiment to see if he sees sine curves when hungover 00:05:36 I wonder if Haskell is listed as concatenative. 00:05:39 wat. 00:06:04 ? 00:06:25 A concatenative programming language is a point-free programming language in which all expressions denote functions and the juxtaposition of expressions denotes function composition.[1] The combination of a compositional semantics with a syntax that mirrors such a semantics makes concatenative languages highly amenable to algebraic manipulation.[2] 00:06:40 it's at least partially concatenative 00:06:46 or allows the style naturally. 00:06:48 juxtaposition does _not_ denote function composition in haskell. 00:06:56 well, yes. 00:07:03 what does partially concatenative mean 00:07:12 monqy: ... 00:07:15 you are bad at these 00:07:17 human terms 00:07:20 hi 00:07:28 monqy: are you a robot? 00:07:29 admittedly . chains are common, but still. 00:07:33 yes totally 00:07:40 but if you're just going to make up what partially concatenative means 00:07:50 then yes haskell is so partially concatenative it blows my mind 00:07:53 my 00:07:54 robot 00:07:54 mind 00:08:36 monqy: meaning that it doesn't fit the definition exactly but the definition describes a natural capability of the language. 00:09:03 in any case juxtaposition is a weird requirement. what makes . different from juxtaposition? 00:09:12 the . 00:09:12 concrete syntax 00:09:20 is the only difference 00:29:45 .....dude 00:29:47 Diablo 3 00:29:49 is going to be so good. 00:29:50 reinforced concrete syntax 00:32:36 -!- cheater has joined. 00:33:29 -!- azaq23 has quit (Read error: Connection reset by peer). 01:11:32 diablo is a bit of fun 01:11:53 i think when it comes down to it it's all about fun 01:22:07 itidus21: depends on what you're looking for 01:22:11 there are several things to find in games. 01:22:50 my brother and i got a wii about a week ago 01:22:51 socializing, a waste of time, this amorphous "fun" thing you describe, or challenge. 01:23:20 certainly fun is an important aspect. 01:23:41 it was his idea.. one night "hey ive got this crazy idea.. do you wanna put in some money and we'll get a wii?" 01:23:45 though what makes something fun isn't quite clear and varies by person and what they're looking for. 01:23:58 itidus21: his? 01:24:15 17:22:42 < itidus21> my brother and i got a wii about a week ago 01:24:27 oh 01:24:35 * kallisti Vorpal. 01:24:42 the honeymoon period of owning a wii is pretty special i admit 01:24:51 my first ever motion controller 01:24:52 you know what's the best? 01:24:59 desktop gaming. 01:25:11 wahts game 01:25:12 ahhh 01:25:29 it's like.... you could buy this specialize piece of computer equipment with arbitrary limits and a non-general-purpose operating system. 01:25:32 or 01:25:40 you could just buy that thing that you were going to get anyway, and just put some better stuff in it. 01:25:50 monqy: good question.. may the SOPA leave you in peace 01:26:19 kallisti: ah he hacked it too and got a usb loader 01:26:28 monqy: hi monqy invent a portal chess piece I want to change the queen piece. 01:27:42 oh and: while changing the queen piece, also counterbalance the affect that without the previous queen piece there is no way to capture the arrows. 01:27:46 the sad truth i discovered is that most games according to the reviews have poor control 01:28:07 the only reason I'd want a wii is to own super smash bros. brawl 01:28:17 so its a matter of finding the cream of the crop 01:28:47 no one in there right mind plays brawl with a wiimote 01:28:57 *their 01:29:35 but.. nintendo peripherals are expensive :-s 01:29:54 * kallisti owns a wireless gamecube controller 01:30:01 but no wii 01:30:13 it was $138 AUD with mario kart 01:30:49 with 1 wiimote/nunchaku 01:32:19 one net thing about the wiimote is that it doubles as a traditional old school controller 01:32:24 *neatt 01:33:48 anyway.. im sidetracking 01:34:04 monqy: what is partially monqy 01:34:07 me 01:34:16 i think good thing about diablo 2 (only one ive played) is the fun of tapping a button and watching your character bash someone 01:34:33 um 01:34:44 isn't that a pretty common feature of games? 01:35:19 what would gaming be without it 01:35:43 hmm 01:35:50 but thats where you guys come in... 01:36:02 you can make games more interesting through use of mathematics 01:36:08 nah 01:36:10 just add portals 01:36:12 everything is better 01:36:19 portals requires maths 01:36:22 nah 01:36:26 just portals man 01:36:29 portals need portals 01:36:38 ohh 01:36:42 i get ya nopw 01:36:43 now 01:36:52 * kallisti would probably be a pretty decent game designer. 01:37:47 basically, the " tapping a button and watching your character bash someone" mechanic is understandable in mathematical ways 01:38:03 yes 01:38:12 but no one cares enough to bother. 01:38:17 at that point it is possible to break it down and do magic 01:38:30 itidus21: you should watch pro gamers play starcraft2 01:40:35 i uhhh 01:40:37 i uhhh 01:40:51 itidus21: http://www.youtube.com/watch?v=Ncb7lHNWbnU 01:41:36 in this case i meant that the design of the game can be changed through analysis 01:41:52 but i suppose that a player can strategize around a simple button press through analysis also 01:42:57 ill look at it soon.. just gonna let some torrents finish first since i have firefox shut 01:44:07 i don't really understand stuff as well as i would like to 01:44:41 like the point where a game ceases to be an exercize in probability or algebra, and becomes fun 01:44:50 it baffles me 01:45:39 ? 01:45:58 it starts as fun 01:46:08 and then you overthink it into an exercise of probability or algebra. 01:46:22 you've clearly been playing the wrong games, kallisti 01:46:54 itidus21: I wasn't even saying "hey dude analyze the shit out of starcraft 2 with maths" 01:47:08 I was saying: hey dude, watch this, it's exciting and entertaining. 01:56:41 back 01:56:45 i see.. my words didn't make sense 01:56:50 i mean... 01:57:10 if you begin with a piece of paper and start writing down probabilities and algebras 01:57:26 at what point does that become a fun game, i wonder 01:57:32 -!- Sgeo has quit (Ping timeout: 240 seconds). 01:57:45 have you tried 01:58:04 i don't suppose game design actually works that way 01:58:22 no i havent tried :P 01:59:06 are games rules? 01:59:19 perhaps what i should say then is at what point does a set of rules become fun 01:59:34 -!- Sgeo has joined. 02:00:45 hmm definition of fun is slippery 02:01:05 most games have rules, yes. 02:01:07 that's part of it. 02:01:40 one could go so far as to say that maybe games are not actually fun but players only pretend they are fun 02:02:22 no 02:02:27 why would they pretend to be having fun? 02:02:46 to look cool 02:02:46 I guess people are complicated. 02:03:42 i guess what i am saying is that i am interested in real fun 02:04:00 not a contrived thing 02:04:40 another question is whether games are fun at first, and then an annoying addiction 02:07:05 * oerjan has been playing tatham's lightup puzzle for months 02:07:32 i am projecting really 02:07:43 itidus21: that is how WoW works 02:08:35 like every similar kind of puzzle it is pretty easy to rethink as a special case of NP-complete graph problems. 02:09:55 usually you can get a long way by just looking at local conditions, but occasionally you get implications going around a large part of the board. 02:10:12 -!- Sgeo has quit (Ping timeout: 240 seconds). 02:10:18 when i was growing up i was kind of naive about how games actually operated 02:10:31 in hindsight i think i overestimated how deep they are 02:11:35 i suppose that everyone must have an idealized view of the field they go into before they get there 02:11:52 oh? 02:11:59 which i think means it's sort of related to Sat(2) clauses. and then there are the particularly hard ones, where not even following a chain of implications gives you the answer, which is suppose corresponds to at least SAT(3). 02:12:23 *i 02:13:00 * kallisti had no idea what computer science was like 02:13:14 -!- Sgeo has joined. 02:13:37 whats a computer 02:13:51 someone who computes 02:14:05 just kidding 02:14:11 monqy: just add ?banner=none hth 02:14:27 a computer is an abacus 02:14:44 :-?? 02:14:53 an abacus will soon attain sentience 02:15:04 it just has to have a power source 02:15:27 just like a car will soon attain sentience 02:15:28 in _principle_ you can make a purely mechanical computer. 02:16:05 there's this tic-tac-toe solver made by tinkertoy parts somewhere 02:16:53 but without electronical communication it becomes horribly slow 02:17:35 even the brain uses electricity, i think 02:17:48 (although chemistry as well) 02:18:48 neural signaling is much slower than electronic computers, though 02:19:03 my first big let down in gaming was discovering that a combo in street fighter 2 was nothing more than a set of keypresses which temporarily froze the opponent 02:19:13 monqy: you seem to be very confused by simple words. 02:19:23 and because electronics is so much more efficient, anything else becomes a novelty show. 02:19:25 something like 100 m/s 02:19:35 kmc: yes but still much faster than rolling balls :P 02:20:03 kallisti: what's a simple 02:20:03 and they fire at less than 1 KHz rate 02:20:10 but it's not clear why the speed of computation should bring about conciousness 02:20:34 why would they pretend to be having fun? <-- because they cannot find a way to do what they _really_ want to be doing. at least that's my excuse. perhaps itidus21's as well. 02:21:15 i have heard that complaint against hypnosis states that it may be just a sense of social obligation to act hypnotized 02:22:10 * oerjan should probably mention babbage lest someone thinks i'm forgetting him 02:22:56 tv is non interactive, and yet people like to watch games 02:22:57 if electronics had been impossible, then perhaps babbage's computer would eventually have made economic sense 02:23:10 having said this, colliseum is not particularly interactive 02:23:14 i like http://www.blikstein.com/paulo/projects/project_water.html 02:23:15 people like to attend 02:23:59 now what i am talking about is whether spectating a game can be as fun as playing 02:24:41 monqy: you seem to be very confused by simple words. <-- he's been disconnected from half his brain and cannot understand our instructions for getting back to it. 02:24:56 "The Water Integrator was an early analog computer built in the Soviet Union in 1928.[citation needed] It functioned by careful manipulation of water through a room full of interconnected pipes and pumps. The water level in various chambers (with precision to fractions of a millimeter) represented stored numbers, and the rate of flow between them represented mathematical operations. This machine was capable of solving non-homogeneous dif 02:24:56 ferential equations." 02:25:05 also http://en.wikipedia.org/wiki/MONIAC_Computer 02:25:17 models the national economy of the UK by pumping water around 02:25:45 lol kmc... 02:25:52 and I get reminded of SOPA 02:25:59 thanks wikiped 02:26:02 i know theres workarounds 02:26:08 but.. i like the blackout 02:26:18 it's comforting 02:26:26 but it's not clear why the speed of computation should bring about conciousness <-- maybe not, but imagine if humans thought a million times slower, they wouldn't get anything done and would be sitting ducks for predators 02:26:55 oerjan: maybe there is some other level to matter we are not really thinking about 02:26:55 so they wouldn't live long enough to develop it 02:27:13 oerjan: like we think about it as parts and wholes.. 02:27:18 always with the parts and wholes 02:27:32 and we're never going to find conciousness amid parts and wholes 02:27:59 itidus21: i saw on wikipedia this scifi novel "The Dragon's Egg" about a life form on a neutron star, based on nuclear physics rather than chemistry. and _they_ thought a million times _faster_ than humans. 02:28:13 *about this 02:28:14 that's pretty cool 02:28:15 also i should mention.... conciousness would come under threat if we ever figured it out 02:28:26 we don't WANT to figure it out...it .. would be very BAD 02:28:29 :D 02:28:36 I think it would be good 02:29:02 or... different 02:29:11 so the human explorers saw them develop civilization to a level past their own in a matter of days 02:29:44 what exactly do you think the military would do with this knowledge? 02:29:59 NB: SPOILER ABOVE XD 02:30:10 it would be exceedingly bad if science ever figured out conciousness 02:30:44 depends i guess 02:30:49 oerjan: they would still be fundamentally constrained by limited resources 02:30:55 even if they could perhaps operate more efficiently 02:30:56 nuclear bombs are great so long as noone uses them 02:31:06 and even that is an open question. consciousness is a lot of work. 02:31:12 yeah the CIA tried to figure out mind control 02:31:19 by kidnapping people and experimenting on them 02:31:42 but they probably didn't have the technology to do anything useful 02:31:50 ah yes MKULTRA 02:31:52 and such 02:32:27 i actually have a book on cia mind control stuff that i haven't read 02:32:33 I think in order to be conscious, computers would have to employ many of the tricks we do. approximations on input data and pre-existing assumptions. 02:32:42 but i think its probably written to sell books 02:32:46 not to spread truths 02:33:19 kallisti: well they were also just about a millimeter big :P 02:33:37 oh I missed a reference apparently 02:35:34 and then there is eliezer yudkowski's story where humanity happens to find themselves living inside a simulation made by beings _several_ million times slower than humans 02:37:12 -!- Sgeo has quit (Ping timeout: 240 seconds). 02:37:44 * kallisti has been teaching someone Haskell. 02:37:47 it's been going pretty well 02:37:55 this is the fourth person now. 02:38:11 i can hear elliott screaming in my mind 02:38:17 me too 02:38:22 how do you teach them 02:38:34 -!- Sgeo has joined. 02:39:24 itidus21: that's what THEY have programmed you to think 02:39:27 the first one went well, the second one kind of stopped happening, the third one didn't work at ALL (guy was basically too thick-headed to get anywhere), and the fourth one is going pretty well. 02:39:33 * oerjan crawls back under rock 02:39:39 kmc: I bombard them with information for hours, repeatedly until it makes sense. 02:39:48 kmc: I'm a bad teacher. 02:40:00 do you make them read anything? 02:40:08 I suggest things to read. 02:40:14 do they read them? 02:40:24 the guy I'm helping right now has not, I think. 02:40:36 he's just been fucking around with list functions and stuff and learning that way. 02:40:40 my experience in #haskell is that a decent fraction of people will never read anything unless you refuse to help them otherwise 02:41:01 -!- Frooxius has quit (Quit: ChatZilla 0.9.88-rdmsoft [XULRunner 1.9.0.17/2009122204]). 02:41:13 he gets partial application now. I explained algebraic data types a bit. I think he understands pattern matching but he appears to be unable to write the code for map so.... 02:41:16 something must not be understood 02:43:20 anyway learning Haskell is something you have to do slowly. and teaching it has to be done patiently 02:43:26 so I assume gradually over time things will sink in. 02:43:39 simple things like precedence of operators and function application seems to throw him off, no matter how many times I explain how it works. 02:44:25 third attempt at teaching was TERRIBLE 02:44:29 that guy is basically lost to C++ 02:46:22 the trick with haskell is that mathematics has to be learned simultaneously 02:46:31 eh, not really. 02:46:38 * kallisti hasn't learned much math at all while learning Haskell. 02:46:52 but did you go in knowing much? 02:46:57 just recently some very basic category theory. 02:47:02 itidus21: eh, no. :P 02:47:14 unless you count college-level math. 02:47:19 undergraduate stuff. 02:47:33 in imperative languages all you need to know is sequence, selection, iteration 02:47:34 the 1 2 3s 02:47:45 no wonder haskell is trouble 02:47:58 itidus no............................................ 02:48:19 itidus21, i think everything I have seen you say about Haskell is 100% wrong 02:48:46 im not here for the same reasons as anyone else in here 02:48:53 im sort of a misfit 02:49:01 its ok.. not claiming im about to run away, just saying 02:49:21 i came here expecting to find BASIC clones :P 02:49:40 i'm not saying you don't belong 02:49:55 just wondering why you continue to make claims about Haskell in particular 02:50:07 plenty of other stuff to talk about 02:50:07 haskell is esoteric 02:50:19 itidus can only make claims about things he both knows the existence of and doesn't know anything about 02:50:34 i think there should be an esolang called Haskell 02:50:36 he knows haskell exists but he doesn't know anything about it. perfect 02:50:42 which has all the properties uninformed people think Haskell has 02:50:56 it is the primary topic of esolangs so one can safely assume it is esoteric >:) 02:51:22 it is the staple language perhaps 02:51:39 to do any IO in my Haskell you are required to type in a proof of the Yoneda Lemma 02:51:49 also it will memoize all functions 02:52:13 ok i admit its not esoteric, but it is the non-esoteric home base of esoteric languages 02:52:23 to make your haskell, first you must invent a topos in which nothing ever needs to be recalculated 02:52:50 i dont know what happens in your minds when you hear function 02:52:54 that seems to be the key word 02:53:02 whatever happens does not happen for me 02:53:14 itidus21: they're still small bell sound and then we start salivating. or was that with monad. 02:53:20 itidus21: although I am prone to this myself, it is oftentimes better to not make claims about things you don't understand in the slightest degree. 02:53:30 for me i see 2 things..... i see (+ 2 3) ... i see add(2,3) 02:54:02 i came here expecting to find BASIC clones :P <-- have you looked at FORTE? :D 02:54:05 i can also vaguely concieve that addition function is a manifold 02:54:39 but, as function means in lambda calculus.. it doesn't seem to fit any of my existing concepts of function 02:54:46 i can see 02:54:55 monqy: the course number for my discrete math class was 1234. 02:55:14 s/they're still/there's this/ 02:55:21 (+ (+ 2)) and add(add(2) .. the second one doesn't work at all :-s 02:55:22 how the heck did i mistype that bad 02:55:35 ok they both don't work 02:55:38 that's because you have the wrong number of arguments 02:55:47 :t (+ (+ 2)) 02:55:48 forall a. (Num a) => (a -> a) -> a -> a 02:55:50 itidus21: unless you have a Num instance for functions of course. :> 02:55:51 what now??? 02:55:58 which lambdabot does 02:55:59 so how to curry 2 + 3 02:56:00 hmm 02:56:03 i got lost 02:56:10 you don't curry 2 + 3 02:56:11 itidus21, as ((add 2) 3) 02:56:12 you curry + 02:56:15 oh 02:56:15 ( (+2) 3) 02:56:16 yes, that too :P 02:56:35 i made a mistake .. imaginig it as (+ (+ 2)) 02:56:38 itidus21, assuming that's Haskell syntax, you're using some special Haskell features there 02:56:53 it's easier to understand if you stick to a more regular syntax like scheme 02:57:20 (define add (lambda (x) (lambda (y) (+ x y)))) 02:57:22 ((add 2) 3) 02:57:46 but i get it insisted that lambda has no types 02:57:55 e?H 02:58:07 there are typed lambda calculi and untyped lambda calculi 02:58:09 the important lambda 02:58:16 the one with the paradox 02:58:17 which important lambda 02:58:21 which paradox 02:58:33 monqy: pearadox 02:58:36 not really sure 02:58:39 pair of docs 02:58:41 pair'a'dox 02:58:46 *docks 02:58:46 pear pear pear pear pear 02:58:58 i get told its invalid to use analogies on untyped lambda calc 02:59:18 by whom 02:59:27 i dunno.. noone :D 02:59:32 me 02:59:35 -!- kallisti has changed nick to noone. 02:59:36 you're not making any sense at all 02:59:36 sup 02:59:37 just so you know 03:00:04 -!- noone has changed nick to Guest70053. 03:00:04 kmc: itidus21 berates himself with his Haskell wisdom 03:00:09 -!- Guest70053 has changed nick to kallisti. 03:01:29 is it something which just magically makes sense one day like a foreign language? 03:01:38 not magically 03:01:45 that's not how foreign languages work either 03:02:05 but it can be difficult to explain how learning works, though it typically happens gradually as you understand small pieces of the whole thing 03:02:11 magic is a troublesome word 03:02:25 lets say, unconciously :D 03:02:33 it's certainly directed effort 03:02:36 to understand something. 03:03:16 but not much 03:03:21 ...or rather 03:03:26 it doesn't necessarily have to be a lot of effort 03:03:33 but some 03:03:33 depending on what you're learning 03:03:35 some :P 03:03:41 itidus21: http://esoteric.voxelperfect.net/wiki/Forte 03:03:51 Leksah is taking forever to to find out information about packages 03:03:59 learning the basics of Haskell for example was fairly simple. I just leisurely read some material about it and it all pretty much made sense 03:04:05 I did struggle with monads for a bit however. 03:04:10 Awesome, it's taking over an hour 03:04:31 i remember when i was young the first time i could read a page in a book. it was a sesame street book, something about grover 03:04:42 I honestly don't even know how I learned perl... 03:04:44 osmosis. 03:05:19 I think I just massread documentation and then attempted to write some simple programs. 03:05:34 then referred to documentation when something unexpected happened, repeat. 03:05:37 perl has great documentation. 03:05:37 i think part of learning language is like solving a jigsaw puzzle 03:05:46 s/jigsaw/crossword 03:06:09 one efficiency of language is that one can presume each statement is correct. 03:06:17 whut 03:06:21 and one can infer from this that each word usage in language is correct 03:06:40 like if you are reading a book.. you can infer that the grammar is more or less perfect 03:06:46 that the word usage is more or less perfect 03:06:46 heh 03:06:56 yes if you're new to these things that's a decent approximation 03:06:56 and you just have to figure out why 03:07:13 and certainly program examples in textbooks are most likely going to be correct 03:07:17 though not necessarily optimal 03:07:34 in one sense 03:07:38 there are many senses of optimal. 03:07:43 :> 03:08:08 performance, clarity, elegance, ease of writing, ease of understanding. 03:08:12 for examples 03:08:23 I guess ease of understanding could be clarity actually 03:09:02 in the world there is information.... so there is a challenge of mapping a language to a piece of information 03:09:17 I.... 03:09:30 in some cases it is necessary to invent words 03:09:35 or loan them 03:09:48 itidus21: yes I am having trouble mapping your words to pieces of information 03:09:54 they often appear meaningless. 03:10:05 this is indeed a problem I face. :P 03:10:10 like apples exist in the universe as information 03:10:23 deliciousness information. 03:10:37 the burden is on language to find a way to explain them 03:10:55 this world view i am describing i know it isn't a proper one though 03:11:45 yes, improper indeed! obscene displays for scoundrels. 03:12:07 now, that means that someone who is learning a language can assume that the words refer to some information the reader intuitively would understand 03:12:16 at least for non technical writing 03:13:19 like.. The color of the apple is %$%$%. 03:13:44 The color of the grass is %$%$%. 03:14:02 * kallisti sidles on over that way... ----> 03:14:12 so we know that %$%$%. means green 03:14:49 itidus21: what if information is light 03:14:51 and words are like 03:14:52 prisms 03:15:05 anyway i have heard it said that all things are temporary 03:15:11 apple 03:15:17 or not 03:15:23 apple 03:15:24 3 03:15:25 yes 03:15:45 but, we are guaranteed to be more temporary than the world :D 03:15:50 oerjan: hi fix portal chess 03:16:00 I don't like prisms. 03:16:20 (you should at this point be well-versed in all the rules) 03:16:26 itidus21: hey there are some singularitarians who want to argue that 03:16:34 kallisti: try flexihexadodecahylomorphisms instead, hth 03:16:39 no 03:16:40 nope 03:16:43 nopeah 03:16:52 nople 03:16:53 oerjan: ahhh shit... i think you mentioned this to me.. deja vu 03:16:53 nop 03:17:03 my unconcious plagiarism 03:17:11 best plagiarism 03:17:28 oerjan: what is a better queen unit 03:17:30 for my gam 03:17:45 keeping in mind that, if prisms are removed, there is no way to capture arrows via projectiles. 03:19:06 kallisti: a time fly 03:19:15 it's well known to like arrows 03:19:58 kallisti: i worry you indulge my rants too much 03:20:08 it could, like, stop time in some direction, making arrows vulnerable in the _next_ round 03:20:19 and prevent anything else from moving 03:20:45 ........ 03:20:46 I 03:20:48 that 03:20:50 I can't do that. 03:21:00 to put things in perspective.. my doctor today says to me.. isn't it difficult with no income? and.. as you probably heard your mom saw a psychiatrist.. if you want i can get him to see you "i'll definitely think about it" 03:21:03 I do not need to add an entirely new mindfuck element to the game 03:21:34 ok then, another suggestion is the Bore. 03:21:37 I'm looking less for pieces that do cool tricks, and more for pieces that balance out the game as a whole. 03:21:53 the game is somewhat balanced, but I feel something is missing. 03:22:09 if a Bore is next to a piece for two rounds, that piece dies. because it's that boring. 03:22:11 oh i just got another idea 03:22:15 youtube chess 03:22:22 lol 03:22:25 each move... is represented by a video submission 03:22:28 it mustn't move between the rounds, though. 03:22:55 in the first workings of the game I had a piece that could swap places with any other piece 03:22:58 this is probably not very good though 03:24:15 where does the game take place? 03:24:21 on a chess board 03:24:23 like i know chess takes place on a grassy field 03:24:25 the starting configuration is the same as in chess. 03:24:30 .......... 03:24:32 it does? 03:24:36 ya.. definitely grass 03:24:45 uh this game is purely abstract 03:24:46 (like chess) 03:24:49 it couldn't be a desert 03:24:58 the green green grass of doom 03:25:22 oerjan: how much do you know about portal chess, and how interested are you in suggesting new ideas? :? 03:25:54 you must certainly be totally interested 03:26:03 no. 03:26:06 im not good at abstract 03:26:16 oerjan: I'm shocked and offended 03:26:17 my brain just doesn't work that way 03:26:48 http://z7.comicostrich.com/ Z7 is broken 03:27:00 is it broken in protest? 03:27:00 kallisti: i'm sorry, i'm trying to preserve the little personal space i have left in this world. 03:28:02 which i have discovered, means _not_ letting other people define what i'm supposed to do, and _especially_ not if they're taking it for granted. 03:28:18 ah, I see. 03:28:25 sorry for the intrusion then. 03:28:57 and _especially_ not if they're about to get diagnosed cancer. AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 03:29:05 lol 03:29:07 who me? 03:29:11 (the last part hopefully doesn't apply to you.) 03:29:13 * kallisti am great confused. 03:29:27 the cancer thing is how it would lead to guilty obligation to you 03:29:42 itidus21: precisely. which is what happened to me, last friday. 03:29:52 one possible solution to the arrow problem is to make pawns more effective at... normal capture 03:29:56 oh no 03:30:12 so far the only normally capturing units are pawns and kings. :P 03:30:13 and now i cannot bear to see the person again. 03:30:46 oerjan: the ideal solution is email them a screenshot of your desktop 03:30:57 ... 03:31:00 they don't have email. 03:31:01 but theres probably unforseen downsides 03:31:31 ive never actually used the email a chat screenshot solution 03:32:44 but i have thought about it 03:33:08 its a really bad idea 03:33:51 man the bishop is such a good piece in chess. 03:33:56 one of my favorites. 03:34:07 strong piece early and mid game for board control. 03:34:57 kallisti: you know one way would be to make the queen completely like in chess, but somehow ironically the weakest piece. 03:35:17 that would be impressively difficult to accomplish 03:35:23 a regular queen would be excellent in this game. 03:35:37 actually my current prism idea mimics the queen strategically. 03:36:10 in that it's a very powerful piece with an important purpose, but is incredibly useless until the later game. 03:36:13 or well... 03:36:18 I can't predict strategy but 03:36:32 it's more vulnerable to attack than other pieces. 03:37:04 arrows disregard who initiated a projectile. they are completely immune to the effects 03:37:07 UNLESS 03:37:25 a prism is inbetween the arrow and the cannon along the projectile's path 03:37:58 however, in exchange 03:38:13 the prism does not have the same immunity. it can be captured by enemy projectiles. 03:38:45 but I feel it's fundamentally broken in some way... which will probably be revealed through actual gameplay. 03:39:08 however the arrow, portal, cannon pieces are pretty solid I feel. they don't need too much tweaking. 03:39:20 well one obvious brokenness is that if you lose your prism, your opponent's arrows become invincible... 03:39:31 by the most effective means of capture, yes. 03:39:37 oh wait 03:39:50 I forgot I gave arrows the ability to capture as well. :> maybe I should have that. 03:40:03 they can move like bishops, but cannot capture like bishops 03:40:14 and they may move or capture one space in any cardinal direction 03:40:20 but I may s/or capture// 03:41:09 the cardinal movement rule is added to facillitate loop shenanigans. :> 03:41:22 so that both of your arrows can be on the same grid color. 03:41:29 they can "sidestep" over into the other color. 03:42:05 kallisti: oh so there is ordinary capture in addition to projectiles, and arrows are not immune to that? 03:45:03 nope 03:45:10 but there's not any really strong normal capturing pieces. 03:45:19 pawns. kings. maybe arrows but I think that will be broken. 03:45:44 I'm not sure how a strong capturing piece would change the dynamic of the game. 03:46:28 ha 03:46:31 an interesting thought 03:46:35 the queen pieces 03:46:37 could be portals 03:46:38 prism - queen, portal - bishop, knight/rook - arrow/what? 03:46:43 connected to your opponents queen piece. 03:46:45 :> 03:47:05 oh cannon 03:47:07 there are two rooks. upside down rook is DCannon and normal rook is CCannon 03:47:16 they're both cannons pieces but one fires diagonally and one fires cardinally 03:47:28 huh 03:47:30 the DCannons start along the main diagonal of the board. 03:47:33 so 03:47:35 on opposite ends 03:48:26 ah so that first move you've been discussing is one DCannon projectiling the other? 03:49:07 yes I realized it was not a viable move though 03:49:14 though the opening is still viable 03:49:25 the subsequent capture that becomes available is ultimately not a good tradeoff by any means 03:50:17 perhaps to maintain the diagonal symmetry I should swap the king-queen pair of one side of the 03:50:22 board 03:51:09 actually, _either_ cannon can capture the opponent's DCannon, i assume 03:51:26 yes 03:51:29 but since they don't move, there's no difference in result 03:51:42 well they can move, but movement isn't really their thing. :P 03:51:53 they move as kings. 03:52:21 I feel this is pretty balanced. 03:52:22 sweep enemies down like fist of drunken god 03:52:32 otherwise they would become major offensive pieces 03:52:44 instead the idea is to have arrows act indirectly through cannons 03:53:06 while the cannon remains tucked away. though reposition could be a smart tactical choice 03:55:15 oerjan: I have been focusing on that opening quite a bit in my reasoning about how the game will play out 03:55:23 it seems prone to mirroring on both sides. 03:56:00 perhaps the dcannons should not be diagonally across the board from each other. :P 03:57:02 and instead white could have his dcannon on the major diagonal, and black's could be on the minor diagonal. 03:57:37 establishing normal chess-like symmetry 03:59:06 I'm currently thinking about how insane the arrow-push rule would be 03:59:21 where a moving array is allowed to "push" friendly pieces in front of it when moving. 03:59:31 ....if I extended the rule to arbitrary chains of pieces in front of the arrow 03:59:37 then you could, instead of having a castling rule 04:00:00 shift your entire row of pieces over by one square, provided you moved something else out of the way. 04:01:26 but I think the arrow already has a pretty good purpose. 04:01:34 he doesn't need more things he can do. :P 04:03:26 I think having the queen be a portal that corresponds to the opponent's queen would be awesome. 04:03:50 but then there is still a fairly unstoppable arrow. the only real counter to an arrow is another arrow, which encourages more mirroring. 04:08:44 -!- Jafet has joined. 04:18:37 one possibility 04:19:22 is that the c-cannon could be able to capture arrows 04:19:26 while the d-cannon is not 04:19:59 The d-cannon can only dapture. 04:20:08 .....yes 04:20:11 exactly 04:20:17 where dapture means "not capture" 04:21:21 -!- MDude has changed nick to MSleep. 04:21:29 it's such a daptable 04:22:46 god damnit arrows 04:22:52 stop being so difficult to remove from the board. 04:34:50 -!- kwertii has joined. 04:35:06 I think instead of having portals explode when there sister portal is captured 04:35:13 I'll just have them become... normal capturing pieces. 04:35:37 if a pawn reaches the other end of the board it can then be promoted into a portal, and reactivate the other one if it's still present. 04:36:02 (...I have no clue what happens when you promote a portal with two portals already) 04:36:32 but I pretty tempted to say no promotion rule. 04:36:37 I'm 04:37:13 oerjan: ah I see the flaw I've been making 04:37:32 I have been thinking that arrows are these unstoppable brutes 04:37:35 however 04:37:50 I didn't consider creative usage of portals. 04:37:59 which has many possible creative usages. 04:38:22 * kallisti should be thinking more in terms of how portals affect strategy, and focusing less on arrows. 04:40:47 @tell zzo38 do you think it's a good idea to use Unicode when displaying the text board for my portal chess server? I think it would be helpful for indicating things like piece directions. 04:40:47 Consider it noted. 04:46:07 'monochrom: at a crossroad you meet an angel (always tells the truth) or demon (always lies). the crossroad gives you two choices of roads, one to heaven, one to hell, and only the angel or demon knows which is which. if you ask "how would you answer if I asked 'what is a monad?'", what will happen?' 04:46:23 http://contemplatecode.blogspot.com/2012/01/haskell-weekly-news-issue-211.html is back. 04:58:44 oerjan: .........wow 04:58:53 that is a complicated fucking question 04:59:00 yes. 04:59:57 the demon will start talking about burritos, and the angel will talk about monoids in the category of endofunctors. 05:00:27 hm i doubt your demon conclusion. 05:00:42 looks too plausibly truthful. 05:01:21 i guess it's possible it would answer with a _different_ lie if asked 'what is a monad?' 05:03:11 the premise seems unrelated to the question. 05:03:25 you're not being asked to deduct which road is the correct one 05:03:32 this doesn't even seem to be a riddle 05:03:33 what is this 05:03:34 help 05:04:01 maybe zen 05:07:35 the angel would answer: truthfully 05:07:39 the demon would answer: truthfully 05:07:47 the end 05:09:09 you appear to be having trouble with nested hypotheticals. 05:10:18 not at all 05:10:48 ...ah. 05:10:52 lol 05:11:03 you are asking them what would happen if you asked that 05:11:21 so they would be describe things about what they would say 05:11:27 not specifically what they would say to the hypothetical question 05:11:39 ...? 05:12:19 that "...ah." meant i got it, btw. 05:12:30 oh 05:12:37 s/oh/...ah/ 05:13:05 -!- zzo38 has joined. 05:13:05 I guess I should interpret things more literally. 05:13:09 zzo38: hi friend 05:13:15 I am question asked. 05:13:20 asked when speak 05:13:29 kallisti: Hello. What question? 05:13:30 zzo38: You have 1 new message. '/msg lambdabot @messages' to read it. 05:13:34 that one 05:13:44 Which one? 05:13:52 the one that the lambdabot is have 05:14:03 ?messages 05:14:04 kallisti said 33m 16s ago: do you think it's a good idea to use Unicode when displaying the text board for my portal chess server? I think it would be helpful for indicating things like piece 05:14:04 directions. 05:14:28 I would say no. 05:15:07 then devising a visually helpful ASCII board will be pretty challenging 05:15:23 as there are multiple pieces with directionality 05:15:34 You still could put directions, using < > ^ v if those are the only ones 05:15:45 I believe I counted 21 distinct piece states 05:15:51 zzo38: diagonal is needed as well 05:15:52 Or you could use compass direction, numbers, etc 05:15:55 and multiple pieces use directions 05:16:06 compass direction names could be good, yes. 05:16:25 Can you make a list of all the states of all pieces please? I would like to see it 05:17:14 What symmetry do you use, mirror (as in chess) or rotation (as in shogi)? 05:17:27 I don't know what you mean by that. 05:17:38 http://sprunge.us/NPPG 05:17:44 see the Direction and PieceInfo data types 05:18:00 note that the Prism piece is subject to change, it may also have a direction 05:19:18 > 1 + 8 + 8 + 1 + 1 + 1 + 1 05:19:19 21 05:19:24 Because, you could either use absolute directions, or directions relative to the player. 05:19:50 If you use directions relative to the player, you need to know what symmetry you use. 05:19:56 But probably absolute directions would be better here 05:19:58 so far I've used absolute directions, with the board oriented as in a standard chess diagram 05:20:04 black is on the north side, white is on the south side. 05:20:43 kallisti: Yes. What I mean, is that, in chess, the queens are on the same file, the kings are on the same file. In shogi, the flying chariot is in the file of the opponent's angled mover, and vice versa. 05:21:17 ah yes 05:21:21 I was thinking about that actually 05:21:34 I may do rotation like shogi then 05:21:59 the difference would be in opening moves. 05:22:19 with rotation as in shogi, the d-cannons of both players start on the major diagonal 05:22:32 with mirror symmetry white would have the major diagonal, and black would have the minor. 05:22:43 dirNotation North = "N"; dirNotation Northeast = "NE"; ... notation Pawn = "P"; notation (Arrow x) = dirNotation x; notation (Portal x) = 'X' : dirNotation x; notation Prism = "PR"; notation DCannon = "DC"; notation CCannon = "CC"; notation King = "K"; 05:22:46 Will that work? 05:23:15 should be fine, though annoying to read 05:23:21 I think a UTF-8 option would be good. 05:23:33 (And then change to lowercase for second player) 05:23:58 kallisti: Yes, you could have an option, for clients supporting UTF-8 (and having the relevant fonts installed), but allow plain ASCII as well 05:24:07 sounds good 05:26:06 zzo38: I was also thinking ANSI color would be good, though having all of these options will quickly become tiresome to implement 05:26:58 I say, just implement plain ASCII mode, and then implement a graphical interface separately. 05:27:20 Other things can be added later if wanted (someone could send patches if they want, or whatever it is) 05:27:36 zzo38: do you mean ASCII line mode/ 05:27:45 that's what I was envisioning 05:27:59 Yes, just ASCII line mode will do 05:29:32 zzo38: I think having a nice terminal interface would be good too. 05:30:06 this could be implemented as a second program however. 05:30:13 OK 05:54:03 zzo38: I may also look into generalizing some of the code to work with many different kinds of pieces 05:54:22 but I won't really make use of that. 06:22:01 OK. 06:27:50 I do not think Pure BF is really equivalent to brainfuck, because Pure BF is not interactive 06:28:09 http://esolangs.org/wiki/Pure_BF/Implementation 06:32:48 (The download is at the bottom of the article.) 06:58:13 -!- Klisz has quit (Quit: SLEEP, GLORIOUS SLEEP). 07:04:26 -!- sebbu2 has joined. 07:04:26 -!- sebbu2 has quit (Changing host). 07:04:26 -!- sebbu2 has joined. 07:06:37 -!- kwertii has quit (Quit: bye). 07:07:12 -!- sebbu has quit (Ping timeout: 240 seconds). 07:32:13 kallisti: ♖♘♗♕♔♗♘♖ 07:50:34 Someone made up a joke about naming the Chinese children: The parents throw all of their cutlery down the stairs, and however noise it makes is the name of their children. 08:03:29 anyone know why my apparently very simple libbfd example isn't working? http://hpaste.org/56653 08:06:34 -!- MDude has joined. 08:09:57 -!- MSleep has quit (Ping timeout: 252 seconds). 08:10:47 -!- oerjan has set topic: now open for Americans to liberate | Get your esoil and esoline here! | http://codu.org/logs/_esoteric/. 08:11:05 -!- oerjan has set topic: #esoteric now open for Americans to liberate | Get your esoil and esoline here! | http://codu.org/logs/_esoteric/. 08:12:05 -!- oerjan has set topic: #esoteric now open for Americans to liberate | Get your esoil and esoline here! | Bow to the glorious optators! | http://codu.org/logs/_esoteric/. 08:12:25 Do you think Pure BF is different than brainfuck because Pure BF is not interactive? 08:12:52 well you can make it interactive enough if you assume laziness 08:13:52 like lazy-k's bf interpreter presumably does 08:13:54 oerjan: Yes, you can fake it, and have Lazy I/O; 08:14:17 Still, Pure BF is not really interactive, even if you can make it so, doing somehow. 08:14:59 ok 08:15:00 I wrote an implementation (it is on the wiki) so you can see how it worked 08:15:18 I used: type Tape = Sum Integer -> Word8; 08:15:22 type World = ([Word8], [Word8]); 08:17:33 Does it look like correctly to you? It has "interpret" function which is based on lazy I/O 08:17:49 So it is not necessarily the same as brianfuck. 08:17:57 s/brianfuck/brainfuck/ 08:19:28 The action=raw function in MediaWiki, and the way that
 works in MediaWiki, you can make a wiki article which is also a valid Haskell program.
08:19:46  solution: one must call bfd_check_format after opening the bfd
08:19:56  > succ 255 :: Word8
08:19:57    *Exception: Enum.succ{Word8}: tried to take `succ' of maxBound
08:20:05  > 255 + 1 :: Word8
08:20:06    0
08:20:25  zzo38: i believe Word8 is defined to do arithmetic (mod 256)
08:20:36  Feel free to change the program then
08:21:09  The download link just downloads the raw copy of the wiki page
08:22:46  Which happens to be a valid literate Haskell program.
08:24:40  happens to be?
08:24:57  Because I wrote it that way.
08:30:05 -!- zzo38 has quit (Remote host closed the connection).
08:58:14 -!- ais523 has joined.
09:35:31 -!- oerjan has quit (Quit: leaving).
09:56:11 -!- GreaseMonkey has quit (Quit: The Other Game).
10:29:14 -!- myndzi has quit (Ping timeout: 272 seconds).
10:46:32 -!- monqy has quit (Quit: hello).
10:55:59 -!- ais523 has quit (Read error: Operation timed out).
11:20:40 -!- ais523 has joined.
11:24:11 -!- Frooxius has joined.
11:26:23 -!- Phantom_Hoover has joined.
11:46:45 -!- Phantom_Hoover has quit (Remote host closed the connection).
12:02:28 -!- myndzi has joined.
12:11:42 -!- Frooxius has quit (Ping timeout: 248 seconds).
12:17:13 -!- Frooxius has joined.
12:22:16 -!- roper has joined.
12:48:24 -!- aloril has quit (Read error: Operation timed out).
12:50:39 -!- Ben__ has joined.
12:51:11  anyone there?
12:51:55  yes
12:52:12  quite a lot of people, but most of them are probably not paying attention
12:53:10  Anyone here knows Lament or his/her language Prelude?
12:54:32  I am looking for the Draft specification of prelude, but the link on http://esolangs.org/wiki/Prelude leads to a server that is down.
12:54:41  Ben__: hmm, interesting
12:54:51  lament is a regular here, but hasn't actually spoken for ages
12:55:38  sadly, I don't have a copy of that file saved; someone else might
12:55:48  Thanks anyways :)
12:56:27  aha, found an archived copy: http://web.archive.org/web/20060504072859/http://z3.ca/~lament/prelude.txt
12:56:28  http://wayback.archive.org/web/*/http://z3.ca/~lament/prelude.txt
12:56:44  It's not the newest version though
12:57:50  that version says basically the same as the wiki page at esolangs.org
12:58:02  yep
12:58:34  http://esolangs.org/w/index.php?title=Prelude&diff=7938&oldid=6758 and this diff suggests that the newest prelude.txt would be pretty much identical
12:58:34  and... some statements are really ambiguous
12:58:37  esolangs.org is typically the best place to find links to esolang information
12:58:48  Ben__: you can look at an interpreter to figure out what the statemetns should mean
13:00:00  we did; it took us quite a while to refactor it into a readable format... but the implementation makes a number of assumptions that aren't in the language specification itself and we're trying to find out if those were intended
13:00:22  ah, I see
13:00:27  it can be hard to know what's intended in a specification
13:00:40  especially where esolangs are concerned, the author's answer is often "I didn't think of that"
13:00:50  I see
13:01:37  would you happen to know if Lament was the one who wrote the interpreter?
13:01:46  because then we can just assume that's what he meant :)
13:02:00  I don't know, although it seems possible
13:02:07  is there a name in the interpreter? often there is
13:02:07 -!- aloril has joined.
13:02:12  e.g. I'm Alex Smith, and wrote bf2pre, the compiler
13:02:17  for BF into Prelude
13:02:22  and my name's on it to make that clear
13:04:05  apparently you're the one who wrote the interpreter (prelude.c) we're looking at
13:04:45  aha, the Python interp was written by lament
13:04:51  yep, seems I wrote the C interp
13:05:20  here you go, if you want author's intent: http://web.archive.org/web/20060504072747/http://z3.ca/~lament/prelude.py
13:05:41  not sure if the two interps are identical, I based mine on the spec
13:06:02  :) thanks
13:06:32  too bad the original server seems to have disappeared; quite a few pages on esolangs.org link to it
13:06:49  it has a tendency to happen with esolangs
13:07:01  that's what the Esolang fileserver was for, but it's also disappeared in the sense that nobody writes to it any more
13:07:04  (it can still be read just fine)
13:07:27  too bad, these languages are quite interesting
13:07:40  well, the languages are mostly documented on the wiki
13:08:46  I'm currently working on a case study in a class on languages and automatons(/automata?) for which everyone uses esolangs.org pretty much exclusively
13:30:05  Deewiant: Hoy I just saw your name.
13:30:13 -!- augur has quit (Ping timeout: 240 seconds).
13:30:26  fizzie: ... okay?
13:30:34  Deewiant: Keijo Heljanko is presenting some genome data visualization thing.
13:31:01  fizzie: Right now, and you're IRC'ing from there or something? :-D
13:31:08  Apparently you've done some programmering there. Unless you have a same-named person.
13:31:11  Yes.
13:31:18  Still speaking, in fact.
13:31:31  I didn't want to forget to mention it.
13:31:52  Yes, I've programmered the Aalto parts of it.
13:32:07  And am in the process of programmering related things.
13:33:05  It's this "TIK-päivä". Our speech recog demo is here, and techically one conference poster of mine was supposed to also, but I think they ran out of poster boards.
13:33:45  I was just about to say that it's that Day thing.
13:34:12  And I think I recall him mentioning that he was going to talk about it.
13:36:30  He's also advertising his cloud computing course and summer trainee positions. :p
13:36:48  All this during a ten-minute thing.
13:36:48  As is typical. :-P
13:37:01  Also there was a photo of Triton.
13:39:07 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .).
13:39:37 -!- Ngevd has joined.
13:39:40  Hello!
13:41:58  Next: Tomi Janhunen and the classroom schedule automation thing that I almost was involved in. (Back in 2007 I applied to both CIS and TCS lab summer trainee programs; both said yes; that would've been the TCS option.)
13:43:19  I might've applied to that one too, can't remember how it worked.
13:43:25  Ended up under Keijo anyway.
13:44:24  I'm not sure if TCS asked what I wanted, at least back then, I think they just told me "this is what we'd have for you".
13:44:56  I recall the topics were all visible beforehand, at least.
13:45:04  Not sure if one had to be picked on the application.
13:45:38  Yes, there was a list.
13:46:07  This year's topics for ICS should be out any day now, or so I've heard.
13:55:29 -!- augur has joined.
13:58:49 -!- Taneb has joined.
13:58:49 -!- Ngevd has quit (Read error: Connection reset by peer).
14:05:14 -!- Ben__ has quit (Quit: Page closed).
14:05:14  I'm going to play dwarf fortress until my power goes out, then do homework
14:16:58 -!- Taneb has quit (Ping timeout: 245 seconds).
14:17:07 -!- Ngevd has joined.
14:18:46 -!- Ngevd has quit (Client Quit).
14:25:48 -!- myndzi\ has joined.
14:28:55 -!- myndzi has quit (Ping timeout: 276 seconds).
14:29:38 -!- roper has quit (Read error: Connection reset by peer).
14:44:51  Man
14:45:16  A professor proposing a thesis is asking me to explain my python programming that I claim on my resume
14:45:23  But all my python programming is esolangs!
14:45:27  Aaaah!
14:49:05  Deewiant: Hey here's also a poster with your name on it.
14:49:11  Deewiant: You is famous.
14:50:17 -!- myndzi\ has quit (Ping timeout: 240 seconds).
14:50:45  (For some values of.)
14:57:28  It's probably the one that's typically hanging outside my office. :-P
14:58:02  Unless it also says Siert on it in which case it's the one from the second floor.
14:58:33  I'm quite the poster boy.
15:01:26 -!- Phantom_Hoover has joined.
15:19:31  I'm inside the speaking place now so can't check.
15:19:51  It had 2+3 people from Aalto+CSC unless I misremember.
15:20:27  I should plant *my* poster on top of yours, for revenge, I think.
15:21:29  A bit late now that all the "look at posters" breaks are over, except the one before sauna, and I don't think people will be too interested at posters at that time.
15:21:56  Oh well, at least I get to go home in an hour.
15:52:02 -!- Ngevd has joined.
15:52:17  Hello
15:53:35  so, what's this channel's take on achievements being added to Visual Studio?
15:53:44  originally it was a joke at Reddit, but Microsoft decided to run with it
15:53:50  !?
15:54:13  good reaction
15:54:26  Like, "Global Greeter: you have made a 'Hello, World!' program!"
15:54:28  ?
15:54:51  Ngevd: it's along the lines of "create a class with a ten-level-deep inheritance hierarchy"
15:55:03  or "build a project that takes over 10 minutes to build"
15:56:29  Well, it'd just get in the way of people who actually have a need to use Visual Studio
15:56:41  it's optional
15:56:43  an extension
15:57:07  And be boring to the people who like achievements?
15:57:11  besides, people who have a need to use Visual Studio, they have /Visual Studio/ to get in their way
15:57:16  Ngevd: who knows
15:57:50  Visual Studio has one of the best XSLT editors I've come across, and I've came across around three.
16:01:04 -!- ais523 has quit (Remote host closed the connection).
16:01:32  My comment has disgusted ais523 so much his host closed the connection.
16:20:15  Wow, there isn't a Nandypants implementation
16:24:15 -!- sebbu2 has changed nick to sebbu.
16:25:34  f
16:25:34  Phantom_Hoover: You have 4 new messages. '/msg lambdabot @messages' to read them.
16:32:47 -!- Ngevd has quit (Read error: Connection reset by peer).
16:33:39 -!- Ngevd has joined.
16:38:19 -!- Ngevd has quit (Client Quit).
16:51:05 -!- Phantom_Hoover has quit (Remote host closed the connection).
16:57:02 -!- ais523 has joined.
17:01:08  If what I saw on another channel is right, there's also a "Go To Hell" achievement for using 'goto', and something for putting more than five curse words in the same source file.
17:02:11  indeed
17:04:59  oh, Symantec were hacked and the source code to Norton was leaked
17:05:17  could be a good way to make the computers of a bunch of hackers unusable
17:06:02  I think Schneier blogged about this.
17:06:11  "Hackers stole some source code to Symantec's products. We don't know what was stolen or how recent the code is -- the company is, of course, minimizing the story -- but it's hard to get worked up about this."
17:06:12  it wouldn't surprise me
17:06:16  Yes.
17:06:44  fizzie: I don't think it massively affects Symantec customers directly, but it does rather embarrass the company
17:07:20  Yes, due to line length worries I omitted the third sentence, which ends "-- but most likely Symantec's biggest problem is public embarrassment."
17:20:40 -!- Klisz has joined.
17:31:54  elliott still hasn't come back here
17:31:59  right
17:32:03  I've seen him post elsewhere, though
17:32:05  so I think he's OK
17:32:21  and he was on StackOverflow 10 minutes ago
17:32:37  if you read this, elliott, best of luck in your new addiction ;)
17:32:37  He's in #haskell
17:33:27 -!- HalfTauRSquared has joined.
17:37:23  wtf is http://esoteric.voxelperfect.net/wiki/Category_talk:Languages
17:37:41  Probably spam
17:38:04  HalfTauRSquared: a blank page ;)
17:44:50 * HalfTauRSquared sees http://esoteric.voxelperfect.net/wiki/Template:K
17:44:59  lol
17:45:04  Did it work?
17:45:17 -!- BlackCherry has joined.
17:47:26  ais523: Reputation-hunting leaves no time for #esoteric shenanigans, I suppose.
17:47:31 -!- BlackCherry has left.
17:47:44  right
17:48:19  What, 8372! It was something like six-seven thousand a while ago.
17:50:08 * kallisti likes the elliottlessness
17:50:19  elliottllessnness
17:50:24  need to double every consonant
17:50:39  (cur) (last)  23:56, 7 March 2008 Elliott (Talk | contribs) (Apologies for polluting the global namespace. I think I can embed the SKI calculus into MediaWiki.)
17:51:05  HalfTauRSquared: no, it didn't
17:51:12  lol
17:51:15  MediaWiki dislikes recursive templates
17:51:38  what's the max recursion limit?
17:53:01  0 I think?
17:53:54 * kallisti has attempted similar things and discovered that it's not possible without recursion.
17:55:00  XD
17:59:06  kallisti, you didn't double the s's
17:59:11  elliottllessssnnessss
17:59:20  they were already doubled
17:59:22  >_>
17:59:26  I doubled the undoubled ones.
17:59:26  So double them again
17:59:30  NOPE
17:59:36  not what I was trying to do
17:59:39  I wanted event doubleness
17:59:46  only two consonants away.
18:00:00  elllliottttlllllessssnnnnessss
18:00:47  eelllliioottttlllleessssnnnneessss
18:01:05  !swedish eelllliioottttlllleessssnnnneessss
18:01:08  eelllleeiuuttttlllleessssnnnneessss
18:01:20  ^bf ,[..,]!elliottlessness
18:01:21  eelllliioottttlleessssnneessss
18:01:23  !swedish what is this?
18:01:24  vhet is thees?  Bork Bork Bork!
18:01:30  ...
18:01:45  Vorpal imitator.
18:01:50  Bork Bork Bork!
18:02:03  1
18:02:06  !swedish swedish
18:02:06  svedeesh
18:02:11  !svedeesh svedeesh
18:02:12  sffedeesh
18:02:23  !sffedeesh sfedeesh
18:02:23  sffffffffffffffffedeesh
18:02:37  !sffedeesh what is this I don't even?
18:02:38  fhet is zeees I doooon't iffffffffee-a-a-a?  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!
18:02:42  !svedeesh eelllleeiuuttttlllleessssnnnneessss
18:02:43  eelllleeeeuuuuttttlllleessssnnnneessss
18:03:21  eelllleeiuuttttlllleessssnnnneessss is the same?
18:03:25  no
18:03:44  !sffedeesh ????????????????????????????//
18:03:45  ​????????????????????????????//
18:03:52  !sffedeesh whar????????????????????????????
18:03:53  fher????????????????????????????  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!  Bork Bork Bork!
18:04:33  http://www.google.com/search?q=svedeesh
18:05:30  ^bf +[.++++.-]
18:05:30  .. #"&%)(,+/.215487;:>=A@DCGFJIMLPOSRVUYX\[_^baedhgkjnmqptswvzy}|
18:05:40  Unknown CTCP...
18:08:47  fungot: hi
18:08:47  HalfTauRSquared: a not boring way, build a way up the echeladder a while. don't give a shit in the veil.
18:08:55  wtf
18:09:03  fungot: ???
18:09:03  HalfTauRSquared: but it is your journey i am a fucking veteran of the game in the first place. you wonder what it does?"
18:10:20  ^bf +.,[.,]+.!ACTION hasn't been insulated against being asked to do CTCPs yet
18:10:21 * fungot hasn't been insulated against being asked to do CTCPs yet
18:12:02  what other ctcps are there?
18:12:23  HalfTauRSquared: you're in a UTC-5 timezone
18:12:29  (I figured that out via CTCP)
18:12:36  and you're using ChatZilla
18:12:48  those are the main ones that clients actually respond to
18:12:54  CTCP time reply “Thu Jan 19 18:12:36 2012” from ais523
18:13:00  there are a few that are defined but nobody cares about
18:13:07  like... ?
18:17:30  CTCP SOURCE, I think
18:21:56 * Sgeo assumes that fungot is talking in MSPA style
18:21:56  Sgeo: a not boring way, build a way up the echeladder a while. it should be hours before you have to connect to the internet and lead him, rose, did you just make your room lousy wise, a distinction in men that would forever.
18:22:14  Or just Homestuck style
18:22:16  ^style
18:22:16  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
18:23:20  ^style europarl
18:23:21  Selected style: europarl (European Parliament speeches during approx. 1996-2006)
18:23:25  fungot: I like this one
18:23:25  ais523: mr president, ever since the treaty of amsterdam, and contrary to the commitments set out in the maastricht treaty.
18:29:00 -!- rod_ has joined.
18:29:06 -!- rod_ has changed nick to roper.
18:29:47 -!- Slereah has quit (Ping timeout: 240 seconds).
18:32:22 -!- _Slereah has joined.
18:32:36 -!- monqy has joined.
18:41:42  @unpl you $ (just . (.)) $ use . (point free) $ (. style)
18:41:42  (you (just (\ b c -> use (point free (b c)))) (\ d s -> d (style s)))
18:56:19  Were you just randomly throwing things like that in?
18:56:24  To see what would happen?
18:56:53  someone said it in another channel as a joke
18:57:06  so I decided to unpl it to show that the alternative was not much better ;)
18:57:12 -!- Ngevd has joined.
19:00:22  Hello!
19:07:48  CTCP CLIENTINFO will tell what other things the client will answer for.
19:08:06  At least sometimes.
19:08:10  21:07 [ircnet] CTCP CLIENTINFO reply from fizzie: PING VERSION TIME USERINFO CLIENTINFO
19:09:03  [CTCP] Received CTCP-CLIENTINFO reply from ais523: ACTION CLIENTINFO DCC PING TIME VERSION.
19:09:22  heh at ACTION being there
19:09:37  DCC is also something whatever answered for me seemed to omit.
19:10:32  irssi gives me the same as fizzie's reply, so presumably it was that
19:10:40  Oh, I've only got irssi connected at the moment; was wondering why no XChat reply.
19:12:01  Not that XChat seems to be answering now either. Oh well.
19:32:18  wtf, Facebook breakage.
19:32:37  It's telling me that two people I don't know like my wall post, and when I click that link, it brings me to a message that says "This content is currently unavailable"
19:33:20 -!- GreaseMonkey has joined.
19:54:06  Gregor, maybe they blocked you or deleted their accounts?
19:54:12  How long ago was the wall post?
19:54:38  There /is/ no wall post.
19:55:16  o.O I thought you were saying clicking the users said that they were unavailable
19:55:36  No, clicking the notification, which should go to the wall post (so I can know what wall post it refers to) goes to that.
19:55:56  Clearly you sleep-delete stuff
20:03:33 -!- zzo38 has joined.
20:07:08  And before that, I share it with people I don't know? Somehow?
20:07:15  And then they like it AFTER I deleted it?
20:14:32  Like what? Delete what?
20:17:25 -!- HalfTauRSquared has changed nick to pir^2.
20:41:24  WTF TWO MORE PEOPLE LIKED THE PHANTOM POST
20:47:10  "To promote prosperity, creativity, entrepreneurship, and innovation by combating the theft of U.S. property, and for other purposes."
20:47:13  other purposes, eh?
21:19:40 -!- pir^2 has changed nick to PiRSquared17|afk.
21:36:10 -!- Phantom_Hoover has joined.
21:39:16  I doubt that combating the theft of U.S. property will promote prosperity, creativity, entrepreneurship, and innovation
21:40:20  basically it concerns the creation and distribution of bitstreams 
21:40:25  kallisti, is the point of Portal Chess to be COMPLETELY AMAZING?
21:41:51  what makes matters worse is the use of computer data to control those without computers
21:42:28  basically i think i can assume the laws are biased towards anyone who owns computer hardware
21:42:32  kallisti, because I want to sign up to playtest
21:42:37  fsvo laws
21:42:52  not just sopa and pipa but all modern laws
21:43:14  itidus21, did you learn Law from the same place you learnt Lambda Calculus?
21:43:27  itidus21, if you don't own computer hardware, SOPA... doesn't affect you, at least directly.
21:43:56  Ngevd, please stop I have a friend that does that and my ability to not punch him in the face is worn thin.
21:44:26  Playtest Portal Chess?
21:44:58  what will happen is society will transform more and more so that people need computers
21:44:59  Ngevd: yes that is the goal.
21:45:09  whereas once upon a time people didn't need computers
21:45:35  Ngevd: I still feels that the prism unit is kind of bad.
21:45:43  one interesting way this happens is more and more marketplaces exist only on the internet
21:46:22  kallisti, I think the prism should be undirected and should split projectiles in a Y shape
21:46:56  they want you "to need to be" connected to the internet.. "to need to have" credit cards
21:47:04  I think you guys should understand that chess only works because it's extremely minimalistic.
21:47:05  as far as arrows being immune to projectiles I think this can be combatted by effective use of portals to relocate them, still it's difficult to actually capture them. 
21:47:22  Phantom_Hoover: yes that is part of the appeal to its strategy.
21:47:26  Phantom_Hoover, chess is a lot less minimalistic than draughts
21:47:29  itidus21: I have ideas partially fixing some of these problems, making my own business when I am able to do so. Everything work with postal mail, payment in cash, no internet require, and so on. Everything non-DRM, etc
21:47:58  Phantom_Hoover, and yet is much more successful
21:48:41  So that everyone that pays by credit card and so on has to pay extra service fee
21:48:44  Phantom_Hoover: chess is nice because each of the pieces complement and each other nicely. They each serve a specific role and must work within those constraints. I'm trying to emulate that to an extent. I don't think I've designed portal chess with the notion that, if I add as much wacky shit as possible, I'll have a fun game.
21:48:49  zzo38: i just label myself insane and call it a day
21:48:49  hoohoo
21:49:23  which is why I don't think I really like the idea of splitting projectiles into two paths.
21:49:38  it simply becomes too complex when you consider the possibilities of loops.
21:49:49  itidus21: Labeling yourself insane is not sufficient (nor is it necessary; but that isn't the point).
21:49:55  Then I would suggest a different name for the piece
21:49:58 -!- ais523 has quit (Remote host closed the connection).
21:50:25  its getting ((& more) more) difficult to explain to older adults why i don't need a job or an income
21:51:11  whats a ((& more) more)
21:51:16  lisp english
21:51:26  supposedly the buddha suggests to not try to delianate the self
21:51:28  curried lisp english....
21:51:29  what did you do
21:51:30  or something
21:51:45  more and more
21:51:47  itidus21: delineate? the buddha suggests there is no such thing as self.
21:52:19  The self is really just a part of the universe as a whole and is of no use otherwise. Same with everything else.
21:52:24  Ngevd: I was considering augmenting the pawns perhaps, but perhaps they're still useful as it stands
21:52:36  ok now im trolling.. 
21:52:47 -!- oklopol has joined.
21:52:58  itidus21 says something stupid, people call him out on it, itidus21 claims he is trolling. classic.
21:53:05  fenzeta manziemonda
21:53:15   its getting ((& more) more) difficult to explain to older adults why i don't need a job or an income
21:53:19  faziccio permandonza
21:53:23  kallisti, on account of how you pay far too much attention to my posts it would be very bad for you to hear much more of my comments on that
21:53:26  kallisti, the pawns are good as it stands
21:53:26  I am rather curious as to why you don't need a job or an income.
21:53:31  since i am not sane, i cannot possibly inspire sanity
21:53:38  I've been lead to believe that money is quite useful.
21:53:41  Phantom_Hoover: disability, I would imagine.
21:54:04  he probably doesn't like to explain that he's on disability funds, or something. that was my guess.
21:54:13  otherwise, yes, it makes no sense.
21:54:26  itidus21: if you don't need money yourself, you could work and give *me* money
21:54:29  funds = income
21:54:32  So you have an income of disability support?
21:54:32  Maybe he's a hermit with no worldly possessions?
21:54:43  Ngevd, and a computer with an internet connection?
21:54:44  my family covers me
21:54:48  Ngevd: pawns could perhaps move like kings??
21:55:02  Phantom_Hoover, nah, a rock
21:55:03  That he borrows
21:55:04  itidus21: your family dies. now what.
21:55:05  Phantom_Hoover: my brother shares his connection with me, and gives me hand me down pc parts
21:55:09  itidus21: or do you plan to die first
21:55:20  kallisti, pawns are good!
21:55:31  Perhaps keep prisms as queense?
21:56:12  i am not in want
21:56:34  all i lack is an offline social life or money to afford a social life
21:56:55  Ngevd: I was also thinking queens could be portals that connect to the opposing player's queen.
21:57:11  kallisti, checks at start of game, not good
21:57:19  suffice to say that my irc experience is as good as anyone who is funded :D
21:57:33  Ngevd: also not likely
21:57:40  portals have directions remember?
21:57:45  Ah yes
21:57:48  why would you point your queen at your king?
21:58:18  Hehe I just thought of a potential play
21:58:20  but yes it's likely not a good idea.
21:58:22  Now my head hurts
21:58:33  too complicated I think
21:59:01  I thought about leaving queens alone. not sure what ramifications that would have.
21:59:09  money to afford a social life? :D
21:59:33  Ngevd: for the original idea I could rename them as "lenses", also I was considering giving them a direction rather than being directionless, as it simplified interface requirements.
21:59:34  buying friends
21:59:42  that's how friendship works right
22:00:10  i remember in school people used to joke about the word pay-friend
22:00:57  oklopol: well something as simple as a restaurant visit, bowling alley, cinema, pub.. none is free
22:01:05  I have to (truthfully, of course) convince the people that my ways of doing business are save energy and stuff a lot more. In addition to respecting your privacy, etc
22:01:11  monqy, no you catch them when they forage in your bin
22:01:34  the money is for populating the bin
22:02:04   oh
22:02:06  There is an article in some issue of 2600 called "Smart Regression". There are a lot of informative articles in any issue
22:02:10  Ngevd: dunno I think lenses are pretty solid (and you seem to mainly object the name, which was poorly chosen)
22:02:11  also the blanket i suppose
22:02:50  kallisti, hmm
22:02:54  This needs testing
22:03:10  Ngevd: they could move as queens, have a direction, and have some kind of capture movement that is more limited than their normal movement
22:03:28  Ngevd: and yes I am agre
22:03:40  I have an idea for capturing
22:03:54  Nevermind, it's kinda lame
22:04:19  yes the idea is to not make yet another lame chess variant. :P
22:04:28  the game Ultima for example is basically just a bunch of random ideas thrown together.
22:04:47  there's a piece that captures by moving away from a piece adjacent to it....
22:04:57  and another that captures a piece in the same way that the piece captures others.
22:05:03  these aren't very good pieces.
22:05:31  Meanwhile you have a bunch of pieces based around the "OMG wouldn't it be cool if..." principle.
22:05:38  Phantom_Hoover: I do not.
22:05:42  Phantom_Hoover: I have one of those. the portal.
22:05:51  the rest is based on that.
22:05:56  At least continuous chess was based around a single "OMG wouldn't it be cool if...".
22:06:23  Phantom_Hoover: bawwwwwwwwwwww
22:06:39  go cry about it somewhere else kthx.
22:07:03  I love the part where you confuse that for bitterness as if continuous chess was my precious result of years of work.
22:07:33  not really.
22:07:36  you're just not being very helpful
22:07:50  for some reason.
22:08:18  Yes, because you've been talking non-stop about this godawful chess variant for nearly a fortnight.
22:08:48  I suggest the creation of #esoteric-chess-variants
22:08:58  As do I.
22:08:59  then what will happen here
22:09:11  Esoteric programming languages
22:09:17  #esoteric-chess-variants
22:09:20  We will all be happy and ncie
22:09:23  I meant to type join
22:09:23 -!- quintopi1 has joined.
22:09:24 -!- quintopia has joined.
22:09:33  Phantom_Hoover: sorry I'll try to have conversations somewhere else. resume your on-topic banter.
22:09:34  But I forgot
22:09:35  i's back
22:09:36  I also have a channel called +CHESS in my IRC server. It is already there, for discussing chess and variants.
22:09:46  Why + and not # ?
22:09:53  Is + the "no operators" thing?
22:10:14  Sgeo: Modeless (which implies no operators)
22:10:33  Clearly, we should all go spam the channel
22:10:38  clearly
22:10:46  Clearly.
22:10:48  also, has it really been 2 weeks?
22:11:03 * kallisti loses track of time.
22:11:04  since what
22:11:06 -!- quintopi1 has quit (Client Quit).
22:11:07  Alternately, kallisti could go and discuss Portal Chess-- wait they're isomorphic.
22:11:12  monqy, since portal chess.
22:11:18  whoops
22:11:27  If you do you will be forcibly disconnected from the server... even if they are channels you make up yourself
22:12:04  oubliette?
22:12:12  Phantom_Hoover: no have I been talking about portal chess for two weeks
22:12:19  the idea has been around for at least a few months now.
22:12:27  I am just working on it again.
22:12:28  But small spam might not be considered spam
22:12:30  Anyway.
22:12:34 * Phantom_Hoover -> Skyrim
22:12:35 -!- Phantom_Hoover has quit (Quit: Leaving).
22:12:45  spam = anything Phantom_Hoover doesn't like
22:12:46  apparently
22:12:59  ok
22:13:31  Portal time travel chess!
22:13:39  (I remember seeing a time travel chess variant)
22:14:05  chess variant where the pieces are really really heavy
22:14:05  Hmm, there may be several
22:14:07  Sgeo: There are more than one.
22:14:48  http://www.wgosa.org/ttchsrules.htm this is probably the one I was thinking of
22:39:47 -!- zzo38 has quit (Remote host closed the connection).
22:41:43 -!- PiRSquared17|afk has quit (Quit: Lorem ipsum dolor sit amet, consectetur adipisicing elit).
22:44:49 -!- Patashu has joined.
22:54:13 -!- kwertii has joined.
23:02:41 -!- somethingorother has joined.
23:07:54 -!- Jafet has quit (Quit: Leaving.).
23:14:47 -!- somethingorother has left.
23:16:06 -!- Frooxius_ has joined.
23:16:28 -!- Frooxius_ has quit (Client Quit).
23:16:42 -!- Frooxius_ has joined.
23:17:15 -!- Frooxius_ has quit (Client Quit).
23:18:24 -!- Frooxius_ has joined.
23:18:44 -!- Frooxius has quit (Ping timeout: 252 seconds).
23:18:51 -!- Frooxius_ has changed nick to Frooxius.
23:23:21  I've just realised how join works with functions
23:23:33  (->) r is a monad, right?
23:24:00  isomorphic to Reader yes
23:24:09  And join :: m (m a) -> m a
23:24:17  Ngevd: join f x = f x x
23:24:32  spoilers
23:24:34  I knew that, I mean I've just realised /why/ it works
23:25:10  If we consider m to be (->) r, that gives us (->) r ((->) r a) -> (->) r a
23:25:35  Or, in infix form, (r -> r -> a) -> r -> a
23:25:36  it's easier to use sections even if it's not Real Haskell
23:25:42  infix and sections
23:26:19  And that is how it makes sense for me
23:27:42  Now for a
23:27:43  p
23:28:21  Now, ap :: m (a -> b) -> m a -> m b
23:28:47  So, if m = (->) r
23:28:51  ap :: (r -> a -> b) -> (r -> a) -> r -> b
23:29:20  This is everything much clearer
23:29:32  Okay, if m = []:
23:29:39  join :: [[a]] -> a
23:29:49  ap :: [a -> b] -> [a] -> [b]
23:30:52  If m = Maybe
23:31:00  join :: Maybe (Maybe a) -> a
23:31:05  * Maybe a
23:31:05  Nope
23:31:17  ^^^^ [a]
23:31:21  Somewhere back there
23:31:46  ap :: Maybe (a -> b) -> Maybe a -> Maybe b
23:33:09  Now, with (->) r being a monad, that gives const, id, (.), flip, join, and ap as MIBBLII's combinators
23:35:16  > ap (.) (join (.)) succ (ord '\NUL')
23:35:18    3
23:35:21  MIBBLII?
23:35:28  One of my esolangs
23:36:09  bonus: const is return: if you're feeleng that way
23:44:10  I like how all the complexity theory articles on Wikipedia have to account for the fact that P = NP is not proven or disproven. 
23:59:20 -!- augur has quit (Read error: Connection reset by peer).
23:59:21 -!- augur_ has joined.