From 5cb839c5859df132bd579ad75922cc37abc6ace9 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Thu, 20 Feb 2025 08:53:02 -0500 Subject: [PATCH] vault backup: 2025-02-20 08:53:02 --- 3-99 Research/3-99 Research - README.md | 15 +++-------- 3-99 Research/Haskell/Chapter 3.md | 0 3-99 Research/Haskell/Haskell - README.md | 31 ++++++++++++----------- 3-99 Research/Microreactors.md | 15 ----------- reddup.sh | 9 ++++--- 5 files changed, 24 insertions(+), 46 deletions(-) delete mode 100644 3-99 Research/Haskell/Chapter 3.md delete mode 100644 3-99 Research/Microreactors.md diff --git a/3-99 Research/3-99 Research - README.md b/3-99 Research/3-99 Research - README.md index 6fa3b44d5..82e083b44 100644 --- a/3-99 Research/3-99 Research - README.md +++ b/3-99 Research/3-99 Research - README.md @@ -14,22 +14,13 @@ - [[TLA/TLA - README]] ## Files -- [[Microreactors.md]] -- [[Untitled.md]] - [[What is Lobot?.md]] ## Summary -This directory appears to be related to research on microreactors, specifically nuclear microreactors. The contents suggest that the researcher is exploring different modeling approaches and techniques for simulating and analyzing these systems. +Here's a concise description of what's inside this folder: -The README files seem to be providing an introduction to specific topics within the field, such as Lobot (a specification language) and FRET (a theorem prover). There are also references to research papers and models related to microreactors, including reviews, published studies, and experimental simulations. +This folder contains various projects and notes related to research, programming languages, and theorem proving. It appears to be organized around specific topics such as Lobot, BeagleBone, and Haskell. -Some of the directories and files contained in this directory include: - -* A directory for a PhD proposal, suggesting that the researcher is actively working on their dissertation. -* Files related to Lobot, a language used for specifying properties and allowable actions for microreactor systems. -* A file listing various microreactor models and simulations, including reviews of existing work. -* Links to external resources, such as research papers and websites. - -Overall, this directory suggests that the researcher is working on a project that involves developing new approaches and techniques for analyzing microreactor systems. +Within the folder, I found files and subdirectories containing project READMEs, notes on researching techniques, and a table of contents for a 3-99 research paper. Additionally, there are text-based files discussing various topics including Lobot, its relationship to Lando, and theorem proving systems like FRET. Generated by llama3.2:latest diff --git a/3-99 Research/Haskell/Chapter 3.md b/3-99 Research/Haskell/Chapter 3.md deleted file mode 100644 index e69de29bb..000000000 diff --git a/3-99 Research/Haskell/Haskell - README.md b/3-99 Research/Haskell/Haskell - README.md index e66739cf3..8afa0b858 100644 --- a/3-99 Research/Haskell/Haskell - README.md +++ b/3-99 Research/Haskell/Haskell - README.md @@ -4,26 +4,27 @@ - [[baby.hs]] - [[Chapter 1 - Introduction.md]] - [[Chapter 2 - Starting Out.md]] -- [[Chapter 3.md]] - [[Learning Plan.md]] - [[main.hs]] ## Summary -This directory appears to be a personal note-taking and learning journal for someone who has just started learning Haskell, a purely functional programming language. The notes cover various topics such as: +This text is a personal diary entry about the author's experience learning and setting up Haskell, a purely functional programming language. The author provides an overview of their journey, including: -* Introduction to Haskell -* What makes a programming language functional -* Difference between imperative and functional programming languages (e.g., C, Python, Rust) -* Basic concepts in Haskell, including: - + Immutable data structures - + Functional programming principles (referential transparency) - + Type inference and statically typed language - + How to compile and run Haskell code using the GHC compiler - + Using the Haskell Language Server with Neovim for interactive development -* Personal notes and questions, such as: - + What is a "state" in computer science? - + What is a monad in Haskell? +1. Setting up a Haskell compiler (GHC) and running it interactively from the command line using `ghci`. +2. Listing functions in the current folder using the command-line tool (`:l filename`). +3. Reloading files using the same command (`:r`). +4. Using the Haskell Language Server for Neovim, which required some extra effort to set up but was ultimately successful. +5. Discussing the differences between functional programming languages and imperative ones. -The directory appears to be a personal learning log, where the author records their progress, asks questions, and takes notes on various topics related to Haskell. +The author also includes some questions about functional programming concepts, such as monads and referential transparency, which they would like to explore further. + +Overall, this text is a personal account of someone's experience learning Haskell and setting up their development environment with the language. + +Some notes on the content: + +* The author mentions that Rust has functional programming support, but does not provide details. +* The author uses some informal language and abbreviations (e.g., "boomBangs", "fucked"), which may make the text less readable for some readers. +* The author includes some personal anecdotes and expressions of frustration (e.g., "I'm outta gas"), which add to the conversational tone of the text. +* The text assumes that the reader is familiar with programming concepts, such as compilers, type systems, and functional programming. Generated by llama3.2:latest diff --git a/3-99 Research/Microreactors.md b/3-99 Research/Microreactors.md deleted file mode 100644 index a446028e1..000000000 --- a/3-99 Research/Microreactors.md +++ /dev/null @@ -1,15 +0,0 @@ -# What Microreactors are out there? -Found a really nice review paper -- [<] [[testoniReviewNuclearMicroreactors2021]] #Reading 🔽 ⏳ 2025-01-27 📅 2025-02-11 - -# What Models Exist? -Looks like one group did it. -- [-] [[aModeladoNucleoAnalisis2023]] #Reading 🔽 ⏳ 2025-01-27 📅 2025-02-11 ❌ 2025-02-19 -Published in 2023. -- [<] [[gengSimplifiedReactorModel2024]] #Reading 🔽 ⏳ 2025-01-27 📅 2025-02-11 -High Temperature Gas Reactor - -Lots of modeling of heat pipes -- [-] [[matthewsCoupledMultiphysicsSimulations2021]] #Reading 🔽 ⏳ 2025-01-27 📅 2025-02-11 ❌ 2025-02-19 -- [-] [[stauffHighFidelityMultiphysicsModeling]] #Reading 🔽 ⏳ 2025-01-27 📅 2025-02-11 ❌ 2025-02-19 - diff --git a/reddup.sh b/reddup.sh index 93d4db475..5a2577c0b 100755 --- a/reddup.sh +++ b/reddup.sh @@ -128,11 +128,12 @@ echo "Creating summary..." # Pull in the content of all markdown files in this folder (excluding the generated README) folder_md=$(find "$dir" -maxdepth 1 -type f -name "*.md" ! -path "$readme" -exec cat {} +) -prompt="Based on the following table of contents: +prompt="You are creating a description for a README file in my Obsidian notes database. Below you will find two items. Item number 1 is a table of contents of what is in the folder of the README file. Item number 2 is the contents of all of the text based files within that folder. Based on this information, create a description of what is inside the folder, as if you were telling yourself what is in there. Be concise, to the point, and do not excessively speculate. Your result will be put into a Markdown file, where you can use [[wikilinks]] and other markdown syntax. Thanks! +Item 1: $(cat "$tmp_static") -and the contents of the markdown files in this directory: -$folder_md -please provide a short descriptive summary of what this directory is about." +Item 2: +$folder_md" + echo "Prompt:" echo $prompt summary=$(ollama run llama3.2 "$prompt")