Antagonistic Being
  • Blog
  • Tags
  • Notes
  • About
  • Toward a Lacanian reading of Elden Ring's lore
  • 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?