1Prediction: AI will make formal verification go mainstream (opens in new tab)(martin.kleppmann.com)10raphlinus6mo ago2Save
2I want a good parallel language [video] (opens in new tab)(youtube.com)Video117raphlinus7mo ago66Save
3Rust: A quest for performant, reliable software [video] (opens in new tab)(youtube.com)Video155raphlinus9mo ago94Save