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