RustNL** Speaker announcement ** Catch Cliff L. Biffle's talk 'Common Pitfalls of Rewriting Things In Rust' at RustWeek 2026!
Info & tickets: https://2026.rustweek.org/talks/cliff/
See you in Utrecht May 18-23, 2026!
Daniel S. Reichenbach`rilua` now has a WASM demo page:
https://wowemulation-dev.github.io/rilua/
So you can now try out our #lua in #rustlang implementation without any downloads.
KDABImprove your #programming skills with Codebrowser - an online C, C++, Rust & Dart code browser. It focuses on improving the code navigation with proper semantic highlighting and tooltips. #C #Cpp #RustLang #Dart #Coding Try it out on
https://codebrowser.dev
https://codebrowser.dev
LogicalErzormaybe someone in #rustlang can explain cve-rs another way?
im not too familiar with rust myself so i dont want to lead u down the wrong direction, but &’static can be used in place of &’a because &’static (which lasts forever) is guaranteed to last &’a (which lasts within that forever)
the video explains that this is because of contravariance: https://en.wikipedia.org/wiki/Type_variance#Contravariant_method_parameter_type
i definitely had to watch the vid a couple of times to understand it 😅
Ratatui
Orhun Parmaksız 👾Terminal now can help you with formal proofs and theorem provers 🤯
📐 **lean-tui** — A TUI for visualizing Lean programs and proofs
💯 Live proof trees, data/effect flow views & real-time updates from your editor
🦀 Written in Rust & built with @ratatui_rs
⭐ Source: https://codeberg.org/wvhulle/lean-tui
#rustlang #ratatui #tui #lean #theoremproving #cli #devtools #terminal
voided warrantyYour irregular reminder to sponsor servo development #RustLang
Erik C. ThauvinRust debugging survey 2026 has launched
https://blog.rust-lang.org/2026/02/23/rust-debugging-survey-2026/
gyptazy#ProxPatch for #Proxmox VE Clusters!
Automate the most repetitive operational task in Proxmox: keeping cluster nodes updated! ProxPatch drains, migrates, patches, and reboots nodes in a controlled rolling fashion — no downtime, no manual intervention.
ProxPatch is written in Rust and fully #opensource.
Website: https://proxpatch.de
GitHub: https://github.com/gyptazy/ProxPatch
#PVE #homelab #enterprise #Debian #PatchManagement #ProxmoxVE #Security #ProxLB #SecurityUpdateManagement #Automation #Rustlang
Automate the most repetitive operational task in Proxmox: keeping cluster nodes updated! ProxPatch drains, migrates, patches, and reboots nodes in a controlled rolling fashion — no downtime, no manual intervention.
ProxPatch is written in Rust and fully #opensource.
Website: https://proxpatch.de
GitHub: https://github.com/gyptazy/ProxPatch
#PVE #homelab #enterprise #Debian #PatchManagement #ProxmoxVE #Security #ProxLB #SecurityUpdateManagement #Automation #Rustlang
penguin42Fun #esp32 trick (on the s3 at least) - you can force it into download mode without having access to the GPIO0 wire; there's a RTC_CNTL_FORCE_DOWNLOAD_BOOT bit. In #rustlang with the esp-hal it looks like:
// force download mode after the reboot
peripherals::LPWR::regs().option1().modify(|_, w| {
w.force_download_boot().set_bit()
});
software_reset();