Writings and Ramblings

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT

Home Categories

Categories

Categories

Books Film and Music 2 posts

Misc 4 posts

Technical 4 posts

University 2 posts

Recently Updated

Ranking My Subjects
Type Theory Part II: Proving Natural Addition Commutes from First Principles
A Strange Painting
Weekend At Inverell
Halmos' Set Theory: a Review

Trending Tags

maths programming computer-science review set-theory technical book category-theory philosophy python

© 2025 Mukund Srinivasan. Some rights reserved.

Trending Tags

maths programming computer-science review set-theory technical book category-theory philosophy python

A new version of content is available.