Did they fixed the kernel panic problem that persisted in the last two versions? I don’t dare to try it, last month their proprietary driver has almost destroyed my machine.

Because it gives the wrong impression that it is not proprietary, just like how you are making this exact mistake.

Nobody has mentioned that Guix is readily available on NixOS right now? Add a line to your config and it’s ready to go. Compatible with everything else.

I’d say no. Programming safely requires non-trivial transformation in code and a radical change in style, which afaik cannot be easily done automated.

Do you think that there’s any chance to convert from this to this? It requires understanding of the algorithm and a thorough rewrite. Automated tools can only generate the former one because it must not change C’s crooked semantics.