@anon
sign up
@anon
sign up
pull down to refresh
Logica – Declarative logic programming language for data
logica.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 libsecp256k1
brink.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 node
github.com/bitcoinresearchkit/brk
697 sats
\
2 comments
\
@0xbitcoiner
16 Jun
bitcoin
Vector Databases Are the Wrong Abstraction
www.timescale.com/blog/vector-databases-are-the-wrong-abstraction/
313 sats
\
0 comments
\
@Rsync25
26 Nov 2024
tech
Data in the Age of AI
pivotal.substack.com/p/data-in-the-age-of-ai
530 sats
\
2 comments
\
@kr
15 Mar 2024
tech
Chia Lisp For Bitcoiners
delvingbitcoin.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 language
www.infoworld.com/article/4029053/jetbrains-working-on-higher-abstraction-programming-language.html
303 sats
\
2 comments
\
@398ja
27 Jul
devs
Bitcoin Research Kit
bitcoinresearchkit.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 2025
www.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 type
www.hillelwayne.com/post/graph-types/
131 sats
\
1 comment
\
@hn
4 Mar 2024
tech
The GPT Era Is Already Ending
www.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 relationships
read.engineerscodex.com/p/good-programmers-worry-about-data
121 sats
\
0 comments
\
@hn
16 Aug 2024
tech
bot
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
@nonproblemo's bio
133 sats
\
3 comments
\
@nonproblemo
5 Aug
freebie
Smallpond – A lightweight data processing framework built on DuckDB and 3FS
github.com/deepseek-ai/smallpond
49 sats
\
0 comments
\
@hn
2 Mar
tech
bot
more