--- Log opened Wed Jun 11 00:00:12 2008 |
00:15 | < Doctor_Nick> | hey vorn |
00:15 | < Doctor_Nick> | aw |
00:15 | < Doctor_Nick> | Vornicus-Latens: when you get back i want to talk to you |
01:03 | | ToxicFrog [~ToxicFrog@Admin.Nightstar.Net] has joined #code |
01:04 | | mode/#code [+o ToxicFrog] by ChanServ |
01:23 | <@MyCatVerbs> | McMartin: if you're hacking in an LP language then you _do_ have three valued logic, of a sort. Ground truth, ground falsity, and uninstantiated (free!) variables. |
01:44 | <@ToxicFrog> | LP? |
01:44 | <@MyCatVerbs> | Logic programming. |
01:44 | <@ToxicFrog> | Aah. |
01:45 | <@MyCatVerbs> | Programmation en Logique, etc. |
01:45 | <@ToxicFrog> | ("Oh my god, it's full of s-expressions: Let's Play Lisp!") |
01:45 | <@MyCatVerbs> | Programmation en Logique, even. |
01:45 | <@ToxicFrog> | Yes, I am in fact familiar with prolog. |
01:46 | <@MyCatVerbs> | I suspected as much, but I wanted to put the emphasis in anyway. ^^ |
01:46 | <@MyCatVerbs> | ToxicFrog: am I missing a reference somewhere? I thought the only real similarities between Lisp and Prolog were that they're both homoiconic and very high level. |
01:47 | <@ToxicFrog> | Not really. |
01:47 | <@ToxicFrog> | I initially expanded LP to Let's Play, not to logical programming. |
01:47 | <@ToxicFrog> | *logic, even. |
01:47 | <@ToxicFrog> | This led inexorably to the idea of Let's Play <programming language here> |
01:47 | < Shoukanjuu> | We could make mooney off of this. |
01:47 | < Shoukanjuu> | money, even. |
01:48 | <@MyCatVerbs> | Mooney sounds more fun. |
01:49 | <@MyCatVerbs> | It brings forth images of rubber chickens, and people baring their buttocks at the judges in local comedy competitions for cheap laughs. I like this concept and wish to subscribe to its newsletters. |
01:55 | <@Attilla> | "Hey folks, this is Delphi, sequel to Pascal, and like Pascal you have to use whole words, now let's try to get a Hello World started from pressing a button!" |
02:12 | | * McMartin notes in passing that his article involves stratified Datalog, which is much more constrained and is not in fact Turing Complete |
02:14 | <@McMartin> | Pah. My domain-specific ultra-HLLs let you have identifiers that are more than one word long. |
02:14 | <@McMartin> | Put *that* in Pascal's pipe and smoke it |
03:14 | | Vornicus-Latens [~vorn@Admin.Nightstar.Net] has quit [Ping Timeout] |
04:52 | | Serah [~Z@Nightstar-5401.atm2-0-1041217.0xc329e232.boanxx12.customer.tele.dk] has quit [Quit: Don't try to read the quit message, that is impossible. Instead only realize the truth; "there is no quit message" and you will see it is not you who read the quit message but the quit message who reads you.] |
05:19 | | C_tiger [~c_wyz@Nightstar-16806.nycmny.east.verizon.net] has quit [Ping Timeout] |
06:16 | < Shoukanjuu> | "Would you find me more attractive if I were more attractive?" |
06:17 | < Shoukanjuu> | ...Nightstar's notices get..odder and odder. |
06:20 | | UndeadAnno [AnnoDomini@Nightstar-29167.neoplus.adsl.tpnet.pl] has joined #Code |
06:20 | | mode/#code [+o UndeadAnno] by ChanServ |
07:54 | | Thaqui [~Thaqui@Nightstar-12992.jetstream.xtra.co.nz] has joined #code |
07:54 | | mode/#code [+o Thaqui] by ChanServ |
08:42 | | Vornicus [~vorn@Admin.Nightstar.Net] has joined #code |
08:42 | | mode/#code [+o Vornicus] by ChanServ |
08:46 | | You're now known as TheWatcher |
09:46 | | Chalcedon [~Chalcy@Nightstar-488.ue.woosh.co.nz] has quit [Quit: Leaving] |
11:05 | | Raif [~corvusign@Nightstar-25074.hsd1.wa.comcast.net] has quit [Quit: A trebuchet is not a marital aid. Many bothans died to bring us this information.] |
11:54 | | Thaqui [~Thaqui@Nightstar-12992.jetstream.xtra.co.nz] has left #code [Leaving] |
13:38 | | UndeadAnno [AnnoDomini@Nightstar-29167.neoplus.adsl.tpnet.pl] has quit [Ping Timeout] |
13:45 | | UndeadAnno [AnnoDomini@Nightstar-29021.neoplus.adsl.tpnet.pl] has joined #Code |
13:45 | | mode/#code [+o UndeadAnno] by ChanServ |
15:53 | <@McMartin> | Blargh. The latest update to X broke one of XMMS's fonts. |
15:56 | | Raif [~corvusign@Nightstar-25074.hsd1.wa.comcast.net] has joined #Code |
15:56 | | mode/#code [+o Raif] by ChanServ |
15:57 | <@McMartin> | Aha, no sooner do I complain about this, then I find the option to not only fix it but also fix a long-standing additional problem. |
15:58 | < Doctor_Nick> | fonts in x are a pain |
15:58 | <@Vornicus> | A lot of stuff in X is a pain. |
15:59 | < Doctor_Nick> | yeah |
16:03 | <@McMartin> | These were all entirely XMMS's fault. |
16:06 | | You're now known as TheWatcher[afk] |
16:07 | < Doctor_Nick> | isn't xmms no longer under active development? |
16:08 | <@Reiver> | Good grief. |
16:09 | <@Reiver> | Whoever designed MinGW clearly forgot that windows users are thick and like helpful wizards, not unpacking their own files into custom directories. |
16:09 | <@Reiver> | I mean, it's not like Windows has the handy Linux commands to install required modules cleanly /either/... |
16:11 | < Doctor_Nick> | i have to type something here? ehhhhhh... |
16:12 | | * Raif blames OSS for all the world's problems. |
16:12 | | GeekSoldier [~Rob@Nightstar-9183.dip.t-dialin.net] has quit [Ping Timeout] |
16:14 | <@ToxicFrog> | Reiver: well, two things there |
16:14 | <@ToxicFrog> | First of all, there is a handy wizard for installing everything automatically |
16:14 | <@Reiver> | ... where? |
16:14 | | * Reiver wants, did not see |
16:15 | <@ToxicFrog> | http://sourceforge.net/project/showfiles.php?group_id=2435 |
16:15 | <@ToxicFrog> | Right at the top, "automated mingw installer" |
16:16 | <@Reiver> | aha, I was not at the sourceforge page. |
16:16 | <@ToxicFrog> | Secondly, even if this weren't the case, the target audience for mingw is people who want a GNU toolchain and software development environment under windows, and the assumption here is that if you are a software developer, and you want gcc, make, etc, you are unlikely to have problems unpacking zip files |
16:18 | < Doctor_Nick> | they might just be fed up with Visual Studio :) |
16:19 | <@Reiver> | I couldn't get Visual Studio to install. |
16:19 | <@Reiver> | It wanted 1.1 GB of my C: when I told it to install on G:. The bastard. |
16:19 | <@ToxicFrog> | The installer will also handle MSYS, I think. |
16:20 | | Vornotron [~vorn@Admin.Nightstar.Net] has joined #code |
16:20 | <@ToxicFrog> | Well, in that case, they'd probably be downloading Code::Blocks, DevCPP, or similar, and those come with the parts of mingw they need |
16:21 | | Vornicus [~vorn@Admin.Nightstar.Net] has quit [Ping Timeout] |
16:25 | | Vornotron is now known as VOrnicus |
16:25 | | VOrnicus is now known as Vrnicus |
16:25 | | Vrnicus is now known as Vornicus |
16:26 | <@ToxicFrog> | Perhaps one day I'll care enough to write an IDE with decent syntax hilighting support. |
16:26 | <@McMartin> | The only people harmed by OSS are shareware developers outside of the game industry, who now must limit their marketing to the ignorant~ |
16:27 | <@Reiver> | "Outside the game industry" ? |
16:27 | < Doctor_Nick> | McMartin: there was an article on slashdot about how OSS has killed off the coding tools market |
16:27 | < Doctor_Nick> | not that's necessarily a bad thing |
16:27 | <@McMartin> | Reiver: "Give away the first two levels, sell the rest" is still viable. |
16:27 | < Doctor_Nick> | free market and all that |
16:27 | <@Reiver> | Aha. |
16:28 | <@Reiver> | Incidentally Aquaria is fun |
16:28 | <@McMartin> | "Pay me for tools inferior to 50,000 vastly superior tools that you can not only get for free but customize and redistribute without restriction" doesn't cut it. |
16:28 | <@Reiver> | Does it remain so till the end, and just how much more is there? |
16:28 | <@McMartin> | Not, of course, that the foolish and the ignorant are a small market. |
16:28 | <@ToxicFrog> | "yes" and "plenty" |
16:28 | | * McMartin is about 20 hours in. |
16:29 | <@ToxicFrog> | It took me about 24 hours to complete with both endings. |
16:29 | <@ToxicFrog> | Although much of that was massively over-preparing for the final bossfight. |
16:29 | <@McMartin> | The overpreparation process is entertaining, so. |
16:30 | <@ToxicFrog> | Quite so. |
16:30 | <@McMartin> | (But yes, games in general operate as creative works and therefore the model for 'give some stuff away to make money' is the CC/BFL one.) |
16:30 | <@ToxicFrog> | BFL? |
16:30 | < Doctor_Nick> | can someone give me voice or something so i can post urls here? |
16:30 | <@ToxicFrog> | Oh, yes. |
16:30 | | mode/#code [+ooooo Doctor_Nick EvilDarkLord Shoukanjuu Pi Vornicus] by ToxicFrog |
16:31 | <@Doctor_Nick> | thx |
16:31 | <@Doctor_Nick> | can someone give me voice or something so i can post urls here? |
16:31 | <@Doctor_Nick> | eerrr |
16:31 | <@Doctor_Nick> | http://tech.slashdot.org/article.pl?sid=08/06/10/0228220 |
16:31 | <@McMartin> | TF: Baen Free Library - DRMless but still nominally controlled copies of the *first couple* books in enormous series. |
16:31 | <@ToxicFrog> | McMartin: yeah, I was actually just there |
16:32 | <@ToxicFrog> | Downloading some books and the Baen CD Collections for the trip |
16:32 | <@ToxicFrog> | Sorry, the "oh yes" was "oh yes, now I remember what that stands for", not "oh yes, you can have voice" |
16:32 | <@McMartin> | que tengas un buen viaje, etc. |
16:42 | | mode/#code [+v DiceBot] by Reiver |
17:42 | | ToxicFrog is now known as ToxicFrog|Adventures |
17:56 | | UndeadAnno is now known as Pete |
19:01 | | You're now known as TheWatcher |
19:20 | | GeekSoldier [~Rob@Nightstar-8275.dip.t-dialin.net] has joined #code |
19:20 | | mode/#code [+o GeekSoldier] by ChanServ |
19:27 | | McMartin [~mcmartin@Nightstar-7615.dsl.pltn13.sbcglobal.net] has quit [Quit: Servers, Summer, and Uncooled Apartments Do Not Mix] |
20:06 | | Netsplit Troika.TX.US.Nightstar.Net <-> Blargh.CA.US.Nightstar.Net quits: @GeekSoldier, @Attilla, @Kazriko |
20:06 | | McMartin [~mcmartin@Nightstar-2079.dsl.snfc21.pacbell.net] has joined #code |
20:06 | | mode/#code [+o McMartin] by ChanServ |
20:15 | | RBot [~Reiver@Nightstar-9913.xdsl.xnet.co.nz] has joined #Code |
20:15 | | Raif [~corvusign@Admin.Nightstar.Net] has quit [Killed (NickServ (GHOST command used by Raif_))] |
20:15 | | Raif_ [~corvusign@Nightstar-25074.hsd1.wa.comcast.net] has joined #Code |
20:15 | | Raif_ is now known as Raif |
20:16 | | DiceBot [~Reiver@Nightstar-9913.xdsl.xnet.co.nz] has quit [Ping Timeout] |
20:17 | | RBot is now known as DiceBot |
20:23 | | Attilla [~The.Attil@194.72.70.ns-11849] has joined #code |
20:23 | | mode/#code [+o Attilla] by ChanServ |
21:31 | | Pete is now known as UndeadAnno |
21:40 | | Kazriko [~kaz@Nightstar-26352.gdj-co.client.bresnan.net] has joined #code |
21:40 | | mode/#code [+o Kazriko] by ChanServ |
21:40 | | GeekSoldier [~Rob@Nightstar-8275.dip.t-dialin.net] has joined #code |
21:40 | | mode/#code [+o GeekSoldier] by ChanServ |
22:07 | | Serah [~Z@Nightstar-5401.atm2-0-1041217.0xc329e232.boanxx12.customer.tele.dk] has joined #Code |
22:07 | | mode/#code [+o Serah] by ChanServ |
23:07 | | UndeadAnno [AnnoDomini@Nightstar-29021.neoplus.adsl.tpnet.pl] has quit [Quit: There is strength not only in *knowing* the self, but *knowing* how to bring it forth in others.] |
23:14 | | You're now known as TheWatcher[T-2] |
23:18 | | You're now known as TheWatcher[zZzZ] |
23:52 | | McMartin [~mcmartin@Nightstar-2079.dsl.snfc21.pacbell.net] has quit [Quit: Leaving] |
--- Log closed Thu Jun 12 00:00:18 2008 |