Posts

Showing posts from September, 2019

Finagle is a network stack for distributed systems.

Using TLA+ to Model Cascading Failures

How Local-Variable Type Inference can clear up Java verbosity.