diff --git a/trees/uts-0018.tree b/trees/uts-0018.tree index a52780b..1a7bc6e 100644 --- a/trees/uts-0018.tree +++ b/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}{