Software Development
237 articles RSS
Elixir 1.20 Ships as a Gradually Typed Language, Capping a Type-System Effort Begun in 2022
The June 3 stable release completes Elixir's first type-system milestone: the compiler now infers and gradually type-checks every program for verified bugs without requiring any annotations.
Automotive Grade Linux Ships First Open Source SoDeV Reference Platform for Software-Defined Vehicles, Adds Five New Members
AGL released the initial SoDeV reference platform in its 'Ultimate Unagi' code base on May 14, 2026, bundling Xen, Zephyr, and Linux containers to decouple vehicle software from hardware.
SvelteKit's June 2026 Releases Push Remote Functions Forward With Real-Time query.live and Breaking Changes Across Five Versions
SvelteKit shipped versions 2.57.0 through 2.61.0, advancing its experimental remote functions with a new query.live primitive and several breaking changes to queries and forms.
Hyprland 0.55 Completes Its Move to Lua-Based Configuration and Adds a User-Defined Layout API
The Wayland compositor's 0.55 release shifts configuration to Lua while keeping the old Hyprlang format working, and lets users define custom window layouts directly in the config.
Deno 2.8 Ships Six New Subcommands, 3.66x Faster npm Installs, and Chrome DevTools Network Inspection
Deno 2.8, released May 22, adds deno audit fix, deno pack, deno ci, deno transpile, deno why, and deno bump-version, while slashing cold npm install times by 3.66x and enabling Chrome DevTools network traffic inspection.
Google Ends Gemini CLI for Free Users After 6,000 Community Contributions, Replacing Open Source Tool With Closed-Source Antigravity CLI
Google will shut down free access to the Apache 2.0-licensed Gemini CLI on June 18, replacing it with a closed-source Go rewrite that enterprise subscribers alone will inherit.
Rust 1.96 Ships Copy-Friendly Range Types, Stabilizes assert_matches!, and Patches Two Cargo CVEs
Rust 1.96.0, released May 28, resolves a decade-old ergonomics gap with Copy-implementing range types from RFC 3550, stabilizes assert_matches!, tightens WebAssembly linking, and patches medium and low Cargo vulnerabilities affecting third-party registry users.
GitHub Copilot for Eclipse Goes Open Source Under MIT, Six Weeks After Microsoft Signaled the Move
Microsoft open-sourced its Eclipse IDE Copilot plugin on May 21, releasing roughly 15,000 lines of Java under MIT and drawing 1,200+ stars within hours.
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.