Sign in

Kiran

@kirancodes.me
1.6K followers 354 following 6K posts

Programming Languages Researcher; in NYC kirancodes.me

PostsRepliesMedia
Kiran @kirancodes.me · 21h
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
73910
Kiran @kirancodes.me · 23h
Damn can she give me 50million too??
Aria liked you her notification
000
Kiran @kirancodes.me · 23h
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
Anyone in NYC wanna form like a voice training practice group w. me?
011
Kiran @kirancodes.me · 28/09/2026
🎵save me, san francisco🎵
Selfie of me on the plane
0150
Kiran @kirancodes.me · 28/09/2026
Misgendered getting onto the plane :(
2180
Kiran @kirancodes.me · 28/09/2026
what is the worst that could happen...
3341
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.
2463
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 · 26/09/2026
Volunteering lady called me good girl as I packed the crates which was nice. I needed that.
0190
Kiran @kirancodes.me · 26/09/2026
volunteering tmrw gotta go to sleep but up too lateeeee
050
Kiran @kirancodes.me · 26/09/2026
I think it is the right time in my life to watch Lanterns (2026)
040
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 · 25/09/2026
Jon "Moura" Sterling
100
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
91475
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 · 23/09/2026
Any editor can save your files. Only Emacs can save your soul.
1213
Kiran @kirancodes.me · 22/09/2026
claudes on claudes on claudes on claudes
000
Kiran @kirancodes.me · 22/09/2026
> Verifier written by K. Rustan > Doesn't verify rust code
2130
Reposted by Kiran
Mayor Zohran Kwame Mamdani @mayor.nyc.gov · 22/09/2026
DoorDash has ripped off more than 260,000 NYC delivery workers. We’re making them pay $131.5 million — the largest worker settlement in City history. This is New York, where hard work pays and greed will cost you.
DoorDash messed up.
They repeatedly left more than 260,000 NYC delivery workers underpaid or paid late, causing them immense stress and financial difficulty.
That's unacceptable.
We've secured a $131.5M settlement from
DoorDash - the largest worker settlement in NYC history and largest delivery worker settlement in
American municipal history.
Every worker will be paid what they are owed, and every company will be forced to abide by the laws of this city.

LOGOS:
The OFFICE of the MAYOR of NYC
NYC Consumer and Worker Protection Mayor Mamdani and Deliveristas representatives stand behind a podium.Mayor Mamdani signs a giant check.Three delivery workers holding a giant fake check for $131.5M.
341250384774
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.
0160
Kiran @kirancodes.me · 22/09/2026
proud day to be an NL fan
070
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 · 22/09/2026
typesafe ai be like to improve safety of our model we are hiring hamanda haskell
0612
Kiran @kirancodes.me · 22/09/2026
walking into the type theory conference singing "there's some HOAS in this house. there's some HOAS in this house"
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
buddy if 10 fields medalists asked me to jump, I'd ask how high
080
Reposted by Kiran
Emily Nussbaum @emilynussbaum.bsky.social · 21/09/2026
I truly don’t understand this “transplant” nonsense. The whole THING about NYC is that ppl come here from other places to mutate into New Yorkers! TO SEE IF THEY CAN BE KING OF THE HILL, TOP OF THE HEAP! Imho a rando who moved here a year ago is the MOST NY person. Welcome Ohio rando, have a bagel
1835848371
Kiran @kirancodes.me · 21/09/2026
YOU. R. NOT. ALONE.
030
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 · 20/09/2026
been taking psychic damage all morning :(
070
Kiran @kirancodes.me · 19/09/2026
> seeing a white guy youtuber vid about a niche jrpg linda > "it has a really deep plot" > look inside > "deep plot" is just racial cuck fantasy
1110
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