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