| | Random Thought on AI from Someone in the Real World (computationalcomplexity.org) |
|
1 point by zdw 28 days ago | past | 1 comment
|
|
| | Who first thought of the notion of polynomial time? (featuring the Columbus prin (2022) (computationalcomplexity.org) |
|
2 points by fanf2 52 days ago | past
|
|
| | Steven Rudich (1961-2024) (computationalcomplexity.org) |
|
8 points by ColinWright 89 days ago | past | 1 comment
|
|
| | How will ChatGPT affect Homework? (computationalcomplexity.org) |
|
1 point by goles 4 months ago | past | 1 comment
|
|
| | Very few problems are in NP intersect coNP but not known to be in P. (computationalcomplexity.org) |
|
1 point by matt_d 5 months ago | past
|
|
| | Rethinking Heuristica (computationalcomplexity.org) |
|
1 point by silverthorn 7 months ago | past
|
|
| | When is it worth the time and effort to verify a proof FORMALLY? (computationalcomplexity.org) |
|
2 points by baruchel 11 months ago | past
|
|
| | The Betty White Award for 2023: Tommy Smothers (computationalcomplexity.org) |
|
2 points by tapanjk on Jan 3, 2024 | past | 1 comment
|
|
| | Where do journals go to die? (computationalcomplexity.org) |
|
76 points by zdw on Dec 11, 2023 | past | 22 comments
|
|
| | Where do non-primitive recursive functions come up naturally? (computationalcomplexity.org) |
|
53 points by furcyd on Dec 4, 2023 | past | 42 comments
|
|
| | The Engineer and the Computer Scientist (computationalcomplexity.org) |
|
2 points by furcyd on Nov 29, 2023 | past
|
|
| | Inverting a Function (computationalcomplexity.org) |
|
2 points by beefman on Nov 16, 2023 | past
|
|
| | How did people deal with punch cards? (computationalcomplexity.org) |
|
168 points by zdw on Nov 5, 2023 | past | 183 comments
|
|
| | Mr. Jaeger and the Scroll (computationalcomplexity.org) |
|
1 point by beefman on Sept 14, 2023 | past
|
|
| | Finding Primes Pseudodeterministically (computationalcomplexity.org) |
|
2 points by beefman on May 29, 2023 | past
|
|
| | Winter Is Coming (computationalcomplexity.org) |
|
2 points by amichail on May 11, 2023 | past
|
|
| | The “Debate” about Program Verif and the Lipton-Demillo-Perlis Paper (2021) (computationalcomplexity.org) |
|
10 points by luu on Feb 25, 2023 | past | 2 comments
|
|
| | Why Can't Little Chatty Do Math? (computationalcomplexity.org) |
|
24 points by zdw on Feb 9, 2023 | past | 41 comments
|
|
| | AI tools cannot take such responsibility (computationalcomplexity.org) |
|
2 points by zdw on Feb 2, 2023 | past | 1 comment
|
|
| | Positional Encoding (computationalcomplexity.org) |
|
1 point by beefman on Jan 17, 2023 | past
|
|
| | ChatGPT tried to write an obit for Martin Davis. What it got right, wrong (computationalcomplexity.org) |
|
1 point by furcyd on Jan 16, 2023 | past
|
|
| | Martin Davis Passed Away on Jan 1, 2023 (computationalcomplexity.org) |
|
2 points by furcyd on Jan 9, 2023 | past
|
|
| | Positional Encoding (computationalcomplexity.org) |
|
2 points by amichail on Jan 3, 2023 | past | 1 comment
|
|
| | Computational Complexity Year in Review 2022 (computationalcomplexity.org) |
|
2 points by matt_d on Dec 21, 2022 | past
|
|
| | Would you be more productive if you didn't log on? Worked for Christopher Havens (computationalcomplexity.org) |
|
1 point by another on Nov 30, 2022 | past
|
|
| | Who first thought of the notion of Polynomial Time? (computationalcomplexity.org) |
|
87 points by furcyd on Nov 15, 2022 | past | 10 comments
|
|
| | The Structure of Data and Machine Learning (computationalcomplexity.org) |
|
1 point by another on Nov 10, 2022 | past
|
|
| | Do the Physics Nobel Prize Winners Understand Their Own Work? (computationalcomplexity.org) |
|
2 points by furcyd on Oct 30, 2022 | past | 1 comment
|
|
| | Creating an Email System at Cornell (computationalcomplexity.org) |
|
1 point by agomez314 on Oct 27, 2022 | past
|
|
| | Computers and Intractability: A Guide to Algorithmic Lower Bounds (computationalcomplexity.org) |
|
1 point by kcl on Aug 26, 2022 | past
|
|
|
|
More |
