Title Filter     Display # 
# Article Title
1 Microsoft Z3 Theorem Prover Wins Award
2 MIT Finds Overflow Bugs
3 Pi Day Of The Century
4 Donald Knuth's Christmas Tree Lecture
5 Halting Problem Used To Prove A Robot Cannot Computably Kill A Human
6 Look And Say Numbers And Conway's Constant
7 The Machine In The Ghost
8 Pulleys As Logic Gates
9 Search For Twin Prime Proof Slows
10 Complexity Theorist Gets Abel Prize
11 More Ties Than We Thought Or Ties Of The Matrix
12 Happy Pi Day!
13 Candy Crush Is Harder Than It Sounds - NP Hard
14 Does John Conway Hate Life?
15 A Mathematical Proof Too Long To Check - The Erdos Discrepancy Conjecture
16 Six Degrees Of Separation Is New
17 Knitting Is Turing Complete?
18 Quantum Computers Animated
19 Tensor Operations Are NP Hard
20 Cannibal Animal Games
Page 1 of 4

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