Archive | 2021-05-07

• Public Tech Talk: “Gillian Verification of JavaScript and C”

  (galois.com)

  #programming-languages #research #cs-theory #formal-verification

• Holistic Video Scene Understanding with ViP-DeepLab

  (ai.googleblog.com)

  #machine-learning #research #media #video-processing

• Freight Pricing with a Controlled Markov Decision Process

  (eng.uber.com)

  #algorithms #optimisation #graph-processing

• How we ship code faster and safer with feature flags

  (github.blog)

  #software-engineering #deployment #practices

• Strategies for Working in Uncertain Systems

  (technology.riotgames.com)

  #software-engineering #practices