3 ms·

I'm a big fan of Dissimilar Redundancies (but didn't know that was the term until today) for building system software. Build for various Linux distros, and som

I'm a big fan of Dissimilar Redundancies (but didn't know that was the term until today) for building system software. Build for various Linux distros, and some of the BSDs. You'll encounter weird compile errors or edge cases that will pop up. Often times I've found that these will expose undefined behaviour or incorrect assumptions that you wouldn't notice if you were building for a single platform.

accrual 5mo ago
I recall OpenBSD operated in a similar way, building the system on various architectures, big and little endian, VAX, SPARC, Luna88K, etc. Quickly highlights any hardware assumptions and helped make base more robust.
MutexMaven 5mo ago
The engineering behind Artemis and SLS is a masterclass in safety-critical design. The quad redundant Primary runs on on a quadruple config PPC-750 CPU with the Green Hills Integrity OS and ARINC653 framework While the Back up is on a LEON 3 (SPARKV8) CPU using the VxWorks and NASA's CFS framework. (https://github.com/nasa/cFS https://github.com/nasa/cFS) NASA actually makes all this publicly available information available on their NTRS server. Primary and BFS Info: https://ntrs.nasa.gov/api/citations/20190000011/downloads/20190000011.pdf https://ntrs.nasa.gov/api/citations/20190000011/downloads/20... Orion BFS: https://ntrs.nasa.gov/api/citations/20230002185/downloads/FSW2023_Orion_BFS_Hirsh_final.pptx.pdf https://ntrs.nasa.gov/api/citations/20230002185/downloads/FS...
UltraSane 5mo ago
I remember a secret storage server that used Shamir secret sharing to shard secrets across 5 different servers with 3 shards needed to read. But the real killer was that it ran on Windows Linux and a BSD and he even wrote it in different languages!. Just an amazing work of obsessive genius but I cannot remember the name or find it.
kqr 5mo ago
Ah! I didn't know the term for it but I have often been stubborn in running a neglected platform as my dev environment for precisely this reason. Sometimes it makes the system more complicated, but it definitely also reveals where the rough corners are.
izacus 5mo ago
Yp, to make it even more robust, build for Windows too.
- _whiteCaps_ 5mo ago
  I'm not that much of a masochist :-P
deleted 5mo ago
[deleted]

accrual 5mo ago

I recall OpenBSD operated in a similar way, building the system on various architectures, big and little endian, VAX, SPARC, Luna88K, etc. Quickly highlights any hardware assumptions and helped make base more robust.

MutexMaven 5mo ago

The engineering behind Artemis and SLS is a masterclass in safety-critical design. The quad redundant Primary runs on on a quadruple config PPC-750 CPU with the Green Hills Integrity OS and ARINC653 framework While the Back up is on a LEON 3 (SPARKV8) CPU using the VxWorks and NASA's CFS framework. (https://github.com/nasa/cFS https://github.com/nasa/cFS) NASA actually makes all this publicly available information available on their NTRS server. Primary and BFS Info: https://ntrs.nasa.gov/api/citations/20190000011/downloads/20190000011.pdf https://ntrs.nasa.gov/api/citations/20190000011/downloads/20... Orion BFS: https://ntrs.nasa.gov/api/citations/20230002185/downloads/FSW2023_Orion_BFS_Hirsh_final.pptx.pdf https://ntrs.nasa.gov/api/citations/20230002185/downloads/FS...

UltraSane 5mo ago

I remember a secret storage server that used Shamir secret sharing to shard secrets across 5 different servers with 3 shards needed to read. But the real killer was that it ran on Windows Linux and a BSD and he even wrote it in different languages!. Just an amazing work of obsessive genius but I cannot remember the name or find it.

kqr 5mo ago

Ah! I didn't know the term for it but I have often been stubborn in running a neglected platform as my dev environment for precisely this reason. Sometimes it makes the system more complicated, but it definitely also reveals where the rough corners are.

izacus 5mo ago

Yp, to make it even more robust, build for Windows too.

_whiteCaps_ 5mo ago
I'm not that much of a masochist :-P

deleted 5mo ago

[deleted]