Generating Well-Typed Terms that are not "Useless" [pdf](lemonidas.github.io)33 points by luu 3 years ago | 3 comments
Harder Drive: Hard drives we didn't want or need (2022) [pdf](tom7.org)94 points by a022311 2 years ago | 24 comments
NaNofuzz: A Usable Tool for Automatic Test Generation [pdf](cmumatt.github.io)32 points by luu 3 years ago | 6 comments
Memory Renaming: Fast and Accurate Processing of Memory Communication (1999) [pdf](web.eecs.umich.edu)52 points by mfiguiere 2 years ago | 6 comments
![Screenshot of lemonidas.github.io: Generating Well-Typed Terms that are not "Useless" [pdf]](https://hn.urlbox.com/shots/renders/2023/10/27/df7ff07f-c599-4914-975f-bcfe885b5887.jpg)
![Screenshot of ias.edu: The Usefulness of Useless Knowledge (1939) [pdf]](https://hn.urlbox.com/shots/renders/2024/1/7/4a24cf31-e3ff-4d35-87ea-16b9cc0444c1.jpg)
![Screenshot of tom7.org: Harder Drive: Hard drives we didn't want or need (2022) [pdf]](https://hn.urlbox.com/shots/renders/2024/8/9/43f66036-0d82-4c9b-83d5-253c10adec1c.jpg)
![Screenshot of curtclifton.net: Out of the Tar Pit [pdf]](https://hn.urlbox.com/shots/renders/2024/8/8/4181ce08-34c7-4ad3-a852-05f4b377b199.jpg)
![Screenshot of journaloffreespeechlaw.org: True Defamation [pdf]](https://hn.urlbox.com/shots/renders/2024/6/15/50887eae-9853-4c03-bbe5-348d83996c65.jpg)
![Screenshot of cmumatt.github.io: NaNofuzz: A Usable Tool for Automatic Test Generation [pdf]](https://hn.urlbox.com/shots/renders/2023/9/8/3c1fb265-8b4c-4871-933f-44f6dab082f9.jpg)
![Screenshot of web.eecs.umich.edu: Memory Renaming: Fast and Accurate Processing of Memory Communication (1999) [pdf]](https://hn.urlbox.com/shots/renders/2024/2/16/bc7547a7-bd3d-4e19-abe3-2616f5513fad.jpg)