diff --git a/.obsidian/plugins/colored-tags/data.json b/.obsidian/plugins/colored-tags/data.json index 1f637f8bc..43440cc48 100755 --- a/.obsidian/plugins/colored-tags/data.json +++ b/.obsidian/plugins/colored-tags/data.json @@ -321,7 +321,9 @@ "Systematic-mapping-study": 309, "InFirstPaks": 310, "Formal-Methods": 311, - "admin": 312 + "admin": 312, + "hub": 313, + "daily": 314 }, "_version": 3 } \ No newline at end of file diff --git a/Zettelkasten/Permanent Notes/Literature Notes/LIT-20250819112550-strix-explicit-reactive-synthesis-strikes-back.md b/Zettelkasten/Permanent Notes/Literature Notes/LIT-20250819112550-strix-explicit-reactive-synthesis-strikes-back.md new file mode 100644 index 000000000..e4a70dd42 --- /dev/null +++ b/Zettelkasten/Permanent Notes/Literature Notes/LIT-20250819112550-strix-explicit-reactive-synthesis-strikes-back.md @@ -0,0 +1,35 @@ +--- +id: LIT-20250819112550 +title: Strix: Explicit Reactive Synthesis Strikes Back! +type: literature +created: 2025-08-19T15:25:50Z +modified: 2025-08-19T15:25:50Z +citekey: +--- + +# Strix: Explicit Reactive Synthesis Strikes Back! + +## First Pass +**Category:** + +**Context:** + +**Correctness:** + +**Contributions:** + +**Clarity:** + +## Second Pass +**What is the main thrust?** + +**What is the supporting evidence?** + +**What are the key findings?** + +## Third Pass +**Recreation Notes:** + +**Hidden Findings:** + +**Weak Points? Strong Points?**