Q.E.D. Code is launching it’s second season. Here are the topics that we will be covering in the later half of 2016.
June 18
Ada Lovelace's First Program
Lambda Calculus: Church Numerals
Immutability
July 2
Secrecy Systems I
Lambda Calculus: Conditionals
Byzantine Generals
July 16
Secrecy Systems II
Lambda Calculus: Combinators
Durable Messaging
July 30
Euclid's Elements
Applicatives
CQRS
August 13
Pythagoras
Monads
Event Sourcing
August 27
Paxos
Fermat's Little Theorem
Linq
September 10
Dependency Tracking
Primes
Enumerators
September 24
Coroutines
Diffie-Hellman
List comprehensions
October 8
Reactive Extensions
AES
Transducers
October 22
Promises
Merkle Trees
Bitcoin
November 5
Async/Await
RSA
Type inference
November 19
Historical Modeling
Chain of Trust
Generics