Beedbyte / about

About Jordi Gartner

You are reading a fixed version. Read the current version

My software projects, experiments and research notes.

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, my AI-assisted research program.

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.

Version history

VersionPublishedChange note
v5Updated the site and project overview.
v4Clarified the School Scotty description and the specific AI contributions.
v3Updated the project map, School Scotty description and GitHub link in English, German and Chinese.
v2Wording revised for clarity; comment guidance updated where relevant.
v1Initial editorial overview; no research files released.