Kiran's home page~

Hi, I'm Kiran (she/her)! I am currently a Research Scientist working on AI+PL at the Basis Research Institute . Previously I was a Postdoctoral Researcher at the University of Illinois Urbana Champaign, advised by Talia Ringer . Before then, I completed my PhD from the National University of Singapore advised by Ilya…

Popular posts: 3
Total points: 734
HN comments: 391
Rank: #3,220 personal

Visit kirancodes.me → RSS feedOn Hacker News Jun 2025 – Apr 2026

AI & Machine Learning 2 Systems & Performance 1 Software Engineering 1 Math & Algorithms 1 Programming Languages 1

Most points Most discussed Most cited Newest

Lean proved this program correct; then I found a bug

2026395 points178 comments Software Engineering details

AI agents are getting very good at finding vulnerabilities in large-scale software systems.

LLMs pose an interesting problem for DSL designers

2025220 points151 comments AI & Machine Learning details

The most exciting part of Programming Languages (PL) research for me has always been in Programming Language Design.

Multi-Agentic Software Development Is a Distributed Systems Problem

2026119 points62 comments AI & Machine Learning details

Recently, I've been thinking a lot about scaffolding and languages for managing systems of LLMs coordinating with each other — new programming languages might be the ideal solution for this area.