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