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.