[Discover] Lambda the Ultimate | Programming Languages Weblog http://lambda-the-ultimate.org/
(programming lisp functional blog) 
[Discover] Ring theory - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Ring_theory (mathematics theory)
[Discover] Network Coding Home Page http://www.ifp.uiuc.edu/~koetter/NWC/index.html (theory coding research network)
[Discover] Theil index - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Theil_index (statistics economics theory information)
[Discover] Pareto principle - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Pareto_principle (statistics business productivity wiki)
[Discover] David MacKay: Information Theory, Inference, and Learning Algorithms http://www.inference.phy.cam.ac.uk/mackay/itila/book.html (statistics book machine learning)
[Discover] Game theory - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Game_theory (economics reference wikipedia games)
[Discover] E.W.Dijkstra Archive: Home page http://www.cs.utexas.edu/users/EWD/ (dijkstra people computer history)
[Discover] TREE: the Heuristic Driven Join Strategy of a RETE-Like Matcher http://dli.iiit.ac.in/ijcai/IJCAI-93-VOL1/PDF/070.pdf (theory rete algorithms ai)
[Discover] The Minimum cut problem. A simple, fast monte-carlo algorithm http://www.cs.cmu.edu/afs/cs.cmu.edu/user/avrim/www/Randalgs97/lect0122 (mathematics theory graphtheory combinatorics)
[Discover] Using (hyper)graph decomposition for satisfiability decision http://www.cs.swan.ac.uk/~csoliver/Artikel/200604Swansea.pdf (theory algorithms graphtheory programming)
[Discover] The Hacktivist :: Hacktivism & Technopolitics http://www.thehacktivist.com/ (activism politics theory programming)
[Discover] constraint satisfaction problems (PDF) || aima.cs.berkeley.edu http://aima.cs.berkeley.edu/newchap05.pdf (ai theory programming pdf)
[Discover] Recycling Continuations http://www.cs.indiana.edu/~jsobel/Recycling/recycling.pdf (scheme theory programming paper)
[Discover] Data Mining and Analytic Technologies (Kurt Thearling) http://www.thearling.com/index.htm (datamining people algorithms tutorial)
[Discover] Wolfram 2,3 Turing Machine Research Prize http://www.wolframscience.com/prizes/tm23/ (math steve contest proof)
[Discover] Combinatorial Game Theory http://www.ics.uci.edu/~eppstein/cgt/ (games algorithms theory mathematics)
[Discover] Graph Decomposition Using Node Labels http://www.diva-portal.org/diva/getDocument?urn_nbn_se_kth_diva-3213-2__fulltext.pdf (theory algorithms graphtheory programming)
[Discover] Max-flow min-cut theorem - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Max-flow_min-cut_theorem (theory mathematics graphtheory acm)
[Discover] MapReduce: A major step backwards - The Database Column http://www.databasecolumn.com/2008/01/mapreduce-a-major-step-back.html (google database programming mapreduce)

