News for hackers. Stuff that matters.

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

Re:Typechecking is undecideable when 'type' is a type (1989)... by marcosdumay on Sunday November 23, 2025 @11:04AM (#46024520)
Access is currently forbidden.
[ Parent | on HN ]
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 ]