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