Hello, I'm Jordi
I keep my software projects and research notes on Beedbyte. Current projects concern Rule 30, the Schur number S(6), graceful labelings of spider trees, and SHA-256. The mathematical work is part of School Scotty. Each project page records its methods and checks, including where AI tools contributed.
Each project page follows the question and the approaches I have tried. When I publish a result, I include the precise statement, its assumptions and the proof or code behind it. I also record useful failed attempts and corrections.
The public project repositories are at Beedbyte on GitHub. How I work describes the role of AI, sources and checks.