charlotte's blog

reflections on names and the self

2025-08-30

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.


4 min read

computer math

2025-06-18

the lean theorem prover is a pretty cool thing.


3 min read

charachorder, and why not to use it

2025-04-15

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?


4 min read


RSS feed RSS feed

▌▖▘▌▌▘▖▘▌▖▘▖