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