How do you build robust, fault-tolerant information systems?
Battlestar Software Thread
Charles Brooks
Other urls found in this thread:
erlang-in-anger.com
ada2012.org
adacore.com
postgresql.org
flownet.com
paulgraham.com
youtube.com
lfe.io
scientificlinux.org
freebsd.org
cubesatlab.org
adacore.com
en.wikipedia.org
epics-controls.org
twitter.com
Kayden Smith
This is a no pussies allowed thread. How do *you* build high-integrity systems?
Grayson Bell
Um, like, can't we just use Erlang? erlang-in-anger.com
Isaiah Miller
Use Eiffel for the GUI facet of a distributed information system.
Ryan Phillips
Use Ada and VHDL to develop the distributed embedded system components.
Grayson Cook
Build around a good database management system on a dedicated server.
Luis Cox
Lisp has made some great achievements in spacecraft programming.
flownet.com
Camden Hall
Beating the Averages - Paul Graham
>derived from a talk given at the 2001 Franz Developer Symposium
Sebastian Murphy
Lisp even has a music video! youtube.com
Ryder Harris
Has anyone tried Lisp Flavored Erlang (LFE)? lfe.io
Justin Thompson
I develop on a Scientific Linux workstation.
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?
Jaxson Foster
What's the best way to get started with VHDL and FPGA's?
Jack Gutierrez
I just searched for "digital vhdl course" on YouTube. Wow, what a cluster fuck. I didn't realize there was so much demand and so many poor solutions.
Jordan Morales
This is the only Jow Forums thread that isn't completely retarded. How did it happen and can we reproduce this incredibly rare phenomena?
Adam Watson
based
Julian Robinson
doesn't a battlestar use analog systems in order so the cyclones cannot hack it?
Christopher Clark
Worked for a betting firm using erlang and other stuff on top worked pretty well
But i'm guessing you're talking military grade stuff? Basically lots of code review and understanding every single loc that is in any software and not using traditional cpus and OSes etc. Takes many many many man hours and £$£$
Sebastian Williams
It's a fictional image to go along with the notion of "robustness".
Matthew Myers
I can almost smell the beer from here, m8.
Eli Edwards
Would bang her (the one on the middle)
Oliver Garcia
Have you read Dune by Frank Herbert?
Nicholas Robinson
No, they just weren't networked. Everything was independent with analog comm systems.