#Znext
Wow! The new trait solver now fully builds the Rust compiler. Huge milestone.

Now comes the long tail of getting all the *other* crates in the world to compile too :)

github.com/rust-lang/ru...
[DO NOT MERGE] bootstrap with `-Znext-solver=globally` by lcnr · Pull Request #133502 · rust-lang/rust
A revival of #124812. Current status: ./x.py b --stage 2 passes 🎉 commits support revealing defined opaque post borrowck #133501 do not constrain infer vars in find_best_leaf_obligation #133493 94...
github.com
November 28, 2024 at 3:47 AM
New talk video 🙌 Hear from Icnr about the next-generation trait solver that the types team is currently working on – -Znext-solver: what, why, and when. Also, make sure to subscribe to our YT channel to not miss any talks! 🦀

👉 youtu.be/HUVjZyANCjM

#EuroRust #RustConference #RustLang
-Znext-solver: what, why, and when - lcnr | EuroRust 2025
YouTube video by EuroRust
youtu.be
December 23, 2025 at 1:23 PM
The problem is with Generic Associated Types in Rust, that feature was rushed into stable.

Should fix in the new solver
blog.rust-lang.org/inside-rust/....
Rustc Trait System Refactor Initiative Update: Stabilizing `-Znext-solver=coherence` | Inside Rust Blog
Want to follow along with Rust development? Curious how you might get involved? Take a look!
blog.rust-lang.org
March 13, 2025 at 1:51 PM
#Znext is here... the IBM z17 mainframe!
www.redbooks.ibm.com/feature/z17
IBM z17 | IBM Redbooks
Meet IBM z17, the newest member of the IBM Z family. Accelerate your digital transformation initiatives.
www.redbooks.ibm.com
April 8, 2025 at 1:27 PM
FACTANZA e la reinvenzione dell’informazione italiana.

open.substack.com/pub/insoppor...
FACTANZA e la reinvenzione dell’informazione italiana.
Oggi, 1 aprile 2026, ZNEXT (la piattaforma industriale di Zanichelli Holding) ha acquisito la quota di maggioranza di Factanza Media per 5,1 milioni di euro.
open.substack.com
April 1, 2026 at 4:53 PM
I know most folks don't always have time to attend the PTG or read all the documentation that comes out of that planning; so for OpenStack Ironic I made a video summarizing the event; starting with the Ironic retrospective and ending with a look into znext cycle.

www.youtube.com/watch?v=TE5G...
OpenStack Ironic 2025.2 (Flamingo) PTG Recap
YouTube video by GR Open Source Software
www.youtube.com
April 24, 2025 at 4:06 PM
Quand un éditeur centenaire devient venture builder, Zanichelli amorce un virage stratégique avec ZNEXT
Quand un éditeur centenaire devient venture builder, Zanichelli amorce un virage stratégique avec ZNEXT
Zanichelli Editore, maison d’édition fondée en 1859 à Bologne, lance ZNEXT, une initiative de 60 millions d’euros destinée à soutenir des projets
www.frenchweb.fr
June 25, 2025 at 9:58 AM
Development for the next-generation trait solver for #Rust is moving along smoothly, and will be used as the default for coherence checking from Rust 1.84. It will remove inconsistencies and theoretical soundness issues, and enable future type system improvements.

#rustlang #programming
Rustc Trait System Refactor Initiative Update: Stabilizing `-Znext-solver=coherence` | Inside Rust Blog
Want to follow along with Rust development? Curious how you might get involved? Take a look!
blog.rust-lang.org
December 6, 2024 at 11:40 AM
On April 8th IBM Z Day is back for a Special Edition!

3 tracks:

- IBM zNext (the next IBM #mainframe 🥳)

- AI & Data (check out the new accelerator in the IBM Telum II chip & the new IBM Spyre AI Accelerator 🤖)

- App Dev & IT Ops 🧑‍💻

Still planning, but you can register! ibm.biz/ibmzday2025-se
No Cost | IBM | Conference - IBM Z Day: Special Edition
#ibmzday | April 8, 2025 | Virtual Conference | Register Now
ibm.biz
February 26, 2025 at 3:46 PM
La piattaforma di Zanichelli punta su contenuti e Gen Z per integrare media, education e tecnologia in un ecosistema scalabile #bianca-arrighini #factanza #factanza-academy #gen-z #livia-vigano #zanichelli-holding #znext
ZNext acquisisce Factanza Media per 5,1 milioni di euro
La piattaforma di Zanichelli punta su contenuti e Gen Z per integrare media, education e tecnologia in un ecosistema scalabile
forbes.it
April 1, 2026 at 1:24 PM
Un nuovo progetto imprenditoriale di Zanichelli per selezionare e sviluppare realtà tecnologiche ad alto potenziale. #edtech #elena-lavezzi #irene-enriques #startup #zanichelli-editore #znext
Nasce ZNext: 60 milioni da Zanichelli Editore per per supportare startup e imprenditori in settori legati all’apprendimento
Un nuovo progetto imprenditoriale di Zanichelli per selezionare e sviluppare realtà tecnologiche ad alto potenziale.
forbes.it
June 23, 2025 at 11:20 AM
April 1, 2026 at 2:00 PM
-Znext-solver: what, why, and when - lcnr | EuroRust 2025 youtu.be/HUVjZyANCjM?... via @YouTube #eurorust #rust
-Znext-solver: what, why, and when - lcnr | EuroRust 2025
YouTube video by EuroRust
youtu.be
December 24, 2025 at 2:14 AM
Error: failed to parse lock file at: RESOLVED: Caused by: lock file version 4 requires `-Znext-lockfile-bump`
**Wrong Solana version** the error is du to anchor using cargo and rustc from within your Solana release not rustup update toolchains... One thing that worked was opening corgo.lock file and putting a "3" in version instead of 4.... It will compile but you'll run into a rusc or cargo using 1.79 but you are using 1.75... Rustup update won't fix that as i said it uses rust from within solana... **To fix both errors** just update your solana cli --version to a 2.1.x version just go take a look at the different solana-program versions and rust version at crates.io... you can go chexk out solana-program versions and rust requierments here: (not alloud anymore links) solana-program@=>2.1.0 using rust crates, its best to match all basiv solana instances to same version and also to use the same cli version ex: solana-program: 2.1.11 solana-sdk: 2.1.11, solana-???? 2.1.11 all the same. **Then update your solana using:** sh -c "$(curl -sSfL https://release.anza.xyz/stable/install)" just replace /stable with v^2.1.0 or any version above 2.1.x Then if you run into dependencies problems use the same crates.io link and search for crate or dependency and look at its dependencies and match.. Generally cargo add fetches the right version if no entry is present...
users.rust-lang.org
February 22, 2025 at 8:18 AM
ZNEXT has secured a majority stake in the Italian digital media platform Factanza Media to accelerate growth in education and corporate agency services.

🔗 Read more on NewDecoded: https://nwd.plus/qnKgbpz
ZNEXT Acquires Majority Stake in Factanza Media for $5.7 Million to Scale Digital Education | NewDecoded
ZNEXT has secured a majority stake in the Italian digital media platform Factanza Media to accelerate growth in education and corporate agency services.
nwd.plus
April 8, 2026 at 9:01 AM