Add recent diary

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

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}
+}
+

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}

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]]