iiinova — where your digital self keeps evolving

Bhargav Kulkarni @bhargavkk.tngl.sh · 02/10/2026

that’s the thing, it’s more of a dead cells game than a castlevania game. which is okay with me because I love dead cells!

010

Reposted by Bhargav Kulkarni

Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 30/09/2026

the universe is cruel and uncaring (see everyone at SPLASH! -- I'm giving a talk at PLMW on Sunday, and Alexander Bandukwala's OOPSLA paper talk on Hazel Lab -- HAZEL FOR DATA SCIENTISTS!!! -- is on Monday morning!)

2183

Bhargav Kulkarni @bhargavkk.tngl.sh · 30/09/2026

looking forward to both talks!

030

Bhargav Kulkarni @bhargavkk.tngl.sh · 30/09/2026

this is really cool! and the website styling is amazing too!

011

Bhargav Kulkarni @bhargavkk.tngl.sh · 25/09/2026

is there a pedagogical reason why this is better than just doing ye ol' borrowing subtraction? I don't see it.

110

Reposted by Bhargav Kulkarni

conputer dipshit @davidcrespo.bsky.social · 20/09/2026

great read about Alyx, which is a masterpiece, a full HL game where every level is something completely new. it's a shame to think many HL fans haven't played it, but they eventually will, and that's kind of interesting in itself

5294

Bhargav Kulkarni @bhargavkk.tngl.sh · 20/09/2026

We do have some cool stuff in the pipeline already!

030

Bhargav Kulkarni @bhargavkk.tngl.sh · 20/09/2026

Hey, I'm the first author on this paper, and I'm glad you liked the paper so much! I had a blast working on it!

150

Bhargav Kulkarni @bhargavkk.tngl.sh · 18/09/2026

iirc the author is a scammer/grifter right?

031

Bhargav Kulkarni @bhargavkk.tngl.sh · 17/09/2026

This project has everything, semantics, a formalization in Lean, and also a speedy optimizer and I had so much fun working on it!

120

Bhargav Kulkarni @bhargavkk.tngl.sh · 17/09/2026

In this paper, we develop a formal semantics for the Skia graphics engine(which powers Google Chrome). We use these semantics to prove correct optimizations for Skia. Our optimizer gets average speedups of around 12% over Chrome across the top 100 most-visited websites.

151

Bhargav Kulkarni @bhargavkk.tngl.sh · 17/09/2026

Excited to share that our paper, "Semantics for 2D Rasterization" was accepted at OOPSLA'26! https:// arxiv.org/abs/2603.23696 I will be presenting this work in Oakland at OOPSLA'26, so lets chat if you are interested in languages for graphics!

arxiv.org

Semantics for 2D Rasterization

Rasterization is the process of determining the color of every pixel drawn by an application. Powerful rasterization libraries like Skia, CoreGraphics, and Direct2D put exceptional effort into drawing...

2183

Bhargav Kulkarni @bhargavkk.tngl.sh · 15/09/2026

Back when I started my PhD, I really wanted to get in the "in-group", but now I just like lazing around the conference. But volunteering is super helpful to immigrant students(I am luckily a citizen) to get permanent visas in the future! It's really shortsighted!

010

Bhargav Kulkarni @bhargavkk.tngl.sh · 15/09/2026

It also feels like it's the same clique of people every single year

110

Reposted by Bhargav Kulkarni

Maria @lagomorph.dev · 12/09/2026

Code is a form of free expression protected by the First Amendment

28512

Reposted by Bhargav Kulkarni

Matt Hodges @matthodges.bsky.social · 07/09/2026

Ramanujan devastated.

0151

Reposted by Bhargav Kulkarni

mlf. ⎔ @mlf.one · 06/09/2026

you know what I don't think I trust these people to know how the inside of my Mac works either after reading this

1392

Bhargav Kulkarni @bhargavkk.tngl.sh · 04/09/2026

this is less of an indictment of the proof and more of an indictment of Lean. The whole build process is so dogshit. You can't even break up mathlib into importable pieces, you have to download the entire thing (~7Gigs) for each fucking project even if you need just a tiny part of it. infuriating.

1140

Bhargav Kulkarni @bhargavkk.tngl.sh · 12/08/2026

> In the end, he said, “we went quite close to some real Bronze Age remains, but we avoided Dobby’s grave”. wtf man, these people need to be shunned from society

000

Bhargav Kulkarni @bhargavkk.tngl.sh · 08/08/2026

So its clear they just want to fleece the Ambani-types living in Mumbai. No wonder the president is so chipper 😆

010

Bhargav Kulkarni @bhargavkk.tngl.sh · 08/08/2026

I did some digging around. So its just IT (Illinois Tech) in Mumbai, so they lopped an I. Admissions-wise, very bold: no standardized tests! Then the kicker, per year fees is INR 16 Lakh. To put this in context, BITS Pilani, which is private, was around 6-7 Lakh per year when I studied there. (cont)

210