Facilitating the spread of knowledge and innovation in professional software development
Back to login
Viktor Kunčak overviews Stainless used to state and formally verify properties of functional programs written in Scala.
Vladik Khononov discusses testing the architecture of a system, covering what makes a good architecture, identifying a big ball of mud, an exhausted architecture, and automating such tests.
Vincent Warmerdam talks about cautionary tales of mistakes that might happen when we let data scientists on a goose chase for accuracy. It may surprise us, but highly accurate models are more damaging than the inaccurate ones. He shares some work that his team is doing to make sure that chatbots don't fall into this trap.
Jeff Foster talks about the Westrum model of culture and shares some practical steps that Redgate has taken to improve the way they build products by building a generative culture.
Danyel Fisher and Liz Fong Jones discuss how they brought the theory of SLOs to practice, and what they learned that they hadn’t expected in the process.
Software Dev Conference
InfoQ Homepage Containers Content on InfoQ
Is your profile up-to-date? Please take a moment to review and update.
Note: If updating/changing your email, a validation request will be sent
