Post AzjUDYInau13p8KHjM by AmenZwa@mathstodon.xyz
 (DIR) More posts by AmenZwa@mathstodon.xyz
 (DIR) Post #AzjUDYInau13p8KHjM by AmenZwa@mathstodon.xyz
       2025-10-30T10:22:20Z
       
       1 likes, 1 repeats
       
       #ComputabilityTheory is the normative ethics, #TypeTheory is the applied ethics, and #CategoryTheory is the meta ethics of #programming languages.