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