Defective by Design

A new blog post argues that a markdown file is not a true specification and demonstrates how formal analysis can uncover hidden requirements gaps. The author walks through applying formal methods to requirements documents, showing how modeling system behavior exposes ambiguities and missing edge cases that plain prose leaves undetected. Commenters are weighing in on how often engineering teams mistake informal documentation for rigorous specifications and whether formal analysis should be a standard step in software design.

Digital rights campaigner Defective by Design is highlighting a musician's account of how DRM restricted his work, pushing back against claims that intellectual property rules primarily protect artists. The campaign argues that such restrictions mainly serve corporate interests rather than creators, and is encouraging musicians and listeners to oppose DRM in music distribution.