Enabling the next iteration of the borrow checker on nightly

8 hours ago

Rust is enabling the next iteration of the borrow checker, Polonius Alpha, on nightly, aiming for stabilization in the next few months.
Polonius Alpha introduces flow-sensitive borrow checking of lifetime outlives relationships, allowing more code to compile than the current NLL borrow checker.
Key examples of code that now compiles include conditional branches where a borrow is not live in all paths, such as `get_mut_or_default` and `reborrow` functions.
Polonius Alpha is not a full replacement; some programs that compiled under the original (slow) Polonius do not compile with Polonius Alpha, though some new programs also work.
Performance regressions are generally minimal among the top 10,000 crates, with a few outliers showing up to 2–3x slowdowns in cases with many borrows.
Users can opt out on nightly by passing `-Zpolonius=off` to rustc or via `.cargo/config.toml`.
The team will monitor for issues and performance regressions before stabilization, aiming to stabilize by the end of the year.

The Polonius Alpha borrow checker is being enabled on Rust nightly as a precursor to stabilization in the coming months.
Polonius introduces flow-sensitive borrow checking, allowing more valid code to compile, such as code that conditionally returns borrows or uses match arms.
NLL (Non-Lexical Lifetimes) is flow-insensitive实战 and can be too conservative in such cases.

Go 1.27 introduces type parameters on methods, allowing generic operations on types to be defined as methods instead of package-level functions.
Struct literal keys can now use promoted fields from embedded structs directly, simplifying initialization syntax.
Function type inference is generalized to work in conversions, composite literals, and other contexts, reducing the need for explicit type arguments.

<antirez>8 days ago

DotScale 2015 conference was interesting; work focused on Sentinel for connection sharing and scaling.
Redis 3.2 will include a Geo hashing API from Ardb, refactored by Matt Stancliff, merged as a priority.
Bloom filters will be added in 3.2, likely as a new type with API control for accuracy/space tradeoff and auto-depollution.

<antirez>8 days ago

Redis 4.0 Release Candidate 1 is now available with major new features.
It includes a modules system for custom data types and non-blocking commands.
Replication version 2 (PSYNC2) allows partial resynchronization after topology changes.

zkSecurity built zkao, an AI audit agent designed to continuously find bugs in code until no AI-detectable ones remain.
An audit of Cloudflare's CIRCL library found seven real bugs, including critical issues in threshold RSA and attribute-based encryption, all now fixed.
Bugs included: float64 precision loss, DLEQ forgery, BLS missing message distinctness, DLEQ soundness break via sign collision, HPKE PSK bypass, int64 overflow in Lagrange coefficients, and CP-ABE access-control break.

The Polonius Alpha borrow checker is being enabled on Rust nightly as a precursor to stabilization in the coming months.
Polonius introduces flow-sensitive borrow checking, allowing more valid code to compile, such as code that conditionally returns borrows or uses match arms.
NLL (Non-Lexical Lifetimes) is flow-insensitive实战 and can be too conservative in such cases.

Go 1.27 introduces type parameters on methods, allowing generic operations on types to be defined as methods instead of package-level functions.
Struct literal keys can now use promoted fields from embedded structs directly, simplifying initialization syntax.
Function type inference is generalized to work in conversions, composite literals, and other contexts, reducing the need for explicit type arguments.

<antirez>8 days ago

DotScale 2015 conference was interesting; work focused on Sentinel for connection sharing and scaling.
Redis 3.2 will include a Geo hashing API from Ardb, refactored by Matt Stancliff, merged as a priority.
Bloom filters will be added in 3.2, likely as a new type with API control for accuracy/space tradeoff and auto-depollution.

<antirez>8 days ago

Redis 4.0 Release Candidate 1 is now available with major new features.
It includes a modules system for custom data types and non-blocking commands.
Replication version 2 (PSYNC2) allows partial resynchronization after topology changes.

zkSecurity built zkao, an AI audit agent designed to continuously find bugs in code until no AI-detectable ones remain.
An audit of Cloudflare's CIRCL library found seven real bugs, including critical issues in threshold RSA and attribute-based encryption, all now fixed.
Bugs included: float64 precision loss, DLEQ forgery, BLS missing message distinctness, DLEQ soundness break via sign collision, HPKE PSK bypass, int64 overflow in Lagrange coefficients, and CP-ABE access-control break.

Hasty Briefsbeta