News for hackers. Stuff that matters.

xn122

xn122 on Hacker News

Re:FAA pushes back on Boeing exemption for 787 safety flaw on Friday July 06, 2018 @11:59AM (#17472466)
Three months is very little in software. If formal verification is required (as I hope), it is very difficult to do that under time pressure.