AWS and the Rust Foundation are crowdsourcing challenges to verify Rust’s standard library, incentivizing developers with financial rewards. While Rust champions safety, over 7,500 “unsafe” functions exist in its standard library. AWS highlights vulnerabilities and seeks community-driven formal verification. Developers can tackle 13 challenges via GitHub to bolster Rust’s reliability without altering runtime logic, aiming to secure its growing adoption across critical systems like Linux and Azure.
Automattic, the parent company of WordPress.com, has acquired Harper, a privacy-focused Grammarly competitor aimed at developers. Harper processes grammar checks locally for speed and security and delivers suggestions in under 20 milliseconds. Automattic will integrate Harper’s capabilities into platforms like WooCommerce and Jetpack. Founder Elijah Potter joins Automattic, driving innovation as the company addresses challenges with WP Engine over WordPress contributions and trademark use.
