Raph Levien

Raph Levien

@raphlinus.bsky.social

Doing fundamental research in UI and 2D graphics

980 followers105 following123 posts

I just got my M-VAVE FM-1. This thing is fun. It's especially gratifying because the base firmware includes my DX-7 emulating FM synthesis engine that I started about 14 years ago. I probably won't do firmware hacking myself, but I see the appeal.

There's a lot here worth thinking about, and it puts in words some of the feelings I was having that motivated me to leave Google. I'm *also* quite worried about more direct autocratic control of US-based AI, there are signs of this starting to happen.

Josh Marshall@joshtpm.bsky.social

Google, AI, Oligarchy and the End of the ‘Open Web’ talkingpointsmemo.com/edblog/googl...

Raph Levien reposted

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 👇

Raph Levien reposted

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

#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

Raph Levien reposted

“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...

security.googleblog.comRust in Android: move fast and fix thingsPosted by Jeff Vander Stoep, Android Last year, we wrote about why a memory safety strategy that focuses on vulnerability prevention in ...

The work is based on prototypes I did in the last few months, but is a complete reimplementation with lots of optimizations, including portable SIMD. I believe it's the fastest pure Rust CPU renderer, and also shares a lot of logic with vello_hybrid. 2/2

Raph Levien reposted

Raph Levien reposted

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.

Raph Levien reposted

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.

Topnotch reporting from Marisa Kabas on a very important topic. It's maddening that mainstream news sources are not meeting the moment. Support independent journalism by subscribing.

Marisa Kabas@marisakabas.bsky.social

NEW from me — I wrote about FEMA Acting Administrator David Richardson, who has been completely silent and out of view since deadly floods devastated Texas last week, and spoke to staffers about what it's like to respond to a disaster with no leader. Read here:

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.

docs.google.comResearch retreat 2025-06-16 summaryResearch 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 ...

Raph Levien reposted

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

trifectatech.orgSIMD in zlib-rs (part 2): compare256 - Trifecta Tech FoundationIn 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.

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.

This post is unavailable.

I have a talk in RustWeek on developments in Vello to make 2D vector path rendering easier to integrate into other applications. Hope to see you in Utrecht!

RustNL@rustnl.bsky.social

** Announcement ** Check out all the selected speakers for RustWeek 2025! See https://rustweek.org/speakers/ Also see the schedule for both conference days: Tue: https://rustweek.org/schedule/tuesday/ Wed: https://rustweek.org/schedule/wednesday/ #rustweek2025 #rust #rustlang

This is Enkhuizen beach when I visited there in 2013. It's the town in the Netherlands where I was born, something I've been thinking about lately. I have other beach photos of Maui (family was there recently) and Costa Rica, but today this is my choice.

This post is unavailable.

Raph Levien reposted

Fellow NSA - National Security Agency veterans. Look at what’s happened at the National Cryptologic Museum. They covered up with brown paper the photos of Women in American Cryptology. All in response to President Trump’s anti-diversity executive order.