"Algorithms are the computational content of proofs."

"The issue with AI, to me, is a very simple one. It's like the term algorithm. We watch companies use algorithms, and …"

"Mathematics is what we want to keep for ourselves. When playing games, we stick to the rules (or we are changing the …"

"Algorithms + Data Structures = Programs"

"I would be pleased to see Haiku flourish, if only because someone chose to do so. Sometimes, you need those kind of e…"

"Haiku is a true eye-opener for me. It shows how a desktop can “just work”. In many aspects this system is exactly add…"

"Thank God that [Apple buying BeOS] didn’t happen, because I hated Apple's management. I couldn’t picture myself in th…"

"BeOS was pretty good, mind you. Positioned as a multimedia platform, BeOS benefited from symmetric multiprocessing, p…"

"If operating systems were judged purely on engineering, BeOS would be remembered as one of the greatest desktop OSs e…"

"The ideal OS for me would be one that had a well-designed GUI that was easy to set up and use, but that included term…"