Lightnews — Scholar-powered news

Kiran (She/Her)

@kirancodes.me

750 followers 240 following 3.4K posts

Programming Languages Postdoc @ UIUC Trans girl 🏳️‍⚧️ still here~ despite it all if ur a hot guy, DM me plssss~ https://kirancodes.me

kirancodes.me

Posts Media Videos Starter Packs

Pinned

Kiran (She/Her) @kirancodes.me · 1d

Don't mess with me or my uwu :3 son ever again~

Selfie of me holding my uwu face pumpkin

1 1

Kiran (She/Her) @kirancodes.me · 1h

actually y'know what? overleaf for collaborating on a latex document is pretty goated - defo beats dealing with the different versions of latex people might be running

remember for my first pldi paper we were huddled around my advisors laptop waiting for it to compile minutes after the deadline lol

Kiran (She/Her) @kirancodes.me · 1h

oh we have a senior author on the RC? who's that?

wait~ it's me!!! lol forget I'm not a "junior researcher" anymore; postdoc privileges

Reserve Reviewers registering?(hidden from reviewers)
Will any of your senior authors be registering to serve as reserve reviewers? The detailed version of the rules are in the CFP; the options below are truncated for simplicity. If more than one applies, pick the top-most one.
Yes (information provided below)
No, we have no senior authors
No, a senior author is already on the RC
No, all senior authors are new to SIGPLAN and SIGSOFT, meaning they have published less than 3 papers at major SIGPLAN/SIGSOFT conferences (PLDI, POPL, OOPSLA, ICFP, ICSE, FSE, ISSTA), or they are chairing a major SIGPLAN conference in 2025-2027
Some other exception (confirmed by RC chairs)

Kiran (She/Her) @kirancodes.me · 4h

oooh thanks for the reference! saving this for later!

last time I looked, I got as far as getting lost in the way slideshow seems to do some weird low level linking thing and getting totally overwhelmed by that

gist.github.com/kiranandcode...

slide-visual.rkt

slide-visual.rkt. GitHub Gist: instantly share code, notes, and snippets.

gist.github.com

Kiran (She/Her) @kirancodes.me · 21h

Every few years I have the urge to write a wysiwyg extension to Racket's slideshow to allow using the mouse to position items and modifying the code and then try implementing it only to get mired in the complexity of Rackets terminology for everything...

Any Racket devs interested in this?

1 2

Kiran (She/Her) @kirancodes.me · 22h

fuck, went to macys today and I fell for the scam and got a macy's credit card oof

I mean in the grand scheme of things i don't think it makes a difference really, but it's annoying having another card without choosing it

Kiran (She/Her) @kirancodes.me · 1d

Thinking of getting a shock collar to shock me whenever I use C-n C-p instead of smarter move ops in emacs

3 2

Kiran (She/Her) @kirancodes.me · 1d

Locked tf in and did like 3 hours of in zone paper writing today

Kiran (She/Her) @kirancodes.me · 1d

a man in a suit and tie stands next to another man in a suit

Alt: a man in a suit and tie stands next to another man in a suit, clip from phoenix wright, shows Miles and Phoenix standing next to each other, Phoenix sweating and miles thumping down in disbelief.

media.tenor.com

Kiran (She/Her) @kirancodes.me · 1d

objection! code goes brrrrrr

1 2

Kiran (She/Her) @kirancodes.me · 1d

I hate on haskell a bunch, but tbh python version management makes stack/cabal seem perfectly designed in comparison

Stackoverflow question from 8 years ago which reads What is the difference between venv, pyvenv, pyenv, virtualenv, virtualenvwrapper, pipenv, etc?

4 2 14

Reposted by Kiran (She/Her)

Kiran (She/Her) @kirancodes.me · 1d

Don't mess with me or my uwu :3 son ever again~

1 1

Kiran (She/Her) @kirancodes.me · 1d

Don't mess with me or my uwu :3 son ever again~

1 1

Kiran (She/Her) @kirancodes.me · 1d

Core memory made: pumpkin carving with my roommate~

Selfie of me with my hand over a pumpkin with heart eyes and uwu mouth and its glowing and Im making a peace sign.

1 3

Kiran (She/Her) @kirancodes.me · 2d

Weakest Liberal Precondition vs Strongest Conservative Postcondition

Kiran (She/Her) @kirancodes.me · 2d

thanks @joomy.bsky.social for the writeup lol

Kiran (She/Her) @kirancodes.me · 2d

it's interesting bridging colloquial terminology between domains - as a verification gal, I'm very used to intrinsic/extrinsic to classify verification styles, but surprised my co-authors weren't aware of it, so had to look up if I had just made it up lol

joomy.korkutblech.com/posts/2024-1...

Intrinsic vs. extrinsic verification

Tracing the origin of the terms

joomy.korkutblech.com

1 1

Kiran (She/Her) @kirancodes.me · 2d

the only letters I get that misgender me are always from the UK lol

like the american ones just leave out the title or use the correct ones, but UK ones always always always without fail misgender me

terf island lives up to its name again

Kiran (She/Her) @kirancodes.me · 2d

it sounds like the clientele of the ski area are of impeccable taste lol

Kiran (She/Her) @kirancodes.me · 2d

lol except the dog in me is an eepy dog

Kiran (She/Her) @kirancodes.me · 2d

I agree it's not my best disguise...

Selfie of me with purple lipstick and purple eye shadow and winking

1 2

Kiran (She/Her) @kirancodes.me · 2d

I don't necessarily hate it either

Kiran (She/Her) @kirancodes.me · 2d

whenever I put on makeup I can't help but think I'm recreating this scene lol

Clip from the Sherlock holmes movie where Sherlock meets Watson in his train as he's heading off for his honeymoon, and Sherlock is in drag with red lipstick.

1 3

Kiran (She/Her) @kirancodes.me · 2d

apparently I give relaxing dog vibes lol

Kiran (She/Her) @kirancodes.me · 2d

sorry wtf spotify?????

Screenshot of my spotify recommended playlists list where the last element is relaxing music for dogs.

3 2

Kiran (She/Her) @kirancodes.me · 2d

yeah yeah I think overall it's good for skin health (the suncream also acts as a moisturiser as well), but I am prescient that it's kinda a brainrot as well, like I can't even quickly pop to the grocery shop without suncreaming up

1 1