https://www.sigops.org/s/conferences/sosp/2009/papers/klein-sosp09.pdf

My husband says it is not secret what they use. It is something called L4-SEC which has formal proofs of correctness

The cost of them not having the source code or the right to repair the shit they bought and paid for with our tax dollars.

Iran already has the information needed to make nuclear weapons; the Trump administration’s DOGE leaked that information

Well dildo copters exist, so it would only take one or two people to make a swarm of taco copters in time.

I just hope that they don’t spray hot sauce, that would be a bit too spicy.

!datahoarder@lemmy.ml

Is the best place to ask

Well my husband’s work place does audit the code they deploy but they have a big problem with contractors just downloading random shit and putting it on production systems without following proper review and in violation of policy.

The phrase fucking Deloitte is a daily occurrence.