raphlinus
- Karma
- 13,295
- Created
- 11 years ago
About
I do research on fundamental UI technology and 2D graphics, with a focus on Rust and fonts. Currently doing open source work in my personal capacity until the end of the year, then in January I start an exciting new role.@raph@mastodon.online
Recent Submissions
- 1. ▲ Prediction: AI will make formal verification go mainstream (martin.kleppmann.com)
- 2. ▲ I want a good parallel language [video] (youtube.com)
- 3. ▲ Rust: A quest for performant, reliable software [video] (youtube.com)