»Prusti is an automated program verifier for Rust, based on the Viper infrastructure. It leverages Rust's strong type guarantees to simplify the specification and verification of Rust programs.«
Do any of you know this and use it or are there "better" or even integrated tools for this, if such a thing is needed at all?
Last Friday we had our 4th virtual @bevy meetup, let's say thank you to the amazing speakers: François, Lorenz and Jos - in case you want to (re)watch it here is the recording: https://youtube.com/live/rnE_nINEs2M - #rustlang#gamedev 🦀🎮
#C compiler on error: Line 45: segfault 0x00000634634 #Rust compiler on error: There is an issue with your code in the line 45, see here: [you code]. To fix it you simply have to do this and this, like that [fixed code]. Please have a nice day! #rustlang#programming#software
Wow, I'm blown away - thank you so much for the warm response! Advanced Hands-on Rust is atop the publisher's best sellers list already!
I've started work on the next beta release - fixing bugs, improving code, updating the Bevy version and tuning the next chapter. (Beta readers get every update including the final release)
Some may wonder why people would block CI on #rustlang nightly.
My answer is simple: either I block in CI, or I will completely ignore it. if we all stopped blocking on nightly, then a problem wouldn't be noticed until it reached beta, which is a much bigger deal to fix.
Nun ja, auch wenn Passkey was gutes ist und von grossen Firmen bereits angeboten im Einsatz ist, fast keine kleinere Firma investiert in die Tools daführ. Dies auch mMn weil sie es als "zu teuer & unnötig" ansehen.
»Chance verpasst – Webauthn-rs-Entwickler hält Passkeys für geplatzten Traum: #Passkey's sollen Anmeldevorgänge sicherer und benutzerfreundlicher machen. Der Entwickler einer #Webauthn-Bibliothek für #Rust sieht das Vorhaben inzwischen als gescheitert an.«
🧵 …wie im obigen verlinkten Artikel schon erwähnt, kann ich durchaus @bitwarden oder deren in Rust entwickelten Klon @vaultwarden_releases empfehlen, obwohl ich persönlich @keepassxc bevorzuge und über eine @nextcloud Instanz die Daten zwischen den Geräten synchronisiere 🔑
I wonder how to best describe how #RustLang influences design, for better or worse. Here is some rambling...
It makes you avoid cyclical data structures, and you are far more aware of ownership. This makes surprising action at a distance harder. It also makes it more difficult to misuse globals or struct fields as globals just to pass data along to where it is needed no matter how.
Enums turn out to replace dynamic dispatch very often. Inheritance is just gone.