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