←2009-11-10 2009-11-11 2009-11-12→ ↑2009 ↑all
00:00:04 -!- oklopol has joined.
00:00:21 -!- Ilari_ has joined.
00:00:22 -!- Ilari has quit ("Reconnecting").
00:00:49 -!- Ilari_ has changed nick to Ilari.
00:03:11 <Sgeo> There's semantics stuff, but did they really need to make the syntax this unfamiliar?
00:07:11 -!- coppro has joined.
00:08:13 * SimonRC goes to bed
00:17:21 -!- oklokok has quit (Read error: 110 (Connection timed out)).
00:18:47 -!- Tritonio has joined.
00:19:13 -!- Tritonio has left (?).
00:24:53 <Sgeo> How long should it really take to calculate the total cost of free items??
00:25:20 -!- Gracenotes has joined.
00:25:52 <ais523> Sgeo: 0?
00:27:04 <Sgeo> How'd you get it so fast? I mean, if Microsoft-created software takes a while, how can a person possibly figure it out so quickly?
00:27:37 <ais523> total cost of free items should be 0
00:27:43 <ais523> because as they're free, they don't cost anything
00:27:46 <ais523> by definition
00:27:46 <Sgeo> I know
00:27:49 <ais523> and adding loads of 0s makes 0
00:27:58 <Sgeo> It's just that Zune was taking a few seconds to "Calculate total"
00:36:35 -!- augur has quit (Read error: 104 (Connection reset by peer)).
00:36:40 -!- augur has joined.
00:51:11 <augur> ehird!
00:51:17 <augur> be here!
00:51:18 <augur> :|
01:07:10 -!- puzzlet has quit (Remote closed the connection).
01:07:14 -!- puzzlet has joined.
01:24:29 <fax> what's the difference between random and algorithmic?
01:24:41 <fax> you can generate primes with an algorithm
01:46:13 <pikhq> Random numbers are uncomputable. Algorithmic results are computable.
01:56:13 <Warrigal> The prime numbers definitely have some randomnesses.
01:56:27 <pikhq> Their distribution is random.
01:56:34 <pikhq> (insofar as we are aware)
01:56:55 <pikhq> The set of prime numbers is not at all random, however.
01:57:00 <Warrigal> What does "their distribution" mean?
01:57:14 <Warrigal> s/randomnesses/non-randomnesses/
01:58:19 -!- augur has quit (Read error: 60 (Operation timed out)).
02:18:10 <pikhq> Insofar as we are aware, there is no pattern to the prime numbers. (if you find such a pattern, you win some major prizes and break most encryption)
02:20:50 -!- coppro has quit (Remote closed the connection).
02:21:26 -!- coppro has joined.
02:41:09 -!- augur has joined.
02:49:29 <Sgeo> All prime numbers greater than 3 can be expressed as either 6n+1 or 6n-1, where n is an integer
02:49:39 <Sgeo> A pattern!
02:49:47 <Sgeo> Where are my prizes?
02:58:37 <fax> All prime numbers are divisible by at least two smaller primes
02:59:52 <Sgeo> Um, what?
03:10:31 <coppro> Sgeo: prove it
03:11:22 <Sgeo> I realized it a long time ago, and recently saw it someplace else
03:11:25 <Sgeo> Let me work it out again
03:11:33 <Sgeo> (Unless I'm thinking of prime pairs)
03:12:34 <Sgeo> / 1 / / / 5
03:12:35 <Sgeo> Ok
03:13:05 <Sgeo> Let's say these represent any 6 continuous integers, starting with one divisible by 6:
03:13:08 <Sgeo> 0 1 2 3 4 5
03:13:27 <Sgeo> 2 and 4 are divisible by 2
03:13:37 <Sgeo> (and 0
03:13:46 <Sgeo> So we have / 1 / 3 / 5
03:13:52 <Sgeo> (Where / is effectively crossed out)
03:14:05 <Sgeo> The 3 is divisible by 3
03:14:10 <Sgeo> So / 1 / / / 5
03:14:19 <coppro> dingdingding
03:15:22 <Sgeo> hm?
03:15:28 <coppro> you did it, well done, etc
03:15:36 <Sgeo> Ah. Wanted to be sure
03:16:13 <Sgeo> ty, I guess
03:19:18 * coppro decides to do an old CCC
03:21:46 * coppro must remain sharp!
03:58:36 -!- fax has quit ("Leaving").
04:17:50 -!- Slereah has joined.
04:35:08 -!- Slereah_ has quit (Read error: 110 (Connection timed out)).
05:34:05 -!- Pthing has quit (Remote closed the connection).
05:36:16 -!- puzzlet has quit (Remote closed the connection).
05:36:21 -!- puzzlet has joined.
05:36:27 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
07:14:07 -!- puzzlet has quit (sendak.freenode.net irc.freenode.net).
07:14:07 -!- augur has quit (sendak.freenode.net irc.freenode.net).
07:14:07 -!- Deewiant has quit (sendak.freenode.net irc.freenode.net).
07:14:07 -!- Leonidas has quit (sendak.freenode.net irc.freenode.net).
07:14:08 -!- ineiros has quit (sendak.freenode.net irc.freenode.net).
07:15:35 -!- Leonidas has joined.
07:15:37 -!- puzzlet has joined.
07:15:44 -!- Deewiant has joined.
07:15:45 -!- ineiros has joined.
07:16:10 -!- ais523 has quit (Remote closed the connection).
07:18:43 -!- FireFly has joined.
07:29:03 -!- kar8nga has joined.
07:36:48 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
07:37:52 -!- puzzlet has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:06:05 -!- augur has joined.
08:06:40 -!- kar8nga has quit (Remote closed the connection).
08:08:36 -!- FireFly has quit ("Later").
09:14:02 -!- jix has joined.
10:02:19 -!- kar8nga has joined.
10:54:10 -!- Slereah has quit (Read error: 104 (Connection reset by peer)).
10:54:22 -!- Slereah has joined.
11:21:43 -!- cal153 has quit.
11:41:03 -!- kar8nga has quit (Remote closed the connection).
13:07:46 -!- kar8nga has joined.
13:44:43 -!- KingOfKarlsruhe has joined.
14:33:44 -!- MizardX has quit ("reboot").
14:37:44 -!- augur has quit (Read error: 110 (Connection timed out)).
14:40:56 -!- MizardX has joined.
14:54:19 -!- Pthing has joined.
14:55:41 -!- coppro has quit ("I am leaving. You are about to explode.").
15:29:40 -!- fax has joined.
15:45:43 -!- ais523 has joined.
15:52:05 -!- Slereah has quit.
16:02:38 -!- FireFly has joined.
16:05:50 -!- oerjan has joined.
16:08:07 -!- KingOfKarlsruhe has quit (Remote closed the connection).
16:10:41 <oerjan> 15:16:09 <M_Budgie> Does anyone know if there's a language made entirely out of pokemon references?
16:10:45 <oerjan> 15:18:37 --- quit: M_Budgie ("Page closed")
16:11:01 <oerjan> impatient guy... and didn't Zzo38 make one?
16:11:25 <ais523> PokeArena, IIRC
16:12:27 <oerjan> hm right, doesn't seem to be Zzo
16:12:36 <oerjan> and also not very fleshed out
16:12:44 <oerjan> </understatement>
16:13:39 <ais523> heh
16:13:56 <ais523> zzo38's a big pocket monsters IRC fan
16:14:35 <oerjan> that and General Assembler (by Zzo38 and used for a pokemon game, but not itself pokemon based) are the only pokemon mentions on the wiki
16:14:53 <oerjan> *Generalized
16:17:06 -!- Pthing has quit (Remote closed the connection).
16:18:44 <oerjan> <Sgeo> How'd you get it so fast? I mean, if Microsoft-created software takes a while, how can a person possibly figure it out so quickly?
16:19:14 <oerjan> sheesh everyone knows microsoft software is commercial, and thus optimized for non-free items
16:19:23 <ais523> heh
16:21:56 <ais523> wow, that's a lot of upgrades
16:22:21 <ais523> new kernel, X, and most of the bootup sequence
16:22:26 <oerjan> <pikhq> Insofar as we are aware, there is no pattern to the prime numbers. (if you find such a pattern, you win some major prizes and break most encryption)
16:23:04 <oerjan> there are lots of patterns, they just don't describe exactly what is a prime or not, or else they are too complicated to be useful
16:23:47 <oerjan> and i'm also not sure how a simple pattern for primes would help much with factorization (i.e. encryption breaking)
16:24:23 <oerjan> of course this is somewhat because the concept of pattern is wishy-washy
16:24:59 <oerjan> *a pattern
16:27:36 * oerjan notices today there _was_ a 12 hour break without anyone speaking in the channel, just before he arrived. fax must be pleased.
16:27:58 <ais523> oh, new GTK as well
16:28:03 <ais523> wow that's a lot of major changes
16:32:11 -!- Gracenotes has quit ("be right back").
16:34:45 -!- ais523 has quit (Read error: 104 (Connection reset by peer)).
16:35:47 <oerjan> {}_: iwc
16:36:23 <{}_> oerjan, true
16:37:45 <oklopol> primes have a pattern by definition
16:37:48 <oklopol> they are a pattern
16:37:57 <oklopol> what's a pattern
16:38:04 <Gregor> Your mom's a pattern.
16:38:16 <oerjan> oklopol: well that's what i meant by wishy-washy
16:38:36 <oklopol> yeah
16:38:43 <oerjan> if you define it too broadly, anything you can define uniquely at all becomes a pattern
16:39:21 -!- BeholdMyGlory has joined.
16:41:37 -!- ais523 has joined.
16:46:03 -!- Gracenotes has joined.
17:01:52 -!- Asztal has joined.
17:09:07 -!- augur has joined.
17:20:49 -!- Pthing has joined.
17:22:18 <ais523> aargh
17:22:47 <ais523> not only does the documentation for this evaulation board not actually specify the pinouts to access the peripherals (one of the most basic pieces of information, and one that can't be guessed without a huge amount of brute force)
17:23:18 <ais523> but it has a set of examples (which I think are binary only), and for the web server tests, the IP is hardcoded to 1.2.3.9 (on network 1.0.0.0/16)
17:23:40 <ais523> why are they not using one of the ranges that is actually available for local networks?
17:27:20 -!- augur has quit (Read error: 110 (Connection timed out)).
17:36:44 -!- kar8nga has quit (Read error: 110 (Connection timed out)).
17:38:05 <fizzie> Presumably because it might conflict with someone's actual local network, while you can cheerfully reuse 1.0.0.0/16 because no-one has any sensible reason to want to connect there, since it's IANA-reserved.
17:39:30 <fizzie> Not such a great reason, but *a* reason none-the-less.
17:40:44 <ais523> people may want to connect there once 1.0.0.0/16 is allocated
17:40:52 <ais523> IIRC, it isn't reserved for any reason but that it hasn't been allocated yet
17:41:41 <fizzie> Yes, but you're talking about the FUTURE. Now, in the FUTURE we might all be DEAD anyway, so why worry about it?
17:43:04 <ais523> what are you parodying?
17:43:15 <fizzie> Just myself, I think.
17:43:36 <fizzie> Anyway, they could've used some random numbers from 169.254.0.0/16 though; those are reserved for link-local auto-random-config-style addresses.
17:44:06 <fizzie> Like what Windows boxes pick when they've been configured to use DHCP but no DHCP server is found.
17:45:49 -!- kar8nga has joined.
17:47:16 <fizzie> (There's also 192.0.2.0/24 "assigned as "TEST-NET" for use in documentation and example code", but maybe conceptually speaking that shouldn't be used "for real". Oh, and 198.18.0.0/15 is specifically allocated (RFC2544) for "benchmark tests of network interconnect devices"; that could well be abused for web-server testing.
17:47:25 <fizzie> s/$/)/
17:57:13 -!- cal153 has joined.
17:59:40 -!- Gracenotes has quit (Remote closed the connection).
18:00:36 -!- cal153 has quit (Client Quit).
18:06:32 -!- cal153 has joined.
18:16:54 <oerjan> *achoo*
18:17:10 <oerjan> maybe it's really swine flu this time...
18:17:33 <oerjan> (otherwise, my third cold this autumn)
18:18:09 <{}_> oerjan, third only?
18:18:36 <oerjan> you mean i should have had _more_?
18:42:57 -!- fax has quit ("Leaving").
18:45:10 <bsmntbombdood> there's a goddamn motherfucking fly in here
18:45:13 -!- sebbu2 has joined.
18:51:52 <Gregor> bsmntbombdood: You mean there's a goddamn motherfucking small flying snack in here.
18:52:18 -!- sebbu3 has joined.
18:55:35 * oerjan considers making an anosmia joke about Gregor and flies, but then realizes he hasn't exactly tasted flies himself either
18:55:57 <Gregor> They're full of proteiny goodness.
18:56:05 <oerjan> now, food -->
18:59:33 -!- sebbu3 has quit (Read error: 60 (Operation timed out)).
18:59:39 -!- sebbu4 has joined.
19:00:13 -!- sebbu has quit (Nick collision from services.).
19:00:15 -!- sebbu2 has quit (Nick collision from services.).
19:00:57 -!- sebbu4 has changed nick to sebbu.
19:01:07 -!- augur has joined.
19:08:10 -!- ais523 has quit (sendak.freenode.net irc.freenode.net).
19:08:10 -!- oerjan has quit (sendak.freenode.net irc.freenode.net).
19:08:11 -!- kar8nga has quit (sendak.freenode.net irc.freenode.net).
19:08:11 -!- Warrigal has quit (sendak.freenode.net irc.freenode.net).
19:15:29 -!- oerjan has joined.
19:15:45 -!- ais523 has joined.
19:38:23 <FireFly> [19:55:35] oerjan considers making an anosmia joke about Gregor and flies, but then realizes he hasn't exactly tasted flies himself either
19:38:33 <FireFly> So why do you insist in swatting them?
19:39:33 <oerjan> traffic control.
19:41:52 <augur> lol
19:41:56 <augur> what in the world
19:41:58 <augur> you kids
19:41:58 <augur> :D
19:42:52 <oerjan> it's been a while since i could pass for a kid
19:46:37 <FireFly> it's been a negative while since I could
19:47:31 -!- Warrigal has joined.
19:47:42 -!- Gracenotes has joined.
19:48:56 -!- augur has quit (Read error: 60 (Operation timed out)).
19:53:20 -!- augur has joined.
19:54:07 -!- Cerise has quit (sendak.freenode.net irc.freenode.net).
19:54:34 -!- Cerise has joined.
19:55:03 -!- Cerise has changed nick to Guest19337.
20:15:31 -!- augur has quit (Connection timed out).
20:31:22 -!- puzzlet has quit (Remote closed the connection).
20:31:27 -!- puzzlet has joined.
20:41:08 -!- Gracenotes has quit (Remote closed the connection).
21:00:04 -!- Gracenotes has joined.
21:03:22 -!- fax has joined.
21:04:02 -!- fax has quit (Remote closed the connection).
21:04:15 -!- fax has joined.
21:14:39 <oklopol> you have never tasted a fly?
21:17:48 <SimonRC> no
21:20:05 <oklopol> bee? ant?
21:20:19 <SimonRC> no
21:20:29 <oklopol> you're weird
21:20:31 <oklopol> cow?
21:20:45 <Deewiant> Of those, I've tasted cow and ant
21:21:22 <oklopol> of the finnish ones i only like the big red and blue ones, whatever they are called
21:21:30 <oklopol> blue?
21:21:31 <oklopol> black i meant
21:21:34 <SimonRC> lol
21:22:22 -!- ais523 has quit (Remote closed the connection).
21:22:33 <Deewiant> I've tasted only one variety of ant. :-P
21:24:46 -!- kar8nga has joined.
22:22:38 -!- Gracenotes has quit (Remote closed the connection).
22:25:43 -!- kar8nga has quit (Remote closed the connection).
22:32:10 -!- puzzlet has quit (Remote closed the connection).
22:32:14 -!- puzzlet has joined.
22:34:55 -!- oerjan has quit ("Reboot").
22:39:35 -!- oerjan has joined.
22:53:58 -!- Slereah has joined.
23:38:15 -!- oklopol has quit (Read error: 110 (Connection timed out)).
23:38:39 * SimonRC goes to bed
23:43:13 -!- BeholdMyGlory has quit (Remote closed the connection).
←2009-11-10 2009-11-11 2009-11-12→ ↑2009 ↑all