Do you want to learn and practice CUDA but don't want to break the bank renting or buying an NVIDIA GPU? Introducing LeetGPU.com, the first online CUDA playground to allow anyone to write and execute CUDA code without needing a GPU and for free. 🚀 We emulate GPUs

My latest paper on optimizing the sum-check protocol is out! eprint.iacr.org/2025/1117 Joint work with Justin Thaler and Ingonyama (Suyash & Yuval). This combines and extends results from two prior papers, leading to 2-3x speedups in Spartan within Jolt! Quick thread...🧵 1/

we've launched a Luminal kernel search demo! you can see the process Luminal goes through to find the fastest GPU kernels, searching through loop structures, algebraic rewrites, tiling patterns and more!

I solved every single problem in the CUDA mode book. A quick thread summarizing this experience and what I learned 1/x

Human creativity is unparalleled: that's the driver of my talk at the Protocol Labs Impact Evaluator research retreat. I discuss pitfalls of cybernetic systems like IEs, how humanistic design can overcome them, and give a case study with Condorcet voting. youtu.be/fJzCm0OWZE8

Impact Evaluator Research Retreat Demo Day Iceland 2025 x.com/i/broadcasts/1…

Learning about the beauty of math and the stupidity of traditional blockchain design (not my words) today at the Borderless Africa magma builder summit 🫡 Most fun and impactful zk session I attended. Ever.

After listening to this magma summit roundtable on ZK hosted by Borderless Africa , I think I kinda get the ZK craze. madab mikefrancis of SubLinear Labs & Ye Zhang 📜 from Scroll broke it down to fundamentals & got us all hooked.

Techno-capital acceleration is a evolutionary algorithm for configurations of matter

Editing another video, and it is in this exact frame I remembered that I’ve always been a fan of all my nerds🤓 mikefrancis & madab don’t tell anyone but you two are some of my fave nerds

We beat Nvidia’s cuBLAS kernels on B200s in 170 LOC. Using zero CUDA. Just pure Mojo. Here’s exactly how we went from 1% to 106% of Nvidia benchmark perf from scratch (with code) 👇🧵

Hello Thermo World.

For more than two decades, a team of scientists, surgeons, and engineers pursued what seemed impossible: restoring functional central vision to people blinded by geographic atrophy. NEJM last week published results from a landmark clinical trial showing that more than 80% of

The Verge just called Matic “smarter, quieter, and [able to] get the job done.” Under the hood, Matic is running a live 3D voxel occupancy map from regular cameras. This is what “robot vac that cleans like a human” looks like.

I am unreasonably excited about self-driving. It will be the first technology in many decades to visibly terraform outdoor physical spaces and way of life. Less parked cars. Less parking lots. Much greater safety for people in and out of cars. Less noise pollution. More space

A blog for GPU observability tools using bpftime eunomia.dev/blog/2025/10/1…