| | Is C99 actually Turing-complete? (2016) (cs.stackexchange.com) |
|
37 points by js2 56 days ago | past | 75 comments
|
|
| | Regex crossword is NP-hard (cs.stackexchange.com) |
|
2 points by gslin 7 months ago | past
|
|
| | False proofs that look correct (cs.stackexchange.com) |
|
2 points by personjerry on June 9, 2023 | past
|
|
| | What is a good encoding for đťś™ base balanced ternary arithmetic algorithms? (cs.stackexchange.com) |
|
2 points by pyinstallwoes on April 11, 2023 | past
|
|
| | What Motivates the RAM Model? (cs.stackexchange.com) |
|
2 points by pncnmnp on March 15, 2023 | past
|
|
| | Is Morse code binary, ternary or quinary? (cs.stackexchange.com) |
|
3 points by csdvrx on Oct 17, 2022 | past | 2 comments
|
|
| | Recovering Individual from Genomes of Relatives (cs.stackexchange.com) |
|
1 point by philipfweiss on April 5, 2022 | past | 1 comment
|
|
| | What is the difference between radix trees and Patricia tries? (cs.stackexchange.com) |
|
3 points by melissalobos on Feb 20, 2022 | past | 1 comment
|
|
| | Can you create mind in a computer? (cs.stackexchange.com) |
|
2 points by imvetri on Feb 18, 2022 | past | 2 comments
|
|
| | Ranking messages on social media platforms (cs.stackexchange.com) |
|
1 point by mathematically on Oct 12, 2021 | past | 2 comments
|
|
| | Are modern programming languages context-free? (cs.stackexchange.com) |
|
1 point by azhenley on May 10, 2021 | past
|
|
| | Why can't we mimic a dog's ability to smell Covid? (cs.stackexchange.com) |
|
5 points by todsacerdoti on March 11, 2021 | past
|
|
| | Why can't we mimic a dog's ability to smell Covid? (cs.stackexchange.com) |
|
3 points by susam on March 11, 2021 | past
|
|
| | Computer Security Versions of the Halting Problem (cs.stackexchange.com) |
|
2 points by whereistimbo on Dec 14, 2020 | past
|
|
| | Why doesn't this quine-less language contradict Kleene's recursion theorem? (cs.stackexchange.com) |
|
2 points by segfaultbuserr on Aug 18, 2020 | past
|
|
| | Is C Turing-Complete? (cs.stackexchange.com) |
|
3 points by brixie on Aug 10, 2020 | past
|
|
| | What is the difference between boolean algebra and propositional logic? (cs.stackexchange.com) |
|
2 points by Myrmornis on July 16, 2020 | past
|
|
| | Decision Procedure vs. SMT solver vs. Theorem prover vs. Constraint solver (cs.stackexchange.com) |
|
2 points by whereistimbo on June 16, 2020 | past
|
|
| | Is Morse Code binary, ternary or quinary? (cs.stackexchange.com) |
|
1 point by akent on June 11, 2020 | past
|
|
| | Why are so many internet protocols text-based? (cs.stackexchange.com) |
|
9 points by edward on March 24, 2020 | past | 2 comments
|
|
| | What Are GPUs Bad At? (cs.stackexchange.com) |
|
2 points by nsoonhui on March 1, 2020 | past
|
|
| | Mapping N Turing Machines (“K-Tape”) – Into a Single-Tape Turing Machine (cs.stackexchange.com) |
|
1 point by peter_d_sherman on Feb 9, 2020 | past | 1 comment
|
|
| | Why is quicksort better than other sorting algorithms in practice? (2013) (cs.stackexchange.com) |
|
117 points by tambourine_man on Jan 17, 2020 | past | 63 comments
|
|
| | Will the future quantum computers use the binary, ternary numeral system? (cs.stackexchange.com) |
|
1 point by cryptozeus on Sept 30, 2019 | past
|
|
| | Why are computable functions continuous? (cs.stackexchange.com) |
|
1 point by adamnemecek on Sept 6, 2019 | past
|
|
| | Can terms “interpreter” and “processor” be used interchangeably? (cs.stackexchange.com) |
|
1 point by tomerbd on May 29, 2019 | past
|
|
| | FSM vs. FSA (cs.stackexchange.com) |
|
2 points by godelmachine on May 16, 2019 | past
|
|
| | What are the strongest known type systems for which inference is decidable? (cs.stackexchange.com) |
|
7 points by tosh on March 10, 2019 | past
|
|
| | Is Lazy Evaluation Required for Do-Notation? (cs.stackexchange.com) |
|
2 points by adgasf on March 4, 2019 | past
|
|
| | Relationship Between Programming Languages, Regexps and Formal Languages? (cs.stackexchange.com) |
|
2 points by peter_d_sherman on Feb 23, 2019 | past
|
|
|
|
More |
