| Record beads interactions for benchmark HTML regeneration session |
|
More...
|
about 1 month ago
|
| Fix a stale gate constant and three overclaims found by prose verification |
|
More...
|
about 1 month ago
|
| Scope the certified-vs-mixed claim to the region median |
|
More...
|
about 1 month ago
|
| Regenerate untuned-Pareto screen on the fast-path timing baseline |
|
More...
|
about 1 month ago
|
| Record beads interactions for campaign closure session |
|
More...
|
about 1 month ago
|
| Record beads interactions for orchestration bug session |
|
More...
|
about 1 month ago
|
| Document rotating forwarded SSH agent sockets |
|
More...
|
about 1 month ago
|
| Harden WH2 witness diagnostic exits |
|
More...
|
about 1 month ago
|
| Harden WH2 null-witness replay diagnostics |
|
More...
|
about 1 month ago
|
| Instrument WH2 mixed null witnesses |
|
More...
|
about 1 month ago
|
| Optimize WH2 packet path and harden thermal runs |
|
More...
|
about 1 month ago
|
| Record completed WH2 hardening work |
|
More...
|
about 1 month ago
|
| Harden WH2 packed residual boundaries |
|
More...
|
about 1 month ago
|
| Pack WH2 mixed binary residual elimination |
|
More...
|
about 1 month ago
|
| Remove redundant WH2 peel used-row checks |
|
More...
|
about 1 month ago
|
| Add normalized H15 v4 benchmark seed table |
|
More...
|
about 1 month ago
|
| Batch mixed WH2 residual RHS reductions |
|
More...
|
about 1 month ago
|
| Add validated WH2 v3 packet seed fixes |
|
More...
|
about 1 month ago
|
| Accelerate WH2 packet recovery with set XOR |
|
More...
|
about 1 month ago
|
| Normalize WH2 solve rows for faster back-substitution |
|
More...
|
about 1 month ago
|
| Extend AVX-512 add-set XOR to nine sources |
|
More...
|
about 1 month ago
|
| Pair AVX-512 add-set XOR sources |
|
More...
|
about 1 month ago
|
| Pair AVX-512 payload XOR sources |
|
More...
|
about 1 month ago
|
| Vectorize WH2 packed projection XOR |
|
More...
|
about 1 month ago
|
| Document WH2 all-K seed table validation |
|
More...
|
about 1 month ago
|
| Prefault large WH2 value workspaces |
|
More...
|
about 1 month ago
|
| Accelerate WH2 cold solves with huge pages |
|
More...
|
about 1 month ago
|
| Accelerate WH2 wide XOR initialization |
|
More...
|
about 1 month ago
|
| Add robust WH2 H15 v2 seed table |
|
More...
|
about 1 month ago
|
| Add WH2 H16 and tuned packet seed experiments |
|
More...
|
about 1 month ago
|
