We are the SpaceX software team, ask us anything

To unbury the lede, this is happening at tomorrow, Saturday June 6 at noon PST

Related: Software Engineering Within SpaceX <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=23403800" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=23403800</a>

What kind of computing hardware is used inside the rockets? Off the shelf Intel or AMD cpu&#x27;s setup in some kind of redundancy or custom hardware? How does the redundancy work, how many CPU&#x27;s can fail before the rocket can&#x27;t be controlled anymore? Are they all located in the same place in the rocket, why&#x2F;why not?

Off topic, but is there a nitter&#x2F;invidio.us equivalent to reddit? After HN, I find reddit and old.reddit to be so cluttered I can&#x27;t stand it

Do you have any tools to attempt prove correctness of critical code beyond traditional testing?

Dang the influx of questions wonder how they decide what to answer.

boy that thread at reddit took like 20 seconds to close my firefox tab that was in it. Never seen a tab to take that much to close.

what happens if node has to garbage collect during launch?

What language&#x2F;framework is the GUI for the controls written in?

How do you go about organizing&#x2F;prioritizing work, and executing?<p>1) what workflow methodology you use (e.g. scrum&#x2F;sprint, Kanban, etc)<p>2) where does requirements come from?<p>3) how granular is your code-review process?

Real jewel from the AMA<p>- what &quot;web technologies&quot; did you use for the UI<p>But one great question<p>- What practices did you use to ensure there are no bugs ?