Use of Formal Methods at Amazon Web Services (2014) [pdf]

2019-01-22

Should Your Specification Language Be Typed? (1999) [pdf]

2019-01-09

Azure Service Bus, Azure Functions and Urban Airship at Work Together

2018-12-04

Explore JFK case files with OCR and entity extraction (2017)

2018-10-18

Transform any hands-drawn design into a HTML code with AI

2018-10-16

[pdf] the Part-Time Parliament

2018-09-27

Computation and State Machines (2008) [pdf]

2018-09-18

Azure South Central US outage discussion [audio]

2018-09-13

Transform any hands-drawn design into a HTML code with AI

2018-08-30

The Byzantine Generals Problem (1982) [pdf]

2018-08-06