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