Gaps in software
From apm
Revision as of 11:08, 20 August 2023 by Apm (Talk | contribs) (→List of gaps / cracks / rifts / barriers /...: added point on DSLs)
With the development of atomically precise manufacturing we'll
eventually reach a future world where matter essentially becomes software.
So it is really important to fix all the cracks and gaps within software till then.
Heck, if problems are not fixed there will be serious problems long before
advanced productive nanosystems arrive.
Contents
List of gaps / cracks / rifts / barriers /...
- RAM to HDD serialization barrier
- The CPU GPU gap
- inter process communication barrier
- network serialization barrier
- GUI commandline rift
- (Caches-level barriers)
- value-level type-level barrier – dependently typed languages try to solve this one
- Safe cross thread communication in concurrent computing
Domain specific languages DSLs:
- DSL to general purpouse programming language barrier
Having a DSL as a library is highly desired but then
there still can be a DSL to host language barrier
related to homoiconicity
Related
- Potentially solving a lot of the rifts: content addressed approach
Gaps in the development of APM
- Bridging the gaps in the development of advanced productive nanosystems
External links
Great article about barriers, gaps, rifts, and plumbing
Whorf-Conway
Combining Whorfs and Conways law ...
- Linguistic relativity (Sapir–Whorf hypothesis) – "the structure of a language affects its speakers' worldview or cognition" (and what we they express)
- Conway's law – "organizations design systems that mirror their own communication structure"
Adding both of the above together one can get the following:
Bad/good (programming) "languages" for human computer communication limit/enhance what we can express (Saphir-Whorf).
This is a limit on (or enhancement of) our communication structure, and ultimately leads to worse/better systems being built (Conway).
