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 <GregorR> nooooooooooooooooooooooooooooooooooooooooga
07:15:40 <nooga> GregorR: what's with your c2bf?
07:16:39 <GregorR> My wheel o' attention hasn't turned back to it yet.
07:17:01 <GregorR> DirectNet, OBLISK, C2BF, IDIA, random projects, too many things to work on X-P
07:24:35 <GregorR> That list seems awfully sparse 8-X
07:25:32 <calamari> GregorR: I started a text file to keep track of my projects
07:25:45 <GregorR> I use nagging to keep track.
07:25:51 <GregorR> If nobody nags me about it, it's probably not very important.
07:26:11 <calamari> what about personal interest projects
07:26:33 <GregorR> That's how OBLISK stays alive XD
07:26:37 <GregorR> But I prefer external nagging.
07:28:02 -!- Arrogant has quit ("Leaving").
07:30:10 <nooga> "haha cherade you are..."
07:36:34 <nooga> are u coding right now? ;p
07:39:42 <nooga> https://www.osmosian.com/
07:40:14 <nooga> english language compiler hahaha, looks awfullllll
07:42:08 <nooga> and it's propetiary
07:45:13 <nooga> this is some kind of a joke
07:51:53 <GregorR> The title suggests that it is.
07:51:59 <GregorR> "The Osmosian Order of Plain English Programmers"
07:55:12 <nooga> c2bf will be cool when finished
07:56:37 <nooga> someone should kick your "wheel o' attention"
07:56:54 <nooga> or try to develop c2bf by himself
07:59:11 <calamari> btw, did you ever move c2bf off to its own project page?
07:59:25 <GregorR> They rejected the project :(
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:02:00 <nooga> but it's on sourceforge
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:18:40 <jix> moin noogc
17:22:24 <nooga> have you finished rhotor interpreter in C?
17:22:51 <jix> i never started one
17:23:25 <nooga> i have problem with implementing lambda lifter
17:29:13 <jix> solve them ;)
17:30:04 <nooga> well... what are you coding atm jix?
17:30:31 <jix> i'm writing a ...
17:30:33 <jix> (word missing)
17:31:01 <jix> a report of something that isn't in my dictionary for school
17:32:10 <jix> using latex
17:32:36 <jix> LaTeX the typesetting system
17:34:16 <nooga> [18:30] <jix> a report of something that isn't in my dictionary for school
17:34:25 <jix> i don't know the word
17:34:30 <jix> and it isn't in my dictionary
17:35:06 <jix> i work in a company for 2 weeks
17:35:17 <jix> thats cool.. the bad thing is i have to write an report about it
17:37:37 -!- ihope has joined.
17:39:20 <ihope> 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 <nooga> you work for a company?
17:39:47 <sp3tt> I doubt that is always possible.
17:40:42 <jix> i'm going to school
17:41:05 <jix> but in grade 9 or 10 we work in a company for 2 weeks
17:41:36 <ihope> sp3tt: if A = (B^2 - C^2), it is possible to find B and C...
17:41:59 <sp3tt> It is possible for all odd A, but for all even?
17:42:02 <ihope> I didn't say for all A.
17:42:13 <ihope> It is not possible for even A as far as I know.
17:42:20 <nooga> jix: omfg, i wish i had the same here
17:42:30 <sp3tt> Not for all even A, but possibly for some.
17:42:43 <sp3tt> Sum(0..n,2n+1)=n^2.
17:43:11 <sp3tt> 1+3=4, 1+3+5=9,1+3+5+7=16 and so on....
17:43:41 <sp3tt> So it always possible to find two perfect squares with difference 2k+1, k \in N.
17:44:15 <ihope> Okay. I'm looking for an efficient algorithm to find B and C.
17:44:44 <sp3tt> Well, for odd A that would be trivial.
17:44:58 <ihope> How is it done, then?
17:45:25 <sp3tt> A-1, A-2. For example, 3 = 2^2 - 1^2.
17:46:29 <ihope> Okay. B - C cannot be 1.
17:47:12 <sp3tt> (a-1)^2-(a-2)^2=a^2-2a+1-(a^2-4a+1)=2a... o.O
17:47:52 <sp3tt> I must be ignoring something.
17:47:52 <jix> ihope: and C - B?
17:47:52 -!- nooga has quit.
17:47:57 <sp3tt> Aye, correct. Typo.
17:48:02 <ihope> jix: must not be -1 :-)
17:48:28 <jix> ihope: well if C - B is 1 it's trivial
17:48:59 <ihope> If C - B were positive, then B - C would be negative...
17:49:23 <ihope> Okay. C - B must be negative, just as B + C must be positive.
17:53:09 <ihope> 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 <ihope> 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 <ihope> "Efficient" meaning "feasibly applicable to A with hundreds of decimal digits".
18:09:17 <jix> i can assume that A is representable using B^2-C^2 ? or do i have to test it
18:33:17 <ihope> Yes, A will always be representable by (B^2 - C^2).
18:33:49 <ihope> Now, it turns out that the whole reason for inventing this problem is futile...
18:35:23 <ihope> A = (B^2 - C^2) = (B - C)(B + C) = A. I was trying to devise an efficient way to factor A.
18:35:49 <ihope> However, finding B and C seems to itself involve factoring A.
18:36:52 <jix> rsa challenge?
18:38:02 <jix> yeah and the sum of the open challenges is 605.000
18:38:39 <jix> but if you're able to fake rsa signatures you'd be able to get a lot more money...
18:43:20 -!- calamari has joined.
18:59:23 <ihope> You know, I think an Unlambda interpreter would be MUCH easier to write in continuation passing style.
18:59:34 <ihope> Eh, that is, easier.
19:16:55 <ihope> So... data Unlambda = Unlambda (Unlambda -> Cont String Unlambda)
19:18:24 <ihope> Okay, defining .x with that is giving me a headache already.
19:19:36 <ihope> data Unlambda = Unlambda (Unlambda -> (Unlambda -> String) -> String)
19:20:21 <ihope> output x = Unlambda \y z -> x : z y
19:22:29 <ihope> output x = Unlambda (\y -> Const (\z -> x : z y))
19:28:23 <ihope> Okay, now the other ones...
19:28:57 <ihope> Let's try id using the second definition.
19:29:24 <ihope> id = Unlambda (\x y -> y x) -- easy
19:29:44 <ihope> With the first: id = Unlambda (\x -> Cont (\y -> y x))
19:33:28 <ihope> Note to self: do not terminate Acrobat while Firefox has a PDF tab open.
19:36:47 <calamari> 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:42 <ihope> Now, it seems I did that one definition wrong...
19:38:58 <ihope> output x = Unlambda (\y -> Cont (\z -> z y ++ [x]))
19:43:20 <SimonRC> You can find a number as the difference of two positive squares for all positive integers except powers of two
19:43:39 <SimonRC> I wa thinking of triangular numbers
19:44:43 <calamari> hmm, 4 is somewhat triangular depnding on how it's written ;)
19:47:48 <ihope> 4 is a tetrahedral number.
19:48:11 <ihope> And, indeed, it's a right triangular number...
19:49:25 <calamari> of course some 4's have the open top, so those aren't triangular 4's :)
19:51:15 <ihope> Now, let's see here...
19:52:43 <SimonRC> 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 <SimonRC> No on-line specs, for example.
19:53:08 <ihope> Ook! Ook? Ook! Ook! Ook? Ook! Ook. Ook. Ook! Ook? Ook? Ook! Ook? Ook?
19:53:47 <ihope> EgoBot commands don't work without EgoBot.
19:54:00 * SimonRC attempts to remember his Ook commands.
19:54:12 <SimonRC> ihope: I knew that, but I though egobot might be here
19:55:27 <ihope> Since NOTICE got corrupted, what can we do so that bots won't talk to each other?
19:56:15 <SimonRC> have them check on anothers' names?
19:56:28 <SimonRC> anyway, what's wrong with NOTICE?
19:56:59 <ihope> But some clients freak out when they recieve notices.
19:57:35 <SimonRC> ihope: in that case, people should Get A Real Client.
19:58:03 * SimonRC begins to suspect that calamari in fact *can't* see notices.
19:58:20 <calamari> Received a CTCP VERSION from ihope
19:58:33 <ihope> You can see CTCP, it seems...
19:58:36 <SimonRC> calamari: okay: repeat after me:
19:59:04 <calamari> wasn't paying attention, hahaha
19:59:32 <SimonRC> calamari: okay, yours works
19:59:56 <SimonRC> personal notices appear in my status window, but channel notices in my channel window :-S
20:00:00 <calamari> running xchat 2.6.1 in case that helps with your remote exploit attempts
20:00:33 <calamari> yeah, I see the notices here in the channel window
20:01:33 <ihope> Yeah, it seems to pop up in whatever tab I'm in at the time.
20:02:38 -!- GregorR has quit (Remote closed the connection).
20:03:17 -!- GregorR has joined.
20:05:20 <ihope> You're not talking about the tunes.org logs, are you?
20:05:45 <calamari> yeah, why? and besides I'm kidding around
20:07:03 <ihope> tunes.org logs notices...
20:07:08 <calamari> cmeme seems to notice, tunes does
20:08:17 <ihope> 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 <ihope> 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 <ihopeBot> There, now I can't reply to anything calaBot says.
20:12:33 -!- ihopeBot has changed nick to ihope.
20:12:45 <ihope> Okay, that was scary.
20:12:48 -!- calaBot has changed nick to calamari.
20:13:17 <calamari> did you just get the feeling you were taken over by a machine intelligence?
20:13:57 <ihope> Having a longer nick than normal, though... it was just scary.
20:15:00 <calamari> and if you go shorter, than you turn into a pancake chain
20:19:01 -!- ihope has changed nick to i|.
20:19:11 <i|> Now I have a shorter nick.
20:19:33 <i|> Oh, I get it. IHOP.
20:19:57 <i|> I was thinking pancakes chained together... into a chain...
20:21:52 -!- calamari has changed nick to ^.
20:22:05 -!- ^ has changed nick to _.
20:22:26 -!- _ has changed nick to calamari.
20:26:09 <i|> Those nicks are taken already...
20:26:20 <calamari> that's why I changed so quickly
20:28:38 <i|> Okay. It seems nicks can only start with [, ], { and }.
20:29:33 <i|> 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 <lament> who uses IRC with a proportional font?
20:31:32 <calamari> but I still use the old console fonts, so I'm a freak :(
20:53:35 -!- Sgeo has joined.
21:05:28 -!- calamari has quit ("Leaving").
21:25:42 <jix> you can find A = B^2-C^2 for all A that has two odd prime factors
21:26:12 <jix> or two even prime factors
21:28:27 <jix> A B and C are positive integers and some other condition
21:29:13 <jix> wait no ... ignore me..
21:58:09 -!- GregorR-L has joined.
22:36:30 -!- GregorR has quit (Remote closed the connection).
22:37:01 -!- GregorR has joined.
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.