Ethics
Spinoza
Beyond Order
Jordan B. Peterson
Friedrich Nietzsche
The Will to Power-Vintage (1968)
Intuitionistic Type Theory
Per Martin-Lof
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom