vault backup: 2025-02-24 09:47:50

3-99 Research/TLA/TLA+ Learning Plan.md

@@ -0,0 +1,10 @@
+- [x] Introduction to TLA+ #TLA ⏳ 2025-02-28 📅 2025-02-28 ✅ 2025-02-24
+- [x] State machines in TLA+ #TLA ⏳ 2025-02-28 📅 2025-02-28 ✅ 2025-02-24
+- [ ] Resources and Tools #TLA 📅 2025-02-25 ⏳ 2025-02-24 
+- [ ] Die Hard #TLA 📅 2025-03-04 ⏳ 2025-02-28 
+- [ ] Transaction Commit #TLA 📅 2025-03-11 ⏳ 2025-03-07
+- [ ] Two-Phase Commit #TLA 📅 2025-03-18 ⏳ 2025-03-14
+- [ ] Paxos Commit #TLA 📅 2025-03-18 ⏳ 2025-03-14
+- [ ] Implementation #TLA 📅 2025-03-25 ⏳ 2025-03-21
+- [ ] The Alternating Bit Protocol #TLA 📅 2025-04-01 ⏳ 2025-03-28
+- [ ] Implementation with Refinement #TLA ⏳ 2025-04-04 📅 2025-04-08

3-99 Research/TLA/Test.tla

@@ -1,10 +0,0 @@
----- MODULE Test ----
-EXTENDS Naturals
-
-VARIABLE x
-
-Init == x = 0
-Next == x' = x + 1
-
-Spec == Init /\ [][Next]_x
-====:

3-99 Research/TLA/Untitled.tla

@@ -1,13 +0,0 @@
------------------------------- MODULE Untitled ------------------------------
-EXTENDS Naturals
-
-VARIABLE x
-
-Init == x = 0
-Next == x' = x + 1
-
-Spec == Init /\ [][Next]_x
-
-=============================================================================
-\* Modification History
-\* Created Sun Feb 23 19:24:27 EST 2025 by danesabo

3-99 Research/TLA/Untitled.toolbox/.project

@@ -1,24 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-	<name>Untitled</name>
-	<comment></comment>
-	<projects>
-	</projects>
-	<buildSpec>
-		<buildCommand>
-			<name>toolbox.builder.TLAParserBuilder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-	</buildSpec>
-	<natures>
-		<nature>toolbox.natures.TLANature</nature>
-	</natures>
-	<linkedResources>
-		<link>
-			<name>Untitled.tla</name>
-			<type>1</type>
-			<locationURI>PARENT-1-PROJECT_LOC/Untitled.tla</locationURI>
-		</link>
-	</linkedResources>
-</projectDescription>

3-99 Research/TLA/Untitled.toolbox/.settings/org.lamport.tla.toolbox.prefs

@@ -1,2 +0,0 @@
-ProjectRootFile=PARENT-1-PROJECT_LOC/Untitled.tla
-eclipse.preferences.version=1

3-99 Research/TLA/Untitled.toolbox/Untitled.toolbox - README.md

@@ -1,8 +0,0 @@
-# Table of Contents for Untitled.toolbox
-
-## Files
-- [[.project]]
-
-## Summary
-
-Generated by llama3.2:latest

3-99 Research/TLA/states/25-02-23-19-11-14/25-02-23-19-11-14 - README.md

@@ -1,5 +0,0 @@
-# Table of Contents for 25-02-23-19-11-14
-
-## Summary
-
-Generated by llama3.2:latest

3-99 Research/TLA/states/25-02-23-19-17-34/25-02-23-19-17-34 - README.md

@@ -1,5 +0,0 @@
-# Table of Contents for 25-02-23-19-17-34
-
-## Summary
-
-Generated by llama3.2:latest

3-99 Research/TLA/states/25-02-23-19-18-03/25-02-23-19-18-03 - README.md

@@ -1,5 +0,0 @@
-# Table of Contents for 25-02-23-19-18-03
-
-## Summary
-
-Generated by llama3.2:latest

3-99 Research/TLA/states/25-02-23-19-18-55/25-02-23-19-18-55 - README.md

@@ -1,5 +0,0 @@
-# Table of Contents for 25-02-23-19-18-55
-
-## Summary
-
-Generated by llama3.2:latest

3-99 Research/TLA/states/states - README.md

@@ -1,11 +0,0 @@
-# Table of Contents for states
-
-## Subdirectories
-- [[25-02-23-19-11-14/25-02-23-19-11-14 - README]]
-- [[25-02-23-19-17-34/25-02-23-19-17-34 - README]]
-- [[25-02-23-19-18-03/25-02-23-19-18-03 - README]]
-- [[25-02-23-19-18-55/25-02-23-19-18-55 - README]]
-
-## Summary
-
-Generated by llama3.2:latest

900s Calendars/Research/2025-02-24 TLA Learning Plan and Notes.md

@@ -2,7 +2,7 @@
 title: TLA Learning Plan and Notes
 allDay: false
 startTime: 09:30
-endTime: 10:30
+endTime: 09:45
 date: 2025-02-24
 completed: null
 type: single