mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-07-31 03:05:21 +00:00
1e4a7fd6d5
- Move 2026-05-13 dated receipt dirs to archive/ - Move 62 experimental Lean Probe/Metaprobe files to archive/lean-probes/ - Move uncompiled rust-conversions/ prototype to archive/ - Move uncompiled gpu/ prototype to archive/ (including wasmgpu submodule) - Delete one-shot infra scripts with hardcoded secrets - Remove stray git bare-repo internals at root (config, HEAD, hooks/, info/, description) - Remove stale root-level artifacts (re, changes.zip, etc.) - Update .gitignore for venvs, scratch tests, ai-math-discovery-systems
83 lines
2.7 KiB
JSON
83 lines
2.7 KiB
JSON
{
|
|
"cmake.sourceDirectory": "${workspaceFolder}/2-Search-Space/simulations/heat-2D",
|
|
"files.watcherExclude": {
|
|
"**/.git/objects/**": true,
|
|
"**/.git/subtree-cache/**": true,
|
|
"**/.ipynb_checkpoints/**": true,
|
|
"**/.mypy_cache/**": true,
|
|
"**/.pytest_cache/**": true,
|
|
"**/.ruff_cache/**": true,
|
|
"**/.venv/**": true,
|
|
"**/__pycache__/**": true,
|
|
"**/.lake/**": true,
|
|
"**/target/**": true,
|
|
"**/node_modules/**": true,
|
|
"**/*.jsonl": true,
|
|
"**/*.parquet": true,
|
|
"**/*.vcd": true,
|
|
".changes/**": true,
|
|
"4-Infrastructure/ComfyUI/**": true,
|
|
"3-Mathematical-Models/equations_*/**": true,
|
|
"3-Mathematical-Models/equations_parquet_tagged/**": true,
|
|
"5-Applications/out/**": true,
|
|
"5-Applications/scripts/models/**": true,
|
|
"API KEYS/**": true,
|
|
"Security & Passwords/**": true,
|
|
"ai-math-discovery-systems/**": true,
|
|
"artifacts/**": true,
|
|
"data/**": true,
|
|
"logs/**": true,
|
|
"out/**": true,
|
|
"scratch/**": true,
|
|
"shared-data/**": true
|
|
},
|
|
"search.exclude": {
|
|
"**/.ipynb_checkpoints": true,
|
|
"**/.mypy_cache": true,
|
|
"**/.pytest_cache": true,
|
|
"**/.ruff_cache": true,
|
|
"**/.venv": true,
|
|
"**/__pycache__": true,
|
|
"**/.lake": true,
|
|
"**/target": true,
|
|
"**/node_modules": true,
|
|
"**/*.jsonl": true,
|
|
"**/*.parquet": true,
|
|
"**/*.vcd": true,
|
|
".changes": true,
|
|
"4-Infrastructure/ComfyUI": true,
|
|
"3-Mathematical-Models/equations_*": true,
|
|
"3-Mathematical-Models/equations_parquet_tagged": true,
|
|
"5-Applications/out": true,
|
|
"5-Applications/scripts/models": true,
|
|
"API KEYS": true,
|
|
"Security & Passwords": true,
|
|
"ai-math-discovery-systems": true,
|
|
"artifacts": true,
|
|
"data": true,
|
|
"logs": true,
|
|
"out": true,
|
|
"scratch": true,
|
|
"shared-data": true
|
|
},
|
|
"git.ignoreLimitWarning": true,
|
|
"remoteLeanProof.url": "http://75.101.199.58:8787",
|
|
"remoteLeanProof.tokenFile": "/home/allaun/.config/ene/language-proof-server.token",
|
|
"remoteLeanProof.checkOnSave": true,
|
|
"remoteLeanProof.checkOnOpen": true,
|
|
"lean4.envPathExtensions": [
|
|
"/home/allaun/.local/bin/lean4-remote-proxy",
|
|
"/home/allaun/.elan/bin"
|
|
],
|
|
"lean4.automaticallyBuildDependencies": false,
|
|
"lean4.alwaysAskBeforeInstallingLeanVersions": true,
|
|
"lean4.input.enabled": true,
|
|
"lean4.input.languages": [
|
|
"lean4",
|
|
"lean",
|
|
"markdown"
|
|
],
|
|
"lean4.infoview.autoOpen": true,
|
|
"lean4.autofocusOutput": false,
|
|
"lean4.trace.server": "off"
|
|
}
|