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