Ur/Web, a Simple and Powerful Language for Secure Web Applications | Dark Hacker News