2026-06-06 09:00:33
Creusot. #Contracts for #Rust, formally proved
https://creusot.rs/
Creusot. #Contracts for #Rust, formally proved
https://creusot.rs/
What really impresses me is the creativity still thriving around the MISP project. I maintain MISP warning-lists for years to help filter false positives, and this week @… built a new stand-alone #rust application for fast warning-list lookups, independent of MISP.…
«Scaling Rust codebases: Lessons learned organizing large projects and managing errors»
Puh... yes, I'm still learning about that…
🦀 https://kerkour.com/rust-organize-large-projects-code-error-handling
The best thing about #rust is the increasing number of projects where the install process is "download this single compiled binary". Way better than needing an entire virtual OS for every little thing.
Migrating from #Go to #Rust
https://corrode.dev/learn/migration-guides/go-to-rust/
What we heard about #Rust's challenges, and how we can address them
https://blog.rust-lang.org/2026/03/20/rust-challenges/
TIL/PSA: The #rustlang println! and eprintln! macros will panic if writing fails; so if you start a GUI program with a Rust library in a terminal, backgrounded, and then close the terminal, if the Rust library spits an error/warning it'll panic.
What if #JavaScript and #Rust had a baby?
That is sorta what #KernelScript looks like to me.
#Lisette, a little language inspired by #Rust that compiles to #Go
https://lisett…
ruggine
#photography #urban #rust
I'll get you into #Rust, and you will like it.
In fact, you will *love* it! 🦀🧡
RE: #Rust con…
Korrosion
#photography #rust #oxidation #colors
Alrighty, I've been working with https://kube.rs/ for about 4 months now, and I must say: I *love* it! 🥰 🦀
I got my first operator with a first controller working well, with some rework in progress, yet so stable, and a second controller is in the makings.
Learning