News for hackers. Stuff that matters.
Re:Counterexamples in Type Systems by duped on Monday May 24, 2021 @03:15PM (#27268517)
The mathematical background required is just familiarity with notation... which is my entire point. It sounds like you don't have a good handle on the mathematical pedagogy required to be a good engineer today - it's not what you could describe as extensive

There are no comments on this comment yet.