Kiran
banner
kirancodes.me
Kiran
@kirancodes.me
Programming Languages Researcher

https://kirancodes.me
Yep!
January 12, 2026 at 10:05 AM
absolute banger of a story!, the entire night watch chronology is one of my favourite subseries of discworld
January 11, 2026 at 12:51 AM
when I was purchasing things in the UK I was surprised at how many terminals were running *freedom* pay america no. 1 usa usa usa *freedom*; I can't defend the plugs though lol but at the very least they are the same shape
January 11, 2026 at 12:16 AM
Where did you get this footage of me????
January 10, 2026 at 9:51 PM
I have been planning out the company's POPL stuff all through December. Didn't even realise or feel it was Christmas (worked out because anxiety and stress is a preferable emotion to loneliness)

bsky.app/profile/kira...
How's your Christmas Eve? Spending time with family? With friends? Thats good, good! Happy for you.

This was mine lol planning POPL,LAFI and visa interview and meeting a research institute in Parism.

It's 8pm, Im still at the lab 😭😭😭. Tbf its not like I had anything better to do
January 10, 2026 at 8:57 PM
First day of POPL is going to be a doozy but if I pull this off then this is going to be the climax of a month of preparation.
January 10, 2026 at 8:55 PM
Haha yep yep in fact thats the entire reason I've been outside the US for the past two weeks lol (going to POPL hence need to get visa stamped to get back into the US)
January 10, 2026 at 8:46 PM
Ah, but you see, you've never used quantifiers with my techniques! It solves that issue!
January 10, 2026 at 8:14 PM
....the smt one is *all* about quantifiers lol
January 10, 2026 at 8:12 PM