Raph Levien

@raphlinus.bsky.social

Doing fundamental research in UI and 2D graphics

Just like last year, we replaced a whole wall of movie posters with our own punny movie posters at the cinema where RustWeek 2026 took place. I designed seven new posters for this year's event. See the thread below 👇

Nine movie posters displayed next to each other.

This is indeed an excellent talk, and I think contains the seeds of a path forward through the AI thicket. When tested against only "vibes," AI can generate reams of slop. But when tested against hard ground truth, in this case rigorous mathematical formalism, possibilities abound.

Linotype Pilgrim@symbo1ics.bsky.social · 8mo ago

#Math Professor Emily Riehl shows in her speciality that "vibe proving" with LLMs is consistently &insidiously wrong, and threatens to swamp a struggling peer review system: youtu.be/fzxW2XJS6SE But! "computer aided formalisation" building on GOFAI symbolic methods may revolutionise complex proofs

“We adopted #rustlang for its security and are seeing a 1000x reduction in memory safety vulnerability density ... with Rust changes having a 4x lower rollback rate and spending 25% less time in code review, the safer path is now also the faster one.” security.googleblog.com/2025/11/rust...

Rust in Android: move fast and fix things

Posted by Jeff Vander Stoep, Android Last year, we wrote about why a memory safety strategy that focuses on vulnerability prevention in ...

security.googleblog.com

With Tom Lehrer's passing, I suppose this is a moment to share the story of the prank he played on the National Security Agency, and how it went undiscovered for nearly 60 years.

When I was little, the U.S. military came to our home at gunpoint and took me and my family away. We were imprisoned for years in barbed wire camps simply because we were Japanese American. I have spent my life telling that story, hoping it would never be repeated.

Last week I did a research retreat on stroke expansion yielding a cubic Bézier approximation. It went well. I wrote a summary: docs.google.com/document/d/1... That document requires a certain amount of context and background to understand fully, but hopefully some people will find it interesting.

Research retreat 2025-06-16 summary

Research retreat 2025-06-16 summary I did a research retreat week focused on cubic-to-cubic stroke expansion. Overall I made lots of progress on both practical and theoretical issues, but the problem ...

docs.google.com

Our data compression projects aim to offer best-in-class performance. @tweedegolf.bsky.social‬'s Folkert de Vries shows how SIMD helps us to speed up zlib-rs in compare256, a crucial part of the compression algorithm that finds repetitions in the input. trifectatech.org/blog/simd-in... #rustlang

SIMD in zlib-rs (part 2): compare256 - Trifecta Tech Foundation

In part 1 of the "SIMD in zlib-rs" series, we've seen that, with a bit of nudging, autovectorization can produce optimal code for some problems.

trifectatech.org

This hits close to home. The PhET people are brilliant and dedicated, and we've shared ideas and some code on 2D rendering technology. One tiny facet of a great loss.

Post nicht verfügbar.