From 74a8b4c40217c0c4c92073e73e07a400d3570117 Mon Sep 17 00:00:00 2001 From: June Gardner Date: Thu, 4 Dec 2025 23:59:19 -0800 Subject: [PATCH] Day 4 --- docs/log/december-adventure/index.md | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/docs/log/december-adventure/index.md b/docs/log/december-adventure/index.md index 005f0d5..98821f8 100644 --- 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. ;) -- 2.39.5