New top story on Hacker News: Code is Engineering; Types are Science Posted By: Rushan Skywalker 12:08 AM Leave a Reply Code is Engineering; Types are Science 17 by behnamoh | 2 comments on Hacker News. Tweet Share Share Share Share
0 comments: