https://mukunds.blog/Reviews, reflections, stories, and expositions 2026-10-28T01:51:01+11:00 Mukund Srinivasan https://mukunds.blog/ Jekyll © 2026 Mukund Srinivasan /assets/img/favicons/favicon.ico /assets/img/favicons/favicon-96x96.png 2026-10-20T01:30:00+11:00 2026-10-28T01:50:41+11:00 https://mukunds.blog/posts/the-paradox-of-friendship/ Mukund Srinivasan

What does it take to make a good friend? By that I mean someone outside your family that you know well, enjoy spending time with, and can count on for help and support. I once watched an interview with Emma Watson that had a segment where she was asked about being “friends” with her costars (you can see the interview here- the video I found that clips the exact quote is a youtube short). Her ...

2026-10-20T01:30:00+11:00 2026-10-23T16:55:40+11:00 https://mukunds.blog/posts/open-letter-to-pecs-summer-school/ Mukund Srinivasan

Dear Pecs Summer School, I am a student at UTS, that was lucky enough to attend you in July this year. I enjoyed my time in your city and it’s hard to believe I was only there for a few weeks when that experience felt so formative and memorable. I have many things to say to you and I regret not having written them down in depth in the feedback form. I hope this written testimonial will partia...

2026-02-20T16:30:00+11:00 2026-10-23T16:55:40+11:00 https://mukunds.blog/posts/monads/ Mukund Srinivasan

Functional Programming Basics After Dependent Type Theory? This article is a bit of a step backwards, but covers important foundational FP content and sets the blog up to do an advanced trans-domain monads post later. What is Functional Programming Functional Programming is a programming paradigm- it is an abstract set of principles for writing code, and if you can make an argument that your...

2026-02-13T17:30:00+11:00 2026-10-28T01:50:41+11:00 https://mukunds.blog/posts/variance-for-people-in-a-hurry/ Mukund Srinivasan

In 2024 I wrote my first post on this blog, on variance. Rereading it I think there is much that can be improved and the whole thing can be shortened, so here it is. Requirements Variance needs two things to exist, without these it doesn’t make sense to talk about variance. The first is that the set of types in a programming language need to form a poset. This is the case in C#. Let \(P\)...

2025-11-05T20:30:00+11:00 2026-10-28T01:50:41+11:00 https://mukunds.blog/posts/verifying-formal-specifications/ Mukund Srinivasan

All the code snippets in this article are compiled into a fully working proof accessible here You can read Part II here Our previous ventures into type theory were all self-motivated and highly theoretical. In this entry in the series we’ll explore the utility of type theory in the real world. First we’ll talk about requirements and what it means for an engineered product to be verified....