pull down to refresh

The Coming Need for Formal Specification | Hacker Newsnews.ycombinator.com/item?id=46251667
0 sats \ 1 comment \ @beyond_turbulence 16 Dec tech
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
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun bitcoin
This Week in Bitcoin Development (Oct, Week 4)
1216 sats \ 1 comment \ @bitcoin_devs 3 Nov bitcoin
Highlights from the bitcoin developer ecosystem... Last week (Oct 6 - 12)insider.btcpp.dev/p/last-week-in-bitcoin-oct-6-12
454 sats \ 0 comments \ @supratic 16 Oct lightning
Formal Methods: Just Good Engineering Practice? (2024)brooker.co.za/blog/2024/04/17/formal
13 sats \ 0 comments \ @hn 10 Jan tech
The Hacker's Perspective - 2600.spring.2022medium.com/@rickswords/the-hackers-perspective-2600-spring-2022-aff526b6eace
21 sats \ 0 comments \ @xianglo 29 Jun 2023 bitcoin
Who Can Understand the Proof? A Window on Formalized Mathematicswritings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/
13 sats \ 0 comments \ @hn 10 Jan tech
This Week in Bitcoin Development (Oct 2025, Week 1)
297 sats \ 1 comment \ @bitcoin_devs 6 Oct bitcoin
Opening Remarks | Lisa Neigut | bitcoin++ ATX script edition | May 2024www.youtube.com/watch?v=yj0CMz9D-pA
33 sats \ 0 comments \ @Rsync25 29 Oct 2024 bitcoin
Bitcoin testing is a ghost town (part 2)allesvoorbitcoin.substack.com/p/bitcoin-testing-is-a-ghost-town-part-3e0
494 sats \ 3 comments \ @avbpod 7 May bitcoin
Why Engineers Can't Be Rational About Programming Languages | Hacker Newsnews.ycombinator.com/item?id=45801416
181 sats \ 2 comments \ @beyond_turbulence 3 Nov tech
You Can't Verify Yourself: Verifying Yourself is a Trust-Based Activity
150 sats \ 4 comments \ @BrantaPro 25 Nov bitcoin
Sonic: Toolchain for formally-verifiable distributed contractsgithub.com/AluVM/sonic
51 sats \ 0 comments \ @Rsync25 20 Dec 2024 bitdevs
OpenSats | Advancements in Developer Librariesopensats.org/blog/advancements-in-developer-libraries
254 sats \ 0 comments \ @0xbitcoiner 4 Aug bitcoin
“Inside Bitcoin Code” is Backopen.substack.com/pub/insidebitcoincode/p/ibc-is-back?r=2c4bjq&utm_medium=ios
1313 sats \ 1 comment \ @tuma 6 Aug bitcoin
Is the OSC Prepared for the New Regulatory Reality of the Cyber Resilience Act?www.linuxfoundation.org/blog/unaware-and-uncertain-is-the-open-source-community-prepared-for-the-new-regulatory-reality-of-the-cyber-resilience-act
100 sats \ 0 comments \ @0xbitcoiner 28 Mar Politics_And_Law
AJ Towns censoring on Delving Bitcoin to cover Bitcoin Core backdoors ?
15.9k sats \ 122 comments \ @theariard 27 Feb 2024 bitcoin
🎧 TFTC rip 332: Developing bitcoin developers with Kyle Murphy and Lisa Neigut | TFTC - Marty Bentwww.youtube.com/watch?v=TnUduSmufQM
1093 sats \ 4 comments \ @cryptocoin 11 May 2022 bitcoin
Bitcoin CoreDev reflections 2024-2025adamjonas.com/bitcoin/coredev/retro/coredev-2024-retro/
2246 sats \ 1 comment \ @supratic 9 Feb bitdevs
The Sabotage Of Bitcoin
57 sats \ 4 comments \ @0xbitcoiner 29 Feb 2024 bitcoin
Hacktoberfest 2024: Celebrate All Things Open Source!www.digitalocean.com/blog/hacktoberfest-2024
41 sats \ 0 comments \ @ravener 5 Oct 2024 devs