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.
Denise Yu covers a brief history of distributed computing, presents a survey of key academic contributions to distributed systems theory including the CAP theorem and the FLP correctness result, and digs into why network partitions are inevitable today. Denise Yu talks about why one needs to account for the human factor when designing a complex system.
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.
The IT outsourcing industry is very volatile and each year we see new trends reshaping the sector. In 2020, we see some outsourcing practices coming up and others getting stronger. At the same time, we also see some of the prominent outsourcing practices becoming obsolete. This article looks at how the outsourcing industry is changing and getting prepared to embrace the change.
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 Performance & Scalability 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
