Azure Websites
Deploy and scale modern websites and web apps in seconds
Using Groups in Azure Ad B2C
2019-05-25
Time, Clocks, and the Ordering of Events in a Distributed System (1978) [pdf]
2019-05-20
Should Your Specification Language Be Typed? (1999) [pdf]
2019-05-07
TLA+: design, model, document, and verify concurrent systems
2019-05-03
Reaching Agreement in the Presence of Faults (1980) [pdf]
2019-04-23
How to Write a Proof by Leslie Lamport (1993) [pdf]
2019-04-23
The TLA Home Page
2019-04-06
The Story of PDP-1 (1998)
2019-03-30
Tesla Inventory
2019-02-21
Time, Clocks, and the Ordering of Events in a Distributed System [pdf]
2019-01-27
