Kiran (She/Her)
@kirancodes.me
Pinned
Installing Linux software is about to get a lot more... GAY.
November 25, 2025 at 1:27 PM
Installing Linux software is about to get a lot more... GAY.
"a secret makes a woman, woman" - Detective Conan
Before transition: huh? Wtf does that mean
After transition: ahhh, now I see
Before transition: huh? Wtf does that mean
After transition: ahhh, now I see
November 25, 2025 at 4:20 AM
"a secret makes a woman, woman" - Detective Conan
Before transition: huh? Wtf does that mean
After transition: ahhh, now I see
Before transition: huh? Wtf does that mean
After transition: ahhh, now I see
Finished the presentation for work!
November 25, 2025 at 12:58 AM
Finished the presentation for work!
Aaaaahhhh omggg roommates cat is sleeping on my bed omgg so cuteeee Im going to dieeee
November 24, 2025 at 5:16 AM
Aaaaahhhh omggg roommates cat is sleeping on my bed omgg so cuteeee Im going to dieeee
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
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
Does the Racket language have any longevity outside of as a Flatt family business?
November 24, 2025 at 4:27 AM
Does the Racket language have any longevity outside of as a Flatt family business?
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
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.
I'm going to start using Result::unwrap() like a slur towards Rust users
November 24, 2025 at 2:40 AM
I'm going to start using Result::unwrap() like a slur towards Rust users
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.
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
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.
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.
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
certified Kiran classic, instead of working on the presentation in a language she knows, try a brand new presentation pipeline instead wcgw???
because why the fuck not?
November 23, 2025 at 7:05 PM
because why the fuck not?
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.
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
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.
Just make the most of it while you can. You can only send this kind of message once.
interesting research idea: breakpoints inside macros
interesting research idea: breakpoints inside choreographic programs
interesting research idea: breakpoints inside probabilistic programs
interesting research idea: breakpoints inside choreographic programs
interesting research idea: breakpoints inside probabilistic programs
November 23, 2025 at 5:44 PM
interesting research idea: breakpoints inside macros
interesting research idea: breakpoints inside choreographic programs
interesting research idea: breakpoints inside probabilistic programs
interesting research idea: breakpoints inside choreographic programs
interesting research idea: breakpoints inside probabilistic programs
Someone just submitted an oopsla review shorter than my RocqPL review...
November 23, 2025 at 4:40 PM
Someone just submitted an oopsla review shorter than my RocqPL review...
Reposted by Kiran (She/Her)
The legend meets another legend.
November 23, 2025 at 2:11 PM
The legend meets another legend.
MacOS search bar decided randomly Discord wasnt an application wow it just works
November 23, 2025 at 2:19 AM
MacOS search bar decided randomly Discord wasnt an application wow it just works
I became discourse on sgtwt last week lol
November 22, 2025 at 11:52 PM
I became discourse on sgtwt last week lol
My retirement plan is one day they'll find my body in a ditch, alone and abandoned.
Until then we code
Until then we code
November 22, 2025 at 9:14 PM
My retirement plan is one day they'll find my body in a ditch, alone and abandoned.
Until then we code
Until then we code
Did all my reviews for the RocqPL workshop!!!
November 22, 2025 at 8:16 PM
Did all my reviews for the RocqPL workshop!!!
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
If you think about it, recursive mutexes are really just a low-level fix for a language problem - context-sensitive function calls no?
proof by it takes more than a fucking day to check your proof
November 22, 2025 at 7:38 PM
proof by it takes more than a fucking day to check your proof
> .v file
> View raw
> we're sorry but we can't show files that are this big
chat... how cooked am I?
> 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
> .v file
> View raw
> we're sorry but we can't show files that are this big
chat... how cooked am I?
> View raw
> we're sorry but we can't show files that are this big
chat... how cooked am I?
what I learned from the debacle last week
November 22, 2025 at 7:25 PM
what I learned from the debacle last week
> Skylabs AI - AI company
> look inside
> they're just verifying shit
wait wtf you can sell formal proofs as AI?? based
> look inside
> they're just verifying shit
wait wtf you can sell formal proofs as AI?? based
November 22, 2025 at 7:01 PM
> Skylabs AI - AI company
> look inside
> they're just verifying shit
wait wtf you can sell formal proofs as AI?? based
> look inside
> they're just verifying shit
wait wtf you can sell formal proofs as AI?? based