DGDonavon Guyot

Work · Current experiments

Three domains. One obsession.

Music practice, education, and verified software each make progress difficult to see. These experiments build memory, evidence, and feedback into the work itself.

These experiments are independent personal work by Donavon Guyot. They are not Salesforce initiatives.

01 · Product · Active build

Rolling Note

Practice should remember where the work is.

Rolling Note Player showing Clair de Lune notation, transport controls, and practice context.

Rolling Note explores what happens when notation, playback, listening, teacher guidance, and the history of an attempt share one durable workspace. The aim is not more practice data. It is a clearer next decision.

  • Native notation and Player surfaces are under active development.
  • The interface shown here is an owned marketing capture from the working Player.
Visit Rolling Note

02 · Product · Active build

Exam Credits

Education should begin with what you already know.

Exam Credits degree plan interface showing completed, planned, and remaining credit requirements.

Exam Credits turns prior learning, examination options, program rules, and evidence-backed study into an intelligible plan. It treats the learner's existing knowledge as the starting state, not a footnote.

  • Degree planning and learning-player surfaces are in active development.
  • The interface shown here is an owned visual fixture from the current product.
Visit Exam Credits

03 · Open research · Public repository

arXiv preprint · 2609.01702 · September 2026 ↗

RosettaBitcoin

AI can write software. Evidence must decide whether it works.

RosettaBitcoin is a research exhibit and public repository about what happens after code generation: fixtures, blockers, native implementations, benchmarks, and binary gates that make claims inspectable. The frontier is not the generated code. It is the verification substrate.

  • The repository, paper, evidence artifacts, and open experiments are public.
  • The artifact-backed experience report is now available on arXiv in cs.SE.
  • Claims are labeled by evidence epoch and bounded by explicit limitations.
Visit RosettaBitcoin Read the paper on arXiv