pull down to refresh

Logica – Declarative logic programming language for datalogica.dev/
38 sats \ 0 comments \ @Rsync25 17 Nov 2024 devs
related
Anytype — the everything app (alternative for Notion)anytype.io
1992 sats \ 18 comments \ @sebastix 22 Oct 2023 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
The Functional programming approach to building apps
326 sats \ 12 comments \ @kepford 9 Jul 2024 devs
Vector Databases Are the Wrong Abstractionwww.timescale.com/blog/vector-databases-are-the-wrong-abstraction/
313 sats \ 0 comments \ @Rsync25 26 Nov 2024 tech
Data in the Age of AIpivotal.substack.com/p/data-in-the-age-of-ai
530 sats \ 2 comments \ @kr 15 Mar 2024 tech
Chia Lisp For Bitcoinersdelvingbitcoin.org/t/chia-lisp-for-bitcoiners/636
259 sats \ 3 comments \ @denationalized 18 Mar 2024 bitdevs
Peritas: A Vision for Accessible Multi-sig
442 sats \ 2 comments \ @pup 26 Oct 2024 bitcoin
JetBrains working on higher-abstraction programming languagewww.infoworld.com/article/4029053/jetbrains-working-on-higher-abstraction-programming-language.html
303 sats \ 2 comments \ @398ja 27 Jul devs
Texas DOT to integrate AI into transportation systemwww.roadsbridges.com/technology/news/55250493/texas-dot-to-integrate-ai-into-transportation-systems
170 sats \ 7 comments \ @BlokchainB 11 Jan Construction_and_Engineering
Obituary for Cyc the greatest monument to logical AGIyuxi-liu-wired.github.io/essays/posts/cyc/
33 sats \ 0 comments \ @carter 8 Apr AI
Invert conventional logic
273 sats \ 2 comments \ @cryotosensei 29 Jul 2024 ideasfromtheedge
The hunt for the missing data typewww.hillelwayne.com/post/graph-types/
131 sats \ 1 comment \ @hn 4 Mar 2024 tech
@RaulJunco's bio
303 sats \ 9 comments \ @RaulJunco 2 May 2024 freebie
shadcn Ui - Build your tailwind component library
56 sats \ 0 comments \ @deSign_r 12 May Design
Good programmers worry about data structures and their relationshipsread.engineerscodex.com/p/good-programmers-worry-about-data
121 sats \ 0 comments \ @hn 16 Aug 2024 tech bot
Open models by OpenAIopenai.com/open-models/
166 sats \ 2 comments \ @carter 5 Aug AI
S-lang: WIP implementation of simplicity high level language.github.com/BlockstreamResearch/s-lang
164 sats \ 0 comments \ @Rsync25 18 Mar 2024 bitdevs
What Is the Simplicity Smart Contracting Language?www.youtube.com/watch?v=n4iLNNF3sU0
6220 sats \ 0 comments \ @pietro1861 25 May 2023 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
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 2024 devs
New MIT Research Proves AGI Was Achievedwww.geeky-gadgets.com/artificial-general-intelligence-advancements/
65 sats \ 1 comment \ @ch0k1 16 Nov 2024 news