Kiran
@kirancodes.me
Pinned
In their tongue, she is Kiran. bugfinder!
October 29, 2026 at 8:00 PM
In their tongue, she is Kiran. bugfinder!
Fable usage limits out for the week? better call sol!
October 28, 2026 at 7:43 PM
Fable usage limits out for the week? better call sol!
made a custom case for my samsung flip 8~
October 28, 2026 at 12:30 AM
made a custom case for my samsung flip 8~
what is tao's settee and why is everyone obsessed with it?
October 27, 2026 at 11:23 PM
what is tao's settee and why is everyone obsessed with it?
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.
pldb.kirancodes.me
Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.
October 27, 2026 at 8:06 PM
Reposted by Kiran
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.
pldb.kirancodes.me
Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.
September 30, 2026 at 12:46 AM
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.
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
October 27, 2026 at 3:28 AM
alright, we slopping good tonight gals
October 26, 2026 at 11:50 PM
Quirky chungus category theory gal in your area
October 25, 2026 at 2:38 PM
Quirky chungus category theory gal in your area
i think maybe the way that I am is some kind of trauma response (+ autism) maybe
October 25, 2026 at 12:25 PM
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.
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.
![To Proof Maintenance & Beyond!
A KIRANCODES.ME PLDB / 1972-2023 PL's most strained acronyms SCARY Seemingly erroneous (appearing Constrained ...), but Actually work with the Right implementation (unconstrained by ...) [1] OOPSLA 2009 • Footnote 2 • expansion excerpt WIPER WIsconsin Partial EvaluatoR [31 0OPSLA 2015 • $1 • Introduction CHOCOLATE Calculi of Higher Order COmmunication and LAmbda TErms [5] POPL 1994 • Paper title GSOS 1988 → 1994 G: "guarded recursion" → "Grand" Grand Structural Operational Semantics [7] POPL 1988 • footnote 6 / [5] POPL 1994 • footnote 5 [1] Minimizing dependencies within generic classes for faster and smaller programs. PDF p. 2. [3] Partial evaluation of machine code. PDF p. 2. 15] CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms. PDF p. 1. 17] Bisimulation Can't Be Traced. PDF p. 7. pldb.kirancodes.me
Perceus PrEcise Reference Counting with rEUse and Specialization [2] PLD| 2021 • Footnote 1 SyRup Synthesizer for RecUrsive Programs 141 PLDI 2023 • Footnote 1 CRYSTAL Concurrent Representation of Your Space-Time ALgorithms [6] POPL 1986 • Opening-page footnote INTERCAL 1972 Compiler Language With No Pronounceable Acronym 18] Reference manual • §$1.1-1.2 [2] Perceus: garbage free reference counting with reuse. PDF p. 2. [4] Trace-Guided Inductive Synthesis of Recursive Functional Programs. PDF p. 3. [61 A Parallel Language and its Compilation to Multiprocessor Machines or VLSI. PDF p. 1. 181 The INTERCAL reference manual. Introduction.
Abolish Copyright](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:i32jjsch6xqcguzsf2lgbfyu/bafkreiezduicljyzzq6mjbtms5ysq5mgz2ls5rcpvtcjvvhgqnqobpks3e)
October 25, 2026 at 12:08 PM
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.
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.
October 25, 2026 at 10:59 AM
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
> thinks I use chatgpt for anything with taste
young padawan you have much to learn
young padawan you have much to learn
October 24, 2026 at 3:52 AM
ran out of claude tokens rip I guess I'm going naked today
> thinks I use chatgpt for anything with taste
young padawan you have much to learn
young padawan you have much to learn
October 24, 2026 at 12:50 AM
> thinks I use chatgpt for anything with taste
young padawan you have much to learn
young padawan you have much to learn
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
All my bugs are human made with good old fashioned human incompetence, just like my grandmother and her grandmother before her
October 23, 2026 at 2:52 PM
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
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
October 23, 2026 at 2:13 PM
Lowk tempted to have claude manage my wardrobe
What kind of PL researcher are you? Lawful Theorist? or Chaotic Engineer?
Find out now! Compare with your friends~
pldb.kirancodes.me/fun/alignment
Find out now! Compare with your friends~
pldb.kirancodes.me/fun/alignment
October 23, 2026 at 4:48 AM
What kind of PL researcher are you? Lawful Theorist? or Chaotic Engineer?
Find out now! Compare with your friends~
pldb.kirancodes.me/fun/alignment
Find out now! Compare with your friends~
pldb.kirancodes.me/fun/alignment