| --- Log opened Sun Jun 24 00:00:53 2007 |
| 00:31 | | Forjadon is now known as ChalcyNap |
| 00:43 | | Reiver [~reiver@Nightstar-12195.worldnet.co.nz] has joined #Code |
| 00:43 | | mode/#code [+o Reiver] by ChanServ |
| 00:55 | | Serah [~Z@87.72.35.ns-26506] has quit [Ping Timeout] |
| 01:02 | | ChalcyNap is now known as ChalcyLaptop |
| 01:15 | | gnolam [lenin@Nightstar-13557.8.5.253.se.wasadata.net] has quit [Quit: Z?] |
| 01:26 | | Syloq [Syloq@Admin.Nightstar.Net] has joined #code |
| 01:27 | | Syloq is now known as Syloqs-AFH |
| 01:39 | | MyCatVerbs [~mycatverb@Nightstar-13709.lurkingfox.co.uk] has quit [Quit: Lost terminal] |
| 01:50 | | MyCatVerbs [~mycatverb@Nightstar-13709.lurkingfox.co.uk] has joined #code |
| 01:50 | | ChalcyLaptop [~Forjadon@Nightstar-15747.ue.woosh.co.nz] has quit [Ping Timeout] |
| 01:57 | | Forjadon [~Forjadon@Nightstar-15747.ue.woosh.co.nz] has joined #code |
| 01:57 | | mode/#code [+o Forjadon] by ChanServ |
| 02:18 | | MyCatVerbs [~mycatverb@Nightstar-13709.lurkingfox.co.uk] has quit [Operation timed out] |
| 02:19 | | MyCatVerbs [~mycatverb@Nightstar-13709.lurkingfox.co.uk] has joined #code |
| 04:28 | | Forjehdon [~Forjadon@Nightstar-15747.ue.woosh.co.nz] has joined #code |
| 04:29 | | Forjadon [~Forjadon@Nightstar-15747.ue.woosh.co.nz] has quit [Ping Timeout] |
| 05:12 | | Chorj [~Forjadon@Nightstar-15747.ue.woosh.co.nz] has joined #code |
| 05:12 | | Forjehdon [~Forjadon@Nightstar-15747.ue.woosh.co.nz] has quit [Ping Timeout] |
| 05:24 | | Chalcedon [~Chalcedon@Nightstar-15747.ue.woosh.co.nz] has quit [Ping Timeout] |
| 06:30 | | Syloqs-AFH [Syloq@Admin.Nightstar.Net] has quit [Connection reset by peer] |
| 06:32 | | Vornicus is now known as Vornicus-Latens |
| 06:52 | | GeekSoldier|Bed is now known as GeekSoldier |
| 07:17 | | You're now known as TheWatcher |
| 07:22 | | Chorj is now known as ChalcyForjMovie |
| 09:26 | | McMartin [mcmartin@Nightstar-9497.dsl.pltn13.sbcglobal.net] has joined #code |
| 09:26 | | mode/#code [+o McMartin] by ChanServ |
| 09:26 | <@McMartin> | Haven't been here for awhile. |
| 09:31 | < GeekSoldier> | Hey McMartin. how are you? |
| 09:32 | <@McMartin> | Really busy. Preparing a seminar on all my research from the past six years or so. |
| 09:32 | < GeekSoldier> | yikes. sounds fun. |
| 09:32 | < GeekSoldier> | graduate school stuff or work? |
| 09:33 | <@McMartin> | Grad School stuff. |
| 09:34 | <@McMartin> | Specifically, this seminar will be the core of my thesis defense. |
| 09:34 | <@McMartin> | Which, if the cat-herding falls into place, will be next Friday. |
| 09:34 | <@McMartin> | Otherwise, it will be when the cat-herding falls into place, but I'll be ready to do the defense on basically 24 hours notice. |
| 09:34 | < GeekSoldier> | good stuff. besst of luck to you. |
| 09:35 | <@McMartin> | Also, my 29th birthday is this Monday |
| 09:35 | <@McMartin> | This lets me say as part of the defense that one of the techniques I employ and refine is as old as I am. |
| 09:37 | < GeekSoldier> | what is your thesis pertaining to? |
| 09:38 | <@McMartin> | Mostly dynamic debugging techniques, but it also touches on program analysis in general and model checking in particular (which is the one that's about as old as I am) |
| 09:39 | <@McMartin> | The unifying element is a specification language I developed, where you use program fragments to direct the debugger/program monitor/model checker/program analyzer. |
| 09:39 | <@McMartin> | http://pql.sf.net/ |
| 09:41 | <@McMartin> | (And then there's http://svaf.sf.net/ which isn't based on my thesis but grew out of a class assignment.) |
| 09:41 | | ChalcyForjMovie [~Forjadon@Nightstar-15747.ue.woosh.co.nz] has quit [Quit: Leaving] |
| 09:51 | | KBot [AnnoDomini@Nightstar-10479.koszalin.cvx.ppp.tpnet.pl] has joined #Code |
| 09:51 | | KBot is now known as KarmaBot |
| 10:08 | | KarmaBot [AnnoDomini@Nightstar-10479.koszalin.cvx.ppp.tpnet.pl] has quit [Quit: KarmaBot manual quit.] |
| 10:23 | | gnolam [lenin@Nightstar-13557.8.5.253.se.wasadata.net] has joined #Code |
| 10:23 | | mode/#code [+o gnolam] by ChanServ |
| 11:16 | | Reiver [~reiver@Nightstar-12195.worldnet.co.nz] has quit [Quit: Laptop fall down go boom...] |
| 12:32 | | ToxicFrog [~ToxicFrog@Admin.Nightstar.Net] has quit [Ping Timeout] |
| 12:53 | | Serah [~Z@87.72.35.ns-26506] has joined #Code |
| 12:53 | | mode/#code [+o Serah] by ChanServ |
| 14:04 | | GeekSoldier [~Rob@Nightstar-6765.pools.arcor-ip.net] has quit [Ping Timeout] |
| 14:10 | | GeekSoldier [~Rob@Nightstar-6765.pools.arcor-ip.net] has joined #code |
| 14:44 | | Thaqui [~Thaqui@Nightstar-26828.jetstream.xtra.co.nz] has left #code [Leaving] |
| 14:58 | | KBot [AnnoDomini@Nightstar-10492.koszalin.cvx.ppp.tpnet.pl] has joined #Code |
| 14:59 | | KBot is now known as KarmaBot |
| 15:04 | | GeekSoldier_ [~Rob@Nightstar-6675.pools.arcor-ip.net] has joined #code |
| 15:05 | | GeekSoldier [~Rob@Nightstar-6765.pools.arcor-ip.net] has quit [Ping Timeout] |
| 15:06 | | GeekSoldier_ is now known as GeekSoldier |
| 15:21 | | KarmaBot [AnnoDomini@Nightstar-10492.koszalin.cvx.ppp.tpnet.pl] has quit [Quit: KarmaBot manual quit.] |
| 16:12 | | ToxicFrog [~ToxicFrog@Admin.Nightstar.Net] has joined #code |
| 16:13 | | mode/#code [+o ToxicFrog] by ChanServ |
| 16:49 | | GeekSoldier is now known as GeekSoldier|Chow |
| 17:17 | | GeekSoldier|Chow is now known as GeekSoldier |
| 18:15 | | KBot [AnnoDomini@Nightstar-10433.koszalin.cvx.ppp.tpnet.pl] has joined #Code |
| 18:16 | | KBot is now known as KarmaBot |
| 18:46 | | KarmaBot [AnnoDomini@Nightstar-10433.koszalin.cvx.ppp.tpnet.pl] has quit [Quit: KarmaBot manual quit.] |
| 19:58 | | Vornicus-Latens is now known as Vornicus |
| 20:22 | | Takyoji [~Takyoji@Nightstar-25812.dhcp.roch.mn.charter.com] has joined #code |
| 20:23 | < Takyoji> | What's the difference between saving data on a database in binary versus ASCII? |
| 20:23 | < Takyoji> | Or with sending files through the FTP protocol in Binary or ASCII? |
| 20:24 | <@Vornicus> | Um, in a database I'm not sure. |
| 20:25 | <@Vornicus> | in FTP, sending using the ASCII thing will convert all newlines to CRLF regardless of the sysem you're on or talking to, and will convert to the system line ending when it arrives. This is generally a Bad Idea. |
| 20:26 | < GeekSoldier> | I would think saving in binary as opposed to ascii (for dbs) could generate smaller or more efficient (read: machine readable) files. |
| 20:26 | <@Vornicus> | Seeing as most (but not all - I'm looking at you, Notepad) text editors will handle foreign newlines just fine, and all other kinds of files don't like having that done to them. |
| 20:26 | | * GeekSoldier hugs his UltraEdit32. |
| 20:26 | < GeekSoldier> | it's nice enough to ask. |
| 20:28 | <@Vornicus> | It really shouldn't have to ask. |
| 20:29 | < GeekSoldier> | I could configure it not to, but... I like the courtesy. |
| 20:30 | <@jerith> | Although they don't all deal well with a mix. |
| 20:30 | | GeekSoldier is now known as GeekSoldier|Sleep |
| 20:53 | <@McMartin> | For FTP, Always Use Binary Mode, Always. |
| 20:53 | <@McMartin> | dos2unix and unix2dos exist for a reason. |
| 21:04 | < Takyoji> | k |
| 21:12 | <@ToxicFrog> | And most sane FTP clients will default to binary, I note. |
| 21:12 | <@ToxicFrog> | the default 'ftp' that comes with windows (and most POSIXoids) does not. ;.; |
| 21:27 | | Chalcedon [~Chalcedon@Nightstar-15747.ue.woosh.co.nz] has joined #code |
| 21:27 | | mode/#code [+o Chalcedon] by ChanServ |
| 21:31 | | KBot [AnnoDomini@Nightstar-10501.koszalin.cvx.ppp.tpnet.pl] has joined #Code |
| 21:31 | | KBot is now known as KarmaBot |
| 21:36 | | Takyoji [~Takyoji@Nightstar-25812.dhcp.roch.mn.charter.com] has quit [Quit: Leaving] |
| 21:43 | | KarmaBot [AnnoDomini@Nightstar-10501.koszalin.cvx.ppp.tpnet.pl] has quit [Quit: KarmaBot manual quit.] |
| 22:40 | | You're now known as TheWatcher[T-2] |
| 22:42 | | You're now known as TheWatcher[zZzZ] |
| 22:56 | | AnnoDomini [AnnoDomini@Nightstar-18460.koszalin.cvx.ppp.tpnet.pl] has joined #Code |
| 22:56 | | mode/#code [+o AnnoDomini] by ChanServ |
| 23:03 | | AnnoDomini [AnnoDomini@Nightstar-18460.koszalin.cvx.ppp.tpnet.pl] has quit [Quit: Patience is a virtue.] |
| 23:30 | | Chalain is now known as ChAfk |
| 23:51 | | Thaqui [~Thaqui@Nightstar-26828.jetstream.xtra.co.nz] has joined #code |
| 23:51 | | mode/#code [+o Thaqui] by ChanServ |
| --- Log closed Mon Jun 25 00:00:59 2007 |