Theory
Title Filter     Display # 
# Article Title
1 Google Smashes Pi Record For Pi Day
2 Google Takes On Quantum Computing
3 A New Mersenne Prime Discovery
4 Yoda's (Donald Knuth) Xmas Lecture
5 Proof Of Quantum Supremacy?
6 Computing With Trains - Turing's Trains
7 It's Pi Day And Google Gets In On It With A Doodle
8 Google Announces 72-Qubit Machine
9 Donald Knuth At 80 Still Improving TAOCP
10 Largest Prime Now Has Over 23 Million Digits
11 Donald Knuth's Christmas Tree Lecture 2017
12 What Is The Computational Power Of The Universe?
13 The Grasshopper Problem
14 The Corpus Christi Prime
15 Tetris On Game Of Life - A Great Achievement
16 New Proof That P≠NP: Final Update - Almost Certainly not
17 N Queens Completion Is NP Complete
18 LZ Compression And The One-Bit Catastrophe
19 Rubik's Cube Is Hard - NP Hard
20 HerbGrind: A Tool to Find Floating Point Errors
21 Best Laid Plans of Lions and Men
22 Pi Day 2017 - Why Pi?
23 //No Comment - Turmits are Turing-universal, The Whale Swarm Algorithm & Rules That Govern Fish
24 No Super Turing Machines
25 //No Comment - Approximate Edit Distance, Irrational Guards & DCT In 14 Additions
26 //No Comment - Is Parallel Programming Hard; Column Subset Selection Is NP-complete & The Balance Attack Against Proof-Of-Work Blockchains
27 The Computer Science Breakthrough Of The Decade Now Reinstated!
28 //No Comment - Unums,1×n Jigsaw Puzzles are Hard & P ? = NP
29 Knuth's 22nd 360 Degree Not Christmas Tree Lecture
30 //No Comment - The Blockchain, Technology Beats Algorithms & Bridges in Complex Networks
31 //No Comment - TDD, C++ Lambdas & Agile Under Scrutiny
32 A Mathematical Proof Takes 200 Terabytes To State
33 IBM Might Give Some Access To Its Five-Qubit Quantum Computer
34 A New Spaceship Speed In Life
35 Abel Prize For Proving Fermat's Last Theorem
36 (Pizza) Pi Day
37 Number Of Legal Go Positions Finally Worked Out
38 Largest Mersenne Prime Discovered
39 Knuth's 21st Not Christmas Tree Lecture
40 Quantum Physics Is Undecidable
41 A SAT Based Game
42 Quantum Cats
43 Microsoft Releases Quantum Computing Tool
44 Erdos Conjecture Proven
45 Computer Finds New Pentagonal Tiling - With Some Human Help
46 Wear Your Favourite Cellular Automaton As A Scarf
47 Sliding Blocks Are Turing Complete
48 Microsoft Z3 Theorem Prover Wins Award
49 MIT Finds Overflow Bugs
50 Pi Day Of The Century
51 Donald Knuth's Christmas Tree Lecture
52 Halting Problem Used To Prove A Robot Cannot Computably Kill A Human
53 Look And Say Numbers And Conway's Constant
54 The Machine In The Ghost
55 Pulleys As Logic Gates
56 Search For Twin Prime Proof Slows
57 Complexity Theorist Gets Abel Prize
58 More Ties Than We Thought Or Ties Of The Matrix
59 Happy Pi Day!
60 Candy Crush Is Harder Than It Sounds - NP Hard
61 Does John Conway Hate Life?
62 A Mathematical Proof Too Long To Check - The Erdos Discrepancy Conjecture
63 Six Degrees Of Separation Is New
64 Knitting Is Turing Complete?
65 Quantum Computers Animated
66 Tensor Operations Are NP Hard
67 Cannibal Animal Games
68 Finding Solutions To Diophantine Equations By Smell
69 Kenneth Appel Remembered For Four Color Theorem Proof
70 The Life Of Pi - Yes It's Pi Day
71 48th Mersenne Prime Computed
72 Boson Sampling Tests Quantum Computing
73 Unshuffling A Square Is NP-Complete
74 A Paper In A Tweet
75 A Water Droplet-Based Computer
76 A Quantum Computer Finds Factors
77 The Revolution In Evolutionary Game Theory - Prisoners Dilemma Solved?
78 A New Computational Universe - Fredkin's SALT CA
79 What's a Sample of Size One Worth?
80 A Computable Universe - Roger Penrose On Nature As Computation
81 Hidden Markov Models, Viterbi and the Higgs Boson
82 A New Kind of Science Is Ten
83 Goldbach Conjecture - Closer to Solved?
84 Travelling Salesman - A Movie About P=NP
85 The Artificial Life of the App Store - the Best Strategy to Succeed
86 The Physical Travelling Salesman Challenge
87 Light Table - a Realization of a New Way to Code
88 A Crab-Based Computer
89 Szemerédi Awarded Abel Prize
90 Picture-Hanging Puzzles
91 Normal Numbers - A Video In Rhyme
92 Celebrate Pi Day It Contains All Human Knowledge
93 A Better Way To Program
94 Classic Nintendo Games Are NP Hard
95 Physics Is NP Hard
96 Turing's Biological Pattern Theory Proved
97 Just Enough Error Correction
98 $100,000 Prize For Proving Quantum Computers Are Impossible
99 Sorting Algorithms As A Video
100 Join the Reddit Read Through of Godel, Escher, Bach
 
«StartPrev12NextEnd»
Page 1 of 2