3 ms·
+1 for TeX. Also programs that have been formally proven correct (mostly small-scale critical systems such as the braking system in the TGV). With Hubble, it's
by AlDante2 5y ago
+1 for TeX. Also programs that have been formally proven correct (mostly small-scale critical systems such as the braking system in the TGV).
With Hubble, it's the hardware that's decayed, not the software :-)