InfoQ Homepage Software Craftsmanship Content on InfoQ
-
Implementing Governance
Dean Latchana discusses collaborative approaches which support teams to deliver value.
-
Sorbet: Why and How We Built a Typechecker for Ruby
Dmitry Petrashko talks about Sorbet, a fast, powerful type checker designed for Ruby. At Stripe, they used Sorbet to drive code quality via measurable, concrete indicators.
-
Lightning Talks: Joy of Coding
In this series of short talks the authors address a wide range of topics from test automation with Cucumber, to technical debt, quantum computing, how to keep coding after 50, and others.
-
Building LARGE Agile Teams
Kiran Kanchan discusses how Spark manages to deliver high quality code with teams of 12-24 people.`
-
Highlighting Silicon Valley Strategies for Improving Engineering Velocity, Efficiency, and Quality
David Mercurio shares personal insights and experiences about cultural practices that one can apply to help improve the effectiveness of an engineering organization.
-
Improving the Quality of Incoming Code
Naresh Jain shares his experience of using PRRiskAdvisor to gradually educate and influence developers to write better code and also help the code reviewer to be more effective at their reviews.
-
US Marines, Agile and Heuristics
Peter Pito explores how to create a set of heuristics underpinned by Agile principles and practices that can be used to create a delivery foundation.
-
How to Navigate out of Hell
Katherine Kirk shares a condensed version of what she’s picked up from Buddhist monks and nuns that she applies in large global organizations to overcome tough delivery scenarios.
-
Peddle the Pedal to the Metal
Howard Chu gives tips and techniques for writing highly efficient and scalable software drawn from decades of experience. The talk is focused on programming in C.
-
Towards Specifications of Robustness - the Things That Programs do _not_ do
Sophia Drossopoulou discusses holistic specifications", an extension of traditional program specifications that support the expression of robustness properties through spatial and temporal features.
-
From Quadcopters to Helicopters: Formal Verification for Safer Vehicles
Kathleen Fisher explores the promises and limitations of current formal methods and techniques for producing useful software that probably does not contain exploitable bugs.
-
Going Pro: Lifestyle Systems for the Exceptional Developer
Cory House explores seven facets of life that impact software quality.
