Add recent diary

utensil · Oct 24, 2024 · e01bef0 · e01bef0
1 parent e29fdc4
commit e01bef0
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/trees/uts-0018.tree b/trees/uts-0018.tree
@@ -15,6 +15,15 @@
 \subtree[2024-10]{
 \title{October, 2024}
 
+\mdblock{10-18~10-24}{
+- work on native-land, trying to make rust-gpu fully work
+- work on formal-land, trying to establish the infrastructure to explore multiple Lean 4 projects with independent toolchains and dependencies
+- switching to Neovim, make it work for Rust, Lean, and forester
+- write [[uts-002F]]
+- skim [The Lean Language Reference](https://lean-lang.org/doc/reference/latest/)
+- start reading [Modern C++ Programming Course (C++03/11/14/17/20/23/26)](https://github.com/federico-busato/Modern-CPP-Programming)
+}
+
 \mdblock{10-17}{
 - initial citation trace for \citek{james2015gravitational} and \citek{james2015visualizing}
 - read \citek{meseguer2023custom} (Vulkan, Ray-marching, Kerr black hole) [lrogerorrit/narwhalEngine](https://github.com/lrogerorrit/narwhalEngine)

diff --git a/trees/uts-002F.tree b/trees/uts-002F.tree
@@ -145,6 +145,7 @@ Other first aid key mappings or commands available in LunarVim:
     - all the above will also cut the deleted text
     - `yw` to copy the current word, `yy` to copy the current line
     - `p` to paste after, `P` to paste before
+        - for pasting into a pair of brackets/quotes etc., move to the opening one (e.g. use `Esc` + `b`), then `p` or `Cmd+v`
     - `yyp` to duplicate a line
     - `<leader>+s+R` to search the registers for cut/copied text
     - on Mac, `Cmd`+`c`/`v`/`x` also works despite which mode Vim is in