Review recent diary

utensil · Dec 1, 2024 · 9bc1724 · 9bc1724
1 parent 1224e5b
commit 9bc1724
Show file tree

Hide file tree

Showing 7 changed files with 24 additions and 10 deletions.
diff --git a/tex/forest.bib b/tex/forest.bib
@@ -1351,9 +1351,9 @@ @article{mosto2024templex
 @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}
+  journal={arXiv preprint arXiv:2410.05353},
+  year={2024},
+  url={https://arxiv.org/abs/2410.05353}
 }
 
 @article{pepe2024staresnet,
@@ -1406,20 +1406,23 @@ @article{broden2024knots
   title={Knots Inside Fractals},
   author={Broden, Joshua and Espinosa, Malors and Nazareth, Noah and Voth, Niko},
   journal={arXiv preprint arXiv:2409.03639},
-  year={2024}
+  year={2024},
+  url={https://arxiv.org/abs/2409.03639}
 }
 
 @article{etingof2024mathematical,
   title={Mathematical ideas and notions of quantum field theory},
   author={Etingof, Pavel},
   journal={arXiv preprint arXiv:2409.03117},
-  year={2024}
+  year={2024},
+  url={https://arxiv.org/abs/2409.03117}
 }
 
 @article{collas2018dirac,
   title={The Dirac equation in general relativity, a guide for calculations},
   author={Collas, Peter and Klein, David},
   journal={arXiv preprint arXiv:1809.02764},
-  year={2018}
+  year={2018},
+  url={https://arxiv.org/abs/1809.02764}
 }
 
diff --git a/trees/refs/broden2024knots.tree b/trees/refs/broden2024knots.tree
@@ -3,12 +3,14 @@
 \date{2024}
 \author{Joshua Broden}\author{Malors Espinosa}\author{Noah Nazareth}\author{Niko Voth}
 \taxon{reference}
+\meta{external}{https://arxiv.org/abs/2409.03639}
 
 \meta{bibtex}{\startverb
 @article{broden2024knots,
  title = {Knots Inside Fractals},
  author = {Broden, Joshua and Espinosa, Malors and Nazareth, Noah and Voth, Niko},
  year = {2024},
+ url = {https://arxiv.org/abs/2409.03639},
  journal = {arXiv preprint arXiv:2409.03639}
 }
 \stopverb}
diff --git a/trees/refs/collas2018dirac.tree b/trees/refs/collas2018dirac.tree
@@ -3,12 +3,14 @@
 \date{2018}
 \author{Peter Collas}\author{David Klein}
 \taxon{reference}
+\meta{external}{https://arxiv.org/abs/1809.02764}
 
 \meta{bibtex}{\startverb
 @article{collas2018dirac,
  title = {The Dirac equation in general relativity, a guide for calculations},
  author = {Collas, Peter and Klein, David},
  year = {2018},
+ url = {https://arxiv.org/abs/1809.02764},
  journal = {arXiv preprint arXiv:1809.02764}
 }
 \stopverb}
diff --git a/trees/refs/etingof2024mathematical.tree b/trees/refs/etingof2024mathematical.tree
@@ -3,12 +3,14 @@
 \date{2024}
 \author{Pavel Etingof}
 \taxon{reference}
+\meta{external}{https://arxiv.org/abs/2409.03117}
 
 \meta{bibtex}{\startverb
 @article{etingof2024mathematical,
  title = {Mathematical ideas and notions of quantum field theory},
  author = {Etingof, Pavel},
  year = {2024},
+ url = {https://arxiv.org/abs/2409.03117},
  journal = {arXiv preprint arXiv:2409.03117}
 }
 \stopverb}
diff --git a/trees/refs/riccardo2024towards.tree b/trees/refs/riccardo2024towards.tree
@@ -3,13 +3,14 @@
 \date{2024}
 \author{Francesco Riccardo Crescenzi}
 \taxon{reference}
+\meta{external}{https://arxiv.org/abs/2410.05353}
 
 \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}
+ url = {https://arxiv.org/abs/2410.05353},
+ journal = {arXiv preprint arXiv:2410.05353}
 }
 \stopverb}
diff --git a/trees/uts-0018.tree b/trees/uts-0018.tree
@@ -20,7 +20,7 @@
 }
 
 \mdblock{11-28}{
-- found \citek{broden2024knots} \citek{collas2018dirac}
+- found \citek{broden2024knots} \citek{etingof2024mathematical}
 - found [Applied Linear Algebra and Differential Equations - Lecture notes for MATH 2350](https://www.math.hkust.edu.hk/~machas/applied-linear-algebra-and-differential-equations.pdf) by Jeffrey R. Chasnov
 - found [Competitive Programmer's Handbook](https://github.com/pllk/cphb)
 }
@@ -55,7 +55,7 @@
 - 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 one
 - 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 \citek{riccardo2024towards}, Cat for DL
 - found [Cario](https://www.cairo-lang.org/), a provable Rust-like language
 }
 

diff --git a/uts-plugins.lua b/uts-plugins.lua
@@ -707,6 +707,10 @@ local lang_plugins = {
                 function()
                     local cmd = "just new"
                     local prefix = vim.fn.input "Enter prefix: "
+                    if not prefix:match "^[a-z]+$" or #prefix > 10 then
+                        print "Error: Prefix must be no more than 10 lowercase a-z characters."
+                        return
+                    end
                     if prefix ~= "" then
                         cmd = cmd .. " " .. prefix
                     else