iiinova — where your digital self keeps evolving

Kiran @kirancodes.me · 33m

This art was apparently too spicy for the PL discord server. Worst of all, literally no one realised I drew it 😭😭😭

010

Kiran @kirancodes.me · 1h

when I run out of claude and codex, I switch back to my trusty 1 year GLM 5.3 subscription. it's oddly refreshing

000

Kiran @kirancodes.me · 2h

i hesitate to use entrepreneur though because I guess I feel like my research is a little more consequential than the next uber for dogs

030

Kiran @kirancodes.me · 2h

I'm sorryy GLM 5.3... I'm just a little tired okayyyy

Thought: 38.6s

She's escalated: ALL Lean re
merged into one. This is the

010

Kiran @kirancodes.me · 2h

baby about to speak their first words: "m-ma- mam--" "THAT'S A DISTILLATION ATTACK YOU FUCK", I scream as I yeet the stealing little shit out the window

0431

Kiran @kirancodes.me · 3h

Genuinely... what. The. Fuck????

Departs

Arrives

17:13

01:59

Was 14:13

Was 22:59

010

Kiran @kirancodes.me · 4h

I'm intensely desired. just never romantically :(

030

Kiran @kirancodes.me · 4h

it was driven home when one of the ops people, speaking to one of the founders, "being a genius must be difficult" and it gave that vibe of both affirming but also isolating - you're smart, but you're also different. and like that's exactly how people treat me. impressed, but also at a distance.

140

Kiran @kirancodes.me · 4h

hat being said unlike all the other researchers I met there, I don't have anything outside of my career. I don't have a family. I barely have friend circles. If I fail I've got nothing I've got no support network. It's not a thing I can turn off and settle back to a "normal" life if it doesn't work.

150

Kiran @kirancodes.me · 4h

after spending the week at a philanthropic funding event, I'm noticing in the space of entrepreneurs, being weird isn't bad? it's a bonus, as it signals skill. look, she looks like a freak, she must be good I feel seen: when people look at me, they don't see a freak (bad), but see a freak (good)

2140

Kiran @kirancodes.me · 6h

Number go up you see

000

Kiran @kirancodes.me · 6h

Loool in my defense I was not in charge of naming

020

Kiran @kirancodes.me · 6h

Im the top slopper

020

Kiran @kirancodes.me · 7h

Ayoooo bitch imma robotics researcher nowwwww

View PDF

HTML (experimental)

[Submitted on 28 Sep 2026]

EMPIRIC: Experiment-Driven Learning of Residual World Models for Robot Planning

Yichao Liang, Amber Li, Dat Nguyen, Emily Bunnapradist, Michelangelo Naim, Sreela Kodali, Matteo Merler, Bowen Li, Kiran Gopinathan, Yiyun Liu, Nikhil Pimpalkhare, Joshua B. Tenenbaum, Adrian Weller, Zenna Tavares, Tom Silver, Kevin Ellis

A robot should be able to learn through experiments how unfamiliar objects behave and interact, then plan with that knowledge. It need not start from scratch: physics engines supply knowledge of motion and contact, but can omit entire mechanisms, such as glue curing, water heating, or wind. We present EMPIRIC, an agent that learns a residual world model: a physics engine extended with code for the missing

3320

Kiran @kirancodes.me · 01/10/2026

Hah! You just confirmed it wasn't clement!

130

Kiran @kirancodes.me · 01/10/2026

Was super fun talking to all the scientists, especially the climate scientists. So refreshing. I love the energy the hope the will to change and dream of a better world and to keep fighting for the world.

060

Kiran @kirancodes.me · 01/10/2026

Feels a bit weird going to these events as a clocky tgirl. Kinda feel like im from a totally different world

050

Kiran @kirancodes.me · 01/10/2026

Your g-g-galllll giving a talk at FROcon

1100

Kiran @kirancodes.me · 01/10/2026

fun fact, the letters of OOPSLA rearrange to OSLOPA. this is a subtle nod to the fact that OOPSLA is filled with slop, and I think that's a beautiful thing

380

Kiran @kirancodes.me · 01/10/2026

responsible disclosure: I was a free-culture freak wayyy before LLMs you FUCK

I should note that the author uses AI semi-frequently and has a no copyright slogan, therefor it is very likely that the project itself is coded with AI

826620

Kiran @kirancodes.me · 01/10/2026

Im going to leave the SE confs up long enough to ride the virality and then drop that slop like its hot

020

Kiran @kirancodes.me · 01/10/2026

Make PL database. Every request is "can you add my fav conf <not-PL> conf" Make it make sense. I regret adding ASE, ICSE and FSE. This isn't a slopdb.

2100

Kiran @kirancodes.me · 01/10/2026

category theorists don't want you to know that category theory is dead simple if you are allowed to visualise it in 3d tear down the category cabal now!!!

318818

Kiran @kirancodes.me · 30/09/2026

Eurocuck 5 seconds into living in America's capitalist hellscape

020

Kiran @kirancodes.me · 30/09/2026

ooh cool okay will add that

010

Kiran @kirancodes.me · 30/09/2026

yep! I added a doi link to all the papers, and a pdf link when it can be found

110

Kiran @kirancodes.me · 30/09/2026

No, sadly not. Hosting them i think would possibly leave me open to a bunch of licensing issues. I might add links to online pdfs on an ad hoc basis at some point if I can find them

310

Kiran @kirancodes.me · 30/09/2026

to know where you are going, you have to know where you have been: pldb.kirancodes.me Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.

84010

Kiran @kirancodes.me · 30/09/2026

Damn can she give me 50million too??

000

Kiran @kirancodes.me · 29/09/2026

Claude, understand the four colour theorem. Make no mistakes.

011

Kiran @kirancodes.me · 29/09/2026

Some dickhead just emailed like my colleague about the project I did and blog post I wrote??? Like fuck you dude (I wasn't cc'd), my colleague had to loop me in lol

020

Reposted by Kiran

Kiran @kirancodes.me · 28/09/2026

Anyone in NYC wanna form like a voice training practice group w. me?

011

Kiran @kirancodes.me · 29/09/2026

she's from academia I can tell by the way she's presenting findings to the room it doesn't take a peer review to see a researcher always finds a way to leave drinkin jack all by myself she's choosin' research I can tell

010

Kiran @kirancodes.me · 28/09/2026