News for hackers. Stuff that matters.

A comment on Typechecking is undecideable when 'type' is a type (1989) [pdf]. Parent comment

Re:Typechecking is undecideable when 'type' is a type (1989)... by jonasmalaco on Sunday November 23, 2025 @04:48PM (#46027667)
Currently blocked in Brazil, 49/50 pings return 403/forbidden: https://globalping.io/?measurement=2acUvndlTojar3qy80001zLzv
[ Parent | on HN ]

There are no comments on this comment yet.