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
The Revised Report on Scheme or An UnCommon Lisp (1985) [pdf](dspace.mit.edu)36 points by swatson741 1 year ago | 3 comments
Potential algorithmic bias on platform X during the 2024 US election(eprints.qut.edu.au)20 points by doener 1 year ago | 1 comments
![Screenshot of theor.jinr.ru: Neutrino (2010) [pdf]](https://hn.urlbox.com/shots/renders/2024/2/24/33e046eb-dc43-45e7-905d-918dd32b9932.jpg)
![Screenshot of dspace.mit.edu: Typechecking is undecidable when 'type' is a type (1989) [pdf]](https://hn.urlbox.com/shots/renders/2026/2/1/a2853921-6a2a-4404-bab8-1316bd2f85cb.jpg)
![Screenshot of dspace.mit.edu: Typechecking is undecideable when 'type' is a type (1989) [pdf]](https://hn.urlbox.com/shots/renders/2025/11/23/5336dfb7-23fa-42e7-87a2-2ad155af9fa0.jpg)
![Screenshot of dspace.mit.edu: The Revised Report on Scheme or An UnCommon Lisp (1985) [pdf]](https://hn.urlbox.com/shots/renders/2025/9/15/210fc620-a93f-4032-b24d-b1614fb12e0f.jpg)