[Discover] Call-Graph Caching: Transforming Programs into Networks http://dli.iiit.ac.in/ijcai/IJCAI-89-VOL1/PDF/019A.pdf (theory rete algorithms lisp)
[Discover] Homepage of Erik van der Werf http://erikvanderwerf.tengen.nl/ (people theory games algorithms)
[Discover] Bayesian Clustering with Variable and Transformation Selections http://www.people.fas.harvard.edu/~junliu/TechRept/02folder/bcvs.pdf (statistics clustering theory algorithms)
[Discover] Using Pseudosymmetry to Reduce Search Effort http://4c.ucc.ie/4cite/TR-01-2004.pdf (theory optimization csp)
[Discover] The Eurovision Song Contest as a ‘Friendship’ Network http://www.insna.org/Connections-Web/Volume27-3/Dekker.pdf (statistics music theory datamining)
[Discover] Lightweight MAC Algorithms http://4c.ucc.ie/4cite/TR-02-2003.pdf (theory optimization algorithms csp)
[Discover] Recent Progress in Computer Go http://www.cs.ualberta.ca/~mmueller/ps/Villach2007.pdf (statistics theory games go)
[Discover] Rebel Science http://www.rebelscience.org/ (science theory technology programming)
[Discover] KANREN http://kanren.sourceforge.net/ (scheme programming logic theory)
[Discover] Google Research Publications http://labs.google.com/papers/mapreduce.html (google programming algorithms parallel)
[Discover] Heuristics and artificial intelligence in finance and investment http://www.geocities.com/francorbusetti/ (finance research ai statistics)
[Discover] Alligator Eggs! http://worrydream.com/AlligatorEggs/ (games math fun lambda)
[Discover] Complex Event Processing http://pavg.stanford.edu/cep/ (cep event architecture event.driven.architecture)
[Discover] ai-junkie http://www.ai-junkie.com/ai-junkie.html (programming games ai algorithms)
[Discover] Basics of Compiler Design http://www.diku.dk/hjemmesider/ansatte/torbenm/Basics/ (compiler programming book books)
[Discover] Professor Daniel P. Miranker (Home Page) http://www.cs.utexas.edu/users/miranker/ (ruleengine people theory)
[Discover] Artificial Intelligence: A Modern Approach http://aima.cs.berkeley.edu/ (ai books book algorithms)
[Discover] Long Now > Projects > Seminars About Long Term Thinking http://www.longnow.org/projects/seminars/ (culture seminars longnow philosophy)
[Discover] Type-Oriented Logic Meta Programming http://www.cs.ubc.ca/~kdvolder/publications/phd-summary.htm (oop theory logic programming)
[Discover] Exploration exploitation in Go: UCT for Monte-Carlo Go http://videolectures.net/otee06_gelly_umc/ (research go statistics theory)
[Discover] Computational aspects of prediction markets: Book chapter and extended bibliography: Oddhead Blog: ... http://blog.oddhead.com/2007/09/17/computational-aspects-of-prediction-markets-book-chapter-and-exte ... (theory algorithms programming book)
[Discover] Artificial Intelligence: A Modern Approach - Chapter 20: Statistical Learning Methods http://aima.cs.berkeley.edu/newchap20.pdf (theory ai)
[Discover] Communicating Sequential Processes (CSP), by C. A. R. Hoare (Electronic Version) http://www.usingcsp.com/ (programming csp concurrency algorithms)
[Discover] DSpace at MIT: Reasoning from experiments to causal models in molecular cell biology http://dspace.mit.edu/handle/1721.1/11050 (ruleengine scheme theory rete)
[Discover] White Papers http://www.kbsc.com/whitePapers.html (research articles aaatoread ai)
[Discover] Type Theory and Functional Programming http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ (programming functional book compsci)
[Discover] Efficient transitive closure computation in large digraphs http://www.cs.hut.fi/~enu/thesis.html (mathematics theory programming research)
[Discover] Complexity Theory: A Modern Approach / Sanjeev Arora and Boaz Barak http://www.cs.princeton.edu/theory/complexity/ (algorithms complexity books math)
[Discover] Wolfram Blog: The Prize Is Won; The Simplest Universal Turing Machine Is Proved http://blog.wolfram.com/2007/10/the_prize_is_won_the_simplest.html (computing algorithms programming science)
[Discover] The Curry-Howard Correspondence in Haskell http://www.thenewsh.com/~newsham/formal/curryhoward/ (haskell curry logic math)
[Discover] Systems theory - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Systems_Theory (science philosophy reference wikipedia)
[Discover] STOC06 http://www.cs.washington.edu/stoc06/ (acm theory conference)
[Discover] JFLAP http://www.jflap.org/ (visualization algorithms compilers programming)
[Discover] Essentials of Programming Languages, 2nd ed http://www.cs.indiana.edu/eopl/ (programming book scheme languages)
[Discover] GRAFICA Obscura http://www.graficaobscura.com/ (design programming graphics paper)
[Discover] Graph Theory http://www.math.uni-hamburg.de/home/diestel/books/graph.theory/ (graph books math research)
[Discover] CS Theory @ Princeton : Home Page http://www.cs.princeton.edu/theory/ (theory complexity)
[Discover] Theory of Computation at Harvard http://www.eecs.harvard.edu/theory/ (theory complexity)
[Discover] number theory and physics archive http://www.maths.ex.ac.uk/~mwatkins/zeta/physics.htm (physics mathematics theory maths)
[Discover] ProgrammingLanguageTheoryTextsOnline < Techno < TWiki http://www.cs.uu.nl/wiki/bin/view/Techno/ProgrammingLanguageTheoryTextsOnline (computerscience tutorial theory programming)
[Discover] Evolutionary Game Theory (Stanford Encyclopedia of Philosophy) http://plato.stanford.edu/entries/game-evolutionary/ (philosophy economics evolution sep)
[Discover] A Turing Machine in Conway's Game of Life, extendable to a Universal Turing Machine http://rendell-attic.org/gol/tm.htm (computer science life theory)
[Discover] Lecture Notes for CS 2110 Introduction to Theory of Computation http://www.cs.pitt.edu/~daley/cs2110/notes/cs2110w.html (computerscience theory)
[Discover] Theory Matters http://theorymatters.org/ (computerscience theory mathematics papers)
[Discover] Brian's Quantum Gates Paper http://www.cs.iastate.edu/~patterbj/cs/quantum/fp/index.htm (theory commputing quantum)
[Discover] The Implementation of Functional Programming Languages http://research.microsoft.com/Users/simonpj/papers/slpj-book-1987/index.htm (programming haskell implementation functional)
[Discover] Haskell/Category theory - Wikibooks, collection of open-content textbooks http://en.wikibooks.org/wiki/Haskell/Category_theory (haskell reference programming categorytheory)
[Discover] Game Theory (Stanford Encyclopedia of Philosophy) http://plato.stanford.edu/entries/game-theory/ (games philosophy economics encyclopedia)
[Discover] Java theory and practice: The closures debate http://www.ibm.com/developerworks/java/library/j-jtp04247.html (java closure language ibm)
[Discover] Luciano Floridi - University of Hertfordshire - University of Oxford http://www.philosophyofinformation.net/ (philosophy people computer theory)
[Discover] The Robotics WEBook - Bayesian probability theory http://www.roble.info/basicST/stat/bayes-index.php (theory)
[Discover] Graph Theory with Applications http://www.ecp6.jussieu.fr/pageperso/bondy/books/gtwa/gtwa.html (mathematics graphtheory books graph)
[Discover] Citations: Towards a Theory of Emergent Functionality - Steels (ResearchIndex) http://citeseer.ist.psu.edu/context/23245/0 (theory emergent)
[Discover] Modern Information Retrieval - Chapt. 10 - Marti Hearst - 1999 http://people.ischool.berkeley.edu/~hearst/irbook/10/chap10.html (theory information visualization)
[Discover] Many-worlds interpretation - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Many-worlds_interpretation (wikipedia research physics theory)
[Discover] David MacKay http://www.inference.phy.cam.ac.uk/mackay/ (statistics science mathematics homepage)
[Discover] Arrow's impossibility theorem - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Arrow's_theorem (voting economics politics theory)
[Discover] A Computational Introduction to Number Theory and Algebra http://shoup.net/ntb/ (algebra math mathematics book)
[Discover] Queueing Theory Books On Line http://www2.uwindsor.ca/~hlynka/qonline.html (books queueing theory math)
[Discover] How To Criticizing Computer Scientists http://www.cs.purdue.edu/homes/dec/essay.criticize.html (geek science humor computer)
[Discover] Introduction to Text Linguistics http://beaugrande.com/introduction_to_text_linguistics.htm (theory linguistics ftbp)
[Discover] Are You Living in a Computer Simulation? http://www.simulation-argument.com/ (philosophy theory conspiracy interesting)
[Discover] Ring theory - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Ring_theory (mathematics theory)
[Discover] Network Coding Home Page http://www.ifp.uiuc.edu/~koetter/NWC/index.html (theory coding research network)
[Discover] Theil index - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Theil_index (statistics economics theory information)
[Discover] Pareto principle - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Pareto_principle (statistics business productivity wiki)
[Discover] David MacKay: Information Theory, Inference, and Learning Algorithms http://www.inference.phy.cam.ac.uk/mackay/itila/book.html (statistics book machine learning)
[Discover] Game theory - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Game_theory (economics reference wikipedia games)
[Discover] E.W.Dijkstra Archive: Home page http://www.cs.utexas.edu/users/EWD/ (dijkstra people computer history)
[Discover] TREE: the Heuristic Driven Join Strategy of a RETE-Like Matcher http://dli.iiit.ac.in/ijcai/IJCAI-93-VOL1/PDF/070.pdf (theory rete algorithms ai)
[Discover] The Minimum cut problem. A simple, fast monte-carlo algorithm http://www.cs.cmu.edu/afs/cs.cmu.edu/user/avrim/www/Randalgs97/lect0122 (mathematics theory graphtheory combinatorics)
[Discover] Using (hyper)graph decomposition for satisfiability decision http://www.cs.swan.ac.uk/~csoliver/Artikel/200604Swansea.pdf (theory algorithms graphtheory programming)
[Discover] The Hacktivist :: Hacktivism & Technopolitics http://www.thehacktivist.com/ (activism politics theory programming)
[Discover] constraint satisfaction problems (PDF) || aima.cs.berkeley.edu http://aima.cs.berkeley.edu/newchap05.pdf (ai theory programming pdf)
[Discover] Recycling Continuations http://www.cs.indiana.edu/~jsobel/Recycling/recycling.pdf (scheme theory programming paper)
[Discover] Data Mining and Analytic Technologies (Kurt Thearling) http://www.thearling.com/index.htm (datamining people algorithms tutorial)
[Discover] Wolfram 2,3 Turing Machine Research Prize http://www.wolframscience.com/prizes/tm23/ (math steve contest proof)
[Discover] Combinatorial Game Theory http://www.ics.uci.edu/~eppstein/cgt/ (games algorithms theory mathematics)
[Discover] Graph Decomposition Using Node Labels http://www.diva-portal.org/diva/getDocument?urn_nbn_se_kth_diva-3213-2__fulltext.pdf (theory algorithms graphtheory programming)
[Discover] Max-flow min-cut theorem - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Max-flow_min-cut_theorem (theory mathematics graphtheory acm)
[Discover] MapReduce: A major step backwards - The Database Column http://www.databasecolumn.com/2008/01/mapreduce-a-major-step-back.html (google database programming mapreduce)
[Discover] TOC http://portal.acm.org/toc.cfm?id=SERIES11430&type=series&coll=ACM&dl=ACM (books programming free acm)
[Discover] Call-Graph Caching: Transforming Programs into Networks http://dli.iiit.ac.in/ijcai/IJCAI-89-VOL1/PDF/019A.pdf (theory rete algorithms lisp)
[Discover] Homepage of Erik van der Werf http://erikvanderwerf.tengen.nl/ (people theory games algorithms)
[Discover] Bayesian Clustering with Variable and Transformation Selections http://www.people.fas.harvard.edu/~junliu/TechRept/02folder/bcvs.pdf (statistics clustering theory algorithms)
[Discover] Using Pseudosymmetry to Reduce Search Effort http://4c.ucc.ie/4cite/TR-01-2004.pdf (theory optimization csp)
[Discover] The Eurovision Song Contest as a ‘Friendship’ Network http://www.insna.org/Connections-Web/Volume27-3/Dekker.pdf (statistics music theory datamining)
[Discover] Lightweight MAC Algorithms http://4c.ucc.ie/4cite/TR-02-2003.pdf (theory optimization algorithms csp)
[Discover] Recent Progress in Computer Go http://www.cs.ualberta.ca/~mmueller/ps/Villach2007.pdf (statistics theory games go)
[Discover] Rebel Science http://www.rebelscience.org/ (science theory technology programming)
[Discover] KANREN http://kanren.sourceforge.net/ (scheme programming logic theory)
[Discover] Google Research Publications http://labs.google.com/papers/mapreduce.html (google programming algorithms parallel)
[Discover] Heuristics and artificial intelligence in finance and investment http://www.geocities.com/francorbusetti/ (finance research ai statistics)
[Discover] Alligator Eggs! http://worrydream.com/AlligatorEggs/ (games math fun lambda)
[Discover] Complex Event Processing http://pavg.stanford.edu/cep/ (cep event architecture event.driven.architecture)
[Discover] ai-junkie http://www.ai-junkie.com/ai-junkie.html (programming games ai algorithms)
[Discover] Basics of Compiler Design http://www.diku.dk/hjemmesider/ansatte/torbenm/Basics/ (compiler programming book books)
[Discover] Professor Daniel P. Miranker (Home Page) http://www.cs.utexas.edu/users/miranker/ (ruleengine people theory)
[Discover] Artificial Intelligence: A Modern Approach http://aima.cs.berkeley.edu/ (ai books book algorithms)
[Discover] Long Now > Projects > Seminars About Long Term Thinking http://www.longnow.org/projects/seminars/ (culture seminars longnow philosophy)
[Discover] Type-Oriented Logic Meta Programming http://www.cs.ubc.ca/~kdvolder/publications/phd-summary.htm (oop theory logic programming)
[Discover] Exploration exploitation in Go: UCT for Monte-Carlo Go http://videolectures.net/otee06_gelly_umc/ (research go statistics theory)
[Discover] Computational aspects of prediction markets: Book chapter and extended bibliography: Oddhead Blog: ... http://blog.oddhead.com/2007/09/17/computational-aspects-of-prediction-markets-book-chapter-and-exte ... (theory algorithms programming book)
[Discover] Artificial Intelligence: A Modern Approach - Chapter 20: Statistical Learning Methods http://aima.cs.berkeley.edu/newchap20.pdf (theory ai)
[Discover] Communicating Sequential Processes (CSP), by C. A. R. Hoare (Electronic Version) http://www.usingcsp.com/ (programming csp concurrency algorithms)
[Discover] DSpace at MIT: Reasoning from experiments to causal models in molecular cell biology http://dspace.mit.edu/handle/1721.1/11050 (ruleengine scheme theory rete)
[Discover] White Papers http://www.kbsc.com/whitePapers.html (research articles aaatoread ai)
[Discover] Type Theory and Functional Programming http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ (programming functional book compsci)
[Discover] Efficient transitive closure computation in large digraphs http://www.cs.hut.fi/~enu/thesis.html (mathematics theory programming research)
[Discover] Complexity Theory: A Modern Approach / Sanjeev Arora and Boaz Barak http://www.cs.princeton.edu/theory/complexity/ (algorithms complexity books math)
[Discover] Wolfram Blog: The Prize Is Won; The Simplest Universal Turing Machine Is Proved http://blog.wolfram.com/2007/10/the_prize_is_won_the_simplest.html (computing algorithms programming science)
[Discover] The Curry-Howard Correspondence in Haskell http://www.thenewsh.com/~newsham/formal/curryhoward/ (haskell curry logic math)
[Discover] Systems theory - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Systems_Theory (science philosophy reference wikipedia)
[Discover] STOC06 http://www.cs.washington.edu/stoc06/ (acm theory conference)
[Discover] JFLAP http://www.jflap.org/ (visualization algorithms compilers programming)
[Discover] Essentials of Programming Languages, 2nd ed http://www.cs.indiana.edu/eopl/ (programming book scheme languages)
[Discover] GRAFICA Obscura http://www.graficaobscura.com/ (design programming graphics paper)
[Discover] Graph Theory http://www.math.uni-hamburg.de/home/diestel/books/graph.theory/ (graph books math research)
[Discover] CS Theory @ Princeton : Home Page http://www.cs.princeton.edu/theory/ (theory complexity)
[Discover] Theory of Computation at Harvard http://www.eecs.harvard.edu/theory/ (theory complexity)
[Discover] number theory and physics archive http://www.maths.ex.ac.uk/~mwatkins/zeta/physics.htm (physics mathematics theory maths)
[Discover] ProgrammingLanguageTheoryTextsOnline < Techno < TWiki http://www.cs.uu.nl/wiki/bin/view/Techno/ProgrammingLanguageTheoryTextsOnline (computerscience tutorial theory programming)
[Discover] Evolutionary Game Theory (Stanford Encyclopedia of Philosophy) http://plato.stanford.edu/entries/game-evolutionary/ (philosophy economics evolution sep)
[Discover] A Turing Machine in Conway's Game of Life, extendable to a Universal Turing Machine http://rendell-attic.org/gol/tm.htm (computer science life theory)
[Discover] Lecture Notes for CS 2110 Introduction to Theory of Computation http://www.cs.pitt.edu/~daley/cs2110/notes/cs2110w.html (computerscience theory)
[Discover] Theory Matters http://theorymatters.org/ (computerscience theory mathematics papers)
[Discover] Brian's Quantum Gates Paper http://www.cs.iastate.edu/~patterbj/cs/quantum/fp/index.htm (theory commputing quantum)
[Discover] The Implementation of Functional Programming Languages http://research.microsoft.com/Users/simonpj/papers/slpj-book-1987/index.htm (programming haskell implementation functional)
[Discover] Haskell/Category theory - Wikibooks, collection of open-content textbooks http://en.wikibooks.org/wiki/Haskell/Category_theory (haskell reference programming categorytheory)
[Discover] Game Theory (Stanford Encyclopedia of Philosophy) http://plato.stanford.edu/entries/game-theory/ (games philosophy economics encyclopedia)
[Discover] Java theory and practice: The closures debate http://www.ibm.com/developerworks/java/library/j-jtp04247.html (java closure language ibm)
[Discover] Luciano Floridi - University of Hertfordshire - University of Oxford http://www.philosophyofinformation.net/ (philosophy people computer theory)
[Discover] The Robotics WEBook - Bayesian probability theory http://www.roble.info/basicST/stat/bayes-index.php (theory)
[Discover] Graph Theory with Applications http://www.ecp6.jussieu.fr/pageperso/bondy/books/gtwa/gtwa.html (mathematics graphtheory books graph)
[Discover] Citations: Towards a Theory of Emergent Functionality - Steels (ResearchIndex) http://citeseer.ist.psu.edu/context/23245/0 (theory emergent)
[Discover] Modern Information Retrieval - Chapt. 10 - Marti Hearst - 1999 http://people.ischool.berkeley.edu/~hearst/irbook/10/chap10.html (theory information visualization)
[Discover] Many-worlds interpretation - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Many-worlds_interpretation (wikipedia research physics theory)
[Discover] David MacKay http://www.inference.phy.cam.ac.uk/mackay/ (statistics science mathematics homepage)
[Discover] Arrow's impossibility theorem - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Arrow's_theorem (voting economics politics theory)
[Discover] A Computational Introduction to Number Theory and Algebra http://shoup.net/ntb/ (algebra math mathematics book)
[Discover] Queueing Theory Books On Line http://www2.uwindsor.ca/~hlynka/qonline.html (books queueing theory math)
[Discover] How To Criticizing Computer Scientists http://www.cs.purdue.edu/homes/dec/essay.criticize.html (geek science humor computer)
[Discover] Introduction to Text Linguistics http://beaugrande.com/introduction_to_text_linguistics.htm (theory linguistics ftbp)
[Discover] Are You Living in a Computer Simulation? http://www.simulation-argument.com/ (philosophy theory conspiracy interesting)

