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~
never let pl people name things, ep 203032421
November 16, 2025 at 5:36 AM
why are there 3 effect handler libraries in C??? literally who is asking for this shit??
November 16, 2025 at 5:30 AM
humanity is forever stained with the sin of C, and no, LLM's can't save you by translating it to Rust
November 15, 2025 at 11:49 PM
the more I think about it, the more I realise that translating C to Rust is an insane proposition
November 15, 2025 at 11:48 PM
Aaaaah fuckkk amazing paper omggg I love ittt I forgot how fun it is to read a good paper.
November 15, 2025 at 10:28 PM
Oh fuck Ive become the annoying people on fedi that scream CW on every post lmao

You can take the girl out of fedi but you cant take fedi out the girl
November 15, 2025 at 10:07 PM
I am going to tattoo the robust adversarial recognition patterns on to my face if this takes off fuck it
For real, check this out. Evil.
November 15, 2025 at 10:04 PM
Im getting sick of rereading logical judgements in papers. Can we standardise on a resolution order and give it a specific semantics?

Like the precedents are checked in linear order from top to bottom, left to right. No ambiguity, no multiple interpretations.
November 15, 2025 at 10:03 PM
Worst part of transitioning is when I have to stay at home (to finish my OOPSLA reviews) and I look hot AF but theres no one to see meeeee
November 15, 2025 at 9:40 PM
Paper about LLMs seems to have LLM written text in it

Many such cases eughhh
November 15, 2025 at 8:08 PM
Tragic: effect handlers paper that I wanted nothing other than to accept pissed me off with its poor notations and explanations
November 15, 2025 at 5:22 PM
As PL designer, I am a language accelerationist/maximalist. My first and foremost concern is allowing users to do as much as possible.

I care not for your rule lawyering.
November 15, 2025 at 5:18 PM
Me too client_request, me too...
November 15, 2025 at 4:08 AM
Anime references? In myyyy programming language??

More common than you'd think...
github.com/mirage/conan
github.com
November 14, 2025 at 1:31 PM
Rust killed the C-dio star lmaooooooo
November 14, 2025 at 3:13 AM
Woke is back?!??!!!!
November 12, 2025 at 1:48 PM
Reposted by Kiran (She/Her)
"make invalid states unrepresentable" pales in comparison to my strategy of assuming the state will always be valid
November 11, 2025 at 6:04 PM
Riding the subway at 11:40pm? Aren't you afraid of running into the freaks???

Babes... I am the freaks
November 12, 2025 at 4:45 AM
Oh wait this has literally nothing to do with Singapore my bad yall lol Singapore has a district called Buena Vista where they won't rent to brown people because theyre racist

Kiran is tiiiiiired
Aaaaahh fuck fuck fuck singapore fuck fuck fuck
November 11, 2025 at 1:01 PM
Aaaaahh fuck fuck fuck singapore fuck fuck fuck
November 11, 2025 at 12:58 PM
Lesson no. 5 Kiran
Kiran! 'Lesson 5' ....yeah... I'm sure that's what we're on now.

This moment in JJBA SBR is so close to my heart, I can't think a better one to commemorate the end of it all~

#DigitalArt #Anime #PhD #JJBA #JJBASBR #SteelBallRun
November 11, 2025 at 4:45 AM
Son when you are ready you will no longer need internal consistency in your views
November 11, 2025 at 4:36 AM
Inside of me there are two PL wolves
November 11, 2025 at 4:35 AM
I want to invent a PL design principle called "uuuh dont do that then"

PL goons spend a lot of time pathologising about the worst case usage of PL features but like... uuuhhh dont do that then???? Why cant we just have nice things.
what do you think this lean code outputs?

def f(x y : Nat): Nat := x
def g : (y x : Nat) -> Nat := f

#eval f (x := 1) (y := 2)
#eval g (x := 1) (y := 2)
#eval (f : (y x : Nat) -> Nat) (x := 1) (y := 2)
November 11, 2025 at 4:32 AM
Unlike the rest of you rubes I only write programming languages for adults. I expect you to know what you're doing
November 11, 2025 at 3:21 AM