Clear Thinking is both powerful and difficult.I write to raise the bar for software— for mind and machine.
Mindsets and Personal Philosophy: software for the carbon computer in your skull. Written for a wide audience.
Formal Verification: silicon software we can prove correct. Written for engineers working on high stakes projects.