Emergence on Harisankar Bhttps://methaphur.github.io/tags/emergence/Recent content in Emergence on Harisankar BHugo -- gohugo.ioenharisankar.b@niser.ac.in (Harisankar B)harisankar.b@niser.ac.in (Harisankar B)© 2026 Harisankar BTue, 14 Jul 2026 00:00:00 +0000LLM Proposes, Lean Disposes: A Week at the LeanLang Summer Schoolhttps://methaphur.github.io/blogs/leanlang-summer-school/Tue, 14 Jul 2026 00:00:00 +0000harisankar.b@niser.ac.in (Harisankar B)https://methaphur.github.io/blogs/leanlang-summer-school/In July 2026 I spent a week at IISc Bangalore for the LeanLang Summer School, run by Emergence. Here is how I got there, what Lean actually is, why formally verified autonomy suddenly matters, and a tour of the week.