Hacker News
- Beyond RISC – The Post-RISC Architecture (1996) https://cse.msu.edu/~enbody/postrisc/postrisc2.htm 9 comments
- Why Software Jewels Are Rare (1996) [pdf] http://www.cse.msu.edu/~cse870/Input/SS2002/MiniProject/Sources/r2057.pdf 73 comments
- Introduction to Ada and SPARK (2009) [pdf] https://www.cse.msu.edu/~cse814/Lectures/09_spark_intro.pdf 37 comments