dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
dcharlot merged pull request Transaction-Science/open-standards#600 2026-11-03 15:10:56 -05:00
Quantum Studio: a run on the job service whose answer is lost is sent again, safely
dcharlot pushed to main at Transaction-Science/scoop-bucket 2026-11-03 14:39:04 -05:00
63f2228ab5 wai-quantum-desktop 0.1.2
dcharlot pushed to main at Transaction-Science/homebrew-tap 2026-11-03 14:39:03 -05:00
620cc30905 wai-quantum-desktop 0.1.2
dcharlot merged pull request Transaction-Science/open-standards#602 2026-11-03 14:38:56 -05:00
wai-formal-verification: two proof shards that had outgrown where they ran
dcharlot pushed to main at Transaction-Science/open-standards 2026-11-03 14:38:56 -05:00
d1cb7a289b Merge pull request 'wai-formal-verification: two proof shards that had outgrown where they ran' (#602) from ci/proof-shards-to-96 into main
ebe9985a82 wai-formal-verification: the Kani cache would have overwritten the second macOS host's install
8f0080d4ed wai-formal-verification: two proof shards that had outgrown where they ran
Compare 3 commits »
dcharlot reopened pull request Transaction-Science/open-standards#589 2026-11-03 14:28:57 -05:00
wai identify: what any file is, from its bytes alone
dcharlot closed pull request Transaction-Science/open-standards#589 2026-11-03 14:28:53 -05:00
wai identify: what any file is, from its bytes alone
dcharlot pushed to ci/proof-shards-to-96 at Transaction-Science/open-standards 2026-11-03 11:20:45 -05:00
ebe9985a82 wai-formal-verification: the Kani cache would have overwritten the second macOS host's install
dcharlot reopened pull request Transaction-Science/open-standards#597 2026-11-03 11:11:54 -05:00
wai-quantum: an optimisation stops and goes on to the same bytes
dcharlot closed pull request Transaction-Science/open-standards#597 2026-11-03 11:11:43 -05:00
wai-quantum: an optimisation stops and goes on to the same bytes
dcharlot reopened pull request Transaction-Science/open-standards#596 2026-11-03 11:11:02 -05:00
wai-quantum-service: a job sent again under its key is the same job
dcharlot reopened pull request Transaction-Science/open-standards#597 2026-11-03 10:17:44 -05:00
wai-quantum: an optimisation stops and goes on to the same bytes
dcharlot closed pull request Transaction-Science/open-standards#597 2026-11-03 10:16:40 -05:00
wai-quantum: an optimisation stops and goes on to the same bytes
dcharlot closed pull request Transaction-Science/open-standards#596 2026-11-03 10:14:33 -05:00
wai-quantum-service: a job sent again under its key is the same job
dcharlot pushed to energy-compare/prereg at Transaction-Science/open-standards 2026-11-03 09:23:05 -05:00
ffed3ef634 energy-compare: the content manifest follows protocol version 2 for N1 and Q4's crops
dcharlot pushed to energy-compare/prereg at Transaction-Science/open-standards 2026-11-03 09:22:14 -05:00
d646bd7807 energy-compare: prereg.json records the protocol version 2 commit
a8d0d8c691 energy-compare: protocol version 2, before any comparison block: N1 is 588 s and Q4's crops are its own 1920x800
Compare 2 commits »
dcharlot pushed to energy-compare/prereg at Transaction-Science/open-standards 2026-11-03 09:08:16 -05:00
4cb299327d energy-compare: W1 and W2, the masters pinned and the pilot and N1 encoded
dcharlot pushed to energy-compare/prereg at Transaction-Science/open-standards 2026-11-03 08:27:57 -05:00
b0ffd7e03b energy-compare: the P0 runner for the Fairphone 6
dcharlot reopened pull request Transaction-Science/open-standards#602 2026-11-03 07:46:40 -05:00
wai-formal-verification: two proof shards that had outgrown where they ran
dcharlot closed pull request Transaction-Science/open-standards#602 2026-11-03 07:46:36 -05:00
wai-formal-verification: two proof shards that had outgrown where they ran