Modeling and Developing Systems Using TLA+ (2005) [pdf]
2021-07-11
Ask HN: Would anybody be interested by a Mobile automation platform?
2021-07-11
A tale of software maintenance: OpenSSL and EVP_CHECK_DES_KEY
2021-07-11
Clarence Thomas takes pivotal role in new Supreme Court
2021-07-11
Girl Talk, Fair Use, and Three Hundred Twenty-Two Samples (2009)
2021-07-11
Ask HN: How do you prefer taking your notes?
2021-07-11
Help wanted for podcast that combines history and news
2021-07-10
Harvard-led physicists take big step in race to quantum computing
2021-07-10
When buying hard drive, take off a star in your review if no write-enable switch
2021-07-10
Macro Shots Taken Inside Instruments (2012)
2021-07-10