Archive | 2021-08-03

• Formally Verifying the Tendermint Blockchain Protocol

  (galois.com)

  #block-chain #program-verification #formal-verification

• Achieving FP32 Accuracy for INT8 Inference Using Quantization Aware Training with NVIDIA TensorRT

  (developer.nvidia.com)

  #machine-learning #hardware #GPU #computation

• No, we don’t use Kubernetes

  (ably.com)

  #software-architecture #infra #devops

• Extending Anvil for Fun and Profit

  (slack.engineering)

  #software-design #mobile #android

• Enforcing encryption at scale

  (research.fb.com)

  #software-architecture #security #networking #encryption