Why do PL people make fun of machine learning so much? I used to do that too coz everyone was, but I don't understand anymore.
Conversation
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
10
Yeahhh 😔
Quote Tweet
That the teams will be reallocated to AI makes me even more saddened. The machine learning gold rush will come and go, but it's hard to recreate long running, extremely impactful research teams like those who made #seL4 happen.
Show this thread