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