It’s hard to overstate how frustrating and disappointing this is. I’m so proud to have called myself a member of the Trustworthy Systems team for more than a decade, contributed to seL4’s success, and so excited about our ongoing work.
Quote Tweet
Word is out, and unfortunately true: @CSIRO's @Data61news dismantles Trustworthy Systems (TS), the team that shook the scientific world with the first correctness proof of an OS, #seL4. TS staff to reallocate to AI projects or sacked 1/6
Show this thread
2
15
57
