What Am I Thinking About?

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT

Home Tags social-commentary

Tag

social-commentary 1

The Irony of Friendship Oct 20, 2026

Recently Updated

Type Theory Part II: Proving Natural Addition Commutes from First Principles
Type Theory Part III: Verifying Formal Specifications
Variance for People in a Hurry
The Irony of Friendship
Type Theory Part I: Introduction to Type Theory

Trending Tags

maths programming technical computer-science review set-theory type-theory university book category-theory

© 2026 Mukund Srinivasan. Some rights reserved.

Trending Tags

maths programming technical computer-science review set-theory type-theory university book category-theory

New content available