![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/f9064b28-9e4d-4587-b614-cb1d11021671.jpg)
First screen, captured .
Looks similar
![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 theor.jinr.ru: Neutrino (2010) [pdf]](https://hn.urlbox.com/shots/renders/2024/2/24/33e046eb-dc43-45e7-905d-918dd32b9932.jpg)
Neutrino (2010) [pdf](theor.jinr.ru)
26 points by joebig | 8 comments
Virtually Hawaii(satftp.soest.hawaii.edu)
59 points by Tomte | 17 comments
First screen, captured .
26 points by joebig | 8 comments
59 points by Tomte | 17 comments