dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
dcharlot created pull request Transaction-Science/open-standards#602 2026-11-03 07:39:16 -05:00
wai-formal-verification: two proof shards that had outgrown where they ran
dcharlot pushed to ci/proof-shards-to-96 at Transaction-Science/open-standards 2026-11-03 07:38:58 -05:00
8f0080d4ed wai-formal-verification: two proof shards that had outgrown where they ran
dcharlot created branch ci/proof-shards-to-96 in Transaction-Science/open-standards 2026-11-03 07:38:58 -05:00
dcharlot pushed to energy-compare/prereg at Transaction-Science/open-standards 2026-11-03 07:13:34 -05:00
4a1e69f866 energy-compare: prereg.json records the pre-registration commit
2e2ee13129 energy-compare: the pre-registered protocol, analysis and harness scripts, before any run
Compare 2 commits »
dcharlot created branch energy-compare/prereg in Transaction-Science/open-standards 2026-11-03 07:13:34 -05:00
dcharlot released Quantum Studio 0.1.2 at Transaction-Science/open-standards 2026-11-03 06:58:34 -05:00
dcharlot pushed to main at Transaction-Science/open-standards 2026-11-03 06:47:45 -05:00
43d88bf56f Merge pull request 'wai-quantum-desktop 0.1.2: a job on your own hardware, in the installed app' (#593) from wai/quantum-desktop-0.1.2 into main
2dfab93d74 wai-quantum-desktop 0.1.2: a job on your own hardware, in the installed app
Compare 2 commits »
dcharlot merged pull request Transaction-Science/open-standards#593 2026-11-03 06:47:44 -05:00
wai-quantum-desktop 0.1.2: a job on your own hardware, in the installed app
dcharlot pushed to ci/drop-msrv-floor at Transaction-Science/open-standards 2026-11-03 06:46:52 -05:00
515ce6ce90 Cargo: no minimum-supported-version floor, because the policy is latest stable
dcharlot pushed to ci/proof-gate-sigpipe at Transaction-Science/open-standards 2026-11-03 06:40:55 -05:00
0efe3e6569 standards-build: the plan job decided what to build from the longest queue
dcharlot created pull request Transaction-Science/open-standards#601 2026-11-03 06:39:44 -05:00
Rust: the repository tracks the latest stable, and says so accurately
dcharlot pushed to ci/drop-msrv-floor at Transaction-Science/open-standards 2026-11-03 06:39:34 -05:00
491b6c98f7 Rust: the repository tracks the latest stable, and says so accurately
dcharlot created branch ci/drop-msrv-floor in Transaction-Science/open-standards 2026-11-03 06:39:34 -05:00
2e7a49cd7a Quantum Studio: a run on the job service whose answer is lost is sent again, safely
dcharlot created pull request Transaction-Science/open-standards#600 2026-11-03 06:27:12 -05:00
Quantum Studio: a run on the job service whose answer is lost is sent again, safely
dcharlot reopened pull request Transaction-Science/open-standards#589 2026-11-03 06:24:41 -05:00
wai identify: what any file is, from its bytes alone
dcharlot closed pull request Transaction-Science/open-standards#589 2026-11-03 06:24:38 -05:00
wai identify: what any file is, from its bytes alone
dcharlot reopened pull request Transaction-Science/open-standards#599 2026-11-03 06:17:42 -05:00
standards-build: the proof gate turned a verified proof into a failure