Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
52 commits
Select commit Hold shift + click to select a range
319bac6
Merge pull request #1 from teerthsharma/unique-view-viz-1452820649039…
teerthsharma Jan 26, 2026
d34d305
feat: Add native ML/DL functionality (Tensor, MLP, Conv2D) to Aegis
teerthsharma Jan 27, 2026
6a50dd6
fix: Update maturin paths in pyproject.toml after crate relocation
teerthsharma Jan 27, 2026
61b4a83
Implement For and Loop control flow statements in aether-lang compiler
google-labs-jules[bot] Jan 28, 2026
3e495b9
fix(kernel): use MemoryAreaType for memory region matching
google-labs-jules[bot] Jan 28, 2026
21810da
⚑ Bolt: Optimize ChebyshevGuard calculation to single pass
google-labs-jules[bot] Jan 29, 2026
269803b
Merge pull request #6 from teerthsharma/bolt/optimize-chebyshev-guard…
teerthsharma Jan 30, 2026
4f03eaa
Merge pull request #5 from teerthsharma/jules-fix-bios-memory-kind-13…
teerthsharma Jan 30, 2026
aecad77
Merge pull request #2 from teerthsharma/jules-compiler-for-loop-11854…
teerthsharma Jan 30, 2026
97963a9
Revise hardware specifications and architecture details
teerthsharma Jan 31, 2026
dffaffa
Update README.md
teerthsharma Feb 1, 2026
83e6ce7
Update README.md
teerthsharma Apr 8, 2026
cedffef
⚑ Bolt: Optimize scalar reductions in linalg to avoid intermediate Te…
google-labs-jules[bot] May 1, 2026
683890d
Merge pull request #98 from teerthsharma/bolt/optimize-linalg-reducti…
teerthsharma May 2, 2026
30b5571
Update README for Aether Lang
Copilot May 2, 2026
e84801b
Refine README intro sentence
Copilot May 2, 2026
901f994
Rewrite Aether Lang documentation
Copilot May 2, 2026
f38387d
Merge pull request #100 from teerthsharma/copilot/create-readme-for-a…
teerthsharma May 2, 2026
933d639
Rewrite README: grounded description, Lean 4 verified kernel link, cl…
May 3, 2026
bfa5446
chore: replace MIT license with custom attribution license requiring …
May 4, 2026
dcf5e9a
docs: prefix README with 'Invented by Teerth Sharma'
May 4, 2026
20986a6
⚑ Bolt: Optimize spatial neighborhood checks
google-labs-jules[bot] Jun 20, 2026
c48895c
Merge pull request #139 from teerthsharma/bolt-fast-spatial-checks-30…
teerthsharma Jun 20, 2026
dc923ec
yaya
teerthsharma Jun 23, 2026
9ccd83a
feat: add bounded persistent homology engine
teerthsharma Jul 4, 2026
6f52359
Merge pull request #147 from teerthsharma/codex/persistent-homology-e…
teerthsharma Jul 4, 2026
cb628ba
perf: apply hot-path distance optimizations
teerthsharma Jul 4, 2026
889e649
docs: update README for topology core
teerthsharma Jul 4, 2026
1063fc1
Refactor autograd to use Option::take and value-based accumulation
google-labs-jules[bot] Jul 6, 2026
f29c3b3
Optimize Tensor Arithmetic with Iterator Chains
google-labs-jules[bot] Jul 7, 2026
4323d03
Merge pull request #150 from teerthsharma/bolt-tensor-iter-optimizati…
teerthsharma Jul 7, 2026
f18df58
docs: add MkDocs documentation structure
teerthsharma Jul 9, 2026
6c217bb
Add electromagnetic field data simulator
teerthsharma Jul 9, 2026
467dc31
Enable GitHub Pages workflow setup
teerthsharma Jul 9, 2026
f9e6a51
Revert "Enable GitHub Pages workflow setup"
teerthsharma Jul 9, 2026
e66903c
Revert "Add electromagnetic field data simulator"
teerthsharma Jul 9, 2026
fe87c04
⚑ Bolt: Avoid redundant O(N) slice allocations during tensor operations
google-labs-jules[bot] Jul 9, 2026
0c9c0f3
⚑ Bolt: O(N) incremental sliding window for Betti topology verification
google-labs-jules[bot] Jul 10, 2026
89c02a4
⚑ Bolt: Avoid redundant O(N) slice allocations during tensor arithmet…
google-labs-jules[bot] Jul 11, 2026
3b64b12
Bolt: [Eliminate redundant tensor cloning in autograd backward pass]
google-labs-jules[bot] Jul 12, 2026
51cbb7c
Merge pull request #154 from teerthsharma/bolt-autograd-take-17992460…
teerthsharma Jul 12, 2026
95326ef
Merge pull request #153 from teerthsharma/bolt-tensor-from-vec-alloc-…
teerthsharma Jul 12, 2026
df11e27
Merge pull request #152 from teerthsharma/bolt-topology-incremental-w…
teerthsharma Jul 12, 2026
648fcf7
Merge pull request #151 from teerthsharma/bolt/tensor-no-alloc-997978…
teerthsharma Jul 12, 2026
f15f032
Merge branch 'master' into bolt/optimize-autograd-accumulation-145766…
teerthsharma Jul 12, 2026
ce0f658
Merge pull request #149 from teerthsharma/bolt/optimize-autograd-accu…
teerthsharma Jul 12, 2026
2398e3a
⚑ Bolt: Optimize loss derivatives by eliminating intermediate tensor …
google-labs-jules[bot] Jul 14, 2026
f8bb93e
Merge pull request #156 from teerthsharma/bolt/optimize-loss-derivati…
teerthsharma Jul 14, 2026
47f4d3f
Deploy MkDocs documentation
teerthsharma Jul 14, 2026
80e721e
⚑ Bolt: Eliminate redundant tensor metadata clone in MLP forward
google-labs-jules[bot] Jul 25, 2026
61a7641
Merge pull request #164 from teerthsharma/bolt-mlp-forward-opt-134011…
teerthsharma Jul 25, 2026
dafebfe
⚑ Bolt: [performance improvement]
google-labs-jules[bot] Aug 3, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
49 changes: 49 additions & 0 deletions .github/workflows/docs.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,49 @@
name: Deploy documentation

