Update learning diary

trees/uts-0018.tree

@@ -4,8 +4,8 @@
 
 \put\transclude/numbered{false}
 
-\note{reading diary}{
-\p{I wish to keep a reading diary, to keep track of partial reading progress.
+\note{learning diary}{
+\p{I wish to keep a learning diary, to keep track of partial reading progress, and things learned during making things.
 }
 
 \subtree[2024]{
@@ -17,6 +17,9 @@
 \mdblock{10-08}{
 - add more plans in formal-land
 - recovered [Research Codebase Manifesto](https://www.moderndescartes.com/essays/research_code/) from [Lean-MLIR](https://github.com/opencompl/lean-mlir)
+- recovered [quotes from CICM 2020 Slack chat](https://gist.github.com/utensil/b4616dd5452d665318780c8a8b193dcc)
+- make CubeCL example work
+- add CI with WebGPU on Mac & Ubuntu thanks to `llvmpipe`, `lavapipe`, `Vulkan SDK`, `Mesa` setup by [tracel-ai/github-actions/setup-linux@v1](https://github.com/tracel-ai/github-actions/blob/v1/setup-linux/action.yml)
 }
 
 \mdblock{10-07}{