00:28:01 -!- CXI has quit (Connection timed out). 02:55:31 -!- CXI has joined. 03:12:49 -!- kipple has quit (Read error: 110 (Connection timed out)). 04:06:23 -!- Sgeo has quit (Remote closed the connection). 04:32:34 -!- Arrogant has joined. 04:39:19 -!- pgimeno has quit (zelazny.freenode.net irc.freenode.net). 05:21:04 -!- CXI has quit (Read error: 104 (Connection reset by peer)). 05:57:52 -!- pgimeno has joined. 06:09:48 -!- cmeme has quit (Connection timed out). 06:19:52 -!- cmeme has joined. 06:21:56 -!- GregorR has joined. 06:40:59 -!- GregorR has quit (Remote closed the connection). 06:41:32 -!- GregorR has joined. 07:09:08 -!- nooga has joined. 07:13:38 nooooooooooooooooooooooooooooooooooooooooga 07:14:27 GregorR 07:15:40 GregorR: what's with your c2bf? 07:16:39 My wheel o' attention hasn't turned back to it yet. 07:17:01 DirectNet, OBLISK, C2BF, IDIA, random projects, too many things to work on X-P 07:18:03 oh 07:24:35 That list seems awfully sparse 8-X 07:24:38 What am I missing ... 07:25:32 GregorR: I started a text file to keep track of my projects 07:25:45 I use nagging to keep track. 07:25:51 If nobody nags me about it, it's probably not very important. 07:26:11 what about personal interest projects 07:26:16 do you nag yourself? 07:26:25 Yup. 07:26:33 That's how OBLISK stays alive XD 07:26:37 But I prefer external nagging. 07:27:30 hmm.. maybe a NagBot 07:28:02 -!- Arrogant has quit ("Leaving"). 07:30:10 "haha cherade you are..." 07:30:38 charade* ;p 07:32:21 hm hm 07:36:34 are u coding right now? ;p 07:37:00 Am I ever not? 07:37:05 I code in my sleep. 07:39:41 LOOK 07:39:42 https://www.osmosian.com/ 07:40:14 english language compiler hahaha, looks awfullllll 07:42:08 and it's propetiary 07:42:43 Naturally. 07:44:41 oh great 07:45:13 this is some kind of a joke 07:50:43 or maybe not 07:50:49 ghhh 07:51:53 The title suggests that it is. 07:51:59 "The Osmosian Order of Plain English Programmers" 07:52:02 Yeah, right. 07:52:39 :> 07:53:10 Reminds me of ORK ... 07:55:12 c2bf will be cool when finished 07:56:37 someone should kick your "wheel o' attention" 07:56:54 or try to develop c2bf by himself 07:59:11 btw, did you ever move c2bf off to its own project page? 07:59:25 They rejected the project :( 07:59:31 lol 07:59:39 what? 07:59:40 who? 07:59:41 where? 07:59:49 C2BF 07:59:53 Sourceforge 07:59:54 Sourceforge 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:02:00 but it's on sourceforge 08:03:38 well, g2g, bye 08:03:40 -!- nooga has quit. 08:50:21 -!- calamari has quit ("Leaving"). 08:53:55 -!- GregorR has quit (Remote closed the connection). 08:54:05 -!- GregorR has joined. 12:28:01 -!- jix has joined. 12:52:48 -!- kipple has joined. 16:27:32 -!- nooga has joined. 17:11:20 -!- CXI has joined. 17:11:46 mh 17:11:49 hi? 17:17:28 moin 17:18:10 hi jiz 17:18:13 jix* 17:18:40 moin noogc 17:18:42 nooga* 17:18:43 ;) 17:21:49 hehehe 17:22:00 u r cruel 17:22:24 have you finished rhotor interpreter in C? 17:22:47 no 17:22:51 i never started one 17:23:09 i see 17:23:25 i have problem with implementing lambda lifter 17:29:13 solve them ;) 17:29:23 yeah 17:30:04 well... what are you coding atm jix? 17:30:31 i'm writing a ... 17:30:33 (word missing) 17:31:01 a report of something that isn't in my dictionary for school 17:32:10 using latex 17:32:17 ? 17:32:36 LaTeX the typesetting system 17:34:13 yes i know 17:34:16 [18:30] a report of something that isn't in my dictionary for school 17:34:25 i don't know the word 17:34:30 and it isn't in my dictionary 17:35:06 i work in a company for 2 weeks 17:35:17 thats cool.. the bad thing is i have to write an report about it 17:37:37 -!- ihope has joined. 17:39:15 well 17:39:20 We have a positive integer A such that A = (B^2 - C^2) for positive integers B and C. Given A, find possible B and C. 17:39:24 you work for a company? 17:39:46 ihope so? 17:39:47 I doubt that is always possible. 17:39:53 i hope so :> 17:40:38 nooga: no 17:40:42 i'm going to school 17:41:05 but in grade 9 or 10 we work in a company for 2 weeks 17:41:36 sp3tt: if A = (B^2 - C^2), it is possible to find B and C... 17:41:44 For all A? 17:41:59 It is possible for all odd A, but for all even? 17:42:02 I didn't say for all A. 17:42:13 It is not possible for even A as far as I know. 17:42:20 jix: omfg, i wish i had the same here 17:42:30 Not for all even A, but possibly for some. 17:42:43 Sum(0..n,2n+1)=n^2. 17:43:11 1+3=4, 1+3+5=9,1+3+5+7=16 and so on.... 17:43:41 So it always possible to find two perfect squares with difference 2k+1, k \in N. 17:44:15 Okay. I'm looking for an efficient algorithm to find B and C. 17:44:44 Well, for odd A that would be trivial. 17:44:58 How is it done, then? 17:45:25 A-1, A-2. For example, 3 = 2^2 - 1^2. 17:45:41 Wait a minute... 17:45:49 * ihope thinks 17:46:29 Okay. B - C cannot be 1. 17:47:12 (a-1)^2-(a-2)^2=a^2-2a+1-(a^2-4a+1)=2a... o.O 17:47:35 4 = 3^2 - 2^2... 17:47:47 5 = 3^2 - 2^2. 17:47:52 I must be ignoring something. 17:47:52 ihope: and C - B? 17:47:52 -!- nooga has quit. 17:47:57 Aye, correct. Typo. 17:48:02 jix: must not be -1 :-) 17:48:28 ihope: well if C - B is 1 it's trivial 17:48:59 If C - B were positive, then B - C would be negative... 17:49:23 Okay. C - B must be negative, just as B + C must be positive. 17:49:28 s/+/-/ 17:49:55 aka B > C. 17:50:11 Yes. 17:50:23 B > C+1, also. 17:50:43 >=* 17:50:57 B >= C+2 17:53:09 Assume that A, B and C are positive integers, that A = (B^2 - C^2), and that B - C > 1. Given A, find B and C. 17:59:28 If you find an efficient solution to that, let me know so I can tell you how to collect the $605,000. 18:00:18 "Efficient" meaning "feasibly applicable to A with hundreds of decimal digits". 18:09:17 i can assume that A is representable using B^2-C^2 ? or do i have to test it 18:33:17 Yes, A will always be representable by (B^2 - C^2). 18:33:49 Now, it turns out that the whole reason for inventing this problem is futile... 18:35:23 A = (B^2 - C^2) = (B - C)(B + C) = A. I was trying to devise an efficient way to factor A. 18:35:49 However, finding B and C seems to itself involve factoring A. 18:36:52 rsa challenge? 18:37:23 Bingo, 18:38:02 yeah and the sum of the open challenges is 605.000 18:38:39 but if you're able to fake rsa signatures you'd be able to get a lot more money... 18:39:16 What do you mean? 18:43:20 -!- calamari has joined. 18:59:23 You know, I think an Unlambda interpreter would be MUCH easier to write in continuation passing style. 18:59:34 Eh, that is, easier. 19:16:55 So... data Unlambda = Unlambda (Unlambda -> Cont String Unlambda) 19:18:24 Okay, defining .x with that is giving me a headache already. 19:19:17 Let's try again. 19:19:36 data Unlambda = Unlambda (Unlambda -> (Unlambda -> String) -> String) 19:20:21 output x = Unlambda \y z -> x : z y 19:22:15 Great... 19:22:29 output x = Unlambda (\y -> Const (\z -> x : z y)) 19:22:34 s/Const/Cont/ 19:28:23 Okay, now the other ones... 19:28:57 Let's try id using the second definition. 19:29:24 id = Unlambda (\x y -> y x) -- easy 19:29:44 With the first: id = Unlambda (\x -> Cont (\y -> y x)) 19:33:28 Note to self: do not terminate Acrobat while Firefox has a PDF tab open. 19:36:47 lol... been mailing my shell provider for weeks to cancel the old account, no response. Create a 1 GB file in my account (my limit), immediate response.. cancelled today 19:38:02 :-D 19:38:42 Now, it seems I did that one definition wrong... 19:38:58 output x = Unlambda (\y -> Cont (\z -> z y ++ [x])) 19:40:27 *sigh* 19:43:20 You can find a number as the difference of two positive squares for all positive integers except powers of two 19:43:30 oh, waitamo 19:43:39 I wa thinking of triangular numbers 19:44:43 hmm, 4 is somewhat triangular depnding on how it's written ;) 19:47:48 4 is a tetrahedral number. 19:48:11 And, indeed, it's a right triangular number... 19:49:25 of course some 4's have the open top, so those aren't triangular 4's :) 19:50:39 True. 19:51:15 Now, let's see here... 19:51:19 Ooh. 19:52:24 I think you meant "Ook." 19:52:43 Actually, I think that damn stupid Osmosian thing would fail even if it wasn't a pile of bullshit, as it is not very open. 19:52:55 No on-line specs, for example. 19:53:08 Ook! Ook? Ook! Ook! Ook? Ook! Ook. Ook. Ook! Ook? Ook? Ook! Ook? Ook? 19:53:25 !help 19:53:38 feh 19:53:47 EgoBot commands don't work without EgoBot. 19:54:00 * SimonRC attempts to remember his Ook commands. 19:54:12 ihope: I knew that, but I though egobot might be here 19:54:24 [-]+[]error 19:55:00 Oh, right! 19:55:27 Since NOTICE got corrupted, what can we do so that bots won't talk to each other? 19:56:15 have them check on anothers' names? 19:56:28 anyway, what's wrong with NOTICE? 19:56:45 Yes. 19:56:59 But some clients freak out when they recieve notices. 19:57:35 ihope: in that case, people should Get A Real Client. 19:57:47 It troo. 19:58:03 * SimonRC begins to suspect that calamari in fact *can't* see notices. 19:58:20 Received a CTCP VERSION from ihope 19:58:28 that's it so far 19:58:33 You can see CTCP, it seems... 19:58:36 calamari: okay: repeat after me: 19:58:41 I haven't seen any notices 19:58:58 ahh 19:59:04 wasn't paying attention, hahaha 19:59:07 :-) 19:59:14 a b c 19:59:32 calamari: okay, yours works 19:59:56 personal notices appear in my status window, but channel notices in my channel window :-S 20:00:00 running xchat 2.6.1 in case that helps with your remote exploit attempts 20:00:10 :-D 20:00:33 yeah, I see the notices here in the channel window 20:00:57 wh ydo we care, again? 20:01:02 Hmm... 20:01:08 * ihope NOTICES himself 20:01:31 channel windows 20:01:32 -s 20:01:33 Yeah, it seems to pop up in whatever tab I'm in at the time. 20:01:56 * SimonRC uses irssi. 20:02:38 -!- GregorR has quit (Remote closed the connection). 20:03:17 -!- GregorR has joined. 20:03:23 re GregorR 20:04:39 Um... 20:05:20 You're not talking about the tunes.org logs, are you? 20:05:45 yeah, why? and besides I'm kidding around 20:07:03 tunes.org logs notices... 20:07:08 cmeme seems to notice, tunes does 20:07:09 n't 20:08:17 Anyway, SimonRC: you're saying that bots that talk should always have "bot" in their names, and should never reply to things said by those bots? 20:10:00 That is, of course, bot, Bot, bOt, BOt, boT, BoT, bOT or BOT... 20:10:50 -!- calamari has changed nick to calaBot. 20:11:28 -!- ihope has changed nick to ihopeBot. 20:11:42 There, now I can't reply to anything calaBot says. 20:12:33 -!- ihopeBot has changed nick to ihope. 20:12:45 Okay, that was scary. 20:12:48 -!- calaBot has changed nick to calamari. 20:13:17 did you just get the feeling you were taken over by a machine intelligence? 20:13:35 No. 20:13:57 Having a longer nick than normal, though... it was just scary. 20:15:00 and if you go shorter, than you turn into a pancake chain 20:15:26 than -> then 20:16:25 Pancake chain? 20:16:29 You mean |||||? 20:19:01 -!- ihope has changed nick to i|. 20:19:11 Now I have a shorter nick. 20:19:33 Oh, I get it. IHOP. 20:19:57 I was thinking pancakes chained together... into a chain... 20:21:30 ;) 20:21:52 -!- calamari has changed nick to ^. 20:22:05 -!- ^ has changed nick to _. 20:22:26 -!- _ has changed nick to calamari. 20:23:57 Hmm... 20:26:09 Those nicks are taken already... 20:26:13 yep 20:26:20 that's why I changed so quickly 20:28:38 Okay. It seems nicks can only start with [, ], { and }. 20:29:33 It seems that in proportional fonts, < and > are each about as wide as this new nick... 20:29:37 * i| registers it 20:30:49 who uses IRC with a proportional font? 20:30:59 not I 20:31:32 but I still use the old console fonts, so I'm a freak :( 20:38:59 * SimonRC uses 8pt MS mincho 20:39:02 not too baf 20:39:03 not too bad 20:53:35 -!- Sgeo has joined. 21:05:28 -!- calamari has quit ("Leaving"). 21:25:42 you can find A = B^2-C^2 for all A that has two odd prime factors 21:26:12 or two even prime factors 21:28:02 otherwise...? 21:28:11 wait 21:28:27 A B and C are positive integers and some other condition 21:28:42 B > C + 1 21:29:13 wait no ... ignore me.. 21:58:09 -!- GregorR-L has joined. 22:33:48 hi 22:36:30 -!- GregorR has quit (Remote closed the connection). 22:37:01 -!- GregorR has joined. 22:38:36 * SimonRC goes to bed 23:39:49 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 23:58:50 -!- GregorR has quit (Remote closed the connection). 23:58:58 -!- GregorR has joined.