Hacker News
- Are there any mathematical problems which were true for a very large number of integers but were later proved false by counterexample? https://en.wikipedia.org/wiki/Collatz_conjecture 8 comments math
- Academics have said about the Collatz conjecture that math may not be ready for such problems. How do they know? https://en.wikipedia.org/wiki/Collatz_conjecture 5 comments math
- I made a thing. Arithmetica https://en.wikipedia.org/wiki/Collatz_conjecture 5 comments ethereum
- Collatz - a tiny function that takes an integer - and nobody knows if it always terminates or not https://en.wikipedia.org/wiki/collatz_conjecture 5 comments programming
- Which if/else statement would make my Collatz Conjecture most efficient https://en.wikipedia.org/wiki/Collatz_conjecture 3 comments learnprogramming
- Really Big Counterexamples? http://en.wikipedia.org/wiki/Collatz_conjecture 17 comments math
- [C] Collatz conjecture (Criticism?) http://en.wikipedia.org/wiki/Collatz_conjecture 9 comments learnprogramming
- Collatz Conjecture [C++] http://en.wikipedia.org/wiki/Collatz_conjecture 3 comments learnprogramming
- "Mathematics is not yet ready for such problems." http://en.wikipedia.org/wiki/collatz_conjecture 11 comments math
Linking pages
- Surprisingly Turing-Complete · Gwern.net https://www.gwern.net/Turing-complete 303 comments
- May 2020 News · Gwern.net https://www.gwern.net/newsletter/2020/05#gpt-3 200 comments
- GPT-3 can run code - by maytee - mayt writes https://mayt.substack.com/p/gpt-3-can-run-code 154 comments
- ChatGPT: it has no inner monologue or meta-cognition - lukeplant.me.uk https://lukeplant.me.uk/blog/posts/chatgpt-no-inner-monologue-or-meta-cognition/ 142 comments
- GitHub - Dobiasd/FunctionalPlus: Functional Programming Library for C++. Write concise and readable C++ code. https://github.com/dobiasd/functionalplus 127 comments
- GitHub - VictorTaelin/unknown_halting_status: Small programs with unknown halting status. https://github.com/maiavictor/unknown_halting_status 102 comments
- Weakening Cycles So That Turing Can Halt http://pling.jondgoodwin.com/post/weakening-cycles/ 68 comments
- A Formal Theory of Spaghetti Code | Something Something Programming https://nickdrozd.github.io/2022/03/12/formal-theory-of-spaghetti-code.html 42 comments
- The Mathematical Nomad, Paul Erdős | by Jørgen Veisdal | Cantor’s Paradise https://medium.com/cantors-paradise/the-mathematical-nomad-paul-erd%C5%91s-3163b70a2863 39 comments
- Eager Execution: An imperative, define-by-run interface to TensorFlow – Google AI Blog https://research.googleblog.com/2017/10/eager-execution-imperative-define-by.html 35 comments
- GitHub - RyanMarcus/basicaf: A BASIC to Brainf**k compiler written in Rust https://github.com/ryanmarcus/basicaf 20 comments
- The confusion with `std::is_constant_evaluated`, hopefully cleared up · GitHub https://gist.github.com/som1lse/5309b114accc086d24b842fd803ba9d2 12 comments
- GitHub - jarekratajski/costOfBoxingScala https://github.com/jarekratajski/costOfBoxingScala 12 comments
- Fun with Category Theory and Dynamical Systems | by Chris Smith | Medium https://cdsmithus.medium.com/fun-with-category-theory-and-dynamical-systems-f470ea5e7809 11 comments
- Mathematical surprises – David Richeson: Division by Zero http://divisbyzero.com/2010/08/18/mathematical-surprises/ 11 comments
- GitHub - AlexBuz/rust_to_bf: A compiler from a subset of Rust to Brainfuck https://github.com/AlexBuz/rust_to_bf 10 comments
- TLA+ in Practice and Theory&ampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampLTbr/>Part 3: The (Temporal) Logic of Actions https://pron.github.io/posts/tlaplus_part3 8 comments
- Taking Types Too Far | Robbie Ostrow https://ostro.ws/2019/12/09/taking-types-too-far/ 7 comments
- The Halting Problem (part 1) https://boarders.github.io/posts/halting1.html 6 comments
- Kaprekar's Magic 6174 - OranLooney.com https://www.oranlooney.com/post/kaprekar/ 6 comments
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Collatz conjecture - Wikipedia
See how to search.