Theory
Theory
Title Filter     Display # 
# Article Title
1 A New Spaceship Speed In Life
2 Abel Prize For Proving Fermat's Last Theorem
3 (Pizza) Pi Day
4 Number Of Legal Go Positions Finally Worked Out
5 Largest Mersenne Prime Discovered
6 Knuth's 21st Not Christmas Tree Lecture
7 Quantum Physics Is Undecidable
8 A SAT Based Game
9 Quantum Cats
10 Microsoft Releases Quantum Computing Tool
11 The Computer Science Breakthrough Of The Decade
12 Erdos Conjecture Proven
13 Computer Finds New Pentagonal Tiling - With Some Human Help
14 Wear Your Favourite Cellular Automaton As A Scarf
15 Sliding Blocks Are Turing Complete
16 Microsoft Z3 Theorem Prover Wins Award
17 MIT Finds Overflow Bugs
18 Pi Day Of The Century
19 Donald Knuth's Christmas Tree Lecture
20 Halting Problem Used To Prove A Robot Cannot Computably Kill A Human
21 Look And Say Numbers And Conway's Constant
22 The Machine In The Ghost
23 Pulleys As Logic Gates
24 Search For Twin Prime Proof Slows
25 Complexity Theorist Gets Abel Prize
26 More Ties Than We Thought Or Ties Of The Matrix
27 Happy Pi Day!
28 Candy Crush Is Harder Than It Sounds - NP Hard
29 Does John Conway Hate Life?
30 A Mathematical Proof Too Long To Check - The Erdos Discrepancy Conjecture
31 Six Degrees Of Separation Is New
32 Knitting Is Turing Complete?
33 Quantum Computers Animated
34 Tensor Operations Are NP Hard
35 Cannibal Animal Games
36 Finding Solutions To Diophantine Equations By Smell
37 Kenneth Appel Remembered For Four Color Theorem Proof
38 The Life Of Pi - Yes It's Pi Day
39 48th Mersenne Prime Computed
40 Boson Sampling Tests Quantum Computing
41 Unshuffling A Square Is NP-Complete
42 A Paper In A Tweet
43 A Water Droplet-Based Computer
44 A Quantum Computer Finds Factors
45 The Revolution In Evolutionary Game Theory - Prisoners Dilemma Solved?
46 A New Computational Universe - Fredkin's SALT CA
47 What's a Sample of Size One Worth?
48 A Computable Universe - Roger Penrose On Nature As Computation
49 Hidden Markov Models, Viterbi and the Higgs Boson
50 A New Kind of Science Is Ten
51 Goldbach Conjecture - Closer to Solved?
52 Travelling Salesman - A Movie About P=NP
53 The Artificial Life of the App Store - the Best Strategy to Succeed
54 The Physical Travelling Salesman Challenge
55 Light Table - a Realization of a New Way to Code
56 A Crab-Based Computer
57 Szemerédi Awarded Abel Prize
58 Picture-Hanging Puzzles
59 Normal Numbers - A Video In Rhyme
60 Celebrate Pi Day It Contains All Human Knowledge
61 A Better Way To Program
62 Classic Nintendo Games Are NP Hard
63 Physics Is NP Hard
64 Turing's Biological Pattern Theory Proved
65 Just Enough Error Correction
66 $100,000 Prize For Proving Quantum Computers Are Impossible
67 Sorting Algorithms As A Video
68 Join the Reddit Read Through of Godel, Escher, Bach
69 The World's Ugliest Music - More than Random
70 Breakthrough! Faster Matrix Multiply
71 Pancake flipping is hard - NP hard
72 The KDD cup - good for algorithms
73 Fun with fractal squiggles
74 Random means random - the Green Card fiasco
75 Slime mould simulates Canadian transport system
76 Rubik's cube - the order of God's Number
77 Collatz conjecture proved?
78 60 trillionth binary digit of pi-squared calculated
79 Knuth prize goes to Microsoft researcher
80 The maximum overhang algorithm
81 DARPA spends $20 million on homomorphic encryption
82 Knuth at Google Tech Talks
83 Queuing theory revealed (Video)
84 Algorithms beat Moore's law
85 Wolfram thinks the future is natural language
86 Comic inspires visualization technique
87 More than 48 cores might be too many
88 Yahoo! Gets to the 2 Quadrillionth bit of Pi - it's zero
89 Update on the Proof of P≠NP?
90 Rubik's cube breakthrough
91 Proof of P≠NP?
92 5 Trillion Digits of Pi - New world record
93 Free summer reading - Robotics, AI and UX
94 Zip for the Genome - G-SQueeZ
95 Modifiable encryption
 
 

   
RSS feed of news items only
I Programmer News
Copyright © 2016 i-programmer.info. All Rights Reserved.
Joomla! is Free Software released under the GNU/GPL License.