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

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