allaun
0 followers · 0 following
  • Joined on 2026-07-06
Repositories
5
 Projects Packages Public activity Starred repositories
53ece2b86a chore(deps): bump the claw-cargo-minor-patch group across 1 directory with 3 updates
c54cf937ce Add module decomposition analysis
Compare 2 commits »
a6a55cafbe chore(deps): bump the linear-tauri-cargo-minor-patch group across 1 directory with 2 updates
c54cf937ce Add module decomposition analysis
Compare 2 commits »
86f573c3f1 chore(deps): bump the notion-tauri-cargo-minor-patch group across 1 directory with 2 updates
c54cf937ce Add module decomposition analysis
Compare 2 commits »
allaun synced new reference dependabot/uv/2-Search-Space/search/whoogle-search/uv-0462f47e4d to allaun/Research-Stack from mirror 2026-07-11 01:57:14 +00:00
allaun synced commits to dependabot/pip/2-Search-Space/search/whoogle-search/soupsieve-2.8.4 at allaun/Research-Stack from mirror 2026-07-11 01:57:14 +00:00
allaun synced new reference dependabot/pip/2-Search-Space/search/whoogle-search/soupsieve-2.8.4 to allaun/Research-Stack from mirror 2026-07-11 01:57:14 +00:00
allaun synced commits to dependabot/uv/2-Search-Space/search/whoogle-search/uv-0462f47e4d at allaun/Research-Stack from mirror 2026-07-11 01:57:14 +00:00
allaun synced commits to dependabot/npm_and_yarn/ai-sdk/provider-utils-3.0.28 at allaun/Research-Stack from mirror 2026-07-10 09:37:13 +00:00
allaun synced new reference dependabot/npm_and_yarn/ai-sdk/provider-utils-3.0.28 to allaun/Research-Stack from mirror 2026-07-10 09:37:13 +00:00
allaun pushed to main at allaun/lkb-pipeline 2026-07-09 01:01:43 +00:00
e5bfdc0492 feat: LKB compute pipeline + eigensolid receipts
allaun created repository allaun/lkb-pipeline 2026-07-09 00:57:00 +00:00
allaun synced commits to main at allaun/Research-Stack from mirror 2026-07-08 00:27:12 +00:00
c54cf937ce Add module decomposition analysis
allaun synced commits to main at allaun/SilverSight from mirror 2026-07-07 23:57:12 +00:00
6d2136c328 Extract monolithic lakefile into 14 standalone module targets
e588b3b7a4 Add cross-repo adversarial review (Research-Stack, SilverSight, BioSight)
Compare 2 commits »
allaun synced commits to main at allaun/SilverSight from mirror 2026-07-07 15:57:11 +00:00
0426673d1f docs(bawim): document mutation engine exploration results
03fe2b6c4e feat(bawim): parameter wiring + cached J matrix + grid scan results
ecc294e1ff feat(bawim): sudoku 729-spin encoding + incremental ΔH + 3 solvers
cdc7d24464 feat(python): BAWIM mutation engine — exact Fraction mutation loop
d709136e17 feat(python): Q16 fraction module for exact-arithmetic mutation exploration
Compare 8 commits »
allaun synced commits to docs/geometric-substance-canonical at allaun/Research-Stack from mirror 2026-07-07 08:07:12 +00:00
180bf43cce fix(optimize): add TARGET fallback + enrich score feedback for GEPA
006e8b1876 chore(atlas): scaffold autoresearch campaign for braid_search.py optimization
5413527476 infra(neon): decommission neon-64gb and redirect all database and LLM endpoints to nixos-laptop
36a78fec72 feat(infra): add support for secure file-based Authentik token loading
5f2615eb0f feat(q16_16): Float to Q16_16 migration + CharPoly exact eigendecomposition
Compare 6 commits »
allaun synced commits to main at allaun/SilverSight from mirror 2026-07-07 07:47:12 +00:00
d2eb6a74c4 fix(lean): BlockCoprimeDensity round-2 adversarial fixes
1b1dbc88f7 fix(lean): adversarial review — correct 11 issues in BlockCoprimeDensity.lean
8bed931037 feat(lean): BlockCoprimeDensity — C(n) block-coprime density Euler product
707ae76ca1 feat(lean): phiInvQ16_mul_strict_lt_pos — proven strict contraction lemma
bc70fd7e4f fix(lean): ContractedCrossStep — add phiInvQ16_lt_one lemma, allZeroState def, build passes
Compare 8 commits »