pull down to refresh

What Rust Got Wrong on Formal Verificationgavinhoward.com/2024/05/what-rust-got-wrong-on-formal-verification/
133 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/
2191 sats \ 1 comment \ @schmidty 7 Aug bitcoin
Rust 1.81 stabilizes Error traitwww.infoworld.com/article/3511396/rust-1-81-stabilizes-error-trait.html
10 sats \ 0 comments \ @ch0k1 10 Sep 2024 devs
Some notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.org/312681.html
31 sats \ 0 comments \ @hn 16 May 2024 tech
AWS will pay devs to verify Rust standard librarydevclass.com/2024/11/21/aws-will-pay-devs-to-verify-rust-standard-library-because-of-7500-unsafe-functions-and-enormity-of-task/
39 sats \ 0 comments \ @ch0k1 22 Nov 2024 devs
Security advisory for the standard library (CVE-2024-43402) | Rust Blogblog.rust-lang.org/2024/09/04/cve-2024-43402.html
10 sats \ 0 comments \ @Rsync25 5 Sep 2024 security
The weird of function-local types in Rust | Bonelastio.github.io/bon/blog/the-weird-of-function-local-types-in-rust
10 sats \ 0 comments \ @Rsync25 21 Aug 2024 tech
Lessons learned from a successful Rust rewritegaultier.github.io/blog/lessons_learned_from_a_successful_rust_rewrite.html
139 sats \ 0 comments \ @Rsync25 30 Oct 2024 tech
Don't write Rust like it's Javajgayfer.com/dont-write-rust-like-java
184 sats \ 2 comments \ @Rsync25 9 Aug 2024 tech
Hello World in Rust – Example Programwww.freecodecamp.org/news/hello-world-in-rust/
31 sats \ 0 comments \ @Rsync25 5 Nov 2024 tech
Tokio: A runtime for writing reliable asynchronous applications with Rustgithub.com/tokio-rs/tokio
10 sats \ 0 comments \ @Rsync25 2 Jul 2024 rust
Developer-first diagnostics for Rust applicationskodraus.github.io/rust/2024/06/13/introducing-emit.html
10 sats \ 0 comments \ @Rsync25 16 Jun 2024 rust
Rust has three reference types!ssbr.xyz/blog/rust-has-three-reference-types/
141 sats \ 0 comments \ @Rsync25 26 Jun 2024 rust
Rust Silent Payments: A rust implementation of BIP352: Silent Paymentsgithub.com/cygnet3/rust-silentpayments
87 sats \ 0 comments \ @Rsync25 22 May 2024 bitdevs
Weird expressions in rustwww.wakunguma.com/blog/rust-weird-expr
50 sats \ 0 comments \ @carter 28 Jun devs
Translations of a simple C program to Rust.github.com/BurntSushi/rsc-regexp
10 sats \ 0 comments \ @Rsync25 3 Nov 2023 tech
@rustaceanrob's bio
225 sats \ 4 comments \ @rustaceanrob 17 Oct 2023 freebie
The Bitcoiner's Introduction to Rustgithub.com/sb1752/bitcoiner-intro-to-rust
732 sats \ 2 comments \ @Rsync25 1 May 2024 bitdevs
Introduction - Rust Nostr Bookrust-nostr.org/
31 sats \ 0 comments \ @Rsync25 2 Aug 2024 nostr
Private Payments (BIP 351) Rust Implementationgithub.com/private-payments/rust-private-payments
326 sats \ 1 comment \ @cryptocoin 30 Sep 2022 bitcoin
Traits: Collection of cryptography-related traits in Rustgithub.com/RustCrypto/traits
21 sats \ 0 comments \ @Rsync25 9 Jun 2024 rust
Lightning Client: A Rust implementation of the Lightning Network Protocolgithub.com/isum/lightning-client
80 sats \ 1 comment \ @Rsync25 17 Apr 2024 bitdevs