good quora answers and profiles

Good answers:

Tikhon Jelvis’ answer to Do you agree with John Backus in “Can Programming Be Liberated from the Von Neumann Style?” regarding functional style programming?

Shriram Krishnamurthi’s answer to What would it take for computer programmers to write a complex program like an OS without bugs?

Links to profiles, mostly CS and Math related: