Curated computing and ML systems news.

A May 2025 essay from Galois argues that formal-methods projects succeed when they clear a concrete cost-benefit threshold, not when they merely maximize theoretical assurance. Hacker News discussion focused on whether model checking is cheaper than its reputation suggests and on the real staffing cost of sustaining niche expertise.