on:
push:
branches:
- master
workflow_dispatch:

permissions:
contents: read
pages: write
id-token: write

concurrency:
group: pages
cancel-in-progress: false

jobs:
deploy:
runs-on: ubuntu-latest
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- name: Check out repository
uses: actions/checkout@v4

- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: "3.x"

- name: Install documentation dependencies
run: python -m pip install --upgrade pip && python -m pip install -r requirements-docs.txt

- name: Build documentation
run: python -m mkdocs build --strict

- name: Configure GitHub Pages
uses: actions/configure-pages@v5

- name: Upload site artifact
uses: actions/upload-pages-artifact@v3
with:
path: site

- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4
103 changes: 25 additions & 78 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1,89 +1,36 @@
# ═══════════════════════════════════════════════════════════════════════════════
# AETHER Project Gitignore
# ═══════════════════════════════════════════════════════════════════════════════

# Rust
/target/
/target
/debug
/release
**/*.rs.bk
Cargo.lock
**/*.profraw
**/*.profdata

# Python
__pycache__/
*.py[cod]
*$py.class
*.so
.Python
build/
develop-eggs/
dist/
downloads/
eggs/
.eggs/
lib/
lib64/
parts/
sdist/
var/
wheels/
share/python-wheels/
*.egg-info/
.installed.cfg
*.egg
MANIFEST

# Virtual Environment
venv/
.venv/
env/
.env/
# Build artifacts
build_err*.txt
build_log*.txt
check_output*.txt
test_output.txt
*.log
*.out
/site/

# IDE/Editor
.idea/
.vscode/
# Editors
.vscode
.idea
*.swp
*.swo
*.sublime-project
*.sublime-workspace

# OS Generated Files
# OS
.DS_Store
.DS_Store?
._*
.Spotlight-V100
.Trashes
ehthumbs.db
Thumbs.db

# Logs & Diagnostics
*.log
*.txt
*.tmp
build_err*.txt
build_log*.txt
check_*.log
error.log
test_*.log

# Build Artifacts
*.bin
*.img
*.iso
*.iso.bin
*.iso.lock

# Agents / AI
agents/
.gemini/
.antigravity/

# Archives
*.zip
*.tar
*.tar.gz
*.rar

# Docker
.dockerignore

# Python
__pycache__
*.pyc
.venv
venv
test_perf/

# Agent scratch
.jules/
jules/
12 changes: 12 additions & 0 deletions .jules/bolt.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
## 2026-07-06 - Tensor metadata cloning in autograd
**Learning:** In reverse-mode autograd passes, cloning `Option<Tensor>` or passing references triggers unnecessary heap allocations for tensor metadata (shape/strides), even though the underlying data is reference-counted.
**Action:** Use `Option::take()` to acquire ownership of gradients during the backward pass, and pass tensors by value to `accumulate_grad` to eliminate metadata clones.
## 2026-07-14 - Optimizing Tensor allocations in linear algebra
**Learning:** High-level tensor operations like `.sub()` and `.map()` during gradient calculations trigger costly intermediate heap allocations for both data and metadata.
**Action:** Use single-pass iterators (`.iter().zip().map().collect()`) directly over the borrowed data arrays and consume the resulting vector with `Tensor::from_vec()` to avoid redundant O(N) slice allocations.
## 2026-07-25 - Tensor metadata cloning in MLP forward passes
**Learning:** In `aether-core::ml::neural`, cloning the `input` tensor in `MLP::forward` before passing its reference to the first layer's `forward` method triggers an unnecessary heap allocation for tensor metadata and an `Rc` increment.
**Action:** Extract the first layer using `self.layers.iter_mut()` to pass the initial `input` as a `&Tensor` reference directly, as subsequent layers naturally consume the output of the previous layer.
## 2026-08-03 - [Optimize DenseLayer backward pass]
**Learning:** In aether-core, DenseLayer::backward is optimized by using Option::take() on last_z and last_input instead of cloning them. This takes ownership, avoiding unnecessary heap allocations for shape and stride metadata while preventing mutable borrow conflicts during backpropagation.
**Action:** When working with cached tensor state during backpropagation, use Option::take() to transfer ownership rather than cloning, provided the state isn't needed again before the next forward pass.
6 changes: 6 additions & 0 deletions Aether.lean
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
import Aether.Lexer
import Aether.Core
import Aether.Static
import Aether.Parser
import Aether.VM
import Aether.Pipeline
Loading