raphlinus's submissions

1.		Prediction: AI will make formal verification go mainstream (kleppmann.com)
		10 points by raphlinus 3 months ago \| past \| 2 comments
2.		I want a good parallel language [video] (youtube.com)
		117 points by raphlinus 5 months ago \| past \| 66 comments
3.		Rust: A quest for performant, reliable software [video] (youtube.com)
		155 points by raphlinus 6 months ago \| past \| 94 comments
4.		Faster, easier 2D vector rendering [video] (youtube.com)
		152 points by raphlinus 10 months ago \| past \| 43 comments
5.		Towards fearless SIMD, 7 years later (linebender.org)
		177 points by raphlinus on March 29, 2025 \| past \| 175 comments
6.		I want a good parallel computer (raphlinus.github.io)
		233 points by raphlinus on March 21, 2025 \| past \| 194 comments
7.		Closing the “green gap”: energy savings from the math of the landscape function (terrytao.wordpress.com)
		111 points by raphlinus on Feb 24, 2025 \| past \| 71 comments
8.		I want a good parallel computer [video] (youtube.com)
		15 points by raphlinus on July 30, 2024 \| past
9.		GPU-Friendly Stroke Expansion (arxiv.org)
		180 points by raphlinus on July 2, 2024 \| past \| 39 comments
10.		Xilem 2024 Plans (linebender.org)
		10 points by raphlinus on Jan 11, 2024 \| past
11.		Metal shader converter and the missing device-scoped barrier (raphlinus.github.io)
		62 points by raphlinus on June 12, 2023 \| past \| 20 comments
12.		Xilem Vector Graphics [video] (youtube.com)
		129 points by raphlinus on June 6, 2023 \| past \| 14 comments
13.		Simplifying Bézier Paths (raphlinus.github.io)
		8 points by raphlinus on April 19, 2023 \| past \| 2 comments
14.		Moving from Rust to C++ (raphlinus.github.io)
		280 points by raphlinus on April 1, 2023 \| past \| 132 comments
15.		Requiem for piet-gpu-hal (raphlinus.github.io)
		66 points by raphlinus on Jan 8, 2023 \| past \| 13 comments
16.		Raph’s Reflections and Wishes for 2023 (raphlinus.github.io)
		4 points by raphlinus on Dec 31, 2022 \| past \| 1 comment
17.		An extensive letter from Edsger Dijkstra to my 19 year old self (1989) (mastodon.online)
		310 points by raphlinus on Dec 20, 2022 \| past \| 71 comments
18.		Parallel Curves of Cubic Béziers (raphlinus.github.io)
		225 points by raphlinus on Sept 9, 2022 \| past \| 51 comments
19.		Advice for the next dozen Rust GUIs (raphlinus.github.io)
		345 points by raphlinus on July 15, 2022 \| past \| 270 comments
20.		Xilem: An Architecture for UI in Rust (raphlinus.github.io)
		457 points by raphlinus on May 7, 2022 \| past \| 103 comments
21.		Piet-GPU Progress: Clipping (raphlinus.github.io)
		114 points by raphlinus on Feb 25, 2022 \| past \| 24 comments
22.		Prefix sum on portable compute shaders (raphlinus.github.io)
		116 points by raphlinus on Nov 17, 2021 \| past \| 15 comments
23.		Swapchains and Frame Pacing (raphlinus.github.io)
		89 points by raphlinus on Oct 22, 2021 \| past \| 17 comments
24.		A New Antibody-Dependent Enhancement Hypothesis (blogs.sciencemag.org)
		15 points by raphlinus on Aug 16, 2021 \| past \| 5 comments
25.		Why Was a Major Study on Ivermectin for Covid-19 Just Retracted? (grftr.news)
		7 points by raphlinus on July 16, 2021 \| past
26.		An announcement about the comment section (blogs.sciencemag.org)
		123 points by raphlinus on June 28, 2021 \| past \| 171 comments
27.		Stewardship of Global Collective Behavior (pnas.org)
		3 points by raphlinus on June 21, 2021 \| past
28.		Compute Shader 101 [video] (youtube.com)
		177 points by raphlinus on June 4, 2021 \| past \| 18 comments
29.		The case of the curiously slow shader (raphlinus.github.io)
		77 points by raphlinus on April 28, 2021 \| past \| 12 comments
30.		Fitting Cubic Bézier Curves (raphlinus.github.io)
		178 points by raphlinus on March 13, 2021 \| past \| 36 comments
		More

HN For You