pull down to refresh

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
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
RS Merkle: The most advanced Merkle tree library for Rustgithub.com/antouhou/rs-merkle
67 sats \ 0 comments \ @Rsync25 28 Aug 2023 bitcoin
Introduction to the Theory of Programming Languages: full bookbertrandmeyer.com/2022/09/28/introduction-theory-programming-languages-full-book-now-freely-available/
42 sats \ 0 comments \ @satup 30 Sep 2022 bitcoin
Bitvm Merkle Tree: Merkle tree library to generate inclusion proofsgithub.com/mohammed7s/bitvm_merkle_tree
10 sats \ 0 comments \ @Rsync25 11 Jun 2024 bitdevs
Large Language Models and The End of Programming - CS50 Tech Talk with Dr. Mattwww.youtube.com/watch?v=JhCl-GeT4jw
10 sats \ 0 comments \ @JReeCoin 12 Nov 2023 tech
Large Language Models for Compiler Optimizationarxiv.org/abs/2309.07062
20 sats \ 1 comment \ @hn 18 Sep 2023 tech
Vesper: Declarative human-readable structural languagegithub.com/UBIDECO/vesper
15 sats \ 0 comments \ @Rsync25 1 Feb 2024 tech
Amber - The Programming Language compiled to Bash.amber-lang.com/
215 sats \ 1 comment \ @kristapsk 22 May 2024 devs
Scramble: Open-Source Grammarly Alternativegithub.com/zlwaterfield/scramble
215 sats \ 1 comment \ @jennann 22 Sep 2024 tech
S-lang: WIP implementation of simplicity high level language.github.com/BlockstreamResearch/s-lang
164 sats \ 0 comments \ @Rsync25 18 Mar 2024 bitdevs
Logica – Declarative logic programming language for datalogica.dev/
38 sats \ 0 comments \ @Rsync25 17 Nov 2024 devs
Kanju: For When Formal Systems Fall Shortbc1984.com/kanju-for-when-formal-systems-fall-short/
125 sats \ 0 comments \ @k00b 21 Jan culture
Fp-go: Functional Programming Library for Golanggithub.com/IBM/fp-go
24 sats \ 1 comment \ @hn 18 Aug 2023 tech
Odin: Odin Programming Languagegithub.com/odin-lang/Odin
10 sats \ 0 comments \ @Rsync25 16 Jun 2024 tech
Simplicity is Complicatedgo.dev/talks/2015/simplicity-is-complicated.slide
505 sats \ 4 comments \ @k00b 31 May devs
Merkle Trees and The Simple Problem with Proof of Reservesjameslavish.substack.com/p/merkle-trees-and-the-simple-problem?utm_source=substack&utm_medium=email
709 sats \ 6 comments \ @siggy47 28 Nov 2022 bitcoin
Mistral 7B, the most powerful language model for its size to date, Apache 2.0mistral.ai/news/announcing-mistral-7b/
20 sats \ 1 comment \ @hn 27 Sep 2023 tech
Fourteen Years of Go - The Go Programming Languagego.dev/blog/14years
20 sats \ 0 comments \ @shadowymartian 11 Nov 2023 tech
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 Top Programming Languages 2023spectrum.ieee.org/the-top-programming-languages-2023
207 sats \ 4 comments \ @beorange 30 Aug 2023 tech
Declarative Programming With AI/LLMsblog.codesolvent.com/2024/09/declarative-programming-with-aillms.html
10 sats \ 0 comments \ @Rsync25 15 Sep 2024 tech