Kiran
@kirancodes.me
Pinned
okay turns out my UIUC postdoc funding was pre-tax, which means I have to pay tax....
it's only 2000 dollars babyyyyy land of the free babyyyy americhads stay winning healthcare bah who needs that freeedom isn't free but it sure is cheap babyyyyy
it's only 2000 dollars babyyyyy land of the free babyyyy americhads stay winning healthcare bah who needs that freeedom isn't free but it sure is cheap babyyyyy
February 10, 2026 at 5:51 AM
okay turns out my UIUC postdoc funding was pre-tax, which means I have to pay tax....
it's only 2000 dollars babyyyyy land of the free babyyyy americhads stay winning healthcare bah who needs that freeedom isn't free but it sure is cheap babyyyyy
it's only 2000 dollars babyyyyy land of the free babyyyy americhads stay winning healthcare bah who needs that freeedom isn't free but it sure is cheap babyyyyy
garbage software, why didn't the agent ask me if I was dual resident *before* asking for copies of all my forms? and then spending a day procrastinating on this before getting back to me???
February 10, 2026 at 5:05 AM
garbage software, why didn't the agent ask me if I was dual resident *before* asking for copies of all my forms? and then spending a day procrastinating on this before getting back to me???
the annoying thing about working with a PL researcher is that they'll come up with one good pun and then you'll spend the next 3 months hearing them saying it again and again with a smug look
"A ceremony is a framework for making pacts"
"A pact is a protocol with trust"
February 9, 2026 at 3:29 PM
the annoying thing about working with a PL researcher is that they'll come up with one good pun and then you'll spend the next 3 months hearing them saying it again and again with a smug look
what even is chiitan?? transgender ally? ai4maths aficionado? much to think about
February 9, 2026 at 1:22 PM
what even is chiitan?? transgender ally? ai4maths aficionado? much to think about
Reposted by Kiran
📣 Call for Contributions – AIPV 2026
We invite submissions on the interaction between AI, proof, and verification.
AIPV 2026 will be held in Tokyo, co-located with FM 2026.
🔗 aipv2026.github.io/call4contrib...
We invite submissions on the interaction between AI, proof, and verification.
AIPV 2026 will be held in Tokyo, co-located with FM 2026.
🔗 aipv2026.github.io/call4contrib...
January 26, 2026 at 4:30 PM
📣 Call for Contributions – AIPV 2026
We invite submissions on the interaction between AI, proof, and verification.
AIPV 2026 will be held in Tokyo, co-located with FM 2026.
🔗 aipv2026.github.io/call4contrib...
We invite submissions on the interaction between AI, proof, and verification.
AIPV 2026 will be held in Tokyo, co-located with FM 2026.
🔗 aipv2026.github.io/call4contrib...
the microsoft threat is closer than you think....
February 9, 2026 at 1:12 PM
the microsoft threat is closer than you think....
This is why conference tickets cost $2000 nowadays.
the acm digital library continues to innovate: clicking the pdf button brings up an in-browser reader which promptly crashes, offers to let me download the thing, but the button does not work. ffs
February 9, 2026 at 12:59 PM
This is why conference tickets cost $2000 nowadays.
there is some kind of discourse going on with anime pfps lol fediverse drama fediblock lives on we're so back gals
February 9, 2026 at 3:54 AM
there is some kind of discourse going on with anime pfps lol fediverse drama fediblock lives on we're so back gals
Ragebaiting anti-ai compiler devs by calling the lexer the tokenizer, parser decoder and code gen inference.
February 8, 2026 at 3:55 AM
Ragebaiting anti-ai compiler devs by calling the lexer the tokenizer, parser decoder and code gen inference.
AI compiler going well I see
February 6, 2026 at 11:07 PM
AI compiler going well I see
Claude. I said MAKE NO MISTAKES
February 6, 2026 at 11:06 PM
Claude. I said MAKE NO MISTAKES
AI prompter Columbo be like: "Oh Claude? just one more thing...
make no mistakes"
make no mistakes"
February 6, 2026 at 2:14 PM
AI prompter Columbo be like: "Oh Claude? just one more thing...
make no mistakes"
make no mistakes"
Oh, and Claude?
Make no mistakes
Make no mistakes
February 6, 2026 at 2:13 PM
Oh, and Claude?
Make no mistakes
Make no mistakes
open source chads win again
February 6, 2026 at 5:08 AM
open source chads win again
been using python as my main go to for my projects recently lol gotta say uv venv source .venv/bin/activate uv sync uv pip install is actually pretty goated lmao
I'd forgotten the hell that was opam switch create waiting 10 minutes for the compiler to build and then loosing 50gb of disk space
I'd forgotten the hell that was opam switch create waiting 10 minutes for the compiler to build and then loosing 50gb of disk space
February 5, 2026 at 11:18 PM
been using python as my main go to for my projects recently lol gotta say uv venv source .venv/bin/activate uv sync uv pip install is actually pretty goated lmao
I'd forgotten the hell that was opam switch create waiting 10 minutes for the compiler to build and then loosing 50gb of disk space
I'd forgotten the hell that was opam switch create waiting 10 minutes for the compiler to build and then loosing 50gb of disk space
"A ceremony is a framework for making pacts"
February 4, 2026 at 2:47 AM
"A ceremony is a framework for making pacts"
Girl who's not sure she can do this very much longer
February 2, 2026 at 4:35 AM
Girl who's not sure she can do this very much longer
I think the issue is that I'm under so many layers of trauma, I can only survive by being emotionally shut off. the moment I go on a date with someone who genuinely makes me feel safe and comfortable, the guard comes down and I'm immediately crushed under the weight of it all.
February 2, 2026 at 12:56 AM
I think the issue is that I'm under so many layers of trauma, I can only survive by being emotionally shut off. the moment I go on a date with someone who genuinely makes me feel safe and comfortable, the guard comes down and I'm immediately crushed under the weight of it all.
Was leaving the apartment an old lady walked past me the face of disgust oooh baby I am ashamed to say I had forgotten that since coming to the US, it was ubiquitous in SG, but rare
Anyway thanks for reminding me why I am the way I am. Cold husk Kiran is the only one who could survive this.
Anyway thanks for reminding me why I am the way I am. Cold husk Kiran is the only one who could survive this.
February 1, 2026 at 11:39 PM
Was leaving the apartment an old lady walked past me the face of disgust oooh baby I am ashamed to say I had forgotten that since coming to the US, it was ubiquitous in SG, but rare
Anyway thanks for reminding me why I am the way I am. Cold husk Kiran is the only one who could survive this.
Anyway thanks for reminding me why I am the way I am. Cold husk Kiran is the only one who could survive this.
Spent her sunday curled up in a ball in bed crying and now needs to finish as much of her weekend chores as soon as possible award goes to...
February 1, 2026 at 11:19 PM
Spent her sunday curled up in a ball in bed crying and now needs to finish as much of her weekend chores as soon as possible award goes to...
What? Does this guy like... girls or something?
it doesn't even need to be aquatic or fish-y, gimme some damn monster women in media and let me kiss them
February 1, 2026 at 11:17 PM
What? Does this guy like... girls or something?
spent today thinking about the universal mapping property and I think I finally grok it.
for a set A, UMP holds on monoid M, i: A -> M, s.t forall N, f: A -> N, there is unique f', f' o i = f.
The existence of f' for any monoid shows M adds no noise, the uniqueness ensures no junk
for a set A, UMP holds on monoid M, i: A -> M, s.t forall N, f: A -> N, there is unique f', f' o i = f.
The existence of f' for any monoid shows M adds no noise, the uniqueness ensures no junk
February 1, 2026 at 9:51 PM
spent today thinking about the universal mapping property and I think I finally grok it.
for a set A, UMP holds on monoid M, i: A -> M, s.t forall N, f: A -> N, there is unique f', f' o i = f.
The existence of f' for any monoid shows M adds no noise, the uniqueness ensures no junk
for a set A, UMP holds on monoid M, i: A -> M, s.t forall N, f: A -> N, there is unique f', f' o i = f.
The existence of f' for any monoid shows M adds no noise, the uniqueness ensures no junk
Challenging part of going dating as me is that I suppose at some point in the dating process I need to reveal that I am a disowned freak of nature who has been hopping countries her entire life and I have about exactly 1 close friend and no one I can depend on. How early should that be? First date?
February 1, 2026 at 5:44 PM
Challenging part of going dating as me is that I suppose at some point in the dating process I need to reveal that I am a disowned freak of nature who has been hopping countries her entire life and I have about exactly 1 close friend and no one I can depend on. How early should that be? First date?
I'm so envious of people with rich social lives. I feel like a shell of a person, an hollow vessel, a facsimile of humanity.
February 1, 2026 at 3:26 PM
I'm so envious of people with rich social lives. I feel like a shell of a person, an hollow vessel, a facsimile of humanity.
That was such an insanely great date that I might have flubbed by being unrepentantly ill-adjusted I am so fried rn.
Glad I went out today. I am happy to meet the people that I did. I hope i didnt screw it up, but instead of letting regret cloud my memories I will be happy that it happened!
Glad I went out today. I am happy to meet the people that I did. I hope i didnt screw it up, but instead of letting regret cloud my memories I will be happy that it happened!
February 1, 2026 at 4:37 AM
That was such an insanely great date that I might have flubbed by being unrepentantly ill-adjusted I am so fried rn.
Glad I went out today. I am happy to meet the people that I did. I hope i didnt screw it up, but instead of letting regret cloud my memories I will be happy that it happened!
Glad I went out today. I am happy to meet the people that I did. I hope i didnt screw it up, but instead of letting regret cloud my memories I will be happy that it happened!