Do we write about suitcases? — Guest Post by Mayank Kumar
While this post was being penned, Bengaluru1 had relentless rains. The period from May to June here is usually associated with summer, and now it seems that we are truly out of sync. But you see, unpredictability has its own essence — and my suitcases2 have been a pinnacle in promoting it.
Before I move on to what exactly I mean, I think we mus...
Reflections on GitHub Copilot as a partner in undergraduate research
I wasn’t following the AI hype before I joined college1, and while I had heard of GitHub Copilot2, I didn’t think much of it. I had been programming for several years by then, and couldn’t imagine how AI could help me write code. I was not the only one skeptical; in particular, most educators still saw AI as another tool for plagiarism and were ...
Our code translation work is appearing in FSE 2025! But why are we translating code?
Note: Starting from this post, I will no longer be sharing any updates on Twitter or LinkedIn. All updates, like this one, will be posted here on this blog.
My work at UIUC, AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation, has been accepted to appear at the FSE 2025 conference in the Rese...
Logging Out of WhatsApp, Logging In to Life
This blog is different from others in that it is in the format of a conversation. I really did have this conversation — with ChatGPT1. I have only lightly edited its responses and have left my own responses nearly verbatim. I think this is an interesting way to present my thoughts and I might try more of this in the future2.
Host (ChatGPT): In ...
For the Love of Logos
Today I successfully1 complete 21 years of my presence. Over these many years, I have developed a huge portfolio of short-lived hobbies and interests2 — and have repeatedly found myself most drawn to building things. The thing about things is that they are concrete — so no matter how good they seem in one’s imagination, their touch and feel alwa...
I learned something about Venn diagrams!
I am sure you have seen Venn diagrams before. Venn diagrams are amazing — they can represent complex relationships between sets in a rather intuitive way. And it does not matter what these sets represent. If you are working with sets, you will often find Venn diagrams to be a natural way to present your data. But it so happens that this is gener...
On Academic Integrity
Academic integrity to university students1 is what the constitutional pledge is to elected politicians. We acknowledge it as a pious commitment to our identity in our institutions, but this acknowledgment is often riddled with dilemmas and contradictions. Transgressions are either justified by circumstances or dismissed as trivial, and while we ...
A Time Machine Of My Own
Not long ago, I realized I have been holding onto a tiny time machine. I realized this when I once accidentally turned it on! I do not have the user manual for this time machine, but from several instances of such accidental time travel, I now have some idea of how it works.
This time machine is quite primitive — in the way that it does not all...
Two Years at IISc — In Figures
Two years ago on this day, I reported at the campus of the Indian Institute of Science — to begin my undergraduate degree in Mathematics and Computing. With this, I have completed somewhat half of my IISc time1. There’s a lot to say about these two years, including the things I have learnt and the people I have met. But I will save my time2 by s...
We Called Off the Deadline
Deadlines have some sort of magic to them. A project can continue to drag on for months, but as soon as we decide to make a deadline1, usually one of two things happen.
The entire universe conspires to make sure we meet the deadline with everything we want to do.
We conspire to make sure we meet the deadline with everything we can (and sho...
27 post articles, 3 pages.