https://topos.gay RSS for Node Thu, 21 May 2026 16:23:15 GMT Thu, 21 May 2026 16:23:15 GMT it seems to be a frequent account that identity is something experienced, and then that experience along with others’ accounts are used to create a philosophical account of identity. charlotte thinks it is important to go the other way too, that one’s philosophy about identity and the self should inform one’s identity. this is a brief collection of thoughts about the self, identity, and how names, labels, and language impact our perception and understanding of them.

]]> https://topos.gay/blog/posts/2025-08-30_self 2025-08-30_self Sat, 30 Aug 2025 00:00:00 GMT 4 min read the lean theorem prover is a pretty cool thing.

]]> https://topos.gay/blog/posts/2025-06-18_lean 2025-06-18_lean Wed, 18 Jun 2025 00:00:00 GMT 3 min read this one uses a charachorder and has used it exclusively for years instead of using a keyboard. so why tell anyone else not to use it?

]]> https://topos.gay/blog/posts/2025-04-15_ccrev 2025-04-15_ccrev Tue, 15 Apr 2025 00:00:00 GMT 4 min read