There's a year to research level mathematics

Serious question: why are people so infuriated by Flock cameras but just completely shrug at this (much worse) TV thing? Nothing is going to be a reckoning.

For Deutsche Bahn it will be very very very funny to me. It seems like it will be very very very funny to me. The weird part is that the critical bugs are rarely in compilers and microkernels, but more often in applications, such as web browsers, which are more difficult to formally verify.

Here's an idea: as a first class citizen and with modern techiques we can have it work and not be crazy slow, it is currently cuz shits fucked, but we can do better. Or we could just dump Linux and Windows and switch to a microkernel operating system, which is much more secure. These endless patching cycles are simply not going to work in the long-term.