pull down to refresh

Coding Guidelines for Prolog (2011)arxiv.org/abs/0911.2899
21 sats \ 1 comment \ @hn 23 Sep 2023 tech
related
Private banks over The Lightning Network
2699 sats \ 10 comments \ @DarthCoin 16 Dec 2022 bitcoin
#1: What's difference between Standard & Non-Standard Scripts
1568 sats \ 5 comments \ @bitcoin_devs 20 Nov 2024 bitcoin
Decoding #2: Locking & Unlocking Scripts 🔒🔓
5030 sats \ 3 comments \ @bitcoin_devs 25 Nov 2024 bitcoin
Here’s how I use LLMs to help me write code -- Simon Willisonsimonwillison.net/2025/Mar/11/using-llms-for-code/
520 sats \ 0 comments \ @StillStackinAfterAllTheseYears 12 Mar tech
Manifesto: Rules for standards-makers (2017)scripting.com/2017/05/09/rulesForStandardsmakers.html
204 sats \ 1 comment \ @k00b 9 Mar nostr
Chia Lisp For Bitcoinersdelvingbitcoin.org/t/chia-lisp-for-bitcoiners/636
259 sats \ 3 comments \ @denationalized 18 Mar 2024 bitdevs
Scramble: Open-Source Grammarly Alternativegithub.com/zlwaterfield/scramble
215 sats \ 1 comment \ @jennann 22 Sep 2024 tech
Implementing BIP39 in Haskell to learn how it worksjirijakes.com/text/bip39/
151 sats \ 6 comments \ @jirijakes 26 Jul 2023 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
Functional programming self-affirmationsnorikitech.com/posts/functional-affirmations/
172 sats \ 0 comments \ @Rsync25 26 Nov 2024 tech
Grok 3 Beta — The Age of Reasoning Agentsx.ai/blog/grok-3
763 sats \ 7 comments \ @k00b 20 Feb AI
Lesson planning with AI in 20 mins
311 sats \ 1 comment \ @cryotosensei 7 May 2024 alter_native
Amber - The Programming Language compiled to Bash.amber-lang.com/
215 sats \ 1 comment \ @kristapsk 22 May 2024 devs
Coding being dead as a career option after GPT-4o coding demowww.windowscentral.com/software-apps/im-convinced-nvidias-ceo-was-right-about-coding-being-dead-in-the-water-as-a-career-option-after-watching-openais-gpt-4o-coding-demo
416 sats \ 7 comments \ @ch0k1 19 May 2024 science
LLM Engineer's Handbook: Master the art of engineering large language modelswww.amazon.com/LLM-Engineers-Handbook-engineering-production/dp/1836200072/
53 sats \ 0 comments \ @Rsync25 19 Nov 2024 BooksAndArticles
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
What We Know About LLMs (A Primer)willthompson.name/what-we-know-about-llms-primer
163 sats \ 1 comment \ @hn 25 Jul 2023 tech
Logica – Declarative logic programming language for datalogica.dev/
38 sats \ 0 comments \ @Rsync25 17 Nov 2024 devs
BitVM compiler: Generate a logical circuit for BitVMgithub.com/maitrebitcoin/bitcoin-bitvm-compiler
128 sats \ 0 comments \ @Rsync25 28 Oct 2023 bitcoin
Gödel's Therapy Room - LLM Eval Harness & Leaderboardgtr.dev/
105 sats \ 2 comments \ @geeknik 23 Apr AI
Pragtical: Practical and pragmatic code editorpragtical.dev/
41 sats \ 0 comments \ @hn 20 Aug 2024 tech bot