diff --git a/trees/uts-0018.tree b/trees/uts-0018.tree index 324615c..fa79b02 100644 --- 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 index f69273a..137e212 100644 --- 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 - `+s+R` to search the registers for cut/copied text - on Mac, `Cmd`+`c`/`v`/`x` also works despite which mode Vim is in