Toggle navigation
Maniagnosis
Not devoured by plague-bearing zombies!
Home
CRSR
Archive
Web Authentication
Parsing with Derivatives
P /= NP, Vinay Deolalikar
Posted on August 9, 2010 by Tommy McGuire
Labels:
theory
,
math
In my opinion, it is very unlikely that the argument will stand.
Unfortunately, I am supremely unqualified to evaluate the
proof
.
Please enable JavaScript to view the
comments powered by Disqus.
active directory
applied formal logic
ashurbanipal
authentication
books
c
c++
comics
conference
continuations
coq
data structure
digital humanities
Dijkstra
eclipse virgo
electronics
emacs
goodreads
haskell
http
java
job
Knuth
ldap
link
linux
lisp
math
naming
nimrod
notation
OpenAM
osgi
parsing
pony
programming language
protocols
python
quote
R
random
REST
ruby
rust
SAML
scala
scheme
shell
software development
system administration
theory
tip
toy problems
unix
vmware
yeti
Site proudly generated by
Hakyll
.