Programming11 Aug 2026Type systems you can argue withRefinement types have spent twenty years as a research curiosity. The tooling finally caught up, and the argument for them changed from elegance to economics.Editorial12 min read
Programming25 Jul 2026The monorepo question is settled, and both sides wonTen years of argument resolved into an unglamorous consensus that nobody claimed as a victory.Editorial7 min read