The evening is the time of day when the light is most beautiful, but it’s also the time when it starts to fade.
I write to explore the things that scare me.
"I don't think about the past. I focus on the present and the future."
The future of computing lies in the development of systems that can verify their own correctness.