InfoQ Homepage Code Quality Content on InfoQ
-
Overcomplicated Architecture: Scaling Bottleneck
Cassandra Shum discusses one of the bottlenecks of software development, an overcomplicated architecture, addressing how a company gets to an overcomplicated architecture, and how to get out of it.
-
Adventures in Performance: Efficiency Analysis of Large-scale Compute
Thomas Dullien discusses how language design choices impact performance, how Google's monorepo culture and Amazon's two-pizza-team culture impact code efficiency, why statistical variance is an enemy.
-
No Next Next: Fighting Entropy in Your Microservices Architecture
Anna Shipman discusses her experience joining the FT to lead on FT.com a few years after launch and shares things implemented to stop the drift towards an unmaintainable system and another rebuild.
-
Analyzing Codebases for Fun and Profit
Jordan Bragg discusses using entry-points, breadth-first scanning, and operation tagging to demystify the domain, see where to dive deeper, and uncover what technical debt may exist.
-
Understanding JIT Optimizations by Decompilation
Chris Seaton shows how they have developed a pseudo-code decompiler for optimized Java code, and how it helps them understand how the Java JIT compiler is working in order to improve their code.
-
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.
-
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.
-
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.