| --- Log opened Tue Aug 03 00:00:28 2010 |
| 00:02 | <@Vornicus> | hm, it's the style that isn't working, I think. |
| 00:06 | | RichardBarrell [mycatverbs@Nightstar-689c9c54.cable.virginmedia.com] has quit [Ping timeout: 121 seconds] |
| 00:07 | | You're now known as TheWatcher[T-2] |
| 00:13 | <@Vornicus> | yeah. For some reason it's not showing the css class I've given it. |
| 00:14 | | You're now known as TheWatcher[zZzZ] |
| 00:20 | | Attilla [Obsolete@Nightstar-964c1e21.threembb.co.uk] has quit [Ping timeout: 121 seconds] |
| 00:22 | | Attilla [Obsolete@Nightstar-ec3109ac.threembb.co.uk] has joined #code |
| 00:22 | | mode/#code [+o Attilla] by Reiver |
| 00:28 | | AnnoDomini [annodomini@Nightstar-f55ba0ed.adsl.tpnet.pl] has quit [[NS] Quit: I go.] |
| 00:39 | | gnolam [lenin@Nightstar-38637aa0.priv.bahnhof.se] has quit [[NS] Quit: Z?] |
| 00:59 | | Attilla [Obsolete@Nightstar-ec3109ac.threembb.co.uk] has quit [[NS] Quit: ] |
| 01:09 | | Tarinaky [Tarinaky@Nightstar-f349ca6d.plus.com] has quit [Connection closed] |
| 01:38 | | cpux [Moo@Nightstar-20a84089.dyn.optonline.net] has joined #code |
| 02:30 | | Thaqui [Thaqui@27B34E.D54D49.F53FA1.6A113C] has joined #code |
| 02:37 | | Stalker [Z@26ECB6.A4B64C.298B52.D80DA0] has quit [Ping timeout: 121 seconds] |
| 03:04 | | Stalker [Z@3A600C.A966FF.5BF32D.8E7ABA] has joined #code |
| 03:06 | | Tarinaky [Tarinaky@Nightstar-f349ca6d.plus.com] has joined #code |
| 03:16 | | Rhamphoryncus [rhamph@Nightstar-bbc709c4.abhsia.telus.net] has joined #code |
| 03:54 | | TarinakyKai [Tarinaky@Nightstar-f349ca6d.plus.com] has joined #code |
| 03:56 | | Tarinaky [Tarinaky@Nightstar-f349ca6d.plus.com] has quit [Operation timed out] |
| 04:00 | | Derakon[AFK] is now known as Derakon |
| 04:29 | | Alek [omegaboot@Nightstar-c5f3565b.il.comcast.net] has quit [[NS] Quit: ] |
| 04:49 | | Alek [omegaboot@Nightstar-c5f3565b.il.comcast.net] has joined #code |
| 04:49 | | Alek [omegaboot@Nightstar-c5f3565b.il.comcast.net] has quit [[NS] Quit: ] |
| 04:51 | | Alek [omegaboot@Nightstar-c5f3565b.il.comcast.net] has joined #code |
| 04:52 | | Stalker [Z@3A600C.A966FF.5BF32D.8E7ABA] has quit [Ping timeout: 121 seconds] |
| 05:01 | | McMartin [mcmartin@Nightstar-dd07698f.pltn13.sbcglobal.net] has quit [[NS] Quit: X Windows upgrade] |
| 05:03 | | McMartin [mcmartin@Nightstar-dd07698f.pltn13.sbcglobal.net] has joined #code |
| 05:03 | | mode/#code [+o McMartin] by Reiver |
| 05:09 | | Stalker [Z@3A600C.A966FF.5BF32D.8E7ABA] has joined #code |
| 05:55 | | cpux is now known as shade_of_cpux |
| 06:32 | | Derakon is now known as Derakon[AFK] |
| 06:45 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has quit [Operation timed out] |
| 06:47 | | SmithKurosaki [Smith@Nightstar-71303801.dsl.teksavvy.com] has quit [Operation timed out] |
| 06:58 | | * Vornicus fiddles with javascript, trying to decide how to best work this interface. |
| 08:16 | | shade_of_cpux [Moo@Nightstar-20a84089.dyn.optonline.net] has quit [Client closed the connection] |
| 08:26 | | AnnoDomini [annodomini@Nightstar-f55ba0ed.adsl.tpnet.pl] has joined #code |
| 08:26 | | mode/#code [+o AnnoDomini] by Reiver |
| 08:49 | | Stalker [Z@3A600C.A966FF.5BF32D.8E7ABA] has quit [Ping timeout: 121 seconds] |
| 09:07 | | Rhamphoryncus [rhamph@Nightstar-bbc709c4.abhsia.telus.net] has quit [Ping timeout: 121 seconds] |
| 09:13 | | You're now known as TheWatcher |
| 09:20 | | Rhamphoryncus [rhamph@Nightstar-bbc709c4.abhsia.telus.net] has joined #code |
| 09:29 | | * TheWatcher eyes libjpeg, wtfs |
| 09:29 | <@TheWatcher> | /usr/include/jpeglib.h:952: error: expected declaration specifiers or '...' before 'FILE' |
| 09:29 | <@TheWatcher> | The hell |
| 10:08 | | RichardBarrell [mycatverbs@Nightstar-3b2c2db2.bethere.co.uk] has joined #code |
| 10:08 | <@TheWatcher> | \o/ saving of SDL surfaces to jpeg files and RWops: Working. |
| 10:13 | <@McMartin> | \o/ |
| 10:15 | <@Vornicus> | \o/ |
| 10:16 | <@Vornicus> | Whee, overriding what happens in a text box when you press certain keys |
| 10:27 | | gnolam [lenin@Nightstar-38637aa0.priv.bahnhof.se] has joined #code |
| 10:34 | | Rhamphoryncus [rhamph@Nightstar-bbc709c4.abhsia.telus.net] has quit [Client exited] |
| 10:37 | | TarinakyKai [Tarinaky@Nightstar-f349ca6d.plus.com] has quit [Connection closed] |
| 10:46 | | Zed [Zed@Nightstar-e4835f03.or.comcast.net] has quit [Connection reset by peer] |
| 10:47 | | Zed [Zed@Nightstar-e4835f03.or.comcast.net] has joined #code |
| 11:16 | | Syloqs-AFH [Syloq@NetworkAdministrator.Nightstar.Net] has quit [Connection closed] |
| 11:16 | | Vornicus is now known as Vornicus-Latens |
| 11:23 | | Syloqs_AFH [Syloq@NetworkAdministrator.Nightstar.Net] has joined #code |
| 11:25 | | Syloqs_AFH is now known as Syloqs-AFH |
| 12:15 | | Syloqs-AFH [Syloq@NetworkAdministrator.Nightstar.Net] has quit [Ping timeout: 121 seconds] |
| 12:21 | | Syloqs_AFH [Syloq@NetworkAdministrator.Nightstar.Net] has joined #code |
| 12:22 | | Syloqs_AFH is now known as Syloqs-AFH |
| 13:07 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has joined #code |
| 13:07 | | mode/#code [+o ToxicFrog] by Reiver |
| 13:23 | | Netsplit *.net <-> *.split quits: @jerith, Zed, gnolam, @Kazriko, RichardBarrell, @AnnoDomini, @Reiver |
| 13:24 | | Netsplit over, joins: gnolam |
| 13:24 | | gnolam is now known as 459AAASL4 |
| 13:24 | | gnolam [lenin@Nightstar-38637aa0.priv.bahnhof.se] has joined #code |
| 13:24 | | mode/#code [+o Syloqs-AFH] by Reiver |
| 13:24 | | Netsplit over, joins: ~Reiver, @jerith, @AnnoDomini, Zed, RichardBarrell, @Kazriko |
| 13:24 | | gnolam is now known as NSGuest8864 |
| 13:24 | | 459AAASL4 is now known as gnolam |
| 13:24 | | NSGuest8864 [lenin@Nightstar-38637aa0.priv.bahnhof.se] has quit [Ping timeout: 121 seconds] |
| 13:26 | | RichardBarrell [mycatverbs@Nightstar-3b2c2db2.bethere.co.uk] has quit [Ping timeout: 121 seconds] |
| 14:10 | | Thaqui [Thaqui@27B34E.D54D49.F53FA1.6A113C] has quit [Connection reset by peer] |
| 14:11 | | Zed [Zed@Nightstar-e4835f03.or.comcast.net] has quit [Ping timeout: 121 seconds] |
| 14:44 | | RichardB [mycatverbs@Nightstar-3b2c2db2.bethere.co.uk] has joined #code |
| 16:25 | | SmithKurosaki [Smith@Nightstar-367a4581.dsl.teksavvy.com] has joined #code |
| 16:33 | | * TheWatcher tries to work out the correct way to signal a write failure in a png write callback, suspects this is going to involve a tithe of hair |
| 16:36 | <@TheWatcher> | you'd think that calling png_error was sensible... |
| 16:43 | <@TheWatcher> | ... oh, wait, it is, they just decided that actually documenting the fucking API properly is for wimps, and to shove "extern PNG_EXPORT(void,png_error) PNGARG((png_structp png_ptr,png_const_charp error_message)) PNG_NORETURN;" in the header |
| 16:48 | < simon__> | I'm trying to prove that p&q => p is a tautology. |
| 16:48 | < Namegduf> | "Work from the definition of =>" is all I remember of that one. |
| 16:50 | < Namegduf> | Hmm, wait, no. I think I misinterpreted. |
| 16:50 | < Namegduf> | Yeah. |
| 16:51 | < simon__> | if I could say (p&q => p) => (p => p), but I'm not sure and-elimination allows that in that way. |
| 16:52 | < Namegduf> | You want to derive, basically, p&q => p from p&q |
| 16:52 | < Namegduf> | If I've thought it through properly now. |
| 16:53 | < Namegduf> | Not reason with the implication itself. |
| 16:53 | < simon__> | I have this syntax: premise,premise,premise |- conclusion,conclusion |
| 16:54 | < simon__> | and the assignment reads "|- p&q => p" (which should be synonymous to "p&q |- p", which would be dead obvious to solve through and-elimination) |
| 16:54 | < Namegduf> | I think I went through this once, but I've long since forgotten it and my notes are presently in a locked filing cabinet. Sorry. |
| 16:55 | < simon__> | :P |
| 16:55 | < simon__> | 'tis fine. I think some of this is hard ironically because it's simple. |
| 17:04 | < gnolam> | On this subject, I have now finally played "Ergo". Reiver (?) was right - the rule sheet is absolutely godawful (and what's worse, the updated rule sheet they have on their site /is still erroneous/). But it's an awesome idea, and it seemed (we played it under, err, sub-optimal conditions) pretty fun. |
| 17:29 | < RichardB> | simon__: doesn't "|- p&p => p" read as "'p&p => p' is a tautology"? |
| 17:30 | < RichardB> | Read literally, I mean. |
| 17:35 | | Attilla [Obsolete@Nightstar-29aaf9a8.threembb.co.uk] has joined #code |
| 17:35 | | mode/#code [+o Attilla] by Reiver |
| 17:59 | | Tarinaky [Tarinaky@Nightstar-f349ca6d.plus.com] has joined #code |
| 18:14 | | AnnoDomini is now known as ST |
| 18:17 | | AbuDhabi [annodomini@Nightstar-fa869699.adsl.tpnet.pl] has joined #code |
| 18:20 | | ST [annodomini@Nightstar-f55ba0ed.adsl.tpnet.pl] has quit [Ping timeout: 121 seconds] |
| 18:20 | | AbuDhabi is now known as ST |
| 18:48 | | RichardB [mycatverbs@Nightstar-3b2c2db2.bethere.co.uk] has quit [Ping timeout: 121 seconds] |
| 19:16 | | Attilla_ [Obsolete@Nightstar-282502e1.threembb.co.uk] has joined #code |
| 19:16 | | Attilla [Obsolete@Nightstar-29aaf9a8.threembb.co.uk] has quit [Ping timeout: 121 seconds] |
| 19:31 | | Stalker [Z@3A600C.A966FF.5BF32D.8E7ABA] has joined #code |
| 20:03 | | Vornicus-Latens is now known as Vornicus |
| 20:06 | | Zed [Zed@Nightstar-e4835f03.or.comcast.net] has joined #code |
| 20:13 | | Tarinaky [Tarinaky@Nightstar-f349ca6d.plus.com] has quit [Connection closed] |
| 20:20 | | Zed [Zed@Nightstar-e4835f03.or.comcast.net] has quit [Connection reset by peer] |
| 20:51 | | Syloqs-AFH [Syloq@NetworkAdministrator.Nightstar.Net] has quit [Client closed the connection] |
| 20:56 | | Syloqs_AFH [Syloq@NetworkAdministrator.Nightstar.Net] has joined #code |
| 20:57 | | Syloqs_AFH is now known as Syloqs-AFH |
| 21:12 | | Rhamphoryncus [rhamph@Nightstar-bbc709c4.abhsia.telus.net] has joined #code |
| 22:50 | | ST is now known as AnnoDomini |
| 22:51 | | Derakon [Derakon@Nightstar-1ffd02e6.ucsf.edu] has joined #code |
| 22:51 | | mode/#code [+o Derakon] by Reiver |
| 22:51 | | * Derakon arghs, has just spent two hours trying to get the font rendering code he wrote for Jetblade to work for the microscope program without success. |
| 22:52 | <@Derakon> | All I get is black rectangles. :\ |
| 22:52 | <@Derakon> | I'm pretty certain it has something to do with the transformation from PyGame surface to OpenGL texture, but I don't have the knowhow to debug that step. |
| 22:52 | <@McMartin> | Insufficient texture RAM? |
| 22:53 | <@Derakon> | Um, the work computer is something like four times more powerful than my home compy in every respect. |
| 22:54 | <@Derakon> | I can verify that the surface is generated properly using PyGame's get_at function. My attempts to write an equivalent function to download texture pixels from the video card indicate that every pixel there has the value [1, 1, 1, 1]. |
| 23:38 | <@Derakon> | Unrelated: man, it's nice to use a pen that actually has a reliable ink flow~ |
| 23:38 | <@Derakon> | I guess these pens aren't good for more than eight or nine months of heavy use~ |
| 23:45 | <@Vornicus> | Okay three things left: 1. the thing that checks answers, 2. the thing that reports the results at the end, and 3. the countdown timer. |
| 23:48 | | Tarinaky [Tarinaky@Nightstar-f349ca6d.plus.com] has joined #code |
| 23:52 | | Derakon [Derakon@Nightstar-1ffd02e6.ucsf.edu] has quit [[NS] Quit: Leaving] |
| --- Log closed Wed Aug 04 00:00:29 2010 |