pull down to refresh

A Lisp Way to Type Theory and Formal Proofshal.science/hal-01563373/document
0 sats \ 0 comments \ @beyond_turbulence 16 Jan 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 2025 bitcoin
Chia Lisp For Bitcoinersdelvingbitcoin.org/t/chia-lisp-for-bitcoiners/636
259 sats \ 3 comments \ @denationalized 18 Mar 2024 bitdevs
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
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMsarxiv.org/abs/2510.04721
180 sats \ 1 comment \ @jakoyoh629 25 Oct 2025 AI
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 2025 tech
Intent as Hole: Lambda Calculus, LISP, and the Topology of Actionbeyondturbulence.blogspot.com/2025/10/intent-as-hole-lambda-calculus-lisp-and.html?m=1
136 sats \ 0 comments \ @beyond_turbulence 22 Oct 2025 AI
AJ Towns on bll (Basic Bitcoin Lisp language)brink.dev/blog/2024/12/19/eng-call-aj-towns-bll/
153 sats \ 0 comments \ @Rsync25 19 Dec 2024 bitcoin
The Art of Lisp and Writingwww.dreamsongs.com/ArtOfLisp.html
10 sats \ 1 comment \ @hn 15 Jun 2025 tech
Some notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.org/312681.html
31 sats \ 0 comments \ @hn 16 May 2024 tech
Bthreads: A Simple and Easy Paradigm for Clojurethomascothran.tech/2024/10/a-new-paradigm/
11 sats \ 0 comments \ @Rsync25 11 Nov 2024 tech
Merkleized Abstract Syntax Treesbtctranscripts.com/bitcoin-core-dev-tech/2017-09-07-merkleized-abstract-syntax-trees/
20 sats \ 0 comments \ @pietro1861 9 Aug 2023 bitcoin
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
Formal Methods: Just Good Engineering Practice? (2024)brooker.co.za/blog/2024/04/17/formal
13 sats \ 0 comments \ @hn 10 Jan 2025 tech
Kanju: For When Formal Systems Fall Shortbc1984.com/kanju-for-when-formal-systems-fall-short/
125 sats \ 0 comments \ @k00b 21 Jan 2025 culture
Sonic: Toolchain for formally-verifiable distributed contractsgithub.com/AluVM/sonic
51 sats \ 0 comments \ @Rsync25 20 Dec 2024 bitdevs
Functional programming self-affirmationsnorikitech.com/posts/functional-affirmations/
172 sats \ 0 comments \ @Rsync25 26 Nov 2024 tech
more-speech: A Nostr browser in Clojuregithub.com/unclebob/more-speech
408 sats \ 0 comments \ @cryptocoin 18 Oct 2022 nostr
How I Learned Generics in Godormoshe.io/trending-news/how-i-learned-generics-in-go-3nc6-67502?utm_source=twitter&utm_campaign=twitter
10 sats \ 0 comments \ @brandonsbytes 13 Nov 2023 tech
ty: An extremely fast Python type checker and language serverastral.sh/blog/ty
50 sats \ 0 comments \ @m0wer 17 Dec 2025 tech
Fp-go: Functional Programming Library for Golanggithub.com/IBM/fp-go
24 sats \ 1 comment \ @hn 18 Aug 2023 tech
Why I Chose Common Lispblog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats \ 1 comment \ @hn 12 Jan 2025 tech