Add diary for today

ext.sh

@@ -20,6 +20,7 @@ npm install
 npm install -g vsce
 yes|npx vsce package
 
+# requires https://code.visualstudio.com/docs/setup/mac#_launching-from-the-command-line
 code --install-extension /tmp/vscode-forester-$RANDOM_ID/vscode-forester-0.0.7-dev-uts.vsix
 # echo "run this to clean up: rm -rf /tmp/vscode-forester-$RANDOM_ID"
 rm -rf /tmp/vscode-forester-$RANDOM_ID

trees/uts-0018.tree

@@ -14,6 +14,12 @@
 \subtree[2024-10]{
 \title{October, 2024}
 
+\mdblock{10-06}{
+- found [ipe](https://github.com/otfried/ipe) that is used extensively in [tungsteno](https://www.tungsteno.io/post/exp-classification_compact_surfaces/) ([source](https://github.com/TungstenHub/tngt-ipe/tree/master))
+- read [Why I use TLA+ and not(TLA+)](https://protocols-made-fun.com/specification/modelchecking/tlaplus/quint/2024/10/05/tla-and-not-tla.html), learn about PlusCal and [Apalache](https://apalache-mc.org/) (TLA+ to Z3)
+- trying to figure out if TLA+ can be run in browser via [TeaVM](https://www.teavm.org/) or [CheerpJ](https://cheerpj.com/cheerpj-core/)
+}
+
 \mdblock{10-05}{
 - read \citek{wang2024simple} and \citek{estep2024rose} on app Reflow
 % \todo{change lightningcss to postcss+tailwindcss} done,fallback to lightningcss