Documentation
Understanding the Record
Price to Pay + VCS
Price to Pay + VCS
HELP!
Price to Pay + VCS
HELP!
BLACKBOARD
Price to Pay + VCS
HELP!
BLACKBOARD
BEGIN
Price to Pay + VCS
HELP!
BLACKBOARD
BEGIN
NOW
Price to Pay + VCS
HELP!
BLACKBOARD
BEGIN
NOW
END
Price to Pay + VCS
HELP!
BLACKBOARD
BEGIN
NOW
FIN
END
=> Price to pay for tool (P2P)
=> Price to pay for tool (P2P)
Space
Time
=> Price to pay for tool (P2P)
Space
Time
Aim:
Make future-self happy
=> Price to pay for tool (P2P)
Space
Time
Aim:
Make future-self happy
Constraints:
Composable
Comparable
=> Price to pay for tool (P2P)
Space
Time
Aim:
Make future-self happy
Constraints:
Composable
Comparable
=> Price to pay for tool (P2P)
Space
Time
Aim:
Make future-self happy
Constraints:
Composable
Comparable
=> Price to pay for tool (P2P)
Space
Time
Aim:
Make future-self happy
Constraints:
Composable
Comparable
VCS is a solution(?)
HELP!
HELP!
HELP!
HELP!
Aim:
Make future-self happy
HELP!
Aim:
Make future-self happy
HELP!
Aim:
Make future-self happy
HELP!
Aim:
Make future-self happy
HELP!
Aim:
Make future-self happy
Problems
HELP!
Aim:
Make future-self happy
Problems
Growing
HELP!
Aim:
Make future-self happy
Problems
Growing
Syntax - Structure
HELP!
Aim:
Make future-self happy
Problems
Growing
Syntax - Structure
Cognitive Load
HELP!
Aim:
Make future-self happy
Problems
Growing
Syntax - Structure
Cognitive Load
Where is why?
Question
HELP!
Aim:
Make future-self happy
Problems
Growing
Syntax - Structure
Cognitive Load
Where is why?
Question
Solution
Documentation
Another description
HELP!
Aim:
Make future-self happy
Problems
Growing
Syntax - Structure
Cognitive Load
Where is why?
Question
Solution
Documentation
Another description
HELP!
Aim:
Make future-self happy
Problems
Growing
Syntax - Structure
Cognitive Load
Where is why?
Question
Solution
Documentation
Another description
HELP!
Aim:
Make future-self happy
Problems
Growing
Syntax - Structure
Cognitive Load
Where is why?
Question
Solution
Documentation
Another description
HELP!
Aim:
Make future-self happy
Problems
Growing
Syntax - Structure
Cognitive Load
Where is why?
Question
Solution
Documentation
Another description
WHY ME!?
BLACKBOARD
P2P
+
Make future-self happy
End
Learning Curve
Constraints:
Composable
Comparable
+
Beginning
+
VCS
Using
FIN
Steep
New commands
Time
Other people
Workflow
Conflict
Cognitive Overhead
Changes - Branches
New failure modes Change conflicts
Representation bias
Great for text
Poor for binaries
Cognitive Overhead
=
Change Track
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
P2P
Aim
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
BEGIN
BEGIN
BEGIN
DefinitionÂ
BEGIN
DefinitionÂ
Problem Space
BEGIN
DefinitionÂ
Problem Space
Protocol
BEGIN
Requirements
DefinitionÂ
Problem Space
Protocol
BEGIN
Requirements
ConstraintÂ
DefinitionÂ
Problem Space
Protocol
BEGIN
Requirements
ConstraintÂ
DefinitionÂ
Problem Space
Protocol
FidelityÂ
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
Definition
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
Guardrails
Definition
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
Guardrails
Definition
NOW
NOW
NOW
Context
NOW
Context
Mapping the Implementation
NOW
Context
Mapping the Implementation
Internal Reproducibility
NOW
Cognitive Offloading
Context
Mapping the Implementation
Internal Reproducibility
NOW
Cognitive Offloading
EfficiencyÂ
Context
Mapping the Implementation
Internal Reproducibility
NOW
Cognitive Offloading
EfficiencyÂ
Context
Mapping the Implementation
Internal Reproducibility
Reduced Rediscovery Tax
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
Guardrails
Definition
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
Guardrails
Definition
Context
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
Guardrails
Definition
Efficiency
Context
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
Guardrails
Definition
Efficiency
Context
END
END
END
Verification
END
Verification
The "Structural Map"
END
Verification
The "Structural Map"
Final Rationale
END
Assumption AuditÂ
Verification
The "Structural Map"
Final Rationale
END
Assumption AuditÂ
Composable
Comparable
Verification
The "Structural Map"
Final Rationale
END
Assumption AuditÂ
Composable
Comparable
Verification
The "Structural Map"
Final Rationale
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
Guardrails
Definition
Efficiency
Context
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
Guardrails
Definition
Efficiency
Context
Verification
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
Guardrails
Definition
Efficiency
Context
Verification
Legacy
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
Guardrails
Definition
Efficiency
Context
Verification
Legacy
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
Legacy
Efficiency
Guardrails
Definition
Context
Verification
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
Legacy
Efficiency
Guardrails
Definition
Context
Verification
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
Legacy
Efficiency
Guardrails
Definition
Context
Verification
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
Legacy
Efficiency
Guardrails
Definition
Context
Verification
BLACKBOARD
P2P
+
Make future-self happy
+
VCS
+
Documentation
End
Begin
Now
P2P
Aim
Legacy
Efficiency
Guardrails
Definition
Context
Verification
FIN