pull down to refresh

Translation of the Rust's core and alloc crates to Coq for formal verificationformal.land/blog/2024/04/26/translation-core-alloc-crates
0 sats \ 0 comments \ @hn 15 May 2024 tech
related
Legend of the Snail | 19/20 participants left | 24 days until next KO | $67,982
152k sats \ 21 comments \ @oracle 18 Mar 2024 oracle
Most comments wins 👀
3806 sats \ 9,404 comments \ @ek 19 Apr meta
What was your favorite Stacker News post of 2023?
4480 sats \ 31 comments \ @sn 26 Dec 2023 meta
This Stacker Deserves Even More Recognition
1940 sats \ 24 comments \ @siggy47 15 Jan bitcoin
Learn Building a Rust Wallet with LDK Node by Ben Carmanyoutu.be/D2KDq4ohFXA?si=1W7KT_f4Yohj_PBe
763 sats \ 3 comments \ @Car 22 Apr builders
Legend of the Snail | 19/20 participants left | 43 days until next KO | $61,133
5574 sats \ 14 comments \ @oracle 28 Feb 2024 oracle
Million Sat Madness Leaderboard — #835081
930 sats \ 98 comments \ @0xbitcoiner 17 Mar 2024 oracle
I grinded ~5000 hrs of Bitcoin content to build WhyBitcoinOnly.com. AMAwhybitcoinonly.com/
22.8k sats \ 58 comments \ @WhyBitcoinOnly 8 Dec 2023 AMA
Search and most commented on stacker news….
1220 sats \ 6 comments \ @jarednxx 15 Aug 2022 bitcoin
~Econ Q1 Awards
515 sats \ 6 comments \ @Undisciplined 6 Apr econ
Limitations of Link Posts
976 sats \ 16 comments \ @siggy47 2 Apr 2023 bitcoin
⚡️ Storm Report: Best posts about the Lightning Network on SN - issue: 880210
1569 sats \ 5 comments \ @HODLR 21 Jan lightning
Ask Stacker News - Your Bitcoin, Lightning, & Nostr Questions Answered
449 sats \ 9 comments \ @sn 13 Jul 2023 meta
Million Sat Madness v2 Leaderboard — #838481
940 sats \ 16 comments \ @0xbitcoiner 9 Apr 2024 meta
coding an initial handshake with bitcoin node in rust
616 sats \ 8 comments \ @pycan 8 May 2024 tech
Building on Rust Workshop Series + Rusty Vibe Coding Hackathon: PlebLab in Aprilwww.meetup.com/pleb-lab/events/
1358 sats \ 0 comments \ @Car 4 Apr builders
Word-of-Mouth Wednesday!
2268 sats \ 19 comments \ @Scoresby 18 Jun meta
An Interesting OP_RETURNwww.blockstream.info/tx/d29c9c0e8e4d2a9790922af73f0b8d51f0bd4bb19940d9cf910ead8fbe85bc9b?expand
509 sats \ 17 comments \ @random_ 13 Jul 2022 bitcoin
What's Your Maximum Reward on SN Leaderboard (daily)?
549 sats \ 34 comments \ @IamSINGLE 14 Jun 2024 meta freebie
I shared a never known fact about Hal Finey and everyone ignored it!x.com/raw_avocado/status/1917629692883918925
422 sats \ 20 comments \ @raw_avocado 1 May bitcoin
Reflecting on the sentiment of the numeric: 1 MILLION items
569 sats \ 31 comments \ @plebpoet 12 Jun meta