News for hackers. Stuff that matters.

A comment on How to publish Git repos that cannot be republished to GitHub. Parent comment

Re:How to publish Git repos that cannot be republished to Gi... by falcor84 on Monday November 02, 2020 @09:10PM (#24975679)
Excellent. Can we now please also have an illegal (proper) surreal number? ;)
[ Parent | on HN ]
Re:How to publish Git repos that cannot be republished to Gi... by octoberfranklin on Monday November 02, 2020 @10:35PM (#24976051)
No; by law there must be a set of illegal numbers. As a proper class the surreals are simply too vast to be outlawed.
[ Parent | on HN ]