About Beedbyte
Beedbyte publishes software projects and research notes. Current projects concern Rule 30, the Schur number S(6), graceful labelings of spider trees, and SHA-256.
Each project page records the question and the approaches tried. Published results include the precise statement, assumptions and supporting proof or code. Useful failed attempts and corrections are recorded too.
The public project repositories are at Beedbyte on GitHub. Methods and checks explains the use of sources and verification. Jordi Gartner owns and publishes the archive.