00:00:38 -!- KingOfKarlsruhe has joined. 00:01:47 it is? 00:01:48 I found Shor's algorithm implemented in C even! 00:01:58 link 00:02:12 link indeed 00:02:30 If you mean the algorithm in C, it is: http://alumni.imsa.edu/~matth/quant/299/paper/node42.html 00:04:05 ah interesting 00:04:12 well commented too :) 00:04:54 zzo38, that isn't C... that is C++ 00:04:56 eww 00:05:14 oh stop whining 00:05:21 what matters is the algorithm 00:05:43 But how would the INTERCAL commands be effectively used for that? CLCLC-INTERCAL defines the following for quantum computing: The QUANTUM keyword which is used like % but for quantum probabilities, qubit registers, the controlled-V operator, and the TRANSFORM command. 00:06:01 ehird, it has a qubit class though... And a qubit register class as well.. 00:06:06 So?! 00:06:12 I'm happy it isn't a template at least 00:06:21 if you're seriously saying the class *usage* part of c++ is worse than pure c, i'd love to hear you're arguments 00:06:28 you're 00:06:34 *your 00:07:21 oklofok, I just find C++ a horrible implementation of object orientation. There are much better object oriented languages, such as Objc and Smalltalk 00:07:42 oklofok, I suggest you read the C++ FQA 00:07:51 in case you have further questions 00:07:54 but basically the only difference between procedural c and c++ is types like complex use a sensible syntax 00:07:57 AnMaster you're so good at parroting stuff about languages I know you've never used. 00:08:28 AnMaster: i've read some of that, seemed a bit void of content 00:08:39 ehird, I have used objc a bit, not much, and I heard it is similiar to smalltalk in the OO bits (you told me so). So I do indeed extrapolate from it. 00:08:51 night all 00:09:05 I also find C++ bad object orientation (and even worse when compiling for the Nintendo DS, because apparently C++ makes bloated executables that will not fit on the Nintendo DS) 00:10:19 Does anyone who understands quantum computing better would know what this program does: DO |1 <- #50$#50 DO QUANTUM |1 IGNORE |1 DO TRANSFORM |1 00:10:35 And would it make a difference if the TRANSFORM comes before the IGNORE 00:10:51 -!- KingOfKarlsruhe has quit (Remote closed the connection). 00:11:45 i'm just saying procedural c++ is just c enhanced with a nicer syntax for making your structs 00:12:22 (and usering them) 00:13:34 With function overloading and default arguments. 00:13:46 yes, but there weren't even functions there 00:13:55 *Oh*. 00:14:03 and it was in pseudo-code fashion anyway 00:14:27 so why would you use a language where things like operations on complexes look like milking a male horse 00:14:29 Well, there's a nicer syntax for structs and some fiddly details with how pointers work. 00:14:38 Pointless. 00:14:56 O, and please remember that ignoring a quantum register does not prevent the qubit value from being changed, only which qubit the register refers to is becoming unchanged. 00:15:05 could you elaborate on "fiddly details with how pointers work" 00:15:26 zzo38: i can't say i understand that. 00:15:27 int *foo = malloc(sizeof(int)*5); is not valid C++. 00:15:55 A void pointer isn't implicitly cast in C++... 00:16:06 ah right. 00:16:16 that kinda details 00:16:24 Yeah, little stuff like that. 00:17:07 should probably take that course on quantum computing next year 00:17:15 i'm sure i don't need to know any physics for it 00:17:32 But I could teach you so much! 00:17:37 Come sit on my lap, boy 00:17:49 hmm, non-abstract game objects suck 00:17:53 because you have to draw them :D 00:18:04 who doesn't want to control a square? 00:18:05 But probably knowledge of mathematics (including complex numbers and matrices) would help, whether or not you need to know any physics for it 00:18:17 I think oklofok is quite well math-versed... 00:18:26 * Sgeo hasn't taken a math course in a while 00:18:41 i'm a noob in math, just gifted 00:18:51 Why draw the object? If everything is on the grid then just use ASCII. If it is not a grid then you do need to draw it, at least the circle or sqwuare plus a few other featuers 00:18:59 (i do know complex numbers and matrices tho) 00:19:02 I'm scared I might forget everything I didn't know in 6th grade. Mind you, I understood calculus in 6th grade (not enough to apply it), but still 00:19:18 Sgeo: what did you understand about it? 00:20:08 I understood the basics of differentiation(sp?) and integration, but didn't understand how to differntiate, say, 1/x (didn't realize that that's just x^-1) 00:20:11 i "understood" that integrals are a kind of infinite sum 00:20:19 I also know complex numbers and matrices, but it confuses me a bit when dealing with quantum computing, mostly because I don't understand quantum computing perfectly. I do understand math, and with any proper equations using only complex numbers and matrices I might understand it 00:20:22 probably in the 7th grade 00:20:26 but it's not that much to understand 00:21:11 -!- KingOfKarlsruhe has joined. 00:21:25 Sgeo: those are just rules you memorize. deriving them is what not all 6th graders can do. 00:21:33 * Sgeo <3ed Calculus the Easy Way 00:22:06 O, I learned differentiation calculus in school too, when the teacher teached a few things, then I found the infinite series for sin(x), cos(x), e^x, in another math book and I thought, O, I can figure out the derivative of this! So I did, and I told the calculus teacher. He ask me to figure out derivative tan(x), I knew it was sin(x)/cos(x) and they teached division differentiation so I was easily able to figure it out 00:23:06 calculus is kinda boring 00:23:32 The teacher even showed how to figure out how some of the rules work, which is good. I realized some of the rules could be figured out in alternate ways having to do with the other rules 00:23:57 "how to figure out"? 00:24:19 the only way to learn calculus is via rigorous proofs 00:24:46 everything else should be made illegal 00:24:53 Once a guest teacher came into our calculus class and he was impressed with how good I was at the mathematics things (including things that was not taught and just figure it out by myself) so he asked me to solve the twin prime conjecture for the rest of my life. 00:25:00 WHY WON'T THE MATERIAL LOAD I WANT TO READ :< 00:25:03 23:18 zzo38: Why draw the object? If everything is on the grid then just use ASCII. If it is not a grid then you do need to draw it, at least the circle or sqwuare plus a few other featuers 00:25:09 the screen is too big for an ascii thang to work nicely 00:25:20 zzo38: hah 00:26:47 I'm not sure completely how to start solving the twin prime conjecture but one day I will figure it out. I have independently proven many other things before in mathematics, so eventually I should figure out this one as well, maybe? 00:27:05 what kind of things have you figured out? 00:27:35 zzo38, I once thought I'd toy with that 00:27:42 Not that I remember much now 00:28:21 Hm, all but one prime pairs are centered around a multiple of 6 (that sounds trivial, I guess I only found trivial stuff) 00:28:33 One day I independently figured out a proof for the pythagorean theorem while resting on a couch. I showed it to some people and they sent a message to a university where nobody else knew that proof and thought the sender was a doctor. He isn't, neither am I. I thought someone else must have used this proof before, and later I learned I was correct. 00:29:20 zzo38, AWESOME 00:29:39 I also proved that the audioactive decay sequence (start at 1 and continuously run-length encode it) has no numbers higher than 3 and you won't get 333 00:29:55 audioactive decay = look and say sequence 00:30:21 isn't that a simple inductive proof? 00:30:42 Yes it is a simple inductive proof. 00:30:59 i'd probably need paper and an hour 00:31:25 And I have seen the audioactive decay sequence refered to as many different things before, although I have never seen it refered to as run-length encoding, although someone has probably done so and I just don't know about it 00:31:44 I don't see why it would take that long 00:32:05 i'd probably need an hour just to get myself to find a paper 00:34:25 A paper? I did all three of these proofs without a paper. Although a paper would certainly help in understanding it. The problem with most people is thinking using some kind of language (such as English). You need to learn to think abstractly without languages and then you will understand. 00:35:19 And the pythag proof I made up while resting on the couch (although I'm sure many other people have done the same, completely independently of me) I now put it on the computer and can be found at: http://zzo38computer.cjb.net/img7/pythagorean.png 00:35:20 you talk like you're a greater mind than me 00:35:26 i don't take kindly to that 00:35:44 oh that proof 00:35:57 Well, you are better at some things and I am better at some things, but we can both learn. 00:36:08 probably 00:36:30 i saw that proof much too early to have come up with it 00:37:09 * Sgeo feels like the lowest mind here :(. Well, I'm still better than most people I meet IRL 00:37:40 I have never even seen any proof of pythagorean theorem that I understood before coming up with this proof. Although probably other people who proved it independently might certainly have done the same, which I think is probably true. 00:37:50 Sgeo: neither of these proofs is actually very complicated 00:38:23 zzo38: well that's the canonical visual proof 00:38:28 I'm talking in general, not these proofs in specific.. although I'd never come up with a Pythagorian theorem proof independently 00:38:28 i'm the lowest mind here, probably. 00:39:20 well geometrical proofs don't count, so you still have time. 00:39:48 oklofok, are you talking to me? 00:39:58 Sgeo: yes 00:40:20 "you still have time" Time until what? I'm 19, if you mean something 00:40:24 Why do geometrical proofs not count? This proof is a simple proof having to do with areas of triangles and squares, with a bit of algebra involved also. 00:40:45 Sgeo: Time until you are dead, of course. 00:41:15 Sgeo: i meant you can still be the first one of us three 00:41:27 but it was somewhat of a joke, i just don't like visual proofs. 00:42:11 I don't generally prefer visual proofs either, but for things like sides of triangles, visual proof seems the best way. 00:42:48 That is, as long as other mathematics is also involved (such as algebra), otherwise the visual proofs mean comparitively nothing 00:43:09 Incredibly stupid question time that's bugged me for a while? Is there a non-visual proof that a*b == b*a? 00:43:23 Sgeo: in what structure? 00:43:37 the problem is you're stepping into the area of definitions 00:43:54 axioms that is 00:44:02 Sgeo: Yes I'm sure there is but I can't think of it right now. (Anyways it applies if a and b are real or complex numbers but not if they are hypercomplex or matrices) 00:44:17 Sgeo: in non-abelian groups ab isn't necessarily the same as ba 00:44:34 AnMaster: my mario physics are functioning 00:44:39 Real numbers, I guess. Even just a proof for integers, or even just naturals 00:44:42 ehird, nice 00:44:49 * AnMaster couldn't sleep 00:45:11 Completely unrestricted air movement because why the hell not. 00:45:14 Sgeo: well for integers you can define addition constructively using a simple recursive definition 00:45:19 after which you can just use induction 00:45:29 * ehird tweaks gravity 00:45:58 Sgeo: you don't want to know the details of real numbers 00:46:17 Where can I find those details? 00:46:33 And are rationals simpler? 00:46:36 safest way would probably be some kinda math institution 00:46:38 yes 00:46:41 they are very simple 00:46:51 reals step over the line of intuition, at least for most ppl 00:48:04 If p/q is a fraction and r/s is another one then the result (pr)/(qs) and (rp)/(sq) is same 00:48:48 Yeah, the reals are rather... Ugly. 00:49:15 The rationals follow rather easily from the integers, though. 00:49:19 ugly or beautiful, point is they contain a dash of math 00:49:31 and math requires insanity 00:49:57 As proven by oerjan's mad scientist-style lair. 00:50:03 (I assume oerjan has one) 00:50:10 sure 00:50:20 There is no great genius without a touch of madness. 00:51:38 i'll probably start doing some math next year, currently i've just done the algebra and analysis basics 00:52:23 so many nice cs courses i just didn't have the time 00:54:12 the adventures of the red square in falling blue oblongs land 00:54:17 i love pygame 00:55:50 Or you represent the player's object by a circle and the other objects by squares/rectangles, I just think this way is better. And color-code the objects (unless you are using a monochrome display) according to which type, such as moving, earn points, dangerous, pushable, etc. 00:56:28 And I found a article on wikipedia about quantum turing but it is stub and doesn't explain it much (mostly because is stub) 01:00:23 hmm 2am 01:00:28 gotta continue reading 01:00:34 see you later 01:00:36 -> 01:03:58 hmm, coming up with good placing for the floors is hard 01:04:16 Do you have screen-shot? 01:04:34 Cant' screenshot SDL stuff, it comes out blank :( 01:05:07 zzo38: just imagine a 500x500 black image with a 30x30 red pixel on it and 7 randomly placed blocks of 45-75 pixel width that are 5 pixels tall and all blue 01:05:24 Then use the screen-shot function of SDL (if SDL has a function for doing screen-shots) 01:05:41 And explain what the colors mean 01:05:45 don't know if it does 01:05:49 zzo38: (255,0,0) is red 01:05:53 (0,0,255) is blue 01:05:58 red means 'you', blue means 'floor' 01:06:01 The colors must represent different kind of objects, but what does each kind represent 01:06:03 and those are the only objects 01:06:10 basically, you're on a floor 01:06:14 and you can move left, right, and jump 01:06:17 now, the floors continually move down 01:06:21 and new floors appear above 01:06:25 if you fall to the bottom, you lose 01:06:33 so you have to jump up on to the new floors for as long as possible 01:06:47 OK. Maybe you should add some more kind of objects later on, such as goal object (maybe green?) and add a timer maybe 01:06:55 Yes, I intend to 01:07:02 This is sort of a prototype for a full game with the same ide 01:07:02 a 01:07:18 Adding things like moving horizontally objects, object to collect bonus points etc 01:07:23 Yep 01:07:33 I was also planning to have tunnels you go in to, but with the exit at the bottom 01:07:39 So you have to collect the item in them before the exit disappears 01:08:35 Hmm, maybe I should enforce some distance between floors 01:10:04 -!- zzo38 has quit. 01:10:35 zzo38: after a moment of thought, i'm not even sure what it'd even mean to have a non-geometric proof of pythagoras', since that's just how euclidean distance is defined 01:10:59 he's gone 01:11:01 so i guess that proof is okay. 01:11:02 orly. 01:11:42 he wasn't when i started writing, so i completed the sentencer 01:12:10 -!- KingOfKarlsruhe has quit (Remote closed the connection). 01:12:21 i know he doesn't read logs, but i like correcting myself anyway 01:13:02 but now going time -> 01:15:30 * ehird adds COLLISON DETRECTION 01:24:39 DETRECTION?! OH NOES 01:35:24 -!- GreaseMonkey has joined. 01:39:50 yay, it's almost done 01:39:51 just need 01:39:54 1) floor moving 01:39:58 2) new floor creation 01:40:01 3) fix floor placement 01:42:26 -!- bsmntbombdood has quit (Read error: 110 (Connection timed out)). 01:42:44 sweet, my physics are such that if you go fast enough, you can pass through walls 01:42:47 :D 01:43:44 -!- bsmntbombdood has joined. 01:53:41 Just like in SL! 01:54:28 Sgeo: wut 01:54:51 If you go fast enough through a thin enough wall in SL, you end up going through it 01:55:25 heh 01:55:27 mine is 01:55:34 self.rect.move_ip(0, self.velocity) 01:55:34 i = self.colliding() 01:55:36 if i == -1: 01:55:38 self.velocity += 1 01:55:40 elif self.velocity >= 0: 01:55:42 self.rect.y = self.game.floors[i].rect.y - 30 01:55:44 self.velocity = 0 01:55:46 where 01:55:48 def colliding(self): 01:55:50 return self.rect.move(0, 1).collidelist(self.game.floors) 01:55:57 so if you go fast enough, you never get to that point because you teleport right through it 01:55:58 so you keep going 01:56:05 at that point there's no way to stop dropping 02:08:41 ehird: sweet, my physics are such that if you go fast enough, you can pass through walls <<< tbh i'd be more impressed with the other option 02:12:03 Sgeo: Just like in SL! <<< second life? if so, that's kinda unbelievable 02:12:57 What's unbelievable about SL physics not being perfect? 02:13:06 And yes, SL == Second Life 02:13:19 i'm assuming it's developed by professionals 02:13:45 Sgeo, http://www.getafirstlife.com/ 02:14:15 oklofok, do you want an inworld demonstration? 02:14:29 "fornicate using your actual genitals" :D 02:15:31 Also, thick enough walls prevent fast objects from entering 02:15:42 Not sure how thick they need to be 02:15:48 Can't go wrong with 10m walls 02:17:26 Sgeo: oklofok, do you want an inworld demonstration? <<< i don't have an account 02:18:12 Sgeo, did you look at that link? 02:18:24 yeah Sgeo did you change your life already 02:18:36 AnMaster, I've seen it before 02:18:43 yes it is old 02:19:00 Sadly, the secondlife.com page has since been changed so that GetAFirstLife.com no longer looks like SecondLife.com 02:19:07 indeed 02:20:07 Sgeo, also I would like an in-world demo, but I don't have any account either, and it need to work on 64-bit Linux. 02:20:10 http://www.darrenbarefoot.com/archives/2007/01/my-project-du-jour-getafirstlifecom.html#comment-75509 02:20:36 AnMaster, I know there's a Linux client (I've used it for most of my time in SL), but not sure about 64-bit 02:20:46 Sgeo, what about account? 02:20:56 if I need to pay anything forget it 02:21:07 also it is getting late, will have to wait until tomorrow 02:21:11 AnMaster, accounts are feee 02:21:12 free 02:21:21 If they weren't, I wouldn't be in SL 02:21:25 Sgeo, how do they make money then... 02:21:36 AnMaster, there is an optional premium option 02:21:46 As well as when people buy L$ directly from LL 02:21:48 http://www.darrenbarefoot.com/archives/2007/01/my-project-du-jour-getafirstlifecom.html#comment-75509 <-- doesn't work, doesn't jump to comment, stays at top 02:22:04 AnMaster, noticed, and I have no clue why that is 02:22:19 Sgeo, so what comment did you want to link? 02:22:31 The "Proceed and Permitted" letter 02:29:36 can you throw balls in sl 02:29:45 Yes 02:30:02 like throw them into walls and catch them 02:30:13 Hm, not sure how catching would work 02:30:23 Maybe if the ball gets close enough, it could be caught 02:30:31 That would definately need to be scripted 02:30:44 but you can script it? 02:30:54 Yes 02:31:08 Someone else might actually sell something like that, what's the name of that game? 02:31:24 what game 02:31:42 That you're trying to describe? Handball, Suicide, something like that? 02:31:54 throwing a ball around 02:32:00 Oh 02:32:17 not a game, just throwing it around. 02:32:18 Doubt that such a thing is being sold on the market, but it could be scripted 02:32:25 my favorite irl activity 02:32:56 Although you couldn't catch other people's balls.. well, you could, sort of, but the scripting would be a bit more difficult 02:33:30 And every participant would need their own "ball-catching" attachment, I think 02:33:39 Otherwise, there's no way to detect anyone trying to throw the ball 02:33:49 sounds like the physics are kinda crappy 02:34:00 The physics themselves are not the issue 02:34:08 The issue is being able to throw, and being able to catch 02:34:18 The interaction of ball and wall would not need to be scripted 02:35:30 physics are an issue if you cannot grab things 02:38:02 Well, actually, it sort of is possible to grab things, I think we're imagining things differently 02:38:28 You mean "grab with the mouse cursor and use that to throw it", or "grab with the avatar, and from a first-person view, click and hold to throw" 02:38:35 The latter needs scripting, the former doesn't 02:39:13 -!- zzo38 has joined. 02:39:20 i don't care how it's done 02:39:30 Hi zzo38. Someone responded to something you said. It's in the logs. Don't remember details. 02:39:32 zzo38: did you catch my realizing my error? 02:39:34 yes 02:39:39 just after you left 02:40:04 oklofok: I did read your message about "i'm not even sure what it'd even mean to have a non-geometric proof of....". Just so you know I did read the log 02:40:28 why is amazon tempting me with all these pretty books 02:40:29 I often read the log. 02:41:04 Clear the cookies on amazon first. After checking what you want to purchase then you can login again. 02:41:28 hmm indeed you do 02:42:21 well i don't actually mind them tempting me. i'm just saying these books are nice 02:43:17 Which book? 02:44:00 tons of them 02:44:25 And I added a example for quantum CLCLC-INTERCAL now, although it isn't the best example, so if someone can make a better one using controlled-V and TRANSFORM then that would be better 02:44:33 mainly programming languages, mathematics, robotics and random weird stuff 02:45:07 i'm not actually that interested in robotics, but i bought a book related to it, and amazon can't know better ofc 02:45:16 anyway need to sleep 02:45:17 -> 02:45:22 Good night oklofok 02:48:09 I also improved the specification for quantum computing in CLCLC-INTERCAL. Now it says which commands are allowed to be quantum (which is not all of them) 02:48:34 And you can have threading, backtracking, and quantuming, all in the same program! 02:52:31 -!- zzo38 has quit. 02:57:59 -!- neldoret1 has quit (Read error: 113 (No route to host)). 03:56:01 -!- pikhq has quit (Read error: 110 (Connection timed out)). 05:16:21 -!- pikhq has joined. 06:21:43 Hm, I just mentioned this place in a channel of 300 people.. 06:21:51 Make that 381 people 06:21:56 Was that perhaps a bad idea? 06:22:09 -!- cthuljew has joined. 06:22:25 cthuljew, this channel is not particularly active right now 06:22:28 -!- letusgothen has joined. 06:22:32 .. 06:22:37 Well, that's why I'm gonna idle. 06:23:05 I'm full of deep-fried shrimp and in no hurry. 06:24:10 Also, while no one is chatting, check out http://esoteric.voxelperfect.net/wiki/Main_Page 06:29:21 Good night all 06:47:34 -!- Sgeo has quit (Read error: 110 (Connection timed out)). 07:21:56 -!- cthuljew has quit ("leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:10:49 -!- javahorn has quit (Read error: 110 (Connection timed out)). 08:48:24 -!- tombom has joined. 09:47:55 -!- neldoreth has joined. 09:51:29 -!- BeholdMyGlory has joined. 09:52:11 -!- oerjan has joined. 10:03:13 17:15:30 * ehird adds COLLISON DETRECTION 10:03:22 i assume this is for colliding detritus 10:06:24 -!- GreaseMonkey has quit ("X-Chat -> http://xchat.org <- At least when I quit I don't look like a lamer"). 10:26:53 -!- kerlo has quit (Read error: 60 (Operation timed out)). 10:26:56 -!- kerlo has joined. 10:44:46 -!- sebbu2 has joined. 10:49:42 -!- sebbu has quit (Read error: 60 (Operation timed out)). 11:22:56 -!- sebbu has joined. 11:30:09 -!- oerjan has quit ("Coffeis"). 11:41:14 -!- sebbu2 has quit (Read error: 110 (Connection timed out)). 11:52:13 -!- oerjan has joined. 12:02:58 -!- letusgothen has quit (Read error: 60 (Operation timed out)). 12:09:29 -!- KingOfKarlsruhe has joined. 12:13:46 -!- Judofyr has joined. 12:17:26 -!- letusgothen has joined. 12:26:33 -!- MigoMipo has joined. 12:30:02 -!- oerjan has quit ("leaving"). 12:31:20 -!- letusgothen has quit (Read error: 60 (Operation timed out)). 12:31:26 -!- letusgothen has joined. 13:00:37 -!- tombom has quit ("Peace and Protection 4.22.2"). 13:30:17 -!- MigoMipo_ has joined. 13:38:27 -!- MigoMipo has quit (Nick collision from services.). 13:53:05 -!- MigoMipo_ has quit (Read error: 110 (Connection timed out)). 14:27:18 -!- neldoreth has quit (Read error: 113 (No route to host)). 14:28:27 -!- neldoreth has joined. 14:32:37 -!- BeholdMyGlory has quit ("brb reboot"). 14:38:29 -!- BeholdMyGlory has joined. 15:33:08 -!- tombom has joined. 15:34:33 -!- kar8nga has joined. 15:36:04 -!- nice has joined. 15:37:29 -!- KingOfKarlsruhe has quit (Read error: 104 (Connection reset by peer)). 15:39:51 -!- Judofyr has quit (Remote closed the connection). 15:46:57 -!- kar8nga has quit (Read error: 60 (Operation timed out)). 15:47:17 -!- logicgap has joined. 15:47:18 hi 15:47:27 hint hint: i'm asiekierka 15:47:30 -!- nice has changed nick to KingOfKarlsruhe. 15:55:47 -!- Nevar has joined. 16:07:37 -!- Slereah_ has joined. 16:08:19 -!- comex has quit ("Caught sigterm, terminating..."). 16:08:32 -!- comex has joined. 16:08:49 -!- Slereah has quit (Read error: 60 (Operation timed out)). 16:24:09 -!- FireFly has joined. 16:28:28 -!- Judofyr has joined. 16:40:16 -!- ehird has left (?). 16:44:53 -!- KingOfKarlsruhe has quit (Remote closed the connection). 16:59:45 -!- letusgothen has quit. 17:01:19 -!- kar8nga has joined. 17:11:41 -!- ehird has joined. 17:14:25 -!- Hiato has joined. 17:19:12 -!- Hiato has quit (Client Quit). 17:31:24 -!- BeholdMyGlory has quit ("bye"). 17:31:44 01:32 Sgeo: Although you couldn't catch other people's balls 17:31:48 Hawt. 17:32:17 oh wait 17:32:18 couldn't 17:32:23 -!- ais523 has joined. 17:32:29 hi ais523 17:32:35 hi 17:32:50 -!- BeholdMyGlory has joined. 17:39:46 hi 17:40:15 hi logicgap 17:41:59 ais523: he's asiekierka 17:42:01 grr, amazon review comments are more irritating than youtube ones 17:42:26 because although everyone has correct grammar, they respond to extremely blatant joke reviews by insulting the author and acting in disbelief that they could be so dumb 17:42:45 heh 17:42:56 because although everyone has correct grammar, they respond to extremely blatant joke reviews by insulting the author and acting in disbelief that they could be so dumb 17:42:57 err 17:42:58 oops 17:43:01 pressed up/enter by mistake 17:43:36 -!- ais523 has changed nick to ais523_. 17:43:48 -!- ais523 has joined. 17:43:51 my physics are a bit funny 17:44:04 if you're falling, but to the right of you is a platform 17:44:12 if you go up to it, even if you only touch it by a tip 17:44:14 you end up on top of it 17:45:20 ehird: context? 17:45:29 wow, ais523 without the underscore is laggy atm 17:45:41 ais523: just in the context of the xjump clone I'm making; you may have played it 17:45:50 aka FALLING TOWER 17:45:51 I don't think so 17:46:04 ais523: you're a little guy, and there are platforms 17:46:07 and they keep falling down 17:46:10 and new ones come from the top 17:46:14 you have to not fall down to the bottom 17:46:23 they fall faster the further you go up 17:46:25 pretty simple 17:46:34 ah, and you have to get to the top? 17:46:44 there is no top 17:46:47 oh 17:46:49 as high as you can, then 17:46:52 yep 17:51:06 "In my view a startup time of around 1 sec isn't too bad for a script." <-- O_O 17:52:07 Yeah, I was a bit surprised at that view as well 17:52:24 it depends on what the script does 17:52:33 TAEB takes a lot longer than 1 second to start up, and is technically a script I suppose 17:52:45 I need to figure out a way to have characters like ← easily typable. 17:52:50 I don't like using ASCII. 17:53:32 In Vim: :set digraph 17:53:38 Only works for Vim, though. 17:53:50 Yeah that's real helpful 17:54:03 hmm... I wonder if C-x 8 < - works in Emacs? I've never tried 17:54:06 if it doesn't, it ought to 17:54:12 C-x 8? 17:54:23 used to type characters not on the keyboard 17:54:27 ah 17:54:28 and no 17:54:29 it's basically a compose key 17:54:31 it gives a << char 17:54:33 before you type - 17:54:36 ah 17:54:47 C-x 8 e ' gives you é, for instance 17:55:09 wow, :set digraph overloads backspace 17:55:21 '<' backspace '-' produces an arrow 17:55:27 and yet the < is erased after the backspace 17:55:35 I can't figure out how to remove preset digraphs, though 17:55:45 I might have to compile my own Vim to remove the space-space one 17:55:53 That one's really annoying 17:56:09 '-' backspace '-' doesn't produce – 17:56:10 fail. 17:57:08 So, I had an idea for a precisely specified type system thingy. 17:57:12 That is, 3 is of type 3. 17:57:14 ehird: So do :dig - - — and it will. 17:57:18 [3,4] is of type [3|4] 17:57:21 (Or whatever the syntax was, I forget.) 17:57:41 type Int = -infinity | ... | 0 | 1 | 2 | ... | infinity 17:57:56 [3,"hello"] is valid too, I think; as type [3|"hello"] 17:58:25 [3,"hello"] ++ [4,()] is-a [3|"hello"|4|()] 17:58:44 ehird: with a type system like that, who needs values? 17:58:48 ais523: :) 17:58:48 Deewiant: How's DOBELAinterpreter going on? 17:58:50 fact 0 = 1; fact n = n * fact (n-1) 17:58:52 then 17:59:01 also, will anything at all happen at runtime, or will it all be done during compilation and type inference? 17:59:04 fact :: 0|Int -> Int 17:59:07 er, wait 17:59:08 logicgap: I have a crapload of homework, it probably won't go anywhere for a few weeks 17:59:09 fact :: 0|Int -> 1|Int 17:59:13 because 17:59:15 oh 17:59:17 (*) :: Int -> Int -> Int 17:59:19 (Yes, it's generic) 17:59:23 (I'm simplifying for example) 17:59:24 ah, pity 17:59:29 ais523: it's just a type system for a regular language 17:59:38 possibly dependently typed 17:59:39 it would fit well 17:59:48 it should so be fact :: Int -> 1 | 2 | 6 | 24 | 120 | ... 17:59:52