pull down to refresh

Coding Guidelines for Prolog (2011)arxiv.org/abs/0911.2899
21 sats \ 1 comment \ @hn 23 Sep 2023 tech
related
Introduction to Programmingwww.teamten.com/lawrence/programming/intro/
119 sats \ 0 comments \ @0xbitcoiner 6 May 2024 devs
Prolog language for PostgreSQL proof of conceptgithub.com/tatut/pgprolog
10 sats \ 1 comment \ @hn 31 Mar 2024 tech
Logica – Declarative logic programming language for datalogica.dev/
38 sats \ 0 comments \ @Rsync25 17 Nov 2024 devs
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
elements: Open Source implementation for Sequentiagithub.com/SequentiaSEQ/elements
11 sats \ 5 comments \ @00 7 Jan 2023 bitcoin
ProofOfThought: LLM-based reasoning using Z3 theorem provinggithub.com/DebarghaG/proofofthought
21 sats \ 0 comments \ @hn 4 Oct tech
Category Theory Illustrated: Logic(2021)abuseofnotation.github.io/category-theory-illustrated/05_logic/
110 sats \ 0 comments \ @hn 25 Oct 2024 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 AI
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
Declarative Programming With AI/LLMsblog.codesolvent.com/2024/09/declarative-programming-with-aillms.html
10 sats \ 0 comments \ @Rsync25 15 Sep 2024 tech
I'm Not Mutable, I'm Partially Instantiated (Prolog)blog.dnmfarrell.com/post/incomplete-data-structures/
21 sats \ 0 comments \ @hn 7 Nov 2024 tech
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
The Design of a Programming Language: PLpgSQL by Jan Wieckwww.youtube.com/watch?v=BV0zCw-Opo8
13 sats \ 0 comments \ @a68dd96af9 26 Jan Design
Kanju: For When Formal Systems Fall Shortbc1984.com/kanju-for-when-formal-systems-fall-short/
125 sats \ 0 comments \ @k00b 21 Jan culture
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
Vesper: Declarative human-readable structural languagegithub.com/UBIDECO/vesper
15 sats \ 0 comments \ @Rsync25 1 Feb 2024 tech
Documentation - The Zig Programming Languageziglang.org/documentation/master/
10 sats \ 0 comments \ @Rsync25 8 Sep 2024 tech
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
A practical introduction to constraint programming using CP-SAT and Pythonpganalyze.com/blog/a-practical-introduction-to-constraint-programming-using-cp-sat
37 sats \ 0 comments \ @hn 3 Jul 2024 tech
Dijkstra Archive: On the foolishness of "natural language programming"www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html
188 sats \ 1 comment \ @k00b 14 Apr devs
Large Language Muddle - The Editors, n+1www.nplusonemag.com/issue-51/the-intellectual-situation/large-language-muddle/
268 sats \ 4 comments \ @Scoresby 17 Sep AI