pull down to refresh

Formal Reasoning [pdf] | Hacker Newsnews.ycombinator.com/item?id=45711062
0 sats \ 2 comments \ @beyond_turbulence 26 Oct science
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
Computer Scientists Combine Two ‘Beautiful’ Proof Methodswww.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/
377 sats \ 0 comments \ @0xbitcoiner 6 Oct 2024 science
Computer Scientists Figure Out How To Prove Lieswww.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
280 sats \ 1 comment \ @0xbitcoiner 9 Jul crypto
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
Formal Methods: Just Good Engineering Practice? (2024)brooker.co.za/blog/2024/04/17/formal
13 sats \ 0 comments \ @hn 10 Jan tech
ProofOfThought: LLM-based reasoning using Z3 theorem provinggithub.com/DebarghaG/proofofthought
21 sats \ 0 comments \ @hn 4 Oct tech
Episode 162: Reasoning Stream
10 sats \ 1 comment \ @AtlantisPleb 14 Feb openagents
Kanju: For When Formal Systems Fall Shortbc1984.com/kanju-for-when-formal-systems-fall-short/
125 sats \ 0 comments \ @k00b 21 Jan culture
Speculative Attack, Season Two — Axiomwww.axiombtc.capital/attack
10 sats \ 0 comments \ @Rsync25 4 Jul 2024 bitcoin
Chicago BitDevs Socratic Seminar 46chibitdevs.org/2023-09-14-Socratic-Seminar-46
2789 sats \ 0 comments \ @kevkevin 14 Sep 2023 bitcoin
Episode 163: Issue Reasoning Demo
56 sats \ 1 comment \ @AtlantisPleb 15 Feb openagents
Understanding Reasoning LLMsmagazine.sebastianraschka.com/p/understanding-reasoning-llms
28 sats \ 0 comments \ @hn 7 Feb tech
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
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun bitcoin
Kevin Rookie Podcast - John Light on Validity Rollups , ZK-proofs, and LN | E75youtu.be/feODuDF2xv0
417 sats \ 8 comments \ @timechain 21 Oct 2022 bitcoin
A Tour De Force Defense of Natural Lawwww.lewrockwell.com/2024/11/ira-katz/a-tour-de-force-defense-of-natural-law/
63 sats \ 2 comments \ @Rothbardian_fanatic 1 Nov 2024 BooksAndArticles
Exploring Advanced Reasoning Techniques for LLMs: CoT, STaR, and ToTwww.eddieoz.com/exploring-advanced-reasoning-techniques-for-llms-chain-of-thought-cot-step-by-step-rationalization-star-and-tree-of-thoughts-tot/
11 sats \ 0 comments \ @Rsync25 20 Aug 2024 tech
LIMO: Less Is More for Reasoningarxiv.org/abs/2502.03387
9 sats \ 0 comments \ @hn 9 Feb tech
ZKP-Workshop: Explore the world of zero-knowledge proofs from first principlesgithub.com/uncomputable/zkp-workshop
142 sats \ 0 comments \ @Rsync25 20 May 2023 bitcoin
The Validation - Richardwww.youtube.com/watch?v=DwVHJgZiWDU
52 sats \ 1 comment \ @Memehound 4 Feb 2023 bitcoin
Zero Knowledge Proofs: An illustrated primerblog.cryptographyengineering.com/2014/11/zero-knowledge-proofs-illustrated-primer.html
653 sats \ 13 comments \ @pi 5 Feb 2023 bitcoin