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
A suite of tools designed to extract, compute and display data on a Bitcoin nodegithub.com/bitcoinresearchkit/brk
697 sats \ 2 comments \ @0xbitcoiner 16 Jun bitcoin
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
Bitcoin Research Kitbitcoinresearchkit.org
347 sats \ 2 comments \ @supratic 11 Jul bitcoin
Invert conventional logic
273 sats \ 2 comments \ @cryotosensei 29 Jul 2024 ideasfromtheedge
Trimble Shares 10 Predictions for Construction Technology in 2025www.forconstructionpros.com/construction-technology/machine-grade-control-gps-laser-other/article/22924852/trimble-construction-trimble-trimble-shares-10-predictions-for-construction-technology-in-2025
59 sats \ 0 comments \ @BlokchainB 19 Nov 2024 Construction_and_Engineering
The hunt for the missing data typewww.hillelwayne.com/post/graph-types/
131 sats \ 1 comment \ @hn 4 Mar 2024 tech
The GPT Era Is Already Endingwww.theatlantic.com/technology/archive/2024/12/openai-o1-reasoning-models/680906/
347 sats \ 3 comments \ @Rsync25 10 Dec 2024 tech
xAI releases Grok Code Fast 1 model for developers
158 sats \ 1 comment \ @lunin 27 Aug AI
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
TheAuditor Tool: Antidote to VibeCodinggithub.com/TheAuditorTool/Auditor
147 sats \ 0 comments \ @RideandSmile 3h 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
3 books to learn System Design:
65 sats \ 0 comments \ @RaulJunco 18 May 2024 BooksAndArticles
Hermes 4 outperforms OpenAI models with minimal content restrictions
121 sats \ 0 comments \ @lunin 1 Sep AI