pmmck·vor 4 Jahren·discussMaybe a better term would be "critical projects" instead of "important projects" in that case?
pmmck·vor 5 Jahren·discussIn a slightly different vein, I love this site for helping me study and understand deeper practical implications and corner cases of type system designs: https://counterexamples.org/