Day 4

diff --git a/docs/log/december-adventure/index.md b/docs/log/december-adventure/index.md
index 005f0d598e3be8ad2afc8bd489a53a68110516c7..98821f8923b67008c357f0eae21fbbd159dc213b 100644 (file)
--- a/docs/log/december-adventure/index.md
+++ b/docs/log/december-adventure/index.md
@@ -71,3 +71,14 @@ Ideally, I'd have the following options:
 This way, I could use the same boot key to load up multiple different kinds of machines. If I just need a temporary workstation with network mounted storage, I could do that. If I needed a media PC, load the right config. If I needed a quiet writing environment, it's just another config.
 
 I might not get to it this month, but it'd be cool to do it sometime in the future. Go Alpine!
+
+### Day 4
+Had a lovely conversation with someone I'd call a mentor today. Got me thinking about my relationship with.. a lot of elements of my life, work included.
+Some passive trauma processing occurred. Overall, good day!
+
+Things I did today:
+* [Modeled an example Alloy/TLA+ problem in Nova.](https://gist.nouveau.community/june/9d69279159104de09ca964654e92c4ef)
+* Started visualizing Nova rules using Graphviz.
+* Half-finished a linear time search algorithm for Nova using 3 stacks.
+
+The last part was a shower thought that evolved into an interesting idea. Linear search in Nova is, worst case, 1.5 times the number of items you have in a collection. I'd like to get that down to.. *actually* linear time. ;)