I develop on a Scientific Linux workstation.
Battlestar Software Thread
Justin Thompson
Colton Brooks
Wyatt Williams
FreeBSD has been a very stable server. ZFS is an awesome foundation for a file server.
Thomas Wood
Can you imagine trying to DO-178C/ED-12C certify a Lisp-based system?
Logan Smith
we stop using computers
Brody Diaz
>need to calculate the landing trajectory for entering a planet in a distant star system
>scribble the initial conditions on paper
>flush the paper down the spacecraft toilet
>it falls into the calculation container where a thousand Indians compete over who can solve it first because that's the only way they're going to get fed that day
Chase Lopez
The OP didn't specify that it has to be a synthetic information system. How does one build a robust, fault-tolerant organic information system? (organic in the somewhat poetic sense that it is the evolving, complex software that is the result of the metabolic activity of human nerve tissue).
Jace White
Some of the NASA CubeSat projects use SPARK.
Logan Jenkins
Start with hardware. Microsemi has a RISC-V softcore, peripherals and tools for their Rad-Tolerant flash-based FPGA's.
Anthony Anderson
The Experimental Physics and Industrial Control System (EPICS) seems cool. Does anyone here use it?