@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!

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!