@otini What is your PhD about?
@zig I'm trying to formally verify the security of kernels by analyzing their executables.
@otini That works for French universities as well 😬.
@otini and the industry is a whole other locomotive behind the entire university which buys patents to fund useless startups on them and make money…
@mmu_man I guess you could think of it like that, although maybe not the whole industry 😄
@dj I had no idea a single person could pull a locomotive like that!
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!