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