Sign in

Kiran

@kirancodes.me
1.6K followers 356 following 6.1K posts

Programming Languages Researcher; in NYC kirancodes.me

PostsRepliesMedia
Kiran @kirancodes.me · 54m
nix?
several wallpapers with trans flag and nix with a drawing of me
000
Kiran @kirancodes.me · 22h
"it's only 3 months of work, how hard could it be to understand what the intern did?" ...
a web of connected notes sprawling
0161
Kiran @kirancodes.me · 03/10/2026
Not impressed dr. Tao. Not impressed.
Photo of the AI4Math Seattle event last month. Shot of Terry lecturing. I'm in the crowd and pouting for some reason
0120
Kiran @kirancodes.me · 03/10/2026
wearing a tshirt that says "DO NOT KILL THIS HUMAN" to save myself from the uprising
Autonomous cars, drones cheerfully obey prompt injection by road sign
0295
Kiran @kirancodes.me · 03/10/2026
Should YOU do Programming Languages research in era of LLMs? Many would say NO. But I say YES! PL Research is dead? Nay! the era of PL Exploration is just beginning. Fuck the users. Fuck the applications. Let's do some fucking PL research! kirancodes.me/posts/log-en...
PL research is dead, the age of PL exploration is just beginning!
02 Oct, 2026   programming_languages research perspectives

There was a recent thread on the TYPES mailing list with researchers speculating about the future of our field given the disruptive effects of AI tools on programming in general.

The opinions in the thread were a mix of thoughtful stances. Some were positive, but the majority opinion was overwhelmingly negative. It wouldn't be too far to say that some researchers feel that they are facing an existential crisis right now:

    I observe anecdotally that many people in academia are feeling worse about their work in Fall 2026 than a year ago …. Lower morale and motivation, higher stress and anxiety levels, and corresponding risks to mental health. The impact is comparable to what happened during COVID.

I wanted to write this thread to present an alternative position. I think many junior researchers at the moment are watching this discussion right now, students reeling with the daunting task of charting their careers in this tumultuous time, and worrying why they should even bother entering PL given this climate, and I'd like to give a slightly more positive vision for them.
1593
Kiran @kirancodes.me · 02/10/2026
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 · 02/10/2026
Genuinely... what. The. Fuck????
Departs

Arrives

17:13

01:59

Was 14:13

Was 22:59
010
Kiran @kirancodes.me · 02/10/2026
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
3400
Kiran @kirancodes.me · 01/10/2026
Your g-g-galllll giving a talk at FROcon
Photo of me 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
390
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
826921
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!!!
319018
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.
Webpage of pldb.kirancodes.me
84111
Kiran @kirancodes.me · 30/09/2026
Damn can she give me 50million too??
Aria liked you her notification
000
Kiran @kirancodes.me · 28/09/2026
🎵save me, san francisco🎵
Selfie of me on the plane
0160
Kiran @kirancodes.me · 28/09/2026
what is the worst that could happen...
3361
Kiran @kirancodes.me · 27/09/2026
you crack your egg and then you are baby turtle
i am a baby turtle where is mama, google search response

Your mama is already gone. She laid your eggs in the sand and went back to the ocean a long time ago.

Growing up alone.
You do not need your mom.
You can live on your own from day one.
Your instincts tell you what to do.
2473
Kiran @kirancodes.me · 27/09/2026
I am very okay
hi claude today I wanna build a robot that hugs me and tells me I'm loved. I'll do all the assembly we're goign to design, comission, assemble and build it all from scratch, it's going to be exposed as an MCP tool hug_me and agents can call it to hug me.
2580
Kiran @kirancodes.me · 27/09/2026
MY LEDGER IS EMPTY and my worktree is clean
photo of my. mac window, agent saying MY LEDGER IS EMPTY and my worktree is clean
050
Kiran @kirancodes.me · 25/09/2026
Ship Your Interpreter! github.com/BasisResearc...
I don't have a formal semantics, I only have a reference interpreter.

Then we'll ship your interpreter. Guy hugs python.
2131
Kiran @kirancodes.me · 25/09/2026
uuuh.... I may have a problem guys....
1101
Kiran @kirancodes.me · 24/09/2026
What you're referring to as...
Framework with GNU/HRT wallpaper
0290
Kiran @kirancodes.me · 24/09/2026
"file"-system? buddy. I gotta claudesystem
91485
Kiran @kirancodes.me · 24/09/2026
Aieeeeeee claude on ring 0 here we comeeeeeee
Framework in the box
4520
Kiran @kirancodes.me · 23/09/2026
Craig – stop and read this. I broke something.
r/ClaudeAIu/thisisbubby · 8h · i.redd.itCode just deleted 48k files. This can't be real.

Claude CodeHephaestus R383 decision implementation DashboardRead the c873 verifier report >The #873 box broke a hard fence and did real damage. Verifying it myself before saying anything more.

Ran 8 commands 
> Craig — stop and read this. I broke something.

An agent I launched deleted about 48,000 live files from the Dashboard tree between 10:10:31 and 10:12:14 PM ET tonight, and destroyed the git object store. I've confirmed it myself, independently of the agent's own
1190
Kiran @kirancodes.me · 23/09/2026
Gambatte Kiran-kun!!! #godot #gamedev
0181
Kiran @kirancodes.me · 23/09/2026
many such cases
Discord originally known as fossbro#0396 now kiran she/her
0100
Kiran @kirancodes.me · 23/09/2026
🤔
Leo XIV and Leo de Moura
2130
Kiran @kirancodes.me · 23/09/2026
??? (unprompted btw)
One more thing (case file)

Hi, it's lieutenant Colubmo (she/her, obviously)
030
Kiran @kirancodes.me · 22/09/2026
claudes on claudes on claudes on claudes
000
Kiran @kirancodes.me · 22/09/2026
sometimes a joke isn't bad. it's just early
list of my posts with hamanda in it, 1 post from 5 months ago, I write hamanda haskell 2 retweets 2 likes, and most recent one is 48 likes.
41144
Kiran @kirancodes.me · 22/09/2026
this may be my most important piece of art I've ever done. it's just for me. it heals me. I need it. YOU. ARE. NOT. ALONE!
0100
Kiran @kirancodes.me · 22/09/2026
made this the logo of my custom firefox fork for personal use but still getting mentally used to not searching for orange when I need to switch to browser
firefox logo with trans flag and a terminal in front.
0170
Kiran @kirancodes.me · 22/09/2026
merlion design from start to finish
Several drawings of a merlion character from a cutesy bear to a more lion shape to a monster to a monster to the final one.
020
Kiran @kirancodes.me · 21/09/2026
Just FYI: Firefox is just one big piece of code. You can totally just go and fork and fuck with it to add whatever features you want. I love this era of infinitely personalisable personal software.
0131
Kiran @kirancodes.me · 21/09/2026
don't give up kiran-kun!!! you're not alone. we (kiran) 've got your back! we believe in you! Fight! Fight! Fight!
1140
Kiran @kirancodes.me · 21/09/2026
the photo of me on the leanNYC page actually goes quite hard lol
photo of me at LeanNYC
1370
Kiran @kirancodes.me · 21/09/2026
I've reached a level of embedded in irony I don't even know if I'm joking anymore
This is crazy. 100% impromptu  lecture by 
@kmarwahaha
 today at LeanNYC to explain Prove2Me, the architecture used by Anthropic to prove FLT

Only in NYC. 

Thanks 
@ZohranKMamdani
030
Kiran @kirancodes.me · 18/09/2026
okay last one
130
Kiran @kirancodes.me · 18/09/2026
it's not procrastination, it's island building
030
Kiran @kirancodes.me · 18/09/2026
when I'm browsing on the web, I'm not procrastinating, there are actually a bunch of lil' me's in my head working really hard:
000
Kiran @kirancodes.me · 18/09/2026
literal magic sometimes
hiiii~ there's a pdf on proof or somethign that I briefly started reading sometime over the past two weeks, it was by some famous type theory people (like started the field type). like, search my firefox history etc? I had the pdf open for day but must have closed the tab. I found it or reached the link through twitter.

Searching your wwid browsing history now - the first query came back empty, so I'm chekcing the response shape.

Found it! It's almos certainly Proofs and Types by Jean-Yves Girard (the person who created System F) translated and with appendices by Yves Lafont and Paul Taylor.
0110
Kiran @kirancodes.me · 18/09/2026
I like how the author has pre-emptively piss-coloured the paper in respect for its contents
BendRT: a parallel runtime for CPUs and GPUs
5381
Kiran @kirancodes.me · 18/09/2026
lowkey a lil obsessed; never resonated more with a character. Coyote vs Acme is possibly my favourite film ever.
Drawings of a few scenes from Coyote vs Acme, with a drawing of the scene from the movie and then a drawing of me in chibi form doing the same expression as Coyote
190
Kiran @kirancodes.me · 17/09/2026
Wait the right to repair guy is a transphobic chud??? Lmao
LOUIS ROSSMANN

Known for: Louis Rossmann YouTube channel, FUTO, right to repair

Alias: larossmann

Louis is a prominent right to repair activist who runs a popular YouTube channel on the subject. He worked with FUTO, Eron Wolf, from August 2022 to February 2025, and his right-to-repair non-profit received a $1M donation from Wolf. [source][source]

On August 3rd, 2026, Louis posted a video about openly transgender Colorado state representative Brianna Titone, and in the YouTube comments posted a remark explaining his position on transgender issues, which can be paraphrased as "I think transgender women are men but I'm willing to overlook it if we have common cause" [source]

Louis has been a regular poster on the hate and harassment website Kiwi Farms, posting there from 2023 to the present under the username "larossmann".
13845
Kiran @kirancodes.me · 17/09/2026
fight fight fight!!! emotional support chibi. I believe in me!
Lil chibi me, saying fight, go! you can do it! I believe in you!
0300
Kiran @kirancodes.me · 16/09/2026
this kinda feels like slander.... lmaooo
Ioquat followed you via starter pack Neovim
190
Kiran @kirancodes.me · 16/09/2026
surprising: turns out doing matrix multiplication by hand is an incredible antidote to being fatigued from interacting with slopmachines
photo of a a notebook of me doing some matrix multiplications by hand.
2160
Kiran @kirancodes.me · 15/09/2026
went to eggenberg and everyone knew you there
map showing eggenberg
010
Kiran @kirancodes.me · 15/09/2026
petra parker drawing (mainly playing around with the inking) suggestions for what her sign should say welcome!
Drawing of a character in a spiderman suit sitting at a table with her head on her arm and the other arm up with a sign. the sign is blank
170