Testing Methodology at AWS: From Status Quo to Formal Methods with TLA+ (2015)
2019-04-21
Parable of the Polygons (2014)
2019-04-21
Datacoral: Innovations to Unleash the Power of Data
2019-04-21
Systemd – The Good Parts
2019-04-21
Pain as Active Ingredient in Dating
2019-04-21
Can Better Angels Fix Politics Without Ending Partisanship?
2019-04-21
How Should Compilers Explain Problems to Developers? [pdf]
2019-04-21
Understanding Yang Gang – 1791
2019-04-21
Tech’s new stars have it all–except a path to high profits
2019-04-21
People’s Park
2019-04-21