New top story on Hacker News: Code is Engineering; Types are Science

Code is Engineering; Types are Science
5 by behnamoh | 0 comments on Hacker News.