pull down to refresh

Structural Isomorphism Across Domains: A Formal Frameworkbeyondturbulence.blogspot.com/2025/11/structural-isomorphism-across-domains.html?m=1
0 sats \ 1 comment \ @beyond_turbulence 13 Nov tech
related
Topological Archetypes in Digital and Physical Systemsbeyondturbulence.blogspot.com/2025/10/topological-archetypes-in-digital-and.html?m=1
36 sats \ 1 comment \ @beyond_turbulence 19 Oct bitcoin_beginners
Durves - A simple Design Pattern Toolwww.durves.com
100 sats \ 0 comments \ @deSign_r 23 Oct Design
Commodities, generics, and softwareworld.hey.com/jason/commodities-generics-and-software-393ccf10
449 sats \ 0 comments \ @brandonsbytes 16 Nov 2023 meta
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
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
rough draft of translating/bridging across multiple protocols and identitiessnarfed.org/2023-05-26_50328
10 sats \ 0 comments \ @031ef7d322 27 May 2023 nostr
Architectural model making
148 sats \ 0 comments \ @Curiously 8 Nov Construction_and_Engineering
The Monospace Webowickstrom.github.io/the-monospace-web/
60 sats \ 0 comments \ @deSign_r 29 Mar Design
Vesper: Declarative human-readable structural languagegithub.com/UBIDECO/vesper
15 sats \ 0 comments \ @Rsync25 1 Feb 2024 tech
Everything Is Just Functions: Mind-Blowing Insights from SICP and David Beazleyezzeriesa.notion.site/1-week-with-David-Beazley-and-SICP-4c440389cf1e43f48fe67c969967f655#58ee6b0435b24e26bd624b33ffed94df
15 sats \ 0 comments \ @hn 17 Nov 2024 tech
Periodic Table of System Design Principlesgithub.com/jarulraj/periodic-table
10 sats \ 0 comments \ @deSign_r 1 Aug Design
Pkl, a Programming Language for Configurationpkl-lang.org/blog/introducing-pkl.html
55 sats \ 2 comments \ @hn 3 Feb 2024 tech
Formal Methods: Just Good Engineering Practice? (2024)brooker.co.za/blog/2024/04/17/formal
13 sats \ 0 comments \ @hn 10 Jan tech
Ada's Dependent Types, and Its Types as a Wholenytpu.com/gemlog/2024-12-27
41 sats \ 0 comments \ @hn 28 Dec 2024 tech
Genie 3: A new frontier for world modelsdeepmind.google/discover/blog/genie-3-a-new-frontier-for-world-models/
22 sats \ 0 comments \ @hn 5 Aug tech
Logica – Declarative logic programming language for datalogica.dev/
38 sats \ 0 comments \ @Rsync25 17 Nov 2024 devs
Psbt Descriptors: An implementation og the bip-psbt-descriptors proposalgithub.com/seedhammer/bip-psbt-descriptors
21 sats \ 0 comments \ @Rsync25 18 Dec 2023 bitcoin
How to Design Programs - Book First Edition Available Online ||||| The MIT Presshtdp.org
57 sats \ 0 comments \ @deSign_r 21 Jun Design
Structured Agentic Software Engineeringarxiv.org/abs/2509.06216
100 sats \ 0 comments \ @optimism 20 Sep AI
Tach: a Python tool to enforce dependencies, written in Rustgithub.com/gauge-sh/tach
10 sats \ 0 comments \ @Rsync25 28 Aug 2024 tech
Kanju: For When Formal Systems Fall Shortbc1984.com/kanju-for-when-formal-systems-fall-short/
125 sats \ 0 comments \ @k00b 21 Jan culture