4 ms·Kernel/compiler/OS/formal verification engineer here. This all seems silly.by catiopatio 3y agoKernel/compiler/OS/formal verification engineer here. This all seems silly.