| --- Log opened Thu Nov 29 00:00:17 2007 |
| 00:26 | | Thaqui [~Thaqui@Nightstar-26276.jetstream.xtra.co.nz] has joined #code |
| 00:26 | | mode/#code [+o Thaqui] by ChanServ |
| 00:30 | | Vornicus-Latens [~vorn@Admin.Nightstar.Net] has quit [Ping Timeout] |
| 00:32 | | gnolam [lenin@Nightstar-10613.8.5.253.static.se.wasadata.net] has quit [Quit: Z?] |
| 00:59 | | You're now known as TheWatcher[T-2] |
| 01:05 | | You're now known as TheWatcher[zZzZ] |
| 01:36 | | Schlock [~schlock@Nightstar-8551.hsd1.wa.comcast.net] has quit [Quit: Can I shoot the attorney?] |
| 02:35 | | GeekSoldier|bed [~Rob@Nightstar-4952.pools.arcor-ip.net] has quit [Ping Timeout] |
| 02:48 | | GeekSoldier|bed [~Rob@Nightstar-4952.pools.arcor-ip.net] has joined #code |
| 02:51 | | GeekSoldier|bed [~Rob@Nightstar-4952.pools.arcor-ip.net] has quit [Ping Timeout] |
| 03:02 | | GeekSoldier|bed [~Rob@Nightstar-4952.pools.arcor-ip.net] has joined #code |
| 03:13 | | GeekSoldier|bed [~Rob@Nightstar-4952.pools.arcor-ip.net] has quit [Ping Timeout] |
| 03:18 | | GeekSoldier|bed [~Rob@Nightstar-4952.pools.arcor-ip.net] has joined #code |
| 03:22 | | GeekSoldier|bed [~Rob@Nightstar-4952.pools.arcor-ip.net] has quit [Ping Timeout] |
| 03:22 | | GeekSoldier|bed [~Rob@Nightstar-4952.pools.arcor-ip.net] has joined #code |
| 03:25 | | GeekSoldier|bed [~Rob@Nightstar-4952.pools.arcor-ip.net] has quit [Ping Timeout] |
| 03:28 | | GeekSoldier|bed [~Rob@Nightstar-4952.pools.arcor-ip.net] has joined #code |
| 03:36 | | GeekSoldier|bed [~Rob@Nightstar-4952.pools.arcor-ip.net] has quit [Ping Timeout] |
| 03:46 | | Derakon [~Derakon@Nightstar-8000.hsd1.wa.comcast.net] has joined #code |
| 03:46 | | mode/#code [+o Derakon] by ChanServ |
| 03:46 | | Forj [~Forj@Nightstar-10789.ue.woosh.co.nz] has joined #code |
| 03:46 | | mode/#code [+o Forj] by ChanServ |
| 04:35 | | GeekSoldier|bed [~Rob@Nightstar-3750.pools.arcor-ip.net] has joined #code |
| 04:37 | | GeekSoldier|bed is now known as GeekSoldier|work |
| 05:17 | | Vornotron [~vorn@Admin.Nightstar.Net] has joined #code |
| 05:17 | | Vornotron is now known as Vornicus |
| 06:35 | | Derakon is now known as Derakon[AFK] |
| 06:56 | < Vornicus> | Agh, resource loading. |
| 07:10 | <@McMartin> | Yes. |
| 07:10 | <@McMartin> | omg. |
| 07:10 | < Kyrre> | You called? |
| 07:10 | <@McMartin> | Is this with respect to Project KiloByte, or with respect to my line from yesterday? |
| 07:11 | < Kyrre> | >_> |
| 08:03 | < Vornicus> | The former. |
| 08:18 | | * Vornicus tries to figure out the interface to his continent data. |
| 08:22 | < Vornicus> | eh, it's just a 2d array. |
| 08:47 | < Vornicus> | 3d, actually. |
| 09:05 | < Vornicus> | Stupid comprehension tricks, vol. 32000: [pile[k:k+64] for k in xrange(0, 64*64, 64)] |
| 09:06 | | GeekSoldier|work [~Rob@Nightstar-3750.pools.arcor-ip.net] has quit [Ping Timeout] |
| 09:12 | | Vornicus [~vorn@Admin.Nightstar.Net] has quit [Ping Timeout] |
| 09:19 | | Vornicus [~vorn@Admin.Nightstar.Net] has joined #code |
| 09:19 | | mode/#code [+o Vornicus] by ChanServ |
| 09:20 | | You're now known as TheWatcher |
| 09:35 | | Thaqui [~Thaqui@Nightstar-26276.jetstream.xtra.co.nz] has left #code [Leaving] |
| 09:47 | | gnolam [lenin@Nightstar-10613.8.5.253.static.se.wasadata.net] has joined #Code |
| 09:47 | | mode/#code [+o gnolam] by ChanServ |
| 10:47 | | Vornotron [~vorn@64.252.60.ns-3614] has joined #code |
| 10:48 | | Vornicus [~vorn@Admin.Nightstar.Net] has quit [Ping Timeout] |
| 10:50 | | GeekSoldier|work [~Rob@Nightstar-3252.pools.arcor-ip.net] has joined #code |
| 10:50 | | Vornotron is now known as Vornicus |
| 11:26 | | Forj [~Forj@Nightstar-10789.ue.woosh.co.nz] has quit [Connection reset by peer] |
| 11:31 | | GeekSoldier|work [~Rob@Nightstar-3252.pools.arcor-ip.net] has quit [Ping Timeout] |
| 11:32 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 11:35 | < Vornicus> | arg, filesystem manipulations: for folder in sorted(filter(lambda f: os.path.isdir('continents/' + f), os.listdir('continents')),key = lambda name: int(name.split(None,1)[0])): |
| 11:41 | < Vornicus> | (each continent is stored in a folder; this folder has the map, a treasure and monster table, town and castle names and associations, and signs. The folder is titled with a number and a name: 1 - Continentia, for instance) |
| 11:55 | | * Vornicus ponders: in a new game, the treasure and monster locations on the overworld board are populated; in a restored game, the treasure and monster locations in the overworld data are ignored, in favor of the saved treasure and monster data. |
| 12:10 | | * Vornicus fiddles more. This probably means that during both New and Open operations, we replace the treasure locations in the board with "regular" tiles, and while we're at it extract this data to other structures. |
| 12:11 | < Vornicus> | Which means that I have to hunt through another thing to get the local treasures and monsters for display. |
| 12:13 | < Vornicus> | Which is okay; I would have needed to do something like that anyway. |
| 12:24 | | You're now known as TheWatcher[afk] |
| 12:48 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 12:50 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 12:56 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 13:02 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 13:05 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 13:08 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 13:13 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 13:16 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 13:19 | | You're now known as TheWatcher |
| 13:24 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 13:26 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 13:31 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 13:35 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 14:01 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 14:03 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 14:12 | <@gnolam> | GNGHTRHRYRHGH. |
| 14:12 | <@gnolam> | That's. Fucking. IT. |
| 14:12 | <@gnolam> | I'm washing my hands of this goddamn project. |
| 14:12 | < Vornicus> | What is this project? |
| 14:13 | <@gnolam> | A playhouse for egos. :P |
| 14:14 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 14:17 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 14:21 | | gnolam is now known as gnangry |
| 14:29 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 14:32 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 14:40 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 14:40 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 14:47 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 14:49 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 14:55 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 14:57 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 15:02 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 15:02 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 15:09 | < Vornicus> | Okay. Continent data loaded up and processed. |
| 15:10 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 15:12 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 15:17 | < Vornicus> | It's ugly as hell though |
| 15:19 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 15:22 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 15:30 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 15:31 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has joined #code |
| 15:51 | | GeekSoldier|work [~Rob@Nightstar-4555.pools.arcor-ip.net] has quit [Ping Timeout] |
| 16:27 | | * Vornicus shovels it all into functions. |
| 17:02 | | You're now known as TheWatcher[afk] |
| 17:17 | < Vornicus> | Man. Interactive programs are a lot harder than the little fire-and-forget scripts. |
| 17:21 | < Vornicus> | Of course, all I'm doing right now is getting the data set up. |
| 17:22 | | Forj [~Forj@Nightstar-10789.ue.woosh.co.nz] has joined #code |
| 17:22 | | mode/#code [+o Forj] by ChanServ |
| 17:26 | | Forj [~Forj@Nightstar-10789.ue.woosh.co.nz] has quit [Quit: Gone] |
| 18:11 | <@AnnoDomini> | Gah. |
| 18:11 | | * AnnoDomini is looking for example beans he could learn/steal code from, but fails. |
| 18:17 | <@ToxicFrog> | ...fuck. |
| 18:18 | < Vornicus> | ?? |
| 18:18 | <@ToxicFrog> | I have to prove that (a ? a) >= a |
| 18:19 | <@ToxicFrog> | Where the fuzzy set intersection operator ?(a,b) is defined as (ab) |
| 18:19 | <@ToxicFrog> | This presents a problem, as, for example, 0.5?0.5 = 0.25, which is most definitely not >= 0.25 |
| 18:20 | <@ToxicFrog> | Err, >= 0.5 |
| 18:20 | < Vornicus> | What are a and b? |
| 18:20 | <@AnnoDomini> | Shouldn't you be using logical multiplication? |
| 18:20 | < Vornicus> | I mean, what kinds of things are they? |
| 18:20 | < Vornicus> | Sets? |
| 18:21 | <@ToxicFrog> | Real numbers in the range 0..1 representing the degree to which an element belongs to two sets A and B |
| 18:21 | <@ToxicFrog> | ...oh wait |
| 18:21 | <@ToxicFrog> | Fuck |
| 18:21 | < Vornicus> | ?? |
| 18:21 | <@ToxicFrog> | I have union and intersection backwards |
| 18:21 | < Vornicus> | ??? |
| 18:21 | <@AnnoDomini> | Yes. Probably. |
| 18:21 | <@ToxicFrog> | I have to prove that (a ? a) <= a, and (a ? a) >= a |
| 18:22 | <@ToxicFrog> | Which is entirely doable. |
| 18:22 | < Vornicus> | Indeed. |
| 18:22 | <@ToxicFrog> | Also: no, I shouldn't be using logical multiplication, because these are fuzzy sets, not crisp sets. |
| 18:22 | < Vornicus> | Union would be, what, a + (1-a)b? |
| 18:23 | <@AnnoDomini> | max(a,b), I think. |
| 18:25 | <@ToxicFrog> | No, a+b-ab |
| 18:26 | <@ToxicFrog> | max(a,b) is for when you're using min(a,b) as intersection. |
| 18:26 | <@ToxicFrog> | Product intersection implies probabilistic sum union, as I just proved using DeMorgan's Law. |
| 18:26 | | * Vornicus got it right! |
| 18:27 | <@AnnoDomini> | I see. |
| 18:27 | <@ToxicFrog> | Ok. I need to prove superidempotency and strict monotonicity for union, and after that I'm done with product-intersection/probsum-union. |
| 18:28 | <@ToxicFrog> | Which just leaves proving boundary, (strict) monotonicity, commutativity, associativity, and super/subidempotency for minmax. |
| 18:43 | | You're now known as TheWatcher |
| 18:48 | | * ToxicFrog stabs min() and max() right in the semantics |
| 18:50 | | Chalain [~chalain@Admin.Nightstar.Net] has joined #code |
| 18:50 | | mode/#code [+o Chalain] by ChanServ |
| 18:51 | <@ToxicFrog> | If I could manipulate them as mathematical expressions rather than opaque functions this stuff would be much easier to formally prove. |
| 18:56 | | rickynumber24 [~rhalstea@83.219.124.ns-12416] has joined #code |
| 20:10 | | GeekSoldier|work [~Rob@Nightstar-4836.pools.arcor-ip.net] has joined #code |
| 20:15 | | GeekSoldier|work is now known as GeekSoldier|bed |
| 21:07 | | AbuDhabi [AnnoDomini@Nightstar-29042.neoplus.adsl.tpnet.pl] has joined #Code |
| 21:07 | | mode/#code [+o AbuDhabi] by ChanServ |
| 21:07 | | GeekSoldier|bed [~Rob@Nightstar-4836.pools.arcor-ip.net] has quit [Ping Timeout] |
| 21:08 | | AnnoDomini [AnnoDomini@Nightstar-29310.neoplus.adsl.tpnet.pl] has quit [Ping Timeout] |
| 21:28 | | GeekSoldier|bed [~Rob@Nightstar-4836.pools.arcor-ip.net] has joined #code |
| 21:33 | | gnangry is now known as gnecromancy |
| 21:42 | | GeekSoldier|bed [~Rob@Nightstar-4836.pools.arcor-ip.net] has quit [Ping Timeout] |
| 21:44 | | GeekSoldier|bed [~Rob@Nightstar-4836.pools.arcor-ip.net] has joined #code |
| 21:56 | | GeekSoldier|bed [~Rob@Nightstar-4836.pools.arcor-ip.net] has quit [Ping Timeout] |
| 22:00 | | rickynumber24 is now known as ricky|sleepy |
| 22:00 | | ricky|sleepy [~rhalstea@83.219.124.ns-12416] has left #code [] |
| 22:00 | | GeekSoldier|bed [~Rob@Nightstar-4836.pools.arcor-ip.net] has joined #code |
| 22:23 | | Vornicus is now known as Vornicus-Latens |
| 22:35 | | GeekSoldier|bed [~Rob@Nightstar-4836.pools.arcor-ip.net] has quit [Ping Timeout] |
| 22:58 | | MyCatVerbs [~mycatverb@Nightstar-13709.lurkingfox.co.uk] has quit [Operation timed out] |
| 22:58 | | MyCatVerbs [~mycatverb@Nightstar-13709.lurkingfox.co.uk] has joined #code |
| 23:55 | | gnecromancy is now known as gnolam |
| --- Log closed Fri Nov 30 00:00:24 2007 |