pull down to refresh

Logica – Declarative logic programming language for datalogica.dev/
38 sats \ 0 comments \ @Rsync25 17 Nov 2024 devs
related
elements: Open Source implementation for Sequentiagithub.com/SequentiaSEQ/elements
11 sats \ 5 comments \ @00 7 Jan 2023 bitcoin
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
Declarative Programming With AI/LLMsblog.codesolvent.com/2024/09/declarative-programming-with-aillms.html
10 sats \ 0 comments \ @Rsync25 15 Sep 2024 tech
Introduction to Programmingwww.teamten.com/lawrence/programming/intro/
119 sats \ 0 comments \ @0xbitcoiner 6 May 2024 devs
TOON (Token-Oriented Object Notation) — The Smarter, Lighter JSON for LLMsdev.to/abhilaksharora/toon-token-oriented-object-notation-the-smarter-lighter-json-for-llms-2f05
192 sats \ 2 comments \ @0xbitcoiner 17 Nov 2025 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
Does anyone here work with semantic web?
157 sats \ 0 comments \ @nkmg1c_ventures 2 Nov 2025 devs
Vesper: Declarative human-readable structural languagegithub.com/UBIDECO/vesper
15 sats \ 0 comments \ @Rsync25 1 Feb 2024 tech
Prolog language for PostgreSQL proof of conceptgithub.com/tatut/pgprolog
10 sats \ 1 comment \ @hn 31 Mar 2024 tech
Essential SQL Concepts for Data Analysts – Explained with Code Exampleswww.freecodecamp.org/news/sql-concepts-for-data-analysts/
10 sats \ 0 comments \ @Rsync25 10 Sep 2024 tech
ProofOfThought: LLM-based reasoning using Z3 theorem provinggithub.com/DebarghaG/proofofthought
21 sats \ 0 comments \ @hn 4 Oct 2025 tech
The hunt for the missing data typewww.hillelwayne.com/post/graph-types/
131 sats \ 1 comment \ @hn 4 Mar 2024 tech
Cyphernetes: A Kubernetes Query Languagecyphernet.es/
17 sats \ 0 comments \ @Rsync25 16 Dec 2024 devs
SQL for data scientists in 100 queriesgvwilson.github.io/sql-tutorial/
71 sats \ 1 comment \ @hn 6 Feb 2024 tech
GLM-4.6: Advanced Agentic, Reasoning and Coding Capabilitiesz.ai/blog/glm-4.6
146 sats \ 0 comments \ @carter 30 Sep 2025 AI
The Design of a Programming Language: PLpgSQL by Jan Wieckwww.youtube.com/watch?v=BV0zCw-Opo8
13 sats \ 0 comments \ @a68dd96af9 26 Jan 2025 Design
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 2025 devs
Pkl, a Programming Language for Configurationpkl-lang.org/blog/introducing-pkl.html
55 sats \ 2 comments \ @hn 3 Feb 2024 tech
Payjoin-FFI: Libraries for various programming languagesgithub.com/LtbLightning/payjoin-ffi
21 sats \ 0 comments \ @Rsync25 1 Aug 2023 bitcoin
Vision agent: library that helps you utilize agent frameworks to generate codegithub.com/landing-ai/vision-agent
10 sats \ 0 comments \ @Rsync25 24 Nov 2024 tech