A Walk Through My Neighborhood
On Gendered Socialization - People have been increasing using the phrases "male socialization" and "female socialization". Are these actually useful phrases to categorize ourselves into or are they ways of reperpetuating gender essentialism in more friendly/acceptable language?
Provable Standard ML Programs in Lean - A subset of Standard ML, including dynamic semantics, is implemented in Lean 4. Using a variety of newly implemented tactics, this allows for writing machine checkable proofs about SML code similarly to how one would on paper.
