From c500538e03391aa12ff6d2a00bedac99ee19d605 Mon Sep 17 00:00:00 2001
From: utensil <utensilcandel@gmail.com>
Date: Sun, 6 Oct 2024 18:03:38 +0800
Subject: [PATCH] Add diary for today

---
 ext.sh              | 1 +
 trees/uts-0018.tree | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/ext.sh b/ext.sh
index 6c7dfd5..426b86e 100755
--- a/ext.sh
+++ b/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
diff --git a/trees/uts-0018.tree b/trees/uts-0018.tree
index bea736e..4f9e107 100644
--- a/trees/uts-0018.tree
+++ b/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