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