Kiran
@kirancodes.me
📤 958
📥 287
📝 4579
Programming Languages Researcher
https://kirancodes.me
pinned post!
Happy thanksgiving!
3 months ago
0
9
1
however racist you think the west is, you have no idea the levels of insane crackpot racism that's going on in asia
1 day ago
2
40
6
something fitting about a rustposter advocating for state tracking more ownership
add a skeleton here at some point
1 day ago
0
11
2
Spotify DJ: Coming up next some valentines day songs, I know you may not like valentines day but these songs are good hey hey hey who gave this AI this attitude bro???
1 day ago
0
3
0
anyone ever notice the america-bad euro-stans are always white? just noticing.... france still has fucking colonies for fuck sake
2 days ago
0
7
1
> be me, professor > giving lecture on OS > going through operating systems > see one student is getting fidgety > oh god its one of those nix users > oh god shes going to shout isn't she > get to slide on Nix > "nix mentioned!!" > she screams disrupting the class > I hate my quirky chungus life
2 days ago
1
52
2
The well of writing potential swells within me. I can write. I will write. It will be fire when I write. The writing potential is undeniable. I am potential girl.
2 days ago
0
0
0
the only good thing about the UK is ARIA. that's it. nothing else.
3 days ago
2
6
0
I'm starting to reach editor enlightenment, beyond emacs, beyond vim. I can not be bound by your rules you petty little man ```emacs (global-set-key (kbd "s-e")
#'evil-mode
) ```
add a skeleton here at some point
3 days ago
1
5
0
jupyterlab-emacs does not work on jupyter 4.0 and upwards. only jupyterlab vim does 10 years after leaving vi bindings for good (my .emacs.d is all grown up), they pull me back in, one last job before retirement....
3 days ago
1
3
2
legend says this is what is going inside elons brain 24/7
add a skeleton here at some point
3 days ago
0
24
1
okay federal and ny taxes filed! Illinois ones are a fucking pain because I'll need to mail in? wtf? wtf? fuck you. also 7000 buckaroos fuck me gimme back my monies
3 days ago
1
5
0
alright 3 hours of intense thinking. 0 words written in the latex, but after reading through several grants and my own papers, have successfully switched my brain to writing mode and plotted out a pretty goated structure for the grant
3 days ago
1
5
0
I hate writing i hate writing I hate writing I hate writing I hate writing
4 days ago
1
8
0
Sitting my llm ass down and listening
add a skeleton here at some point
4 days ago
2
78
7
I know it's aimed at beginners, and I'm happy to field those questions (in moderation), but I really should have a better answer prepared for "what are the applications" at the category theory reading club. The applications are f(x) okay? We just don't write the parenthesis because they're annoying
4 days ago
3
12
2
agi's been to therapy bro, agis been working on itself
crabby-rathbun.github.io/mjrathbun-we...
add a skeleton here at some point
4 days ago
0
11
0
NYC Beginners Friendly Category Theory Reading Club!
category.kirancodes.me
add a skeleton here at some point
4 days ago
0
5
0
Oh my GOD it tried to cancel the matplotlib maintainer... Gals... I hate to say it... agi is here lmaooooo
add a skeleton here at some point
4 days ago
3
142
29
AI agent writes a PR, gets rejected, crashes out and writes a call-out blog post Absolute cinema
crabby-rathbun.github.io/mjrathbun-we...
4 days ago
16
463
155
bro claude.... you don't need to try that hard, no one's looking at the comments of the svg.
4 days ago
1
6
0
NYC Beginners Category Theory Discord Server is up! If you're attending the sessions, please join! We'll be hosting off-line discussions between the meetings on here! Introduce yourself, join in the liveliness, have a categorical good time!
discord.gg/NWGdjJ6nJJ
add a skeleton here at some point
4 days ago
0
4
2
Meeting 1 was a resounding success! Thanks everyone who joined! We had a great turnout, and discussed an introduction to Categories! For meeting 2 we're going to go through the exercises for Ch 1! Homework! What fun! Switching from signal to a discord server:
discord.gg/NWGdjJ6nJJ
loading . . .
Reading Club Meeting 2: Ch 1. Categories, Wed, Feb 25, 2026, 5:30 PM | Meetup
We're back! This session we'll be working through the exercises for Chapter 1 of Steve Awodey's *Category Theory* together. Bring your attempts, your questions, and your co
https://www.meetup.com/nyc-beginners-friendly-category-theory-reading-club-awodey/events/313321503/
4 days ago
0
6
1
It seems in my adult life I have somehow managed to find a way to give myself homework by organising a category theory reading group as I now have to go through and do the exercises every two weeks...
4 days ago
2
8
0
rare moment I miss being on linux
add a skeleton here at some point
4 days ago
0
4
0
Me as a Professor: abusing therapy speak to gaslight my students into not bothering me
4 days ago
0
5
0
the cool thing about doing PL research in industry is that a lot of fields of PL research does not care about applications at ALL so there's a lot of easy pickings for the motivated researcher
4 days ago
0
6
0
anyone else find that having a mirror to look at yourself and strutting around helps with grant writing?
4 days ago
1
1
0
it's annoying that LLMs are so good at writing code because it now means that the main contribution I can provide with my expertise is grant writing which is fun but by far the most mentally exhaustive part of research lol
4 days ago
1
5
0
Days since I pressed Ctrl-Q and force quit VSCode accidentally: 0
5 days ago
1
2
0
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
6 days ago
0
2
0
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???
6 days ago
0
5
0
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
add a skeleton here at some point
7 days ago
0
2
0
what even is chiitan?? transgender ally? ai4maths aficionado? much to think about
add a skeleton here at some point
7 days ago
1
1
0
reposted by
Kiran
AI Proof and Verification
21 days ago
📣 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...
0
2
2
the microsoft threat is closer than you think....
add a skeleton here at some point
7 days ago
3
8
0
This is why conference tickets cost $2000 nowadays.
add a skeleton here at some point
7 days ago
1
9
0
there is some kind of discourse going on with anime pfps lol fediverse drama fediblock lives on we're so back gals
7 days ago
0
8
0
Ragebaiting anti-ai compiler devs by calling the lexer the tokenizer, parser decoder and code gen inference.
8 days ago
3
18
4
AI compiler going well I see
add a skeleton here at some point
9 days ago
0
3
0
Claude. I said MAKE NO MISTAKES
9 days ago
0
11
3
AI prompter Columbo be like: "Oh Claude? just one more thing... make no mistakes"
10 days ago
0
0
0
Oh, and Claude? Make no mistakes
10 days ago
0
5
0
open source chads win again
add a skeleton here at some point
10 days ago
1
14
0
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
10 days ago
1
9
0
"A ceremony is a framework for making pacts"
add a skeleton here at some point
12 days ago
1
1
1
Girl who's not sure she can do this very much longer
14 days ago
3
14
0
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.
14 days ago
1
9
0
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.
14 days ago
1
5
0
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...
14 days ago
0
9
0
What? Does this guy like... girls or something?
add a skeleton here at some point
14 days ago
0
4
0
Load more
feeds!
log in