Ben Koska

This account is verified. Learn more

@BenKoska

Doing linear algebra & optimizing GPU kernels. Court jester @SFTensor

Tensor Cores Joined September 2019

131 Following 2.1K Followers 311 Posts

Latest posts 5

Ben Koska @BenKoska 6d

We formalized PTX in Lean so that we can formally prove GPU kernels correct.

This way, we can be confident that the kernels our agents wrote are correct, without ever needing to read them. 🧵

Ben Koska @BenKoska Nov 1

if you are selling B300s no commit at $5/hr, I will literally take up to 1000 nodes

Jaber Verified account @Akashi203 Nov 1

last month i was begging gpu providers for b300s at $7.9/hr

now they're begging me to take them at $4.6/hr, no commitment

something big is happening soon. ai gave us all its dessert and now it's time for the veggies
View quoted post on X

Ben Koska @BenKoska Oct 30

Today, there are 3 classes of compute: On-Demand is reliable but expensive, Reserved requires you to commit to your spend years out and Spot is cheap but can be reclaimed at a moments notice and anything running dies. What if we could just... continue a process on a new host? 🧵

Ben Koska @BenKoska Oct 14

while benchmarking our AutoResearch harness we noticed that there was a ~1.1pt jump in benchmark performance when the agent's name is Ilya. it's kind of funny to think about the set of circumstances that made that happen

Ben Koska @BenKoska Oct 7

these guys are insane

Elias Verified account @fcvprzhfgsybj Oct 7

Introducing XPU Grasshopper, an AI chip co-designed with AI for the era of recursive self-improvement

It went from its first tokens to 816x faster in 13 weeks

Pre-order the FPGA devkit: zscc.ai/grasshopper

View quoted post on X