pull down to refresh

What Rust Got Wrong on Formal Verificationgavinhoward.com/2024/05/what-rust-got-wrong-on-formal-verification/
183 sats \ 0 comments \ @brandonsbytes 23 May 2024 devs
related
Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2221 sats \ 1 comment \ @schmidty 7 Aug 2025 bitcoin
Announcing Rust 1.72.0 | Rust Blogblog.rust-lang.org/2023/08/24/Rust-1.72.0.html
1056 sats \ 0 comments \ @Rsync25 24 Aug 2023 tech
The Bitcoiner's Introduction to Rustgithub.com/sb1752/bitcoiner-intro-to-rust
747 sats \ 2 comments \ @Rsync25 1 May 2024 bitdevs
Towards a Formal Verification of the Lightning Network with TLA+arxiv.org/pdf/2307.02342
145 sats \ 0 comments \ @Kathleen_Croteau 14 Feb 2024 lightning
How Rust went from a side project to the world’s most-loved programming languagewww.technologyreview.com/2023/02/14/1067869/rust-worlds-fastest-growing-programming-language/
645 sats \ 10 comments \ @sgtapple 16 Feb 2023 bitcoin
Rust Bitcoin Librarydocs.rs/bitcoin/latest/bitcoin/
1051 sats \ 1 comment \ @happy 25 Aug 2022 bitcoin
Announcing Rust 1.67.0 | Rust Blogblog.rust-lang.org/2023/01/26/Rust-1.67.0.html
271 sats \ 5 comments \ @pow 27 Jan 2023 bitcoin
OpenBazaar/openbazaar3-rust: Rust implementation of OpenBazaar 3.0github.com/OpenBazaar/openbazaar3-rust
1090 sats \ 8 comments \ @kr 28 Mar 2023 bitcoin
Toy BitVM: Experimental toy BitVM implementation in Rustgithub.com/chainwayxyz/toy-bitvm-rs
1826 sats \ 2 comments \ @Rsync25 2 Feb 2024 bitcoin
🦀 Small exercises to get you used to reading and writing Rust code!rustlings.cool
597 sats \ 0 comments \ @satoshiplanet 3 Feb 2024 devs
Rust has three reference types!ssbr.xyz/blog/rust-has-three-reference-types/
151 sats \ 0 comments \ @Rsync25 26 Jun 2024 rust
Linux maintainer takes stance IN FAVOR of Rust drivers in Linux
373 sats \ 2 comments \ @zuspotirko 20 Feb 2025 devs
Don't write Rust like it's Javajgayfer.com/dont-write-rust-like-java
284 sats \ 2 comments \ @Rsync25 9 Aug 2024 tech
rust-payjoin 0.13.0 Improves Taproot, V2, and Receiver Error Handling Supportcrates.io/crates/payjoin/0.13.0
1214 sats \ 3 comments \ @bitgould 4 Jan 2024 bitcoin
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
146 sats \ 0 comments \ @jakoyoh629 14 Mar 2025 lightning
Sqlx: 🧰 The Rust SQL Toolkit. An async, pure Rust SQLgithub.com/launchbadge/sqlx
213 sats \ 0 comments \ @Rsync25 3 Jun 2024 rust
LNURL RS: A rust implementation of LNURLgithub.com/benthecarman/lnurl-rs
406 sats \ 0 comments \ @Rsync25 9 Apr 2024 bitdevs
Lessons learned from a successful Rust rewritegaultier.github.io/blog/lessons_learned_from_a_successful_rust_rewrite.html
239 sats \ 0 comments \ @Rsync25 30 Oct 2024 tech
RustConf speakers affirm Rust for Linux project despite challenges of Rustdevclass.com/2024/09/18/rustconf-speakers-affirm-rust-for-linux-project-despite-challenges-of-unstable-rust-maintainer-resignation/
334 sats \ 0 comments \ @Rsync25 27 Sep 2024 tech
Maestro: A Linux-compatible kernel in Rustblog.lenot.re/a/introduction
457 sats \ 1 comment \ @hn 3 Jan 2024 tech
3 years of fulltime Rust game development, and why we're leaving Rust behindloglog.games/blog/leaving-rust-gamedev/
537 sats \ 2 comments \ @nym 26 Apr 2024 gaming