| --- Log opened Mon Aug 09 00:00:33 2010 |
| --- Day changed Mon Aug 09 2010 |
| 00:00 | | AnnoDomini [annodomini@Nightstar-4caa20c5.adsl.tpnet.pl] has quit [[NS] Quit: leaving] |
| 00:06 | | Stalker [Z@3A600C.A966FF.5BF32D.8E7ABA] has joined #code |
| 00:12 | | You're now known as TheWatcher[T-2] |
| 00:20 | | You're now known as TheWatcher[zZzZ] |
| 00:20 | | RichardBarrell [mycatverbs@Nightstar-689c9c54.cable.virginmedia.com] has joined #code |
| 00:42 | | gnolam [lenin@Nightstar-38637aa0.priv.bahnhof.se] has quit [[NS] Quit: Z?] |
| 00:53 | <@Derakon> | Potential proof that P != NP: http://gregbaker.ca/blog/2010/08/07/p-n-np/ |
| 00:54 | <@McMartin> | Wow. |
| 00:58 | < celticminstrel> | Aren't they normally assumed equal? |
| 00:58 | <@McMartin> | No, I'd have to say they're normally assumed unequal, but it's, as the link says, probably the most well-known open question in the field. |
| 00:59 | <@McMartin> | P != NP is kind of the basis for most forms of cryptography, because if P = NP, a lot of trapdoor functions aren't anymore. |
| 00:59 | < celticminstrel> | Oh, I might be thinking of different sets of problems then. |
| 01:00 | <@McMartin> | In English, P = NP is "any problem where you can check the answer in a reasonable amount of time you can find the answer in a reasonable amount of time." |
| 01:00 | < RichardBarrell> | Not just a lot of trapdoor functions, but the entire set of trapdoor functions that we have any hope of implementing in a way that is fast enough to be practical. |
| 01:01 | <@McMartin> | That said, if you s/time/space/, it turns out it's true. |
| 01:01 | < celticminstrel> | It was awhile ago that they taught me these things, and even then it was only a basic intro tacked onto the end of another course. |
| 01:01 | <@McMartin> | Because you can encode the things you've tried so far in an amount of space proportional to the size of the problem. |
| 01:03 | < RichardBarrell> | McMartin: that reminds me of something. One of my lecturers was really fond of L, because it is the smallest space complexity classes in which you could have (a fixed number of) pointers. :) |
| 01:03 | | Attilla [Obsolete@Nightstar-4f05807b.threembb.co.uk] has quit [[NS] Quit: ] |
| 01:09 | | RichardBarrell [mycatverbs@Nightstar-689c9c54.cable.virginmedia.com] has quit [[NS] Quit: Zz...] |
| 01:39 | | Tarinaky [Tarinaky@Nightstar-f349ca6d.plus.com] has quit [Connection closed] |
| 02:03 | | Reiv [NSwebIRC@Nightstar-1055e8af.waikato.ac.nz] has joined #code |
| 03:44 | | Reiv [NSwebIRC@Nightstar-1055e8af.waikato.ac.nz] has quit [[NS] Quit: Page closed] |
| 03:56 | | Thaqui [Thaqui@27B34E.D54D49.F53FA1.6A113C] has joined #code |
| 04:20 | | Thaqui [Thaqui@27B34E.D54D49.F53FA1.6A113C] has quit [Connection closed] |
| 04:28 | | Tarinaky [Tarinaky@Nightstar-f349ca6d.plus.com] has joined #code |
| 05:50 | | Thaqui [Thaqui@27B34E.D54D49.F53FA1.6A113C] has joined #code |
| 05:50 | | celticminstrel [celticminstre@Nightstar-f8b608eb.cable.rogers.com] has quit [[NS] Quit: And lo! The computer falls into a deep sleep, to awake again some other day!] |
| 06:13 | | Stalker [Z@3A600C.A966FF.5BF32D.8E7ABA] has quit [Ping timeout: 121 seconds] |
| 06:15 | | Rhamphoryncus [rhamph@Nightstar-bbc709c4.abhsia.telus.net] has joined #code |
| 06:44 | | Derakon is now known as Derakon[AFK] |
| 07:33 | | gnolam [lenin@Nightstar-38637aa0.priv.bahnhof.se] has joined #code |
| 07:54 | | gnolam [lenin@Nightstar-38637aa0.priv.bahnhof.se] has quit [[NS] Quit: Gone] |
| 09:04 | | AnnoDomini [annodomini@Nightstar-af97cde2.adsl.tpnet.pl] has joined #code |
| 09:04 | | mode/#code [+o AnnoDomini] by Reiver |
| 09:18 | | Orthia [orthianz@ServerAdministrator.Nightstar.Net] has quit [Ping timeout: 121 seconds] |
| 09:38 | | You're now known as TheWatcher |
| 09:54 | | gnolaptop [wintermute@Nightstar-2e48375f.dialup.ice.net] has joined #code |
| 09:56 | | gnolaptop [wintermute@Nightstar-2e48375f.dialup.ice.net] has quit [Client closed the connection] |
| 09:57 | | gnolaptop [wintermute@Nightstar-027011f7.dialup.ice.net] has joined #code |
| 10:00 | | gnolaptop [wintermute@Nightstar-027011f7.dialup.ice.net] has quit [Connection reset by peer] |
| 10:00 | | wintermute_ [wintermute@Nightstar-2ebac69a.dialup.ice.net] has joined #code |
| 10:01 | | wintermute__ [wintermute@Nightstar-81e59cb9.dialup.ice.net] has joined #code |
| 10:02 | | wintermute__ is now known as gnolaptop |
| 10:04 | | wintermute_ [wintermute@Nightstar-2ebac69a.dialup.ice.net] has quit [Ping timeout: 121 seconds] |
| 10:28 | | gnolaptop [wintermute@Nightstar-81e59cb9.dialup.ice.net] has quit [[NS] Quit: Poor reception] |
| 10:53 | | Stalker [Z@3A600C.A966FF.5BF32D.8E7ABA] has joined #code |
| 11:04 | | Vornicus is now known as Vornicus-Latens |
| 11:06 | | Orthia [orthianz@Nightstar-0ed32b17.xnet.co.nz] has joined #code |
| 12:02 | | cpux [Moo@Nightstar-20a84089.dyn.optonline.net] has quit [[NS] Quit: ChatZilla 0.9.86 [Firefox 3.6.8/20100722155716]] |
| 12:07 | | Stalker [Z@3A600C.A966FF.5BF32D.8E7ABA] has quit [Ping timeout: 121 seconds] |
| 12:13 | | Rhamphoryncus [rhamph@Nightstar-bbc709c4.abhsia.telus.net] has quit [Client exited] |
| 12:20 | | Stalker [Z@3A600C.A966FF.5BF32D.8E7ABA] has joined #code |
| 12:29 | | Zed_ [Zed@Nightstar-e4835f03.or.comcast.net] has joined #code |
| 12:32 | | Zed [Zed@Nightstar-e4835f03.or.comcast.net] has quit [Ping timeout: 121 seconds] |
| 12:52 | | Stalker [Z@3A600C.A966FF.5BF32D.8E7ABA] has quit [Ping timeout: 121 seconds] |
| 13:05 | | celticminstrel [celticminstre@Nightstar-f8b608eb.cable.rogers.com] has joined #code |
| 15:21 | | Stalker [Z@26ECB6.A4B64C.298B52.D80DA0] has joined #code |
| 17:40 | | Thaqui [Thaqui@27B34E.D54D49.F53FA1.6A113C] has quit [Connection closed] |
| 17:55 | | Attilla [Obsolete@Nightstar-e40a019e.threembb.co.uk] has joined #code |
| 17:55 | | mode/#code [+o Attilla] by Reiver |
| 19:03 | | Vornicus-Latens is now known as Vornicus |
| 19:10 | | aoanla [AndChat@35E323.0E5F29.EE682F.C70C35] has joined #code |
| 19:17 | | RichardBarrell [mycatverbs@Nightstar-228a334c.plus.com] has joined #code |
| 19:31 | | RichardB_ [mycatverbs@Nightstar-3b2c2db2.bethere.co.uk] has joined #code |
| 19:32 | | RichardBarrell [mycatverbs@Nightstar-228a334c.plus.com] has quit [Ping timeout: 121 seconds] |
| 19:35 | | RichardB_ [mycatverbs@Nightstar-3b2c2db2.bethere.co.uk] has quit [Connection closed] |
| 20:47 | | Stalker [Z@26ECB6.A4B64C.298B52.D80DA0] has quit [Ping timeout: 121 seconds] |
| 21:14 | | Stalker [Z@3A600C.A966FF.5BF32D.8E7ABA] has joined #code |
| 21:47 | | Stalker [Z@3A600C.A966FF.5BF32D.8E7ABA] has quit [Ping timeout: 121 seconds] |
| 22:04 | | RichardB_ [mycatverbs@Nightstar-689c9c54.cable.virginmedia.com] has joined #code |
| 22:06 | | RichardB_ is now known as RichardB |
| 22:15 | | aoanla [AndChat@35E323.0E5F29.EE682F.C70C35] has quit [[NS] Quit: ] |
| 22:25 | | Derakon [Derakon@Nightstar-1ffd02e6.ucsf.edu] has joined #code |
| 22:26 | | mode/#code [+o Derakon] by Reiver |
| 22:26 | | * Derakon staggers, bleary-eyed, from the microscope room. |
| 22:26 | < celticminstrel> | Blrgl? |
| 22:26 | <@Derakon> | And now the biologists can get their hands on what I've been working on for the last month and a half. |
| 22:26 | <@Derakon> | Minstrel: yeah. |
| 23:25 | <@McMartin> | Derakon: Now your work really begins. |
| 23:25 | <@McMartin> | I'd tilde it, but I'm sadly dead serious~ |
| 23:25 | <@Derakon> | Yeah. |
| 23:57 | | Derakon [Derakon@Nightstar-1ffd02e6.ucsf.edu] has quit [[NS] Quit: Leaving] |
| 23:58 | | Rhamphoryncus [rhamph@Nightstar-bbc709c4.abhsia.telus.net] has joined #code |
| --- Log closed Tue Aug 10 00:00:35 2010 |