2013-03-25T00:01:50 *** raedwulf has joined #aichallenge 2013-03-25T00:25:50 *** mattswe has joined #aichallenge 2013-03-25T00:42:30 *** Quix0te has joined #aichallenge 2013-03-25T00:44:46 *** ermau_ has joined #aichallenge 2013-03-25T01:17:25 *** swaffles_ is now known as swaffles 2013-03-25T01:41:24 *** aerique has joined #aichallenge 2013-03-25T01:44:44 *** JamesMG_ has joined #aichallenge 2013-03-25T01:45:48 *** Redgis has joined #aichallenge 2013-03-25T01:46:25 *** aerique_ has quit IRC (Ping timeout: 245 seconds) 2013-03-25T01:46:25 *** lahwran has quit IRC (Ping timeout: 245 seconds) 2013-03-25T01:46:25 *** JamesMG has quit IRC (Ping timeout: 245 seconds) 2013-03-25T01:46:25 *** Redgis_ has quit IRC (Read error: Connection reset by peer) 2013-03-25T01:49:39 *** lahwran- has joined #aichallenge 2013-03-25T02:27:20 *** mceier has quit IRC (Quit: leaving) 2013-03-25T02:46:30 *** loglog has joined #aichallenge 2013-03-25T02:54:46 *** coeus has joined #aichallenge 2013-03-25T03:00:10 *** Garf has joined #aichallenge 2013-03-25T03:01:19 *** thestinger has quit IRC (Quit: WeeChat 0.4.0) 2013-03-25T03:24:35 *** epicmonkey has joined #aichallenge 2013-03-25T03:27:29 *** mceier has joined #aichallenge 2013-03-25T03:30:58 *** epicmonkey has quit IRC (Ping timeout: 245 seconds) 2013-03-25T03:34:37 *** bqf has quit IRC (Changing host) 2013-03-25T03:34:37 *** bqf has joined #aichallenge 2013-03-25T04:16:21 *** smiley1983 has joined #aichallenge 2013-03-25T04:30:14 *** iglo has joined #aichallenge 2013-03-25T04:35:06 *** ermau__ has joined #aichallenge 2013-03-25T04:39:52 *** raedwulf has quit IRC (*.net *.split) 2013-03-25T04:40:03 *** Quix0te has quit IRC (*.net *.split) 2013-03-25T04:40:09 *** smiley1993 has joined #aichallenge 2013-03-25T04:40:28 *** smiley1983 has quit IRC (*.net *.split) 2013-03-25T04:40:28 *** ermau_ has quit IRC (*.net *.split) 2013-03-25T04:40:28 *** sh4wn has quit IRC (*.net *.split) 2013-03-25T04:41:09 *** epicmonkey has joined #aichallenge 2013-03-25T04:44:20 *** smiley1993 has joined #aichallenge 2013-03-25T04:44:26 *** sh4wn has joined #aichallenge 2013-03-25T04:45:03 *** sdfsdsfd has quit IRC (Ping timeout: 276 seconds) 2013-03-25T04:45:33 *** raedwulf has joined #aichallenge 2013-03-25T04:46:43 *** coeus has quit IRC (Ping timeout: 264 seconds) 2013-03-25T04:54:10 *** raedwulf has quit IRC (*.net *.split) 2013-03-25T04:55:08 *** raedwulf has joined #aichallenge 2013-03-25T04:57:04 *** smiley1993 has quit IRC (*.net *.split) 2013-03-25T04:57:22 *** smiley1983 has joined #aichallenge 2013-03-25T05:04:37 *** ramn[work] has joined #aichallenge 2013-03-25T05:05:04 *** ramn[work] has joined #aichallenge 2013-03-25T05:09:48 *** mviel has joined #aichallenge 2013-03-25T05:27:31 *** ramn[work] has quit IRC () 2013-03-25T05:30:55 *** sigh has joined #aichallenge 2013-03-25T05:33:15 *** ramn[work] has joined #aichallenge 2013-03-25T05:40:08 *** Accoun has joined #aichallenge 2013-03-25T06:11:36 *** mceier has quit IRC (Quit: leaving) 2013-03-25T06:41:15 *** mceier has joined #aichallenge 2013-03-25T07:11:00 *** foRei has joined #aichallenge 2013-03-25T07:49:24 *** iglo has quit IRC (Remote host closed the connection) 2013-03-25T07:56:37 *** iglo has joined #aichallenge 2013-03-25T08:16:10 *** foRei has quit IRC (Read error: Connection reset by peer) 2013-03-25T08:22:39 *** foRei has joined #aichallenge 2013-03-25T08:34:02 *** ermau__ is now known as ermau 2013-03-25T08:34:10 *** ermau has joined #aichallenge 2013-03-25T09:02:03 *** Quix0te has joined #aichallenge 2013-03-25T09:14:49 *** Chris_0076 has joined #aichallenge 2013-03-25T09:31:43 *** sigh has quit IRC (Remote host closed the connection) 2013-03-25T10:00:11 *** amstan has joined #aichallenge 2013-03-25T10:00:11 *** ChanServ sets mode: +o amstan 2013-03-25T10:02:45 *** foRei has quit IRC (Read error: Connection reset by peer) 2013-03-25T10:18:32 *** iglo has quit IRC (Remote host closed the connection) 2013-03-25T11:07:52 *** lahwran- is now known as lahwran 2013-03-25T11:31:49 *** mceier has quit IRC (Quit: leaving) 2013-03-25T11:49:11 *** sh4wn has quit IRC (Ping timeout: 246 seconds) 2013-03-25T12:04:18 *** AlliedEnvy has quit IRC (Ping timeout: 245 seconds) 2013-03-25T12:39:56 *** sh4wn has joined #aichallenge 2013-03-25T12:44:08 *** sh4wn has quit IRC (Ping timeout: 246 seconds) 2013-03-25T12:47:49 *** mceier has joined #aichallenge 2013-03-25T12:49:05 *** foRei has joined #aichallenge 2013-03-25T12:59:06 *** sh4wn has joined #aichallenge 2013-03-25T13:04:46 *** mcstar has joined #aichallenge 2013-03-25T13:11:42 *** epicmonkey has quit IRC (Ping timeout: 256 seconds) 2013-03-25T13:33:32 *** foRei has quit IRC (Ping timeout: 256 seconds) 2013-03-25T14:13:42 *** foRei has joined #aichallenge 2013-03-25T14:23:04 *** Uvs has joined #aichallenge 2013-03-25T14:34:14 *** epicmonkey has joined #aichallenge 2013-03-25T15:00:54 Uvs: hiding, eh? 2013-03-25T15:01:12 :) 2013-03-25T15:01:28 Uvs: ive got a blog! 2013-03-25T15:02:42 i'm afraid my English can compromise Russians as a nation. 2013-03-25T15:02:57 wow, nice. can i see it? 2013-03-25T15:03:29 so i decided to come up with something more neutral for some time 2013-03-25T15:03:31 no, sry, you cant because.....i cant think of anything funny 2013-03-25T15:03:49 like what? 2013-03-25T15:03:56 ok, google's my friend :P 2013-03-25T15:04:39 if you really want to see it its liquid-phynix.github.com, but it is a very shy blog 2013-03-25T15:06:56 heheh, I think contestbot.aichallenge.org can be called your blog too :D 2013-03-25T15:11:22 lol 2013-03-25T15:40:33 *** Uvs has quit IRC (Ping timeout: 245 seconds) 2013-03-25T15:47:52 *** epicmonkey has quit IRC (Remote host closed the connection) 2013-03-25T15:48:12 *** epicmonkey has joined #aichallenge 2013-03-25T16:09:03 *** thestinger has joined #aichallenge 2013-03-25T17:07:13 *** swaffles is now known as swabbles 2013-03-25T17:22:18 *** ramn[work] has quit IRC (Ping timeout: 264 seconds) 2013-03-25T17:41:17 thestinger: http://okmij.org/ftp/Haskell/regions.html 2013-03-25T17:41:21 now i understand 2013-03-25T17:42:30 mcstar: http://static.rust-lang.org/doc/tutorial-borrowed-ptr.html ;p 2013-03-25T17:43:09 and affine/linear types are just formalized deterministic destructors and ownership trees 2013-03-25T17:43:49 i guess i can understand that if i read the haskell regions papers 2013-03-25T17:44:49 mcstar: an affine type is basically a type with a unique owner 2013-03-25T17:45:04 passing it by value or moving from it makes it unusable at a type system level 2013-03-25T17:45:31 so it's also a memory region with a known lifetime 2013-03-25T17:46:07 atm im studying conduits, have to do some socket programming 2013-03-25T17:46:12 mcstar: it's just like T, std::unique_ptr and &T in C++, but formalized so that it's safe 2013-03-25T17:46:17 idk when ill have time to study regions 2013-03-25T17:46:35 std::unique_ptr maps to an affine type in a safe language (as does a type on the stack) 2013-03-25T17:46:41 thestinger: that doesnt explain to me, how does the compiler figure this out statically :) 2013-03-25T17:46:58 mcstar: well for T and std::unique_ptr - that's simple 2013-03-25T17:47:14 it understands flow control and it just stops use of it when it could have been moved out of 2013-03-25T17:47:18 it tracks the lifetime of variables 2013-03-25T17:47:54 it knows uninitialized vs maybe moved from vs alive 2013-03-25T17:48:19 for borrowed (region) pointers, it stops them from outliving what they point at 2013-03-25T17:49:28 rust isn't purely functional so that all involves precise control over what's mutable 2013-03-25T17:49:56 'let' variable bindings are the top-level owner, so they determine if the whole ownership tree is mutable 2013-03-25T17:50:05 let -> immutable tree, let mut -> mutable 2013-03-25T17:50:21 @ is optional gc and starts a new tree, so @ vs @mut are the other place mutability is determined 2013-03-25T17:50:22 thestinger: User error, it's not my fault. 2013-03-25T17:50:28 contestbot: oh, you 2013-03-25T17:50:29 thestinger: You have no gotten any error messages recently, so here's a random one just to let you know that we care. 2013-03-25T17:57:08 thestinger: is there something like ps, that periodically filters processes? 2013-03-25T17:57:22 hmm? 2013-03-25T17:57:37 top? :P 2013-03-25T17:57:53 thats interactive 2013-03-25T17:58:00 can i use top from another program? 2013-03-25T17:58:09 not really 2013-03-25T17:58:12 sysstat? 2013-03-25T17:58:28 the sar thing 2013-03-25T17:58:33 whats that? 2013-03-25T17:58:44 it periodically scans and gathers statistics on processes 2013-03-25T17:58:49 and puts it in a db 2013-03-25T17:59:00 what package is that part of? 2013-03-25T17:59:03 sysstat 2013-03-25T17:59:25 oh 2013-03-25T17:59:51 but if it just calls ps periodically, i can do the same 2013-03-25T18:00:16 mcstar: no it doesn't use ps 2013-03-25T18:00:18 it's much better 2013-03-25T18:00:46 pidstat will show you statistics based on what it gathers 2013-03-25T18:01:01 by default it drops a sysstat cronjob in cron.hourly 2013-03-25T18:01:03 great, thanks 2013-03-25T18:01:57 mcstar: 'man sar' is about the actual gathering tool 2013-03-25T18:02:02 the other ones just use the stuff it scans 2013-03-25T18:24:41 *** swabbles is now known as SJRvanSchaik 2013-03-25T18:24:44 *** SJRvanSchaik is now known as swabbles 2013-03-25T18:28:00 *** AlliedEnvy has joined #aichallenge 2013-03-25T18:33:50 *** swabbles is now known as schaatser_ 2013-03-25T18:39:15 *** schaatser_ is now known as swabbles 2013-03-25T19:27:13 *** epicmonkey has quit IRC (Ping timeout: 245 seconds) 2013-03-25T19:29:46 *** swabbles is now known as rawplayervrind 2013-03-25T19:32:08 *** rawplayervrind is now known as ingewikkeld 2013-03-25T19:32:56 *** ingewikkeld is now known as swabbles 2013-03-25T19:54:13 *** mcstar has quit IRC (Quit: mcstar) 2013-03-25T21:00:17 *** foRei has quit IRC (Quit: Bye) 2013-03-25T22:48:17 *** amstan_ has joined #aichallenge 2013-03-25T22:48:17 *** ChanServ sets mode: +o amstan_ 2013-03-25T23:30:11 *** Garf has quit IRC (Read error: Connection reset by peer)