pull down to refresh

αProlog: A Logic Programming Language with Names, Binding and α-Equivalencehomepages.inf.ed.ac.uk/jcheney/publications/alpnba.pdf
104 sats \ 0 comments \ @beyond_turbulence 7 Mar Design science devs
related
Homorupt || := When Genuine Logic Evaporatesbeyondturbulence.blogspot.com/2026/03/homorupt.html?m=1
298 sats \ 0 comments \ @beyond_turbulence 4 Mar AI science Education BooksAndArticles
[WIP] BIP300 (Drivechains) consensus-level logic by luke-jrgithub.com/bitcoin/bitcoin/pull/28311
4631 sats \ 21 comments \ @Rsync25 22 Aug 2023 bitcoin
Logica – Declarative logic programming language for datalogica.dev/
88 sats \ 0 comments \ @Rsync25 17 Nov 2024 devs
Topology of Civil Procedural Logicbeyondturbulence.blogspot.com/p/topology-of-civil-procedural-logic.html?m=1
96 sats \ 0 comments \ @beyond_turbulence 26 Feb Politics_And_Law
Gemini 3.1 Pro: A smarter model for your most complex tasksblog.google/innovation-and-ai/models-and-research/gemini-models/gemini-3-1-pro/
347 sats \ 0 comments \ @0xbitcoiner 19 Feb AI
Opcodes Explained
3868 sats \ 4 comments \ @nym 1 Apr 2024 bitcoin
The Top Programming Languages 2023spectrum.ieee.org/the-top-programming-languages-2023
208 sats \ 4 comments \ @beorange 30 Aug 2023 tech
BitVM compiler: Generate a logical circuit for BitVMgithub.com/maitrebitcoin/bitcoin-bitvm-compiler
129 sats \ 0 comments \ @Rsync25 28 Oct 2023 bitcoin
Olympiad-level formal mathematical reasoning with reinforcement learningwww.nature.com/articles/s41586-025-09833-y
205 sats \ 2 comments \ @0xbitcoiner 20 Nov 2025 AI
Bithoven: A Formally Verified, Imperative Smart Contract Language for Bitcoindelvingbitcoin.org/t/bithoven-a-formally-verified-imperative-smart-contract-language-for-bitcoin/2189
268 sats \ 1 comment \ @Scoresby 21 Jan bitcoin
BLISK: When Your Public Key Learns Boolean Logichackmd.io/@olkurbatov/HJm5h0JH-l
751 sats \ 5 comments \ @Scoresby 28 Jan bitcoin
Algorithm = Logic and Control [pdf]www.doc.ic.ac.uk/~rak/papers/algorithm%20=%20logic%20+%20control.pdf
150 sats \ 0 comments \ @Rsync25 6 Nov 2024 tech
Extending C with Prolog (1994) | Hacker Newsnews.ycombinator.com/item?id=47112148
165 sats \ 0 comments \ @beyond_turbulence 25 Feb bitdevs devs
Introducing Human: a simple programming language for AI orchestrationmedium.com/@tristanbietsch/introducing-human-a-programming-language-for-the-ai-native-era-651cadf0268c
537 sats \ 18 comments \ @TristanBietsch 29 Aug 2025 AI
BitVM Intro: Create Logic Gates and Circuits in Pythonwww.youtube.com/watch?v=cnijtOVRwgg
222 sats \ 0 comments \ @kristapsk 19 Oct 2023 bitcoin
Introduction to the Theory of Programming Languages: full bookbertrandmeyer.com/2022/09/28/introduction-theory-programming-languages-full-book-now-freely-available/
43 sats \ 0 comments \ @satup 30 Sep 2022 bitcoin
Amber - The Programming Language compiled to Bash.amber-lang.com/
265 sats \ 1 comment \ @kristapsk 22 May 2024 devs
Functional programming self-affirmationsnorikitech.com/posts/functional-affirmations/
272 sats \ 0 comments \ @Rsync25 26 Nov 2024 tech
LLM agents are the new high-level programming languagefedericopereiro.com/llm-high/
139 sats \ 0 comments \ @co574 8 Feb AI
The Bitcoin Development Kit language bindings libraries 0.7.0 are out!
133 sats \ 0 comments \ @thunderbiscuit 29 Jun 2022 bitcoin freebie
S-lang: WIP implementation of simplicity high level language.github.com/BlockstreamResearch/s-lang
179 sats \ 0 comments \ @Rsync25 18 Mar 2024 bitdevs