https://mukunds.blog/posts/what-is-the-co-in-covariant/ 2025-09-21T18:50:50+10:00 https://mukunds.blog/posts/im-obsessed-with-the-witcher-books/ 2025-09-21T18:50:50+10:00 https://mukunds.blog/posts/a-strange-painting/ 2025-09-21T18:50:50+10:00 https://mukunds.blog/posts/weekend-at-inverell/ 2025-09-21T18:50:50+10:00 https://mukunds.blog/posts/ranking-my-subjects/ 2025-09-21T19:21:41+10:00 https://mukunds.blog/posts/halmos-set-theory-a-review/ 2025-09-21T18:50:50+10:00 https://mukunds.blog/posts/lessons-learnt-at-roseworthy/ 2025-10-03T00:43:22+10:00 https://mukunds.blog/posts/being-a-living-part-of-sydney/ 2026-10-24T20:22:19+11:00 https://mukunds.blog/posts/a-hypothetical-new-mathematical-field/ 2025-10-03T00:43:22+10:00 https://mukunds.blog/posts/on-design-and-normativity/ 2025-09-21T18:50:50+10:00 https://mukunds.blog/posts/introduction-to-type-theory/ 2026-10-24T20:22:19+11:00 https://mukunds.blog/posts/proving-natural-addition-commutes-from-first-principles/ 2026-10-28T01:50:41+11:00 https://mukunds.blog/posts/the-idea-cadetship/ 2025-09-27T19:00:00+10:00 https://mukunds.blog/posts/layers-of-outsourcing/ 2026-10-23T16:55:40+11:00 https://mukunds.blog/posts/nostalgia/ 2025-10-07T17:00:00+11:00 https://mukunds.blog/posts/verifying-formal-specifications/ 2026-10-28T01:50:41+11:00 https://mukunds.blog/posts/variance-for-people-in-a-hurry/ 2026-10-28T01:50:41+11:00 https://mukunds.blog/posts/monads/ 2026-10-23T16:55:40+11:00 https://mukunds.blog/posts/open-letter-to-pecs-summer-school/ 2026-10-23T16:55:40+11:00 https://mukunds.blog/posts/the-paradox-of-friendship/ 2026-10-28T01:50:41+11:00 https://mukunds.blog/categories/ 2026-10-28T01:51:01+11:00 https://mukunds.blog/tags/ 2026-10-28T01:51:01+11:00 https://mukunds.blog/archives/ 2026-10-28T01:51:01+11:00 https://mukunds.blog/about/ 2026-10-28T01:51:01+11:00 https://mukunds.blog/ https://mukunds.blog/tags/technical/ https://mukunds.blog/tags/programming/ https://mukunds.blog/tags/maths/ https://mukunds.blog/tags/generics/ https://mukunds.blog/tags/variance/ https://mukunds.blog/tags/category-theory/ https://mukunds.blog/tags/witcher/ https://mukunds.blog/tags/review/ https://mukunds.blog/tags/book/ https://mukunds.blog/tags/geralt-of-rivia/ https://mukunds.blog/tags/sapkowski/ https://mukunds.blog/tags/philosophy/ https://mukunds.blog/tags/ramble/ https://mukunds.blog/tags/tree/ https://mukunds.blog/tags/painting/ https://mukunds.blog/tags/eerie/ https://mukunds.blog/tags/reflection/ https://mukunds.blog/tags/travel/ https://mukunds.blog/tags/inverell/ https://mukunds.blog/tags/short-story/ https://mukunds.blog/tags/funny/ https://mukunds.blog/tags/fiction/ https://mukunds.blog/tags/subjects/ https://mukunds.blog/tags/university/ https://mukunds.blog/tags/ranking/ https://mukunds.blog/tags/sql/ https://mukunds.blog/tags/python/ https://mukunds.blog/tags/java/ https://mukunds.blog/tags/networks/ https://mukunds.blog/tags/linux/ https://mukunds.blog/tags/software/ https://mukunds.blog/tags/algorithms/ https://mukunds.blog/tags/computers/ https://mukunds.blog/tags/dotnet/ https://mukunds.blog/tags/interaction-design/ https://mukunds.blog/tags/business-requirements-modelling/ https://mukunds.blog/tags/database/ https://mukunds.blog/tags/application-development/ https://mukunds.blog/tags/set-theory/ https://mukunds.blog/tags/halmos/ https://mukunds.blog/tags/pedagogy/ https://mukunds.blog/tags/robotics/ https://mukunds.blog/tags/rover/ https://mukunds.blog/tags/adelaide/ https://mukunds.blog/tags/recount/ https://mukunds.blog/tags/chat-gpt/ https://mukunds.blog/tags/society/ https://mukunds.blog/tags/culture/ https://mukunds.blog/tags/society-and-culture/ https://mukunds.blog/tags/sydney/ https://mukunds.blog/tags/maccas/ https://mukunds.blog/tags/hott/ https://mukunds.blog/tags/computer-science/ https://mukunds.blog/tags/dsa/ https://mukunds.blog/tags/dijkstra/ https://mukunds.blog/tags/time-complexity/ https://mukunds.blog/tags/optimization/ https://mukunds.blog/tags/type-theory/ https://mukunds.blog/tags/haskell/ https://mukunds.blog/tags/idris/ https://mukunds.blog/tags/godel-escher-bach/ https://mukunds.blog/tags/philosophy-of-meaning/ https://mukunds.blog/tags/tcs/ https://mukunds.blog/tags/dependent-typing/ https://mukunds.blog/tags/lean/ https://mukunds.blog/tags/peano/ https://mukunds.blog/tags/uts/ https://mukunds.blog/tags/idea/ https://mukunds.blog/tags/copilot/ https://mukunds.blog/tags/llm/ https://mukunds.blog/tags/shower-thought/ https://mukunds.blog/tags/nostalgia/ https://mukunds.blog/tags/spotify/ https://mukunds.blog/tags/spotify-wrapped/ https://mukunds.blog/tags/short/ https://mukunds.blog/tags/leftpad/ https://mukunds.blog/tags/verification/ https://mukunds.blog/tags/formal-verification/ https://mukunds.blog/tags/formal-methods/ https://mukunds.blog/tags/proof/ https://mukunds.blog/tags/csharp/ https://mukunds.blog/tags/monads/ https://mukunds.blog/tags/hkt/ https://mukunds.blog/tags/higher-kinded-types/ https://mukunds.blog/tags/idris2/ https://mukunds.blog/tags/hungary/ https://mukunds.blog/tags/uni/ https://mukunds.blog/tags/college/ https://mukunds.blog/tags/europe/ https://mukunds.blog/tags/politics/ https://mukunds.blog/tags/history/ https://mukunds.blog/tags/exchange/ https://mukunds.blog/tags/international/ https://mukunds.blog/tags/pecs/ https://mukunds.blog/tags/summer/ https://mukunds.blog/tags/lecture/ https://mukunds.blog/tags/school/ https://mukunds.blog/tags/summer-school/ https://mukunds.blog/tags/friends/ https://mukunds.blog/tags/friendship/ https://mukunds.blog/tags/irony/ https://mukunds.blog/tags/paradox/ https://mukunds.blog/tags/social-commentary/ https://mukunds.blog/categories/technical/ https://mukunds.blog/categories/books-film-and-music/ https://mukunds.blog/categories/misc/ https://mukunds.blog/categories/university/ https://mukunds.blog/page2/ https://mukunds.blog/page3/