• From bastardized relativism to the failed absolute
• Language is reflexive
• Transfinity, stream, and recursion
• Notes on a famous quote of Parmenides
• A dialectic of identity
• Why philosophy?
• A typical example of diagrammatic proofs
• Type safety of abstract machines, intuitively
• UIP as an incarnation of "Being"
• The Sonnet of CPS
• Coherence condition of two proofs in Cubical Agda?