https://methaphur.github.io/blogs/Recent content in Writing on Harisankar BHugo -- gohugo.ioenharisankar.b@niser.ac.in (Harisankar B)harisankar.b@niser.ac.in (Harisankar B)© 2026 Harisankar BSat, 08 Aug 2026 00:00:00 +0000https://methaphur.github.io/blogs/problem-solvers/Sat, 08 Aug 2026 00:00:00 +0000harisankar.b@niser.ac.in (Harisankar B)https://methaphur.github.io/blogs/problem-solvers/A reminder that we are problem solvers, and that the human mind is still the strangest thing we know of.Personalhttps://methaphur.github.io/blogs/replicated-growable-array/Thu, 30 Jul 2026 00:00:00 +0000harisankar.b@niser.ac.in (Harisankar B)https://methaphur.github.io/blogs/replicated-growable-array/Notes on a tombstone-free RGA: proved RA-linearizable in Lean 4, then found to reorder your text on delete. Why convergence is not correctness.Noteshttps://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.Noteshttps://methaphur.github.io/blogs/remarkable-theorem-of-gauss/Sat, 16 May 2026 00:00:00 +0000harisankar.b@niser.ac.in (Harisankar B)https://methaphur.github.io/blogs/remarkable-theorem-of-gauss/Gauss’s Theorema Egregium reveals that Gaussian curvature is intrinsic: it can be read from distances measured on a surface, without looking at the surrounding 3D space.Mathematicshttps://methaphur.github.io/blogs/first-note/Sat, 09 May 2026 00:00:00 +0000harisankar.b@niser.ac.in (Harisankar B)https://methaphur.github.io/blogs/first-note/Welcome to my blog! Here I’ll share notes on automated reasoning, formal methods, theoretical computer science, mathematics, machine learning, and more.Notes