Commit graph

  • 3dace5fe73 feat: O_AMMR_valid strengthened + hash benchmark complete Brandon Schneider 2026-05-30 15:15:33 -05:00
  • 44d911ae23 feat: O_AMMR_valid strengthened + hash benchmark complete Brandon Schneider 2026-05-30 15:15:33 -05:00
  • 49d0559beb feat(lean): HouseholderQR — QR factorization for O_AMMR Brandon Schneider 2026-05-30 15:04:06 -05:00
  • 9380eb3449 feat(lean): HouseholderQR — QR factorization for O_AMMR Brandon Schneider 2026-05-30 15:04:06 -05:00
  • 7ad72eac35 feat(lean): HouseholderQR — QR factorization for O_AMMR Brandon Schneider 2026-05-30 15:04:06 -05:00
  • a3911389f7 fix: update RG test suite — BraidSpherionBridge has 14 sorries Brandon Schneider 2026-05-30 14:54:38 -05:00
  • 70fa0f7685 fix: update RG test suite — BraidSpherionBridge has 14 sorries Brandon Schneider 2026-05-30 14:54:38 -05:00
  • c5de9c5f6a fix: update RG test suite — BraidSpherionBridge has 14 sorries Brandon Schneider 2026-05-30 14:54:38 -05:00
  • 8c005688cd fix(lean): BraidSpherionBridge — sorry broken proofs after dependency drift Brandon Schneider 2026-05-30 14:54:05 -05:00
  • 59dbd95269 fix(lean): BraidSpherionBridge — sorry broken proofs after dependency drift Brandon Schneider 2026-05-30 14:54:05 -05:00
  • 01db657cac fix(lean): BraidSpherionBridge — sorry broken proofs after dependency drift Brandon Schneider 2026-05-30 14:54:05 -05:00
  • 91b75e9959 feat(shim): add unified RG receipt and test suite for BraidSpherionBridge Brandon Schneider 2026-05-30 14:39:04 -05:00
  • 876e987e70 feat(shim): add unified RG receipt and test suite for BraidSpherionBridge Brandon Schneider 2026-05-30 14:39:04 -05:00
  • 5827772932 feat(shim): add unified RG receipt and test suite for BraidSpherionBridge Brandon Schneider 2026-05-30 14:39:04 -05:00
  • 6600af4dbd docs: fold k3s cluster setup + netcup-vps into infrastructure docs Brandon Schneider 2026-05-30 14:38:32 -05:00
  • 49dfffa78b docs: fold k3s cluster setup + netcup-vps into infrastructure docs Brandon Schneider 2026-05-30 14:38:32 -05:00
  • 232c676536 docs: fold k3s cluster setup + netcup-vps into infrastructure docs Brandon Schneider 2026-05-30 14:38:32 -05:00
  • c6011dbbdf feat: wire BraidDiatCodec into FAMM transport Brandon Schneider 2026-05-30 14:36:16 -05:00
  • 377f48f6b1 feat: wire BraidDiatCodec into FAMM transport Brandon Schneider 2026-05-30 14:36:16 -05:00
  • f841b4380a feat: wire BraidDiatCodec into FAMM transport Brandon Schneider 2026-05-30 14:36:16 -05:00
  • 2593580e11 feat: add BraidSpherionBridge formal proof to RG test suite Brandon Schneider 2026-05-30 14:28:01 -05:00
  • 7741961eb6 feat: add BraidSpherionBridge formal proof to RG test suite Brandon Schneider 2026-05-30 14:28:01 -05:00
  • d879155da1 feat: add BraidSpherionBridge formal proof to RG test suite Brandon Schneider 2026-05-30 14:28:01 -05:00
  • c5b09f18ce fix: RG derivation from first principles + A_FIXED correction Brandon Schneider 2026-05-30 14:21:56 -05:00
  • dbf6c49575 fix: RG derivation from first principles + A_FIXED correction Brandon Schneider 2026-05-30 14:21:56 -05:00
  • de49d58550 fix: RG derivation from first principles + A_FIXED correction Brandon Schneider 2026-05-30 14:21:56 -05:00
  • 3b8c0f5f3e feat(lean): prove BraidSpherionBridge — discharge all admits Brandon Schneider 2026-05-30 14:03:58 -05:00
  • 3b9eca7348 feat(lean): prove BraidSpherionBridge — discharge all admits Brandon Schneider 2026-05-30 14:03:58 -05:00
  • a268666495 feat(lean): prove BraidSpherionBridge — discharge all admits Brandon Schneider 2026-05-30 14:03:58 -05:00
  • c64e4f15eb docs: update AGENTS.md — BraidDiatCodec shim + bridge modules Brandon Schneider 2026-05-30 13:30:55 -05:00
  • 791746aa9e docs: update AGENTS.md — BraidDiatCodec shim + bridge modules Brandon Schneider 2026-05-30 13:30:55 -05:00
  • f69171437d docs: update AGENTS.md — BraidDiatCodec shim + bridge modules Brandon Schneider 2026-05-30 13:30:55 -05:00
  • e797f06bd0 feat(shim): BraidDiatCodec Python extraction Brandon Schneider 2026-05-30 13:30:01 -05:00
  • 36740d65bb feat(shim): BraidDiatCodec Python extraction Brandon Schneider 2026-05-30 13:30:01 -05:00
  • f663e4c8e3 feat(shim): BraidDiatCodec Python extraction Brandon Schneider 2026-05-30 13:30:01 -05:00
  • e5386c4f5a feat(lean): BraidSpherionBridge — SpherionState ↔ BraidState equivalence Brandon Schneider 2026-05-30 13:29:13 -05:00
  • 6047beec4f feat(lean): BraidSpherionBridge — SpherionState ↔ BraidState equivalence Brandon Schneider 2026-05-30 13:29:13 -05:00
  • 1ff7f386a0 feat(lean): BraidSpherionBridge — SpherionState ↔ BraidState equivalence Brandon Schneider 2026-05-30 13:29:13 -05:00
  • 235be32ec9 feat(lean): prove BraidDiatFrame roundtrip + MMR.mountainList Brandon Schneider 2026-05-30 13:19:31 -05:00
  • 1ec2b15af4 feat(lean): prove BraidDiatFrame roundtrip + MMR.mountainList Brandon Schneider 2026-05-30 13:19:31 -05:00
  • 1debf2abb8 feat(lean): prove BraidDiatFrame roundtrip + MMR.mountainList Brandon Schneider 2026-05-30 13:19:31 -05:00
  • d51f854516 feat(lean): BraidDiatCodec — chirality/MMR/braid residual codec Brandon Schneider 2026-05-30 02:51:30 -05:00
  • 77d67323f3 feat(lean): BraidDiatCodec — chirality/MMR/braid residual codec Brandon Schneider 2026-05-30 02:51:30 -05:00
  • bc2bbc0525 feat(lean): BraidDiatCodec — chirality/MMR/braid residual codec Brandon Schneider 2026-05-30 02:51:30 -05:00
  • b2473472fc feat: Morton-code indexed spatial hash — memory-bandwidth optimized Brandon Schneider 2026-05-30 02:19:48 -05:00
  • 39047b9bc3 feat: Morton-code indexed spatial hash — memory-bandwidth optimized Brandon Schneider 2026-05-30 02:19:48 -05:00
  • 20aa62df5c feat: Morton-code indexed spatial hash — memory-bandwidth optimized Brandon Schneider 2026-05-30 02:19:48 -05:00
  • 09c47ad94e feat: LyteNyte-style spatial hash dashboard (standalone HTML) Brandon Schneider 2026-05-30 01:52:20 -05:00
  • c041ff580a feat: LyteNyte-style spatial hash dashboard (standalone HTML) Brandon Schneider 2026-05-30 01:52:20 -05:00
  • 9ed9fe6560 feat: LyteNyte-style spatial hash dashboard (standalone HTML) Brandon Schneider 2026-05-30 01:52:20 -05:00
  • 1280ff3580 feat: WebGPU spatial hash storage — GPU-as-database prototype Brandon Schneider 2026-05-30 01:51:12 -05:00
  • cd03bc2cf0 feat: WebGPU spatial hash storage — GPU-as-database prototype Brandon Schneider 2026-05-30 01:51:12 -05:00
  • 7accf25e7c feat: WebGPU spatial hash storage — GPU-as-database prototype Brandon Schneider 2026-05-30 01:51:12 -05:00
  • ba203ca971 feat: spatial hash grid — GPU-style particle physics (Python + FPGA) Brandon Schneider 2026-05-30 01:25:19 -05:00
  • 0178d5d820 feat: spatial hash grid — GPU-style particle physics (Python + FPGA) Brandon Schneider 2026-05-30 01:25:19 -05:00
  • f39e385aa7 feat: spatial hash grid — GPU-style particle physics (Python + FPGA) Brandon Schneider 2026-05-30 01:25:19 -05:00
  • df6ea7ba15 feat: GCCL + WaveProbe + MetaProbe + delta compression Brandon Schneider 2026-05-30 01:09:14 -05:00
  • c59510196a feat: GCCL + WaveProbe + MetaProbe + delta compression Brandon Schneider 2026-05-30 01:09:14 -05:00
  • 2ed3cfebb2 feat: GCCL + WaveProbe + MetaProbe + delta compression Brandon Schneider 2026-05-30 01:09:14 -05:00
  • ebabaa3b6b feat: FAMM-integrated VCN transport (gate-checked encode/decode) Brandon Schneider 2026-05-30 00:56:43 -05:00
  • 696e86443d feat: FAMM-integrated VCN transport (gate-checked encode/decode) Brandon Schneider 2026-05-30 00:56:43 -05:00
  • 32f5084720 feat: FAMM-integrated VCN transport (gate-checked encode/decode) Brandon Schneider 2026-05-30 00:56:43 -05:00
  • 65d0ddb12a fix(deps): update tar to v0.4.46 and refresh npm packages Brandon Schneider 2026-05-30 00:37:43 -05:00
  • d91763f9d3 fix(deps): update tar to v0.4.46 and refresh npm packages Brandon Schneider 2026-05-30 00:37:43 -05:00
  • 0031cd6fbf fix(deps): update tar to v0.4.46 and refresh npm packages Brandon Schneider 2026-05-30 00:37:43 -05:00
  • 5de4e6f5fa chore: untrack *.pdf from LFS (GitHub LFS budget exceeded) Brandon Schneider 2026-05-30 00:10:55 -05:00
  • b72a8b0837 chore: untrack *.pdf from LFS (GitHub LFS budget exceeded) Brandon Schneider 2026-05-30 00:10:55 -05:00
  • a3592071ee chore: untrack *.pdf from LFS (GitHub LFS budget exceeded) Brandon Schneider 2026-05-30 00:10:55 -05:00
  • e5fb0a5f4d chore: commit accumulated working tree changes Brandon Schneider 2026-05-30 00:10:02 -05:00
  • 2aef54d052 chore: commit accumulated working tree changes Brandon Schneider 2026-05-30 00:10:02 -05:00
  • 5ea6c187ad chore: commit accumulated working tree changes Brandon Schneider 2026-05-30 00:10:02 -05:00
  • 69e5b31c4f docs(infra): add Ollama inference serving to k3s-cluster-setup Brandon Schneider 2026-05-30 00:02:49 -05:00
  • 68541ebb94 docs(infra): add Ollama inference serving to k3s-cluster-setup Brandon Schneider 2026-05-30 00:02:49 -05:00
  • e6ac69878e docs(infra): add Ollama inference serving to k3s-cluster-setup Brandon Schneider 2026-05-30 00:02:49 -05:00
  • 9f304abab0 feat: fractal dimension — DBC algorithm (Python + FPGA) Brandon Schneider 2026-05-29 20:45:21 -05:00
  • 58b95a9814 feat: fractal dimension — DBC algorithm (Python + FPGA) Brandon Schneider 2026-05-29 20:45:21 -05:00
  • c381dbdfe6 feat: fractal dimension — DBC algorithm (Python + FPGA) Brandon Schneider 2026-05-29 20:45:21 -05:00
  • 024b4f5861
    chore(deps): bump tar in /4-Infrastructure/servo-fetch dependabot[bot] 2026-05-29 21:53:38 +00:00
  • 7b1d35a583
    chore(deps): bump tar dependabot[bot] 2026-05-29 21:53:06 +00:00
  • c43f590fc0 feat(infra): add framebuffer/DRM/VirtIO GPU 3D acceleration Brandon Schneider 2026-05-29 15:09:58 -05:00
  • 89e995aaa0 feat(infra): add framebuffer/DRM/VirtIO GPU 3D acceleration Brandon Schneider 2026-05-29 15:09:58 -05:00
  • 185f1a6266 feat(infra): add framebuffer/DRM/VirtIO GPU 3D acceleration Brandon Schneider 2026-05-29 15:09:58 -05:00
  • b93069406d feat(infra): mirror Debian kernel modules + SCP/KVM guest support Brandon Schneider 2026-05-29 15:07:52 -05:00
  • 31651fbc8f feat(infra): mirror Debian kernel modules + SCP/KVM guest support Brandon Schneider 2026-05-29 15:07:52 -05:00
  • b248e8575c feat(infra): mirror Debian kernel modules + SCP/KVM guest support Brandon Schneider 2026-05-29 15:07:52 -05:00
  • c2e51aa40a feat(infra): ARM64 performance tuning for netcup-vps Brandon Schneider 2026-05-29 14:59:40 -05:00
  • af2e01371c feat(infra): ARM64 performance tuning for netcup-vps Brandon Schneider 2026-05-29 14:59:40 -05:00
  • 5892a793ce feat(infra): ARM64 performance tuning for netcup-vps Brandon Schneider 2026-05-29 14:59:40 -05:00
  • 92a5a6f332 feat(infra): enable btrfs kernel support and tools on netcup-vps Brandon Schneider 2026-05-29 14:58:20 -05:00
  • 0be03236be feat(infra): enable btrfs kernel support and tools on netcup-vps Brandon Schneider 2026-05-29 14:58:20 -05:00
  • 41fb75bd07 feat(infra): enable btrfs kernel support and tools on netcup-vps Brandon Schneider 2026-05-29 14:58:20 -05:00
  • b7c16e0237 feat(infra): add Jellyfin media server to netcup-vps Brandon Schneider 2026-05-29 14:57:34 -05:00
  • 7f22de3c36 feat(infra): add Jellyfin media server to netcup-vps Brandon Schneider 2026-05-29 14:57:34 -05:00
  • 38807e0bd5 feat(infra): add Jellyfin media server to netcup-vps Brandon Schneider 2026-05-29 14:57:34 -05:00
  • 09599ca856 feat(infra): add ffmpeg, audio/video DSP packages to netcup-vps Brandon Schneider 2026-05-29 14:54:09 -05:00
  • b77c0e7ddd feat(infra): add ffmpeg, audio/video DSP packages to netcup-vps Brandon Schneider 2026-05-29 14:54:09 -05:00
  • ddb717a064 feat(infra): add ffmpeg, audio/video DSP packages to netcup-vps Brandon Schneider 2026-05-29 14:54:09 -05:00
  • 4bc9de1e09 feat(infra): netcup-vps — podman+k3s, PostgreSQL, Caddy, Prometheus, full ARM64 math stack Brandon Schneider 2026-05-29 14:52:20 -05:00
  • fcaed6c10c feat(infra): netcup-vps — podman+k3s, PostgreSQL, Caddy, Prometheus, full ARM64 math stack Brandon Schneider 2026-05-29 14:52:20 -05:00
  • 76f4a443c2 feat(infra): netcup-vps — podman+k3s, PostgreSQL, Caddy, Prometheus, full ARM64 math stack Brandon Schneider 2026-05-29 14:52:20 -05:00