Jeff Kinne


Theory Links

Web-logs:
CCC Blog, Theory blog aggregator, Luca Trevisan, Lance Fortnow and Bill Gasarch, Jonathan Katz, Gil Kalai, Richard Lipton, Terry Tao, Noam Nisan, Oded Goldreich, Scott Aaronson, Michael Mitzenmacher

Videos/Lectures:
IAS, CACM videos, list from CS theory stack exchange, Theory of Computing: Lens of the Sciences, Google Tech Talks, Simons' Fdn. Visions, Reykjavik Youtube channel

Reference:
TrueShelf, CS Theory Stack Exchange (algorithms from the book, major open questions, classic papers, videos, lecture notes), Complexity Zoo, Math Overflow, Math Stack Exchange, TCS cheat sheet, A Computational Introduction to Number Theory (Shoup)

Journals:
JACM, SICOMP, CC, ToC, TCS, ToCT, Inf. Comp., JCSS

Conferences and Workshops:
Conference on Computational Complexity (CCC), FOCS, STOC, CCC, RANDOM, STACS, ICALP, ..., Midwest Theory Day, ICS 2010

Other Online Papers/Events:
ECCC, SIGACT News Complexity Theory Column, BEATCS Complexity Theory Column, Center for Computational Intractability, UW-Madison Theory group, CACM Theory, SIGACT News, ACM Queue, ACM Ubiquity

Lecture Notes, Draft Texts, etc.:
Algorithms textbooks, Computer Science for the Information Age (Hopcroft, Kannan), Free online texts/drafts, Complexity Theory (Van Melkebeek), Complexity Theory (Cai), Complexity Theory: A Modern Approach (Arora and Barak), Computational Complexity: A Conceptual Perspective (Goldreich), Harmonic Analysis (Van Melkebeek), Expander Graphs (Van Melkebeek), PCP's and Hardness of Approximation (Van Melkebeek), A Computational Introduction to Number Theory and Algebra (Shoup), Pseudorandomness (Vadhan), Theorist's Toolkit (Arora), Concentration of Measure ... , Parameterized Complexity Theory (Flum and Grohe), Models of Computation: Exploring the Power of Computing (Savage)

Advocacy Groups, Retrospectives, Visions for the Future, etc.:
Theory Matters, ACM SIGACT, Visions for Theoretical Computer Science 2009 (PPT), Computational Complexity Since 1980 (PS, Impagliazzo), Hilbert's Problems, Knowledge, Creativity and P versus NP

For Fun:
A proof that the Halting Problem is undecidable, PhD Comics, xkcd comics, Math Genealogy (grapher, UW Theory Group professors' genealogy graph)