diff --git a/justfile b/justfile
index bdaea65..8dc8dcf 100644
--- a/justfile
+++ b/justfile
@@ -98,8 +98,9 @@ prep-term: prep-kitty
     just add-zrc 'eval "$(zoxide init zsh)"'
     just add-zrc 'eval "$(starship init zsh)"'
     which progress || brew install progress
-    which 7z || brew install sevenzip
+    which 7zz || brew install sevenzip
     which ffmpeg || brew install ffmpeg
+    which tokei || brew install tokei
 
 prep-alacritty:
     #!/usr/bin/env bash
@@ -475,3 +476,6 @@ prep-delta:
     git config --global merge.conflictStyle zdiff3
     mkdir -p ~/.config/lazygit
     cp -f .lazygit.yml ~/.config/lazygit/config.yml
+
+loc:
+    tokei -o json|uvx tokei-pie
diff --git a/tex/forest.bib b/tex/forest.bib
index dbb775c..35e02b6 100644
--- a/tex/forest.bib
+++ b/tex/forest.bib
@@ -1346,3 +1346,11 @@ @article{mosto2024templex
     publisher = {AIP Publishing},
 }
 
+@article{riccardo2024towards,
+  title={Towards a Categorical Foundation of Deep Learning: A Survey},
+  author={Riccardo Crescenzi, Francesco},
+  journal={arXiv e-prints},
+  pages={arXiv--2410},
+  year={2024}
+}
+
diff --git a/trees/refs/riccardo2024towards.tree b/trees/refs/riccardo2024towards.tree
new file mode 100644
index 0000000..27b2380
--- /dev/null
+++ b/trees/refs/riccardo2024towards.tree
@@ -0,0 +1,15 @@
+% ["forest"]
+\title{Towards a categorical foundation of deep learning: A survey}
+\date{2024}
+\author{Francesco Riccardo Crescenzi}
+\taxon{reference}
+
+\meta{bibtex}{\startverb
+@article{riccardo2024towards,
+ title = {Towards a Categorical Foundation of Deep Learning: A Survey},
+ author = {Riccardo Crescenzi, Francesco},
+ year = {2024},
+ journal = {arXiv e-prints},
+ pages = {arXiv--2410}
+}
+\stopverb}
diff --git a/trees/uts-0018.tree b/trees/uts-0018.tree
index bb65d9a..4d340c8 100644
--- a/trees/uts-0018.tree
+++ b/trees/uts-0018.tree
@@ -15,6 +15,14 @@
 \subtree[2024-11]{
 \title{November, 2024}
 
+\mdblock{11-12~11-19}{
+- experiments on using [aider](https://aider.chat/) for LLM assisted project-level pair programming
+    - [this PR](https://github.com/utensil/lean4_jupyter/pull/2) is a most extensive onehttps://github.com/pygae/galgebra/pull/528
+- finish citation trace for GAlgebra, see [this PR](https://github.com/pygae/galgebra/pull/528) for relevant readings
+- found \citek{riccardo2024towards}, cat for DL
+- found [Cario](https://www.cairo-lang.org/), a provable Rust-like language
+}
+
 \mdblock{11-11}{
 - found [Bartosz Ciechanowski's blog](https://ciechanow.ski/)
 - found \citek{michor2008topics}\citek{milne2012algebraic}, helpful for [[ag-0001]]