|
||
|
|
Season 1Q.E.D. Code wrapped up its first season in 2015. Here’s what we covered: QED 1: PredicatesPredicate Calculus Refactoring John von Neumann QED 2: Code ContractsCode Contracts Leonhardt Euler and the Seven Bridges A Mathematical Theory of Communication I QED 3: First or DefaultFirstOrDefault Theorem vs. Theory A Mathematical Theory of Communication II QED 4: FactoriesSocket API Degrees of Freedom I Extensible Records with Scoped Types QED 5: Fields and PropertiesDegrees of Freedom II Kurt Godel and Incompleteness Directed Graphs QED 6: Partial OrderPartial Ordering Degrees of Freedom III Time, Clocks, and the Ordering of Events I QED 7: Topological OrderingTopological Ordering Parameterized Unit Tests Time, Clocks, and the Ordering of Events II QED 8: ConstructabilityConstructability Turing and Decidability Time, Clocks, and the Ordering of Events III QED 9: The CAP TheoremThe CAP Theorem Mathematical Induction Constructors QED 10: The Two Generals ProblemTests and Proof Two Generals Problem Factories for proving Prerequisites QED 11: The Lambda CalculusThe Lambda Calculus I Computing Pi Prisoner's Dilemma QED 12: The Difference EngineDifference Engine Lambda Calculus II: Alpha, Beta, Eta Initializing Mutables |
