| user: | raphlinus |
| created: | March 7, 2014 |
| karma: | 13.5k |
| 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 |
| 1. | Prediction: AI will make formal verification go mainstream(martin.kleppmann.com) |