🦫 Feedback Hub - Pre-Preprint (v0.99)

[tcosmo]

🦫 Pre-Preprint Feedback Hub 📝

Final opportunity to give feedback on the BB5 paper before preprint arxiv upload (September 1st, 2025).

🧾 “Determination of the fifth Busy Beaver value”

The bbchallenge Collaboration, Justin Blanchard, Dan Briggs, Konrad Deka, Nathan Fenner, Yannick Forster, Georgi Georgiev (Skelet), Matthew L. House, Rachel Hunter, Iijil, Maja Kądziołka, Pavel Kropitz, Shawn Ligocki, mxdys, Mateusz Naściszewski, savask, Tristan Stérin, Chris Xu, Jason Yuen, Théo Zimmermann

📎 Pre-Preprint v0.99 Release, PDF Link
📎 Diff between v0.99 and v0.9, PDF Link
🚧 Live version of the manuscript (<- includes continuously integrated feedback such as typo corrections etc.)
🔍 Live diff with v0.99

📆 Arxiv upload: September 1st, 2025

We want your feedback — from typo spotting to deep comments — whether you're a co-author, a Busy Beaver explorer, or a curious reader.

---

[mateon1]

Had a quick skim of the current version during a break. Theorem 4.4 (Loops) has overlapping cases, the inequalities should be strict.
EDIT: just realized I should have made a new issue, as it's not about the pre-preprint anymore