Kiran

Happy thanksgiving!

to know where you are going, you have to know where you have been: pldb.kirancodes.me Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.

alright, we slopping good tonight gals

turing my goat

Posted without comment pldb.kirancodes.me?q=SAT&from=&...

Quirky chungus category theory gal in your area

i think maybe the way that I am is some kind of trauma response (+ autism) maybe

PL researchers often have a tenuous grasp of what an acronym means. What are the worst acronyms in PL's history? We searched the archives, and here are the most belaboured acronyms to grace any paper's page in our 50 year-long history.

Oh, you're a fan of formal methods? Name a verification tool.

ran out of claude tokens rip I guess I'm going naked today

i will only tolerate human slop in my codebase. All my bugs are human made with good old fashioned human incompetence, just like my grandmother and her grandmother before her

Lowk tempted to have claude manage my wardrobe

i'm a claude made woman

What kind of PL researcher are you? Lawful Theorist? or Chaotic Engineer? Find out now! Compare with your friends~ pldb.kirancodes.me/fun/alignment

Where were you when PLDB wrapped dropped? pldb.kirancodes.me/fun

PL researchers often talk about languages *morally* doing things, but what are they talking about? A: "Fast and loose is morally correct" (2006), but around 2016 people stopped citing it (or putting "moral" in quotes!)

"On the Structure of Verifiable Code Generator Specifications." dblp.org/rec/conf/pld... This paper is lost media

how funny would it have been if the secret key was 67

watching monster again and damn this is exactly what I needed to watch right now

claude might have just one shot my hair routine

there's something about 90's era anime that's just so calming and peaceful

If you submit a lean artifact there is no need for an ai disclosure in the paper

one of the things I've had midly running in the backburner is to read through the slop drop for potential applications to my research area, got round to that today, got a few bangers

Just FYI: Firefox is just one big piece of code. You can totally just go and fork and fuck with it to add whatever features you want. I love this era of infinitely personalisable personal software.

There's a sense of beauty and isolation in how personalised LLM workflows are. My setup are truly gamechanging for me. I have a custom terminal multiplexer, a custom firefox fork, a custom todo-list app, a custom emacs fork. All of them synergise. ...but completely impossible to share with others.

Most programming languages lack the precise rules software verification requires—a growing bottleneck as AI gets better at writing proofs. @kirancodes.me used LLMs to write those rules for a small language and proved in Lean that they match how the code runs. Read more: www.basis.ai/blog/ship-yo...

@tldraw.com based slideshow application~ Draw your slides in TLDraw, present like google slides razzle.kirancodes.me

I swear the trans women in PL are such heavy hitters damn Always feel pressure to excel to not let down the team And they all do it so easily while for me its an endless struggle One must imagine Kiran happy

codex hates me

getting claude to reverse engineer the zapper while wearing it wcgw?

like zoinks scoob

courtesy of the SIGPLAN-AV team we now have videos~

Brb gonna recreate the milgram experiment with claude

claude's vision: (we shall see if I am capable of bringing it to life)

let me be the levent to your buckmaster

me and my clocky voice

me: *thinking what can i do with jev's speed* jev, do I sound cLOcKy? :3

incels 🤝 mathematicians

I was an idiot for expecting that I was the first tgirl to think of this lol like... of course there are bay-area girlies who's entire PhD research is on ML models for voice gendering lmaooo and they even have the trans voice lessons lady as a coauthor

isn't it fucking insane, that Micro$oft, fucking Micro$oft of all companies is pro-remix culture now? total Free Culture victory babyyyyy

alright alright chill

its petty, but i don't forget

it's super cool building little tools that reify little logistic tricks and conventions that I would have done by hand~ (here a tool integrated into my todo list where I can select the set of tasks I want to do today and then place them around a timeline to help plan out my day)

> I just learned that there are people who think copyright is an unequivocal evil and artists should give all their labour away for free

idle thought I had at my voice therapy session today: what if I trained a network over female voices for live vocal weight/pitch/resonance feedback?

they/them-ed in the PL discord :(

fuck it, we ball (A/B testing my hair routine with Claude)

😬