dspace.mit.edu on Hacker News

Typechecking is undecidable when 'type' is a type (1989) [pdf](dspace.mit.edu)

65 points by zem 8 months ago | 38 comments

Typechecking is undecideable when 'type' is a type (1989) [pdf](dspace.mit.edu)

43 points by birdculture 11 months ago | 23 comments

Transforming recursion into iteration for LLVM loop optimizations(dspace.mit.edu)

30 points by matt_d 1 year ago | 4 comments

The Revised Report on Scheme or An UnCommon Lisp (1985) [pdf](dspace.mit.edu)

36 points by swatson741 1 year ago | 3 comments

If it works, it's not AI: a commercial look at AI startups (1999)(dspace.mit.edu)

98 points by rbanffy 1 year ago | 52 comments

LOGO Manual (1974) [pdf](dspace.mit.edu)

80 points by susam 3 years ago | 43 comments

System design and the cost of architectural complexity (2013)(dspace.mit.edu)

423 points by damethos 3 years ago | 152 comments

MIT doctoral thesis by Daniel Sturtevant measuring how architectural complexity in software systems affects defect density, developer productivity, and staff turnover.