Some fun compiler-adjacent #RustLang reading: How can you make sure [panic!] is unreachable in part of your program? This write-up goes into how we approached callgraph analysis in #Ferrocene – and how you can try it out for yourself!
👉 ferrous-systems.com/blog/callgra...
