MIT and U.S. Department of Defense team up to launch a new edX learning platformnews.mit.edu·3 pts·dwrodri·0
CheckMate: Verifying processors through automatic exploit synthesis [pdf]cs.stanford.edu·1 pts·dwrodri·1
Show HN: Simple shell function for querying cppreference.com from your shellgitlab.com·1 pts·dwrodri·1