raphlinus
- Karma
- 13,473
- Created
- 12 years ago
About
I do research on fundamental UI technology and 2D graphics, with a focus on Rust and fonts. Principal Software Engineer at Canva, working on Graphics Platform.@raph@mastodon.online
Recent Submissions
- 1. ▲ Prediction: AI will make formal verification go mainstream (martin.kleppmann.com)