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

   
Banner
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.