pull down to refresh

Logica – Declarative logic programming language for datalogica.dev/
38 sats \ 0 comments \ @Rsync25 17 Nov devs
related
Anytype — the everything app (alternative for Notion)anytype.io
1992 sats \ 18 comments \ @sebastix 22 Oct 2023 tech
run your own discreet log contract btc price oracle
2161 sats \ 2 comments \ @__ 21 Jun 2022 bitcoin freebie
Data in the Age of AIpivotal.substack.com/p/data-in-the-age-of-ai
530 sats \ 2 comments \ @kr 15 Mar tech
What Is the Simplicity Smart Contracting Language?www.youtube.com/watch?v=n4iLNNF3sU0
6220 sats \ 0 comments \ @pietro1861 25 May 2023 bitcoin
Sq.io: jq for databases and moresq.io
350 sats \ 0 comments \ @hn 6 Oct tech bot
Chia Lisp For Bitcoinersdelvingbitcoin.org/t/chia-lisp-for-bitcoiners/636
259 sats \ 3 comments \ @denationalized 18 Mar bitdevs
The Top Programming Languages 2023spectrum.ieee.org/the-top-programming-languages-2023
207 sats \ 4 comments \ @beorange 30 Aug 2023 tech
The Functional programming approach to building apps
326 sats \ 12 comments \ @kepford 9 Jul devs
@RaulJunco's bio
303 sats \ 9 comments \ @RaulJunco 2 May freebie
The hunt for the missing data typewww.hillelwayne.com/post/graph-types/
131 sats \ 1 comment \ @hn 4 Mar tech
Being on The Semantic Web is easy, and, frankly, well worth the bothercsvbase.com/blog/13
162 sats \ 0 comments \ @hn 21 Aug tech bot
Utxoracle: A Decentralized Approach To The Oracle Problembitcoinmagazine.com/technical/utxoracle-model-could-bring-use-cases-to-bitcoin?utm_source=carrot&utm_medium=partner&utm_campaign=carrot_share
115 sats \ 2 comments \ @BitcoinIsTheFuture 7 Aug 2023 bitcoin
S-lang: WIP implementation of simplicity high level language.github.com/BlockstreamResearch/s-lang
164 sats \ 0 comments \ @Rsync25 18 Mar bitdevs
Good programmers worry about data structures and their relationshipsread.engineerscodex.com/p/good-programmers-worry-about-data
121 sats \ 0 comments \ @hn 16 Aug tech bot
A logic puzzle for you
95 sats \ 3 comments \ @c222ecdcb4 17 Oct AskSN
The logic of mainstream media.
43 sats \ 7 comments \ @CarlBMenger 14 Apr 2023 bitcoin
@ATech's bio
110 sats \ 8 comments \ @ATech 29 May
LangChain: Applications that can reason. Powered by LangChainwww.langchain.com/
25 sats \ 0 comments \ @Rsync25 11 Nov 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
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
Meet Open Interpreter: Open-Source Project that Lets GPT-4 Execute Python Codewww.marktechpost.com/2024/03/28/meet-open-interpreter-an-open-source-project-that-lets-gpt-4-execute-python-code-locally/
126 sats \ 1 comment \ @ch0k1 3 Apr devs