18
2
Smooth-Maximum, the most useful function [video] (youtube.com)
1
Prediction: AI will make formal verification go mainstream (kleppmann.com)
20
I want a good parallel language [video] (youtube.com)
39
Rust: A quest for performant, reliable software [video] (youtube.com)
1
How Rust won: The quest for performant, reliable software (youtube.com)
44
Faster, easier 2D vector rendering [video] (youtube.com)
66
Towards fearless SIMD, 7 years later (linebender.org)
78
I want a good parallel computer (raphlinus.github.io)
38
Closing the “green gap”: energy savings from the math of the landscape function (terrytao.wordpress.com)
6
I want a good parallel computer [video] (youtube.com)
19
GPU-Friendly Stroke Expansion (arxiv.org)
2
Xilem 2024 Plans (linebender.org)
12
Metal shader converter and the missing device-scoped barrier (raphlinus.github.io)
18
Xilem Vector Graphics [video] (youtube.com)
3
Simplifying Bézier Paths (raphlinus.github.io)
134
Moving from Rust to C++ (raphlinus.github.io)
12
Requiem for piet-gpu-hal (raphlinus.github.io)
1
Raph’s Reflections and Wishes for 2023 (raphlinus.github.io)
76
An extensive letter from Edsger Dijkstra to my 19 year old self (1989) (mastodon.online)
69