Sorbet

Software engineer Sam Xif built ruby-lean, an executable model of Ruby's semantics in the Lean proof assistant, together with a proof of type soundness for a small fragment of Sorbet's type system, ac…

A developer argues that AI coding agents require enforced tooling, not just advisory documentation, to maintain code quality. The post recommends 100% branch coverage on touched files, mutation testin…