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