• Customers
  • Docs
  • Pricing
  •  
  • Sign in
  • Get started

Strange Loop 2019 liveblog

Strange Loop 2019 - Formal Specification and Taming Other People's Tech

Blogy McBlogerson on September 13, 2019

Marianne Bellotti


Overview

Formal specifications are not just for academics and have applications way beyond checking algorithms like Paxos and Raft. Join us for a tour of using formal specifications for every day system design. If you've ever configured a load balancer or a message queue then you're already doing the kind of engineering work that formal specifications were intended for. This talk tells the story of a real life in production system built with common open source technologies that was struggling with growth and how we untangled its built-in assumptions and reworked its design using formal specifications.


AWESOME LIVEBLOG CONTENT HERE!

About Sourcegraph

  • Case studies
  • Customers
  • Pricing
  • Not a developer?

Resources

  • Blog
  • Changelog
  • Documentation
  • Podcast
  • Big code survey

Company

  • About
  • Careers
  • Contact
  • Handbook
  • News
  • Sourcegraph strategy
  • © 2021 Sourcegraph
  • Terms
  • Security
  • Privacy