Kiran (She/Her)
banner
kirancodes.me
Kiran (She/Her)
@kirancodes.me
Programming Languages Postdoc @ UIUC

Trans girl 🏳️‍⚧️

still here~ despite it all

https://kirancodes.me
Pinned
Don't mess with me or my uwu :3 son ever again~
Installing Linux software is about to get a lot more... GAY.
November 25, 2025 at 1:27 PM
"a secret makes a woman, woman" - Detective Conan

Before transition: huh? Wtf does that mean

After transition: ahhh, now I see
November 25, 2025 at 4:20 AM
Finished the presentation for work!
November 25, 2025 at 12:58 AM
Aaaaahhhh omggg roommates cat is sleeping on my bed omgg so cuteeee Im going to dieeee
November 24, 2025 at 5:16 AM
I am an agent of chaos. I have no allegiances. I serve no queen. Types or no types. All programming languages are within my target for ragebait
November 24, 2025 at 4:29 AM
Does the Racket language have any longevity outside of as a Flatt family business?
November 24, 2025 at 4:27 AM
reading the alpha proof paper and damn every sentence is like a shotgun blast this shit is so exciting, this is insane. fuck I'm getting caught up in the hype.
November 24, 2025 at 3:07 AM
I'm going to start using Result::unwrap() like a slur towards Rust users
November 24, 2025 at 2:40 AM
Oh, Kiran. Nice anime tshirt. If you like anime do you cosplay?

No bitch, I cosplay every day as a normie in a research field where everyone else has a supportive family, friends and a strong support network when Im hopelessly alone and one slip away from loosing it all.

...so no.
November 23, 2025 at 11:08 PM
certified Kiran classic, instead of working on the presentation in a language she knows, try a brand new presentation pipeline instead wcgw???
November 23, 2025 at 9:30 PM
because why the fuck not?
November 23, 2025 at 7:05 PM
For any parents who feel like sending this kind of message, please I encourage you! Go ahead. It will feel really good.

Just make the most of it while you can. You can only send this kind of message once.
November 23, 2025 at 5:54 PM
interesting research idea: breakpoints inside macros

interesting research idea: breakpoints inside choreographic programs

interesting research idea: breakpoints inside probabilistic programs
November 23, 2025 at 5:44 PM
Someone just submitted an oopsla review shorter than my RocqPL review...
November 23, 2025 at 4:40 PM
Reposted by Kiran (She/Her)
The legend meets another legend.
November 23, 2025 at 2:11 PM
MacOS search bar decided randomly Discord wasnt an application wow it just works
November 23, 2025 at 2:19 AM
I became discourse on sgtwt last week lol
November 22, 2025 at 11:52 PM
Concerning... 🤔
November 22, 2025 at 11:33 PM
My retirement plan is one day they'll find my body in a ditch, alone and abandoned.

Until then we code
November 22, 2025 at 9:14 PM
Did all my reviews for the RocqPL workshop!!!
November 22, 2025 at 8:16 PM
If you think about it, recursive mutexes are really just a low-level fix for a language problem - context-sensitive function calls no?
November 22, 2025 at 7:58 PM
proof by it takes more than a fucking day to check your proof
November 22, 2025 at 7:38 PM
> .v file
> View raw
> we're sorry but we can't show files that are this big

chat... how cooked am I?
November 22, 2025 at 7:32 PM
what I learned from the debacle last week
November 22, 2025 at 7:25 PM
> Skylabs AI - AI company
> look inside
> they're just verifying shit

wait wtf you can sell formal proofs as AI?? based
November 22, 2025 at 7:01 PM