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
3 years of fulltime Rust game development, and why we're leaving Rust behindloglog.games/blog/leaving-rust-gamedev/
510 sats \ 2 comments \ @nym 26 Apr 2024 gaming
Don't write Rust like it's Javajgayfer.com/dont-write-rust-like-java
184 sats \ 2 comments \ @Rsync25 9 Aug 2024 tech
LNURL RS: A rust implementation of LNURLgithub.com/benthecarman/lnurl-rs
391 sats \ 0 comments \ @Rsync25 9 Apr 2024 bitdevs
Private Payments (BIP 351) Rust Implementationgithub.com/private-payments/rust-private-payments
326 sats \ 1 comment \ @cryptocoin 30 Sep 2022 bitcoin
Rust needs an extended standard librarykerkour.com/rust-stdx
163 sats \ 0 comments \ @brandonsbytes 4 Oct 2024 devs
Lightning Client: A Rust implementation of the Lightning Network Protocolgithub.com/isum/lightning-client
80 sats \ 1 comment \ @Rsync25 17 Apr 2024 bitdevs
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
90 sats \ 0 comments \ @jakoyoh629 14 Mar lightning
Arti – A Tor implementation in Rusttpo.pages.torproject.net/core/arti/
258 sats \ 0 comments \ @nym 30 Apr 2024 security
@rustaceanrob's bio
225 sats \ 4 comments \ @rustaceanrob 17 Oct 2023 freebie
[DISCUSS] Introducing Rust into the Git projectlore.kernel.org/git/ZZ77NQkSuiRxRDwt@nand.local/
279 sats \ 10 comments \ @whitewolf 29 May 2024 rust
Torvalds Speaks: Rust's Impact on the Linux Kernelwww.youtube.com/watch?v=YyRVOGxRKLg
449 sats \ 2 comments \ @k00b 22 Jun 2024 rust freebie
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
Rust has three reference types!ssbr.xyz/blog/rust-has-three-reference-types/
141 sats \ 0 comments \ @Rsync25 26 Jun 2024 rust
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/
644 sats \ 10 comments \ @sgtapple 16 Feb 2023 bitcoin
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
BDK's Scope and Approach to Rust Bindingsbitcoindevkit.org/blog/bindings-scope/
69 sats \ 0 comments \ @Rsync25 28 Jun 2023 bitcoin
Rust Bitcoin Librarydocs.rs/bitcoin/latest/bitcoin/
1050 sats \ 1 comment \ @happy 25 Aug 2022 bitcoin
RS Merkle: The most advanced Merkle tree library for Rustgithub.com/antouhou/rs-merkle
67 sats \ 0 comments \ @Rsync25 28 Aug 2023 bitcoin
Linus in private said that he absolutely is going to merge Rust code
180 sats \ 0 comments \ @zuspotirko 19 Feb devs
Introduction - Rust Bitcoin Cookbookrust-bitcoin.org/book/
20 sats \ 0 comments \ @Rsync25 1 Sep 2024 bitdevs
NIP proposal: Trusted Assertions by vitorpamplonagithub.com/nostr-protocol/nips/pull/1534
43 sats \ 0 comments \ @Rsync25 11 Oct 2024 nostr