Hacker News new | ask | show | jobs
by alankay1 3655 days ago
I've looked at it -- some good ideas there. Often formal systems have problems in scaling, etc.