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~
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
Answer this liberal
November 11, 2025 at 3:19 AM
Type system prevents the user from this, stops the user from that

...have you ever tried just asking them to not do bad things???
November 11, 2025 at 3:18 AM
That one moot who has quote posts disabled
November 11, 2025 at 1:57 AM
Bought this London Fog yesterday and it paired with my purple blouse and black skirt gives makima vibes imo
November 11, 2025 at 1:48 AM
Wait BEAM stands for Bogdan's Erlang Abstract Machine???? Thanks Bogdan
November 11, 2025 at 12:31 AM
Driving away international students from the US is only going to help us in the long run, right?

...right?
November 10, 2025 at 1:05 PM
Tor rewriting their libraries in rust

C devs most affected
November 10, 2025 at 4:02 AM
Reposted by Kiran (She/Her)
Face of a girl who's going to miss all her reviewing deadlines 😢😱
November 1, 2025 at 1:50 AM
Reposted by Kiran (She/Her)
lived long enough to mog my early-transition egg-cracking faceapp selfies lol

never kill yourself
September 13, 2025 at 6:18 PM
Ooof just realised I also need to do Rocq workshop reviews lollll
November 10, 2025 at 3:57 AM
This joke is going to land with like the three people who both get trans terminology and know what futamura projections are
Futamura projections? Bro you cant call them that
November 10, 2025 at 3:32 AM
Futamura projections? Bro you cant call them that
November 10, 2025 at 3:31 AM
Did my first OOPSLA review this evening! Weak reject actually maybe reject idk let's see how bitchy I feel. I'll do one review a day and be done by friday!
November 10, 2025 at 3:19 AM
I am lowkey physically repulsed by nix's semantics
November 10, 2025 at 1:54 AM