Software Development
577 articles RSS
Meta's Pyrefly Reaches 1.0, Bringing a Rust-Built Python Type Checker to Stable With 90% Spec Conformance
Pyrefly 1.0.0 ships on May 12, 2026 as Meta's production-grade Python type checker, checking 1.8 million lines per second and powering Instagram's codebase.
Red Hat Enterprise Linux 10.2 and 9.8 Ship With Post-Quantum Cryptography, Kernel Livepatching, and an AI Command-Line Assistant
RHEL 10.2 and 9.8, released May 20, add ML-KEM post-quantum SSH, kernel livepatching without reboots, the goose AI CLI tool, and extensive language stack updates.
GitHub Code Quality Brings Code Coverage to Pull Requests, Completing a Feature Set That Rivals Dedicated Coverage Tools
GitHub Code Quality added code coverage metrics to pull requests on May 26, completing a roadmap item announced at the feature's October 2025 launch.
AWS Open-Sources ExtendDB, a DynamoDB-Compatible Adapter That Runs on PostgreSQL and Cassandra
AWS released ExtendDB v0.1 on May 20, an Apache 2.0 adapter implementing the DynamoDB wire protocol on pluggable backends including PostgreSQL and Apache Cassandra, targeting local dev, CI/CD, on-premises, and hybrid environments.
PHP Retires Its 23-Year-Old Custom License and Adopts BSD 3-Clause Starting With PHP 8.6
After a six-month community process and unanimous vote, the PHP Group has retired the PHP License 3.01 and Zend Engine License in favor of the widely recognized BSD 3-Clause.
Google Puts Spanner Omni in Preview, Letting Enterprises Run Its Distributed Database Outside Its Own Cloud
Google announced a downloadable edition of Cloud Spanner that runs on-premises, on rival clouds, or on a laptop, dismantling a dependency on proprietary infrastructure that its engineers once thought impossible to remove.
KernelScript 0.1 Debuts as a Type-Safe DSL for eBPF, Unifying Kernel and Userspace Development
Multikernel Technologies releases KernelScript, an Apache 2.0-licensed DSL that generates eBPF, userspace, and kernel module code from a single source file.
Mojo 1.0 Beta Arrives as Modular Declares the AI-Native Systems Language Feature Complete
Modular ships Mojo v1.0.0b1 on May 7, 2026, deprecating the fn keyword, enabling default CPU bounds checking, and expanding GPU support to AMD MI250X and NVIDIA B300.
Go Team Launches Official pkg.go.dev API, Replacing Years of Web Scraping Workarounds
The Go team published a formal REST API for pkg.go.dev on May 21, giving tool authors and IDE integrations a stable, versioned interface to module metadata, documentation, symbols, and vulnerability data.
OpenTelemetry Achieves CNCF Graduation After Seven Years, Confirming Its Role as the De Facto Observability Standard
The CNCF announced OpenTelemetry's graduation on May 21, capping seven years of development and a merger of two rival projects into a unified observability standard with 12,000+ contributors.
OpenTofu 1.12 Ships the Dynamic Destroy Protection Terraform Refused to Build for a Decade
OpenTofu v1.12.0 lands with variable-driven prevent_destroy, a destroy=false lifecycle flag, and dual output modes — features the Terraform tracker left open since 2016.
JUnit 6.1.0 Ships Pioneer Extensions, a New Parallel Executor, and a Compact Module in Its First Minor Release
JUnit 6.1.0, released May 19, absorbs JUnit Pioneer's locale, timezone, and system-property extensions into core while replacing ForkJoinPool with a simpler thread pool for parallel test execution